- 2011
- João Inácio da Silva Filho, Germano Lambert-Torres, Luís Fernando Pompeo Ferrara, Maurício Conceição Mário, Marcos Rosa dos Santos, Alexandre Shozo Onuki, José de Melo Camargo, Alexandre Rocco:
Paraconsistent Algorithm Extractor of Contradiction Effects - ParaExtrctr. J. Softw. Eng. Appl. 4(10): 579-584 (2011) - Rocco De Nicola
, Gian-Luigi Ferrari
, Michele Loreti, Rosario Pugliese:
A Language-Based Approach to Autonomic Computing. FMCO 2011: 25-48 - Alessandro Antonucci, Rocco De Rosa:
Time Series Classification by Imprecise Hidden Markov Models. WIRN 2011: 195-202 - Luís Caires, Rocco De Nicola
, Rosario Pugliese
, Vasco Thudichum Vasconcelos
, Gianluigi Zavattaro:
Core Calculi for Service-Oriented Computing. Results of the SENSORIA Project 2011: 153-188 - 2010
- Rocco De Nicola
, Daniele Gorla
, René Rydhof Hansen
, Flemming Nielson
, Hanne Riis Nielson
, Christian W. Probst
, Rosario Pugliese
:
From Flow Logic to static type systems for coordination languages. Sci. Comput. Program. 75(6): 376-397 (2010) - 2009
- Rocco Aversa, Beniamino Di Martino, Salvatore Venticinque, Luca De Rosa:
Parallel porting and performance evaluation of a column based OLAP system. IADIS AC (1) 2009: 67-75 - 2008
- Rocco De Nicola
, Daniele Gorla
, René Rydhof Hansen
, Flemming Nielson
, Hanne Riis Nielson
, Christian W. Probst
, Rosario Pugliese
:
From Flow Logic to Static Type Systems for Coordination Languages. COORDINATION 2008: 100-116 - Silvana Revollar
, Mario Francisco, Pastora Vega, Rosalba Lamanna
:
Genetic Algorithms for the Synthesis and Integrated Design of Processes Using Advanced Control Strategies. DCAI 2008: 205-214 - 2007
- Rocco De Nicola
, Daniele Gorla
, Rosario Pugliese
:
Basic observables for a calculus for global computing. Inf. Comput. 205(10): 1491-1525 (2007) - Rocco V. Dell'Aquila, Giampiero Campa, Marcello R. Napolitano, Marco Mammarella:
Real-time machine-vision-based position sensing system for UAV aerial refueling. J. Real Time Image Process. 1(3): 213-224 (2007) - Rocco De Nicola
, Daniele Gorla
, Rosario Pugliese
:
Global computing in a dynamic network of tuple spaces. Sci. Comput. Program. 64(2): 187-204 (2007) - 2006
- Rocco De Nicola
, Daniele Gorla
, Rosario Pugliese
:
Confining data and processes in global computing applications. Sci. Comput. Program. 63(1): 57-87 (2006) - Rocco De Nicola
, Daniele Gorla
, Rosario Pugliese
:
On the expressive power of KLAIM-based calculi. Theor. Comput. Sci. 356(3): 387-421 (2006) - 2005
- Rocco De Nicola
, Gian-Luigi Ferrari
, Ugo Montanari, Rosario Pugliese, Emilio Tuosto:
A Process Calculus for QoS-Aware Applications. COORDINATION 2005: 33-48 - Rocco De Nicola
, Daniele Gorla
, Rosario Pugliese:
Global Computing in a Dynamic Network of Tuple Spaces. COORDINATION 2005: 157-172 - Rocco De Nicola
, Daniele Gorla
, Rosario Pugliese:
Pattern Matching over a Dynamic Network of Tuple Spaces. FMOODS 2005: 1-14 - Rocco De Nicola
, Daniele Gorla
, Rosario Pugliese:
Basic Observables for a Calculus for Global Computing. ICALP 2005: 1226-1238 - 2004
- François Rocaries, Yskandar Hamam, Rossany Roche, Marisol Delgado, Rosalba Lamanna
, Françoise Pecker, Catherine Pavoine, Hubert Lorino:
Calcium dynamics in cardiac myocytes: a model for drugs effect description. Simul. Model. Pract. Theory 12(2): 93-104 (2004) - Rocco De Nicola
, Daniele Gorla
, Rosario Pugliese
:
On the Expressive Power of Klaim-based Calculi. EXPRESS 2004: 117-130 - 2003
- Rocco De Nicola, Gian-Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto:
A Formal Basis for Reasoning on Programmable QoS. Verification: Theory and Practice 2003: 436-479 - Lorenzo Bettini, Viviana Bono, Rocco De Nicola
, Gian-Luigi Ferrari
, Daniele Gorla
, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri:
The Klaim Project: Theory and Practice. Global Computing 2003: 88-150 - 2002
- Michele Boreale
, Rocco De Nicola
, Rosario Pugliese
:
Trace and Testing Equivalence on Asynchronous Processes. Inf. Comput. 172(2): 139-164 (2002) - Lorenzo Bettini
, Rocco De Nicola
, Rosario Pugliese
:
Klava: a Java package for distributed and mobile applications. Softw. Pract. Exp. 32(14): 1365-1394 (2002) - Luís Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola
, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch
, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink
, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki:
AGILE: Software Architecture for Mobility. WADT 2002: 1-33 - 2001
- Michele Boreale
, Rocco De Nicola
, Rosario Pugliese
:
Proof Techniques for Cryptographic Processes. SIAM J. Comput. 31(3): 947-986 (2001) - Michele Boreale
, Rocco De Nicola
, Rosario Pugliese
:
Divergence in testing and readiness semantics. Theor. Comput. Sci. 266(1-2): 237-248 (2001) - Lorenzo Bettini
, Rocco De Nicola
, Rosario Pugliese
:
XKlaim and Klava: Programming Mobile Code. TOSCA 2001: 24-37 - 2000
- Rocco De Nicola
, Gian-Luigi Ferrari
, Rosario Pugliese, Betti Venneri:
Types for access control. Theor. Comput. Sci. 240(1): 215-254 (2000) - Rocco De Nicola
, Rosario Pugliese:
Linda-based applicative and imperative process algebras. Theor. Comput. Sci. 238(1-2): 389-437 (2000) - Rocco De Nicola
, Gian-Luigi Ferrari
, Rosario Pugliese:
Programming Access Control: The KLAIM Experience. CONCUR 2000: 48-65