Pretraga




Rezultati

Dynamic role authorization in multiparty conversations   [2014]

Gilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Perez, Jorge; Hugo Torres, Vieira

Towards Automated Readable Proofs of Ruler and Compass Constructions   [2024]

Marinković, Vesna  ; Šukilović, Tijana  ; Marić, Filip  

Automation of Triangle Ruler-and-Compass Constructions Using Constraint Solvers   [2023]

Bankovic, Milan M

Preface   [2018]

Akerkar Rajendra; Ivanović Mirjana  ; Kim Sang Wook; Yannis Manolopoulos; Rosati Riccardo; Savić Miloš  ; Costin Badica; Radovanović Miloš  

Formalization and Implementation of Algebraic Methods in Geometry   [2012]

Marić, Filip  ; Petrović, Ivan; Simić, Danijela  ; Janičić, Predrag  

Precise subtyping for synchronous multiparty sessions   [2016]

Mariangiola Dezani-Ciancaglini; Gilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Nobuko Yoshida

Formalization of Automated Trading Systems in a Concurrent Linear Framework   [2019]

Cervesato, Iliano; Khan, Sharjeel; Reis, Giselle; Žunić, Dragiša  

Weighted Automata over Vector Spaces   [2023]

Damljanović, Nada  ; Ćirić, Miroslav  ; Ignjatović, Jelena  

Approximate State Reduction of Fuzzy Finite Automata   [2023]

Ćirić, Miroslav  ; Micić, Ivana  ; Stanimirović, Stefan  ; Nguyen, Linh Anh

Formalization, Automatization and Visualization of Hyperbolic Geometry   [2023]

Maric, Filip M  

Filters

By type