Search results for: Fabio Gadducci
Acta Informatica > 2019 > 56 > 1 > 61-92
Journal of Logical and Algebraic Methods in Programming > 2017 > 92 > C > 45-63
Information Processing Letters > 2017 > 118 > C > 69-74
Lecture Notes in Computer Science > Graph Transformations and Model-Driven Engineering > Graph Transformations: Theory and Applications > 59-86
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2003 > Contributed Papers > 279-289
Lecture Notes in Computer Science > Graph Transformations > Session 2. Behavioural Analysis > 123-138
Lecture Notes in Computer Science > Rigorous Software Engineering for Service-Oriented Systems > Negotiations, Planning, and Reconfiguration > 349-368
Lecture Notes in Computer Science > Graph Transformations > Applications of Graph Transformation > 115-130
Lecture Notes in Computer Science > International Symposium on Fundamentals of Software Engineering > 240-256
Lecture Notes in Computer Science > Processes, Terms and Cycles: Steps on the Road to Infinity > 106-126