CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 61 a 90 di 172
Titolo Data di pubblicazione Autore(i) File
Prototype Platforms for Distributed Agreements 1-gen-2007 Baragatti, A; Bruni, Roberto; Melgratti, H; Montanari, UGO GIOVANNI ERASMO; Spagnolo, G.
Deducing Interactions in Partially Unspecified Biological Systems 1-gen-2007 Baldan, P; Bracciali, A; Brodo, L; Bruni, Roberto
PRISMA: A mobile calculus with parameterized synchronization 1-gen-2007 Bruni, Roberto; Lanese, I.
Style-based architectural reconfigurations 1-gen-2008 Bruni, Roberto; LLUCH LAFUENTE, A; Montanari, UGO GIOVANNI ERASMO; Tuosto, E.
Graph Transformations and Visual Modeling Techniques, 5th International Workshop, GT-VMT 2006, Vienna, Austria, April 1-2, 2006 1-gen-2008 Bruni, Roberto; Varro, D.
Parametric synchronizations in mobile nominal calculi 1-gen-2008 Bruni, Roberto; Lanese, I.
Modelling Dynamic Software Architectures using Typed Graph Grammars 1-gen-2008 Bruni, Roberto; Bucchiarone, A; Gnesi, S; Melgratti, H.
Service Oriented Architectural Design 1-gen-2008 Bruni, Roberto; LLUCH LAFUENTE, A; Montanari, UGO GIOVANNI ERASMO; Tuosto, E.
Types and deadlock freedom in a calculus of services, sessions and pipelines 1-gen-2008 Bruni, Roberto; Mezzina, L.
Sessions and pipelines for structured service programming 1-gen-2008 Boreale, M; Bruni, Roberto; DE NICOLA, R; Loreti, M.
Graph-based design and analysis of dynamic software architectures 1-gen-2008 Bruni, Roberto; Bucchiarone, A; Gnesi, S; Hirsch, D; LLUCH LAFUENTE, A.
Models of Computation: A Tribute to Ugo Montanari's Vision 1-gen-2008 Bruni, Roberto; Sassone, V.
Multiparty sessions in SOC 1-gen-2008 Bruni, Roberto; Lanese, I; Melgratti, H; Tuosto, E.
Programmazione in Java 1-gen-2009 Bruni, Roberto; Corradini, Andrea; Gervasi, Vincenzo
Hierarchical design rewriting with Maude 1-gen-2009 Bruni, Roberto; LLUCH LAFUENTE, A; Montanari, UGO GIOVANNI ERASMO
Ten Virtues of Structured Graphs 1-gen-2009 Bruni, Roberto; LLUCH LAFUENTE, A.
Calculi for Service Oriented Computing 1-gen-2009 Bruni, Roberto
Provably correct implementations of services 1-gen-2009 Bruni, Roberto; DE NICOLA, R; Loreti, M; Mezzina, L.
On symbolic semantics for name-decorated contexts 1-gen-2009 Bracciali, A; Bruni, Roberto; LLUCH LAFUENTE, A.
A service-oriented UML profile with formal support 1-gen-2009 Bruni, Roberto; Hoelzl, M; Koch, N; LLUCH LAFUENTE, A; Mayer, P; Montanari, UGO GIOVANNI ERASMO; Schroeder, A; Wirsing, M.
Tiles for Reo 1-gen-2009 Arbab, F; Bruni, Roberto; Clarke, D; Lanese, I; Montanari, UGO GIOVANNI ERASMO
Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milano, Italia, September 4-5, 2008 1-gen-2009 Bruni, Roberto; Wolf, K.
Static detection of logic flaws in service-oriented applications 1-gen-2009 Bodei, Chiara; Brodo, L; Bruni, Roberto
A graph syntax for processes and services 1-gen-2009 Bruni, Roberto; Gadducci, Fabio; Lluch Lafuente, Alberto
Formal Languages and Analysis of Contract-Oriented Software, 4th Workshop, FLACOS 2010, Pisa, Italia, Settembre 17-18, 2010 1-gen-2010 Brogi, Antonio; Bruni, Roberto; Schneider, G.
Costruzioni per la semantica operazionale della concorrenza 1-gen-2010 Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO
3rd Interaction and Concurrency Experience, ICE 2010, Amsterdam, The Netherlands, June 10, 2010 1-gen-2010 Bliudze, S; Bruni, Roberto; Grohmann, D; Silva, A.
On gs-monoidal theories for graphs with nesting 1-gen-2010 Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; LLUCH LAFUENTE, A; Montanari, UGO GIOVANNI ERASMO
Modeling a Service and Session Calculus with Hierarchical Graph Transformation 1-gen-2010 Bruni, Roberto; Corradini, Andrea; Montanari, UGO GIOVANNI ERASMO
An Algebra of Hierarchical Graphs and its Application to Structural Encoding 1-gen-2010 Bruni, Roberto; Gadducci, Fabio; LLUCH LAFUENTE, A.
Mostra risultati da 61 a 90 di 172
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile