( en | de | ru )

 

Disambiguierung von "Baldan, Paolo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts.

, , , , und . ICGT, Volume 5214 von Lecture Notes in Computer Science, Seite 242-256. Springer, (2008)

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.

Giancarlo Baldan

Giordano Paolo

Paolo Molteni

Paolo Pierobon

Paolo Pesaresi

 

Weitere Publikationen von Autoren mit dem selben Namen

A Lattice-Theoretical View of Strategy Iteration., , , und . CoRR, (2022)Encoding Synchronous Interactions Using Labelled Petri Nets., , , und . COORDINATION, Volume 8459 von Lecture Notes in Computer Science, Seite 1-16. Springer, (2014)Comparing Metabolic Pathways through Reactions and Potential Fluxes., , , und . Trans. Petri Nets Other Model. Concurr., (2013)Multilevel Transitive and Intransitive Non-interference, Causally., und . COORDINATION, Volume 9686 von Lecture Notes in Computer Science, Seite 1-17. Springer, (2016)MuTACLP: A Language for Temporal Reasoning with Multiple Theories., , , und . Computational Logic: Logic Programming and Beyond, Volume 2408 von Lecture Notes in Computer Science, Seite 1-40. Springer, (2002)Partializing Stone Spaces using SFP Domains (Extended Abstract)., , und . TAPSOFT, Volume 1214 von Lecture Notes in Computer Science, Seite 478-489. Springer, (1997)Non-interference by Unfolding., und . Petri Nets, Volume 8489 von Lecture Notes in Computer Science, Seite 190-209. Springer, (2014)Workshop on Petri Nets and Graph Transformations., , , und . ICGT, Volume 4178 von Lecture Notes in Computer Science, Seite 467-469. Springer, (2006)Minimisation of event structures., und . Theor. Comput. Sci., (2022)Minimisation of Event Structures., und . FSTTCS, Volume 150 von LIPIcs, Seite 30:1-30:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)