Per Sort

Per Sort

20 technical reports  /  1927–2023

technical reports
Stefano Mariani
Analysis of the Molecules of Knowledge Model with the BioPepa Eclipse Plugin
AMS Acta Institutional Research Repository 3783, 20 September 2013
Stefano Mariani
Analysis of the Molecules of Knowledge Model with the BioPepa Eclipse Plugin
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
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
Naftaly H. Minsky
Decentralized Regulation of Distributed Systems: Beyond Access Control
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
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
Paolo Ciancarini, Keld K. Jensen, Dani Yankelevich
The Semantics of a Parallel Language based on a Shared Data Space
Enrico Denti, Antonio Natali, Andrea Omicini
CSM User's Guide
IEEE Standard Board
IEEE Standard Glossary of Software Engineering Terminology
Michael J. Fisher, Neil Immerman
Foundations of Knowledge for Distributed Systems
(20 technical reports / 1927–2023)  [top]  [bottom]

home  •  search  •  all

Publications / Views
tags  •  authors  •  editors  •  journals
2023  •  2022  •  2021  •  2020  •  2019  •  2018  •  2017  •  2016  •  2015  •  2014–1927
in journal  •  in proc  •  chapters  •  books  •  edited  •  spec issues  •  editorials  •  entries  •  manuals  •  tech reps  •  phd th  •  others
online  •  in press  •  proof  •  camera-ready  •  revised  •  accepted  •  revision  •  submitted  •  draft  •  note
ACM Digital Library  •  DBLP  •  IEEE Xplore  •  IRIS  •  PubMed  •  Google Scholar  •  Scopus  •  Semantic Scholar  •  Web of Science  •  DOI

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY