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
Giulio Piancastelli, Andrea Omicini
A Multi-Theory Logic Programming Language for the World Wide Web
AMS Acta 2515, August 2008
Ayomi Bandara, Terry Payne, David De Roure, Nicholas Gibbins, Tim Lewis
Semantic Resource Matching for Pervasive Environments: The Approach and its Evaluation
Matteo Casadei, Andrea Omicini
ReSpecT Guide
Erek Göktürk
What is “paradigm”?
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
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
Michael J. Fisher, Neil Immerman
Foundations of Knowledge for Distributed Systems
(20 technical reports / 1927–2023)  [top]  [bottom]

Tags:
Created by Andrea Omicini on 13/10/2021 12:13

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