| technical reports |
Stefano Mariani
Analysis of the Molecules of Knowledge Model with the BioPepa Eclipse Plugin
|
Stefano Mariani
Analysis of the Molecules of Knowledge Model with the BioPepa Eclipse Plugin
AMS Acta Institutional Research Repository 3783, 20 September 2013 |
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 |
Naftaly H. Minsky
Decentralized Regulation of Distributed Systems: Beyond Access Control
|
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”?
|
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 |
Enrico Denti
Implementing the ACLT Coordination Model
LIA Series 38(DEIS-LIA-99-04), 1999 |
Peter Wegner, Dina Goldin
Mathematical Models of Interactive Computing
|
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 |
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
|
