- Publications
- Per Sort
- Analysis of the Molecules of Knowledge Model with the BioPepa Eclipse Plugin (2013) — Stefano Mariani
- Analysis of the Molecules of Knowledge Model with the BioPepa Eclipse Plugin (2013) — Stefano Mariani
- Unsupervised Learning of True Ranking Estimators using the Belief Function Framework (2011) — Andrea Argentini, Enrico Blanzieri
- A Formal Definition of Colture (2009) — Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini, Fausto Giunchiglia
- A Multi-Theory Logic Programming Language for the World Wide Web (2008) — Giulio Piancastelli, Andrea Omicini
- Semantic Resource Matching for Pervasive Environments: The Approach and its Evaluation (2008) — Ayomi Bandara, Terry Payne, David De Roure, Nicholas Gibbins, Tim Lewis
- What is “paradigm”? (2007) — Erek Göktürk
- Decentralized Regulation of Distributed Systems: Beyond Access Control (2007) — Naftaly H. Minsky
- Stochastic pi-calculus modelling of multisite phosphorylation based signaling: in silico analysis of the Pho4 transcription factor and the PHO pathway in Saccharomyces cerevisiaees cerevisiae (2007) — Nicola Segata, Enrico Blanzieri, Corrado Priami
- Process Calculi Abstractions for Biology (2006) — Maria Luisa Guerriero, Davide Prandi, Corrado Priami, Paola Quaglia
- StoKlaim: A Stochastic Extension of Klaim (2006) — Rocco De Nicola, Diego Latella, Joost-Pieter Katoen, Mieke Massink
- Mathematical Models of Interactive Computing (1999) — Peter Wegner, Dina Goldin
- Implementing the ACLT Coordination Model (1999) — Enrico Denti
- On the Incomparability of Gamma and Linda (1998) — Gianluigi Zavattaro
- Expressive Power of the ACLT Reaction Specification Language (1997) — Enrico Denti, Antonio Natali, Andrea Omicini
- A General Framework for Multi-Theory Logic Languages (1996) — Andrea Omicini
- Verso un Ambiente di Sviluppo per Sistemi in Tempo Reale (1993) — Enrico Denti, Antonio Natali, Andrea Omicini
- CSM User's Guide (1992) — Enrico Denti, Antonio Natali, Andrea Omicini
- Supporto alla Comunicazione Remota in MME 3 (1992) — Mauro Cesana, Enrico Denti, Antonio Natali, Judith Szanto
- The Semantics of a Parallel Language based on a Shared Data Space (1992) — Paolo Ciancarini, Keld K. Jensen, Dani Yankelevich
- IEEE Standard Glossary of Software Engineering Terminology (1990) — IEEE Standard Board
- Foundations of Knowledge for Distributed Systems (1985) — Michael J. Fisher, Neil Immerman
22 technical reports •
top •
index •
bottom