( en | de | ru )

 

Disambiguierung von "Ciancia, Vincenzo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Minimisation of Spatial Models Using Branching Bisimilarity.

, , , , und . FM, Volume 14000 von Lecture Notes in Computer Science, Seite 263-281. Springer, (2023)

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.

Vincenzo Ferrazzano

Vincenzo Casulli

Vincenzo Mancuso

Vincenzo Mercurio

Vincenzo Gulisano

 

Weitere Publikationen von Autoren mit dem selben Namen

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL., , , , und . Log. Methods Comput. Sci., (2018)Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras.. CALCO, Volume 8089 von Lecture Notes in Computer Science, Seite 110-125. Springer, (2013)Towards a GUI for Declarative Medical Image Analysis: Cognitive and Memory Load Issues., , , und . HCI (38), Volume 1581 von Communications in Computer and Information Science, Seite 103-111. Springer, (2022)A Hands-On Introduction to Spatial Model Checking Using VoxLogicA - - Invited Contribution., , , und . SPIN, Volume 12864 von Lecture Notes in Computer Science, Seite 22-41. Springer, (2021)On Binding in the Spatial Logics for Closure Spaces., , , , und . ISoLA (1), Volume 13701 von Lecture Notes in Computer Science, Seite 479-497. Springer, (2022)Innovating Medical Image Analysis via Spatial Logics., , , und . From Software Engineering to Formal Methods and Tools, and Back, Volume 11865 von Lecture Notes in Computer Science, Seite 85-109. Springer, (2019)Automated Synthesis and Ranking of Secure BPMN Orchestrators., , , , , und . ARES, Seite 455-464. IEEE Computer Society, (2013)An Experimental Toolchain for Strategy Synthesis with Spatial Properties., , und . ISoLA (3), Volume 13703 von Lecture Notes in Computer Science, Seite 142-164. Springer, (2022)On Bisimilarities for Closure Spaces - Preliminary Version., , , und . CoRR, (2021)Spatial logics and model checking for medical imaging., , , , und . Int. J. Softw. Tools Technol. Transf., 22 (2): 195-217 (2020)