Corsi
Eventi
Presentazioni
Prodotti
Progetti
Pubblicazioni
Riviste
Tesi
Tirocini
Toggle navigation
SSO login
Home
Indice dei Documenti
Rubrica degli Utenti
Application Index
Global
Lingue
English
What's New
Indice dei Wiki
Eng
Ita
Ricerca
Pubblicazioni
Nuvole
rivista : Science of Computer Programming
rivista : Science of Computer Programming
20 articles
Coordination in Socio-technical Systems: Where are we now? Where do we go next?
(Science of Computer Programming, 2019) —
Stefano Mariani
Towards attack-resistant Aggregate Computing using trust mechanisms
(Science of Computer Programming, 2018) —
Roberto Casadei, Alessandro Aldini, Mirko Viroli
Optimal single-path information propagation in gradient-based algorithms
(Science of Computer Programming, 2018) —
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
A type-sound calculus of computational fields
(Science of Computer Programming, 2016) —
Ferruccio Damiani, Mirko Viroli, Jacob Beal
A coordination model of pervasive service ecosystems
(Science of Computer Programming, 2015) —
Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli
Semantic Tuple Centres
(Science of Computer Programming, 2013) —
Elena Nardini, Andrea Omicini, Mirko Viroli
On competitive self-composition in pervasive services
(Science of Computer Programming, 2013) —
Mirko Viroli
Operational Semantics of Proto
(Science of Computer Programming, 2013) —
Mirko Viroli, Jacob Beal, Kyle Usbeck
Multi-agent Oriented Programming with JaCaMo
(Science of Computer Programming, 2013) —
Olivier Boissier, Rafael H. Bordini, Jomi Hübner, Alessandro Ricci, Andrea Santi
Simulation in Agent-Oriented Software Engineering: The SODA Case Study
(Science of Computer Programming, 2013) —
Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java
(Science of Computer Programming, 2011) —
Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
Preface
(Science of Computer Programming, 2011) —
Carlos Canal, Mirko Viroli
On the Collective Sort Problem for Distributed Tuple Spaces
(Science of Computer Programming, 2009) —
Matteo Casadei, Mirko Viroli, Luca Gardelli
On the reification of Java wildcards
(Science of Computer Programming, 2008) —
Maurizio Cimadamore, Mirko Viroli
Preface
(Science of Computer Programming, 2007) —
Carlos Canal, Mirko Viroli
Engineering a BPEL Orchestration Engine as a Multi-agent System
(Science of Computer Programming, 2007) —
Mirko Viroli, Enrico Denti, Alessandro Ricci
Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies
(Science of Computer Programming, 2006) —
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Multi-paradigm Java-Prolog Integration in tuProlog
(Science of Computer Programming, 2005) —
Enrico Denti, Andrea Omicini, Alessandro Ricci
From Tuple Spaces to Tuple Centres
(Science of Computer Programming, 2001) —
Andrea Omicini, Enrico Denti
The GAMMA Model and its Discipline of Programming
(Science of Computer Programming, 1990) —
Jean-Pierre Banâtre, Daniel Le Métayer
[
nuvola riviste
/ pubblicazioni ]