Search results for: Matteo Pradella
Theoretical Computer Science > 2017 > 658 > PA > 105-121
Lecture Notes in Computer Science > SDL 2005: Model Driven > Model Driven Architecture (Short Papers) > 234-246
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2005 > REGULAR PAPERS > 381-395
Lecture Notes in Computer Science > Agent-Mediated Electronic Commerce III > Formal Issues for Agents that Operate on Electronic Market Places > 84-95
Lecture Notes in Computer Science > Service-Oriented Computing > Customization and Adaptation > 159-174
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2008 > Contributed Papers > 253-264
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 41-54
Lecture Notes in Computer Science > FM 2008: Formal Methods > Session 4. Real-Time and Concurrency > 132-147
Lecture Notes in Computer Science > Implementation and Application of Automata > Technical Contributions > 225-237
Lecture Notes in Computer Science > International Symposium on Fundamentals of Software Engineering > 388-395
Lecture Notes in Computer Science > SOFSEM 2010: Theory and Practice of Computer Science > Regular Papers > 576-587
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2009 > Contributed Papers > 549-560
Science of Computer Programming > 2015 > 112 > P3 > 195-226