Search results for: Ivan Lanese
Fundamenta Informaticae > 2021 > Vol. 178, nr 3 > 229--266
Journal of Logical and Algebraic Methods in Programming > 2018 > 100 > C > 71-97
Journal of Logical and Algebraic Methods in Programming > 2017 > 88 > C > 99-120
Lecture Notes in Computer Science > SOFSEM 2007: Theory and Practice of Computer Science > Foundations of Computer Science > 388-399
Theoretical Computer Science > 2016 > 625 > C > 25-84
Lecture Notes in Computer Science > Rigorous Software Engineering for Service-Oriented Systems > Qualitative Analysis Techniques for Service-Oriented Computing > 408-427
Lecture Notes in Computer Science > Rigorous Software Engineering for Service-Oriented Systems > Calculi for Service-Oriented Computing > 189-213
IFIP — The International Federation for Information Processing > Exploring New Frontiers of Theoretical Informatics > Track (2) on Logic, Semantics, Specification, and Verification > 367-380
Lecture Notes in Computer Science > Rigorous Software Engineering for Service-Oriented Systems > Negotiations, Planning, and Reconfiguration > 302-325
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Contributed Papers > 37-55