Претрага




Резултати

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

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

Dynamic role authorization in multiparty conversations   [2014]

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

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  

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

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

Automated Generation of Illustrations for Synthetic Geometry Proofs   [2021]

Janičić, Predrag  ; Julien Narboux

On Compensation Primitives as Adaptable Processes   [2015]

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

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

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

Session Types Isomorphisms   [2014]

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

A typed model for dynamic authorizations   [2016]

Gilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Pérez, Jorge A.; Vieira, Hugo Torres

Филтери

По типу