Per Year
- Equivalences, congruences, and complete axiomatizations for probabilistic processes (paper in proceedings) — Chi-Chang Jou, Scott A. Smolka
- The GAMMA Model and its Discipline of Programming (article in journal) — Jean-Pierre Banâtre, Daniel Le Métayer
- IEEE Standard Glossary of Software Engineering Terminology (technical report) — IEEE Standard Board
- What is Intention? (book chapter) — Michael E. Bratman, Andrea Roli
- Testing Equivalences and Fully Abstract Models for Probabilistic Processes (paper in proceedings) — Ivan Christoff
- Concepts and Paradigms of Object-oriented Programming (article in journal) — Peter Wegner
publications
without
PubMed ID
/
1990
/
personal
Andrea Agiollo
•
Roberta Calegari
•
Giovanni Ciatto
•
Cristian Cosci
•
Angelo Croatti
•
Enrico Denti
•
Matteo Magnini
•
Sara Montagna
•
Andrea Omicini
•
Giuseppe Pisano
•
Andrea Rafanelli
•
Federico Sabbatini