Recently modified Papers

 

SensoriaProcess Calculi for Service-Oriented Computing
Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro
TGC. Ugo Montanari, Donald Sannella, Roberto Bruni (Eds.). pages 30-50. volume 4661. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-540-75333-9. 2006.
Bibtex   

 

Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers

TGC. Rocco De Nicola, Davide Sangiorgi (Eds.). volume 3705. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 3-540-30007-4. 2005.
Bibtex   

 

Coordination Models and Languages, 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings

COORDINATION. Rocco De Nicola, Gian Luigi Ferrari, Greg Meredith (Eds.). volume 2949. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 3-540-21044-X. 2004.
Bibtex   

 

On a Uniform Framework for the Definition of Stochastic Process Languages
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
FMICS. María Alpuente, Byron Cook, Christophe Joubert (Eds.). pages 9-25. volume 5825. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-04569-1. 2009.
Bibtex   

 

Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Concurrency, Graphs and Models. Pierpaolo Degano, Rocco De Nicola, José Meseguer (Eds.). volume 5065. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-540-68676-7. 2008.
Bibtex   

 

Linear-Time and May-Testing in a Probabilistic Reactive Setting
Lucia Acciai, Michele Boreale, Rocco De Nicola
FMOODS/FORTE. Roberto Bruni, Jürgen Dingel (Eds.). pages 29-43. volume 6722. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-21460-8. 2011.
Bibtex   

 

Tree-functors, determinacy and bisimulations
Rocco De Nicola, Daniele Gorla, Anna Labella
Mathematical Structures in Computer Science. pages 319-358. volume 20. number 3. 2010.
Bibtex   

 

Delegation by object composition
Lorenzo Bettini, Viviana Bono, Betti Venneri
Science of Computer Programming. pages 992-1014. volume 76. number 11. Publisher: Elsevier. 2011.
Abstract   Bibtex   url   

 

Compositional Type-Checking for Delta-oriented Programming
Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani
Proceedings of the tenth international conference on Aspect-oriented software development, AOSD '11. pages 43--56. Publisher: ACM. 2011.
Abstract   Bibtex   url   

 

An Eclipse-based IDE for Featherweight Java implemented in Xtext
Lorenzo Bettini
Proc. ECLIPSE-IT. pages 14-28. ISBN: 9788890438813. 2010.
Abstract   Bibtex   url   pdf   

 

Klava: a Java Package for Distributed and Mobile Applications
Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese
Software - Practice and Experience. pages 1365-1394. volume 32. number 14. Publisher: John Wiley & Sons. 2002.
Abstract   Bibtex   gz   

 

Software Update via Mobile Agent Based Programming
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
Proc. of SAC, Special Track on Agents, Interactions, Mobility, and Systems. pages 32-36. Publisher: ACM Press. 2002.
Abstract   Bibtex   gz   

 

Mobile Applications in X-KLAIM
Lorenzo Bettini, Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese
Proc. of WOA 2000. A. Corradi, A. Omicini, A. Poggi (Eds.). pages 1-6. 2000.
Abstract   Bibtex   gz   

 

Interactive Mobile Agents in X-Klaim
Lorenzo Bettini, Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese
Proc. of the 7th IEEE Int. Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'98). pages 110-115. Publisher: IEEE Computer Society. 1998.
Abstract   Bibtex   gz   

 

 

A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces
Lorenzo Bettini, Rocco De Nicola
Proc. of FIDJI'02, Int. Workshop on scientific engineering of distributed Java applications. N. Guelfi, E. Astesiano, G. Reggio (Eds.). pages 175-184. number 2604. Publisher: Springer. Series: LNCS. 2003.
Abstract   Bibtex   gz   

 

Linguistic Constructs for Object-Oriented Mobile Code Programming & their Implementations
Lorenzo Bettini
Tesi di Dottorato, Ciclo XIV, Dottorato in Logica e Informatica Teorica. Publisher: Dipartimento di Matematica, Università di Siena. 2003.
Abstract   Bibtex   gz   

 

Formulae meet Programs over the Net: a Framework for Correct Network Aware Programming
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
Automated Software Engineering: Special Issue on Distributed and Mobile Software Engineering. pages 245-288. volume 11. number 3. 2004.
Abstract   Bibtex   gz   

 

Data Privacy in Tuple Space Based Mobile Agent Systems
Lorenzo Bettini
2nd Int. Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo). R.Focardi and G.Zavattaro (Eds.). pages 3-16. volume 128. number 5. Publisher: Elsevier. Series: ENTCS. 2004.
Abstract   Bibtex   pdf   

 

Mobile Distributed Programming in X-Klaim
Lorenzo Bettini, Rocco De Nicola
Formal Methods for Mobile Computing, Advanced Lectures. M. Bernardo and A. Bogliolo (Eds.). pages 29-68. volume 3465. Publisher: Springer. Series: LNCS. 2005.
Abstract   Bibtex   gz   

 

<< previous | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 next >>