Technical Reports  /  1939–2021

2021  |   2020  |   2019  |   2018  |   2017  |   2016  |   2015  |   2014  |   2013  |   2012  |   2011  |   2010  |   2009  |   2008  |   2007  |   2006  |   2005  |   2004  |   2003  |   2002  |   2001  |   2000  |   1999  |   1998  |   1997  |   1996  |   1995  |   1994  |   1993  |   1992  |   1991  |   1990  |   1989  |   1988  |   1987  |   1986  |   1985  |   1984  |   1983  |   1982  |   1981  |   1980  |   1979  |   1978  |   1977  |   1976  |   1975  |   1974  |   1973  |   1972  |   1971  |   1970  |   1969  |   1968  |   1967  |   1966  |   1965  |   1964  |   1963  |   1962  |   1961  |   1960  |   1959  |   1958  |   1957  |   1956  |   1955  |   1954  |   1953  |   1952  |   1951  |   1950  |   1949  |   1948  |   1947  |   1946  |   1945  |   1944  |   1943  |   1942  |   1941  |   1940  |   1939

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
(2 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]
(18 technical reports from 1939 to 2021)

Tags:
Created by Andrea Omicini on 13/10/2021 12:13
    
Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY