Per Sort
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
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| Michael J. Fisher, Neil Immerman Foundations of Knowledge for Distributed Systems |