( en | de | ru )

 

Disambiguierung von "Caminati, Marco B."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Formally Verified SMT Approach to True Concurrency.

, und . CILC, Volume 2710 von CEUR Workshop Proceedings, Seite 357-371. CEUR-WS.org, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Monika Marcotty

Johannes Marcour

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

Massimiliano Marcon

 

Weitere Publikationen von Autoren mit dem selben Namen

A Flexible Approach for Finding Optimal Paths with Minimal Conflicts., und . ICFEM, Volume 10610 von Lecture Notes in Computer Science, Seite 209-225. Springer, (2017)A Formally Verified SMT Approach to True Concurrency., und . CILC, Volume 2710 von CEUR Workshop Proceedings, Seite 357-371. CEUR-WS.org, (2020)Basic first-order model theory in Mizar.. J. Formaliz. Reason., 3 (1): 49-77 (2010)A framework for automated conflict detection and resolution in medical guidelines., , , und . Sci. Comput. Program., (2019)Reasoning about Auctions, , , und . Joint Automated Reasoning Workshop and Deduktionstreffen (ARW-DT), (2014)Representation Theorems Obtained by Mining across Web Sources for Hints., und . ICICT, Seite 203-210. IEEE, (2023)Isabelle Formalisation of Original Representation Theorems.. CICM, Volume 14101 von Lecture Notes in Computer Science, Seite 98-112. Springer, (2023)A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory, , , , , , und . Intelligent Computer Mathematics, 7961, Seite 200--215. Springer, (2013)Auction Theory Toolbox, , , , , , und . (2015)Correct Composition of Dephased Behavioural Models., und . FACS, Volume 10487 von Lecture Notes in Computer Science, Seite 233-250. Springer, (2017)