Search results for: José Luiz Fiadeiro
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Invited Speakers > 17-17
Lecture Notes in Computer Science > Software-Intensive Systems and New Computing Paradigms > I Ensemble Engineering > 80-91
Lecture Notes in Computer Science > «UML»’99 — The Unified Modeling Language > Static Modeling > 566-583
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 > Algebraic Methodology and Software Technology > Regular Papers > 426-440
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Tool Demonstrations > 323-326
Lecture Notes in Computer Science > Business Process Management Workshops > ProHealth Workshop > 347-358
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Invited Papers > 75-82
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Contributed Papers > 144-160
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2004 > Invited Speakers > 1-13
Lecture Notes in Computer Science > Formal Techniques for Distributed Systems > Short Papers > 219-224