PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Baldan, Paolo"

Author of the publication

copydeleteadd this publication to your clipboard
A Static Analysis Technique for Graph Transformation Systems.

, , and . CONCUR, volume 2154 of Lecture Notes in Computer Science, page 381-395. Springer, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

PD Dr. Paolo Malgaretti University of Stuttgart

Paolo Carlo Danesini University of Stuttgart

 

Other publications of authors with the same name

Comparing metabolic pathways through potential fluxes: a selective opening approach., , , and . BioPPN@Petri Nets, volume 988 of CEUR Workshop Proceedings, page 1-15. CEUR-WS.org, (2013)Sharing in the Graph Rewriting Calculus., and . WADT, volume 7137 of Lecture Notes in Computer Science, page 27-41. Springer, (2010)Asynchronous Traces and Open Petri Nets., , , and . Programming Languages with Applications to Biology and Security, volume 9465 of Lecture Notes in Computer Science, page 86-102. Springer, (2015)Local Model Checking in a Logic for True Concurrency., and . FoSSaCS, volume 10203 of Lecture Notes in Computer Science, page 407-423. (2017)Bisimulation by Unification., , and . AMAST, volume 2422 of Lecture Notes in Computer Science, page 254-270. Springer, (2002)Concatenable Graph Processes: Relating Processes and Derivation Traces., , and . ICALP, volume 1443 of Lecture Notes in Computer Science, page 283-295. Springer, (1998)A Fixed-Point Theorem in a Category of Compact Metric Spaces., , and . Theor. Comput. Sci., 146 (1&2): 311-320 (1995)Unfolding of Double-Pushout Graph Grammars is a Coreflection., , and . TAGT, volume 1764 of Lecture Notes in Computer Science, page 145-163. Springer, (1998)A Logic for Analyzing Abstractions of Graph Transformation Systems., , and . SAS, volume 2694 of Lecture Notes in Computer Science, page 255-272. Springer, (2003)Deducing Interactions in Partially Unspecified Biological Systems., , , and . AB, volume 4545 of Lecture Notes in Computer Science, page 262-276. Springer, (2007)