| 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 |
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, August 2008 |
Matteo Casadei, Andrea Omicini
ReSpecT Guide
|
| (3 technical reports in 2008) [top] [bottom] |
| 2007 |
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
|
Erek Göktürk
What is “paradigm”?
|
Naftaly H. Minsky
Decentralized Regulation of Distributed Systems: Beyond Access Control
|
| (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)
|