( en | de | ru )

 

Disambiguierung von "Delzanno, Giorgio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs.

, , und . FLOPS, Volume 2024 von Lecture Notes in Computer Science, Seite 138-152. Springer, (2001)

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.

Giorgio Cortellaro

Giorgio Stefanoni

Giorgio Pudelko

Giorgio Borea

Giorgio Gonnella

 

Weitere Publikationen von Autoren mit dem selben Namen

An Effective Fixpoint Semantics for Linear Logic Programs, , und . CoRR, (2001)Constraint-Based Verification of Parameterized Cache Coherence Protocols.. Formal Methods Syst. Des., 23 (3): 257-301 (2003)Adding Data Registers to Parameterized Networks with Broadcast., , und . Fundam. Informaticae, 143 (3-4): 287-316 (2016)A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations., , und . LATA, Volume 5457 von Lecture Notes in Computer Science, Seite 71-82. Springer, (2009)Model Checking Paxos in Spin., , und . GandALF, Volume 161 von EPTCS, Seite 131-146. (2014)Physical Web for Smart Campus Management., , , und . WEBIST, Seite 277-284. SciTePress, (2018)Graph- versus Vector-Based Analysis of a Consensus Protocol., , und . GRAPHITE, Volume 159 von EPTCS, Seite 44-57. (2014)Parameterized Verification and Model Checking for Distributed Broadcast Protocols.. ICGT, Volume 8571 von Lecture Notes in Computer Science, Seite 1-16. Springer, (2014)Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets., , und . TACAS, Volume 2031 von Lecture Notes in Computer Science, Seite 435-449. Springer, (2001)Towards the Automated Verification of Multithreaded Java Programs., , und . TACAS, Volume 2280 von Lecture Notes in Computer Science, Seite 173-187. Springer, (2002)