Per Sort

23 technical reports

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
Semantic Resource Matching for Pervasive Environments: The Approach and its Evaluation (2008) — Ayomi Bandara, Terry Payne, David De Roure, Nicholas Gibbins, Tim Lewis
A Multi-Theory Logic Programming Language for the World Wide Web (2008) — Giulio Piancastelli, Andrea Omicini
What is “paradigm”? (2007) — Erek Göktürk
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
Decentralized Regulation of Distributed Systems: Beyond Access Control (2007) — Naftaly H. Minsky
StoKlaim: A Stochastic Extension of Klaim (2006) — Rocco De Nicola, Diego Latella, Joost-Pieter Katoen, Mieke Massink
Process Calculi Abstractions for Biology (2006) — Maria Luisa Guerriero, Davide Prandi, Corrado Priami, Paola Quaglia
Implementing the ACLT Coordination Model (1999) — Enrico Denti
Mathematical Models of Interactive Computing (1999) — Peter Wegner, Dina Goldin
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
Trading Consistency for Availability in Distributed Systems (1996) — Roy Friedman, Ken Birman
Verso un Ambiente di Sviluppo per Sistemi in Tempo Reale (1993) — Enrico Denti, Antonio Natali, Andrea Omicini
The Semantics of a Parallel Language based on a Shared Data Space (1992) — Paolo Ciancarini, Keld K. Jensen, Dani Yankelevich
Supporto alla Comunicazione Remota in MME 3 (1992) — Mauro Cesana, Enrico Denti, Antonio Natali, Judith Szanto
CSM User's Guide (1992) — Enrico Denti, Antonio Natali, Andrea Omicini
IEEE Standard Glossary of Software Engineering Terminology (1990) — IEEE Standard Board
Foundations of Knowledge for Distributed Systems (1985) — Michael J. Fisher, Neil Immerman

23 technical reports • top • index • bottom

technical reports / personal

Andrea Agiollo • Roberta Calegari • Giovanni Ciatto • Enrico Denti • Matteo Magnini • Mattia Matteini • Sara Montagna • Andrea Omicini • Giuseppe Pisano • Federico Sabbatini