Pretraga




Rezultati

Session Types Isomorphisms   [2014]

Dezani-Cinaciaglini, Mariangiola; Padovani, Luca; Pantović, Jovanka  

On Automating Triangle Constructions in Absolute and Hyperbolic Geometry   [2021]

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

Automated Generation of Illustrations for Synthetic Geometry Proofs   [2021]

Janičić, Predrag  ; Julien Narboux

Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving   [2023]

Gonzalez, Salwa Tabet; Janicic, Predrag  ; Narboux, Julien

Dynamic role authorization in multiparty conversations   [2014]

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

On Compensation Primitives as Adaptable Processes   [2015]

Dedeić, Jovana  ; Pantović, Jovanka  ; Pérez, Jorge A.

Formalization, Automatization and Visualization of Hyperbolic Geometry   [2023]

Maric, Filip M  

Approximate State Reduction of Fuzzy Finite Automata   [2023]

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

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

Filteri

Po tipu