technical reports |
Stefano Mariani Analysis of the Molecules of Knowledge Model with the BioPepa Eclipse Plugin AMS Acta Institutional Research Repository 3783, 20 September 2013 |
Stefano Mariani Analysis of the Molecules of Knowledge Model with the BioPepa Eclipse Plugin
|
Andrea Argentini, Enrico Blanzieri Unsupervised Learning of True Ranking Estimators using the Belief Function Framework
|
Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini, Fausto Giunchiglia A Formal Definition of Colture
|
Ayomi Bandara, Terry Payne, David De Roure, Nicholas Gibbins, Tim Lewis Semantic Resource Matching for Pervasive Environments: The Approach and its Evaluation
|
Giulio Piancastelli, Andrea Omicini A Multi-Theory Logic Programming Language for the World Wide Web AMS Acta 2515, August 2008 |
Erek Göktürk What is “paradigm”?
|
Nicola Segata, Enrico Blanzieri, Corrado Priami 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
|
Naftaly H. Minsky Decentralized Regulation of Distributed Systems: Beyond Access Control
|
Maria Luisa Guerriero, Davide Prandi, Corrado Priami, Paola Quaglia Process Calculi Abstractions for Biology
|
Rocco De Nicola, Diego Latella, Joost-Pieter Katoen, Mieke Massink StoKlaim: A Stochastic Extension of Klaim CNR-ISTI, 2006 |
Peter Wegner, Dina Goldin Mathematical Models of Interactive Computing
|
Enrico Denti Implementing the ACLT Coordination Model LIA Series 38(DEIS-LIA-99-04), 1999 |
Gianluigi Zavattaro On the Incomparability of Gamma and Linda
|
Enrico Denti, Antonio Natali, Andrea Omicini Expressive Power of the ACLT Reaction Specification Language LIA Series 26(DEIS-LIA-97-009), 1997 |
Enrico Denti, Antonio Natali, Andrea Omicini Verso un Ambiente di Sviluppo per Sistemi in Tempo Reale CNR Technical Report, March 1993 |
Paolo Ciancarini, Keld K. Jensen, Dani Yankelevich The Semantics of a Parallel Language based on a Shared Data Space
|
Enrico Denti, Antonio Natali, Andrea Omicini CSM User's Guide
|
IEEE Standard Board IEEE Standard Glossary of Software Engineering Terminology
|
Michael J. Fisher, Neil Immerman Foundations of Knowledge for Distributed Systems
|