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