Warning: session_start() [function.session-start]: open(/var/lib/php5/sess_9f77964f824ffec05160a21849c2f0b5, O_RDWR) failed: Read-only file system (30) in /var/www/cosy/biblio/papers_fun.php on line 13

Warning: session_start() [function.session-start]: Cannot send session cookie - headers already sent by (output started at /var/www/cosy/biblio/papers_fun.php:13) in /var/www/cosy/biblio/papers_fun.php on line 13

Warning: session_start() [function.session-start]: Cannot send session cache limiter - headers already sent (output started at /var/www/cosy/biblio/papers_fun.php:13) in /var/www/cosy/biblio/papers_fun.php on line 13

Warning: Cannot modify header information - headers already sent by (output started at /var/www/cosy/biblio/papers_fun.php:13) in /var/www/cosy/biblio/header.php on line 2
CoSy Bibliography
Group by
Show grouping index
Show only this author's papers
Show only papers in this classification

Show by ascending year

               

rss feed

Evaluating the Efficiency of Asynchronous Systems with FASE
Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler.
CoRR. vol. abs/1105.1. 2011. bibtex

Multiscale Modelling: A Mobile Membrane Approach
Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei.
CoRR. vol. abs/1108.3. 2011. bibtex

Read Operators and their Expressiveness in Process Algebras
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler.
EXPRESS. Bas Luttik, Frank Valencia (Eds.). pp. 31-43. EPTCS vol. 64. 2011. bibtex

Automated Analysis of MUTEX Algorithms with FASE
Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler.
GandALF. Giovanna D'Agostino, Salvatore La Torre (Eds.). pp. 45-59. EPTCS vol. 54. 2011. bibtex

BIOSHAPE\textsc\BioShape\: End-User Development for Simulating Biological Systems
Federico Buti, Diletta Cacciagrano, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei.
IS-EUD. Maria Francesca Costabile, Yvonne Dittrich, Gerhard Fischer, Antonio Piccinno (Eds.). pp. 379-382. Lecture Notes in Computer Science vol. 6654. Springer. 2011. bibtex

A Uniform Multiscale Meta-model of BioShape
Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei.
Electr. Notes Theor. Comput. Sci.. pp. 15-27. vol. 277. 2011. bibtex

A Combined Process Algebraic and Stochastic Approach to Bone Remodeling
Pietro Liò, Emanuela Merelli, Nicola Paoletti, Marco Viceconti.
Electr. Notes Theor. Comput. Sci.. pp. 41-52. vol. 277. 2011. bibtex

Methodological Bridges for Multi-Level Systems
Emanuela Merelli, Nicola Paoletti, Pietro Liò.
Procedia CS. pp. 180-182. vol. 7. 2011. bibtex

Multiscale Modelling: A Mobile Membrane Approach
Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei.
CoRR. vol. abs/1108.3. 2011. bibtex

ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People
Flavio Corradini, Emanuela Merelli, Diletta Romana Cacciagrano, Rosario Culmone, Luca Tesei, Leonardo Vito.
ERCIM News. vol. 2011 no. 87. 2011. bibtex

Multiple verification in computational modeling of bone pathologies
Pietro Liò, Emanuela Merelli, Nicola Paoletti.
CompMod. Ion Petre, Erik P. de Vink (Eds.). pp. 82-96. EPTCS vol. 67. 2011. bibtex

BIOSHAPE\textsc\BioShape\: End-User Development for Simulating Biological Systems
Federico Buti, Diletta Cacciagrano, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei.
IS-EUD. Maria Francesca Costabile, Yvonne Dittrich, Gerhard Fischer, Antonio Piccinno (Eds.). pp. 379-382. Lecture Notes in Computer Science vol. 6654. Springer. 2011. bibtex

Osteoporosis: a multiscale modeling viewpoint
Nicola Paoletti, Pietro Liò, Emanuela Merelli, Marco Viceconti.
CMSB. Fran\ccois Fages (Eds.). pp. 183-193. ACM. 2011. bibtex

Toward real-time simulation of cardiac dynamics
Ezio Bartocci, Elizabeth Cherry, James Glimm, Radu Grosu, Scott A. Smolka, Flavio H. Fenton.
CMSB. Fran\ccois Fages (Eds.). pp. 103-112. ACM. 2011. bibtex

Runtime Verification with State Estimation
Scott D. Stoller, Ezio Bartocci, Radu Grosu, Havelund Klaus, Scott A. Smolka, Seyster Justin, Erez Zadok.
In Proc. of RV 2011: 2nd International Conference on Runtime Verification. 2011. bibtex

Toward Realtime Simulation of Cardiac Dynamics
Ezio Bartocci, Elizabeth M. Cherry, James Glimm, Radu Grosu, Scott A. Smolka, Flavio H. Fenton.
In Proc. of CMSB'11, the 9th International Conference on Computational Methods in Systems Biology.. 2011. bibtex

From Cardiac Cells to Genetic Regulatory Networks
Radu Grosu, Colas Le Guernic, Scott A. Smolka, Ezio Bartocci, Gregory Batt, Flavio H. Fenton, James Glimm.
CAV. Ganesh Gopalakrishnan, Shaz Qadeer (Eds.). pp. 396-411. Lecture Notes in Computer Science vol. 6806. Springer. 2011. bibtex

Modeling the cell cycle: From deterministic models to hybrid systems
Roberta Alfieri, Ezio Bartocci, Emanuela Merelli, Luciano Milanesi.
Biosystems. pp. 34-40. vol. 105 no. 1. 2011. bibtex

Model Repair for Probabilistic Systems
Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka.
TACAS. Parosh Aziz Abdulla, K. Rustan M. Leino (Eds.). pp. 326-340. Lecture Notes in Computer Science vol. 6605. Springer. 2011. bibtex

Curvature Analysis of Cardiac Excitation Wavefronts
Abhishek Murthy, Ezio Bartocci, Fenton Flavio, Glimm James, Richard Gray, Scott A. Smolka, Radu Grosu.
In Proc. of CMSB'11, the 9th International Conference on Computational Methods in Systems Biology. 2011. bibtex

Knowledge-based platform for eGovernment agents: A Web-based solution using semantic technologies
Luis Álvarez Sabucedo, Luis E. Anido-Rifón, Flavio Corradini, Alberto Polzonetti, Barbara Re.
Expert Syst. Appl.. pp. 3647-3656. vol. 37 no. 5. 2010. bibtex

Business Processes Verification for e-Government Service Delivery
Flavio Corradini, Andrea Polini, Alberto Polzonetti, Barbara Re.
IS Management. pp. 293-308. vol. 27 no. 4. 2010. bibtex

Methodologies, Technologies and Tools Enabling e-Government
Luis E. Anido-Rifón, Flavio Corradini.
J. UCS. pp. 1055. vol. 16 no. 8. 2010. bibtex

A Process Algebraic Approach to Software Architecture Design
Alessandro Aldini, Marco Bernardo, Flavio Corradini.
pp. I-XV, 1-30. Springer. 2010. bibtex

An Individual-based Probabilistic Model for Fish Stock Simulation
Federico Buti, Flavio Corradini, Emanuela Merelli, Elio Paschini, Pierluigi Penna, Luca Tesei.
AMCA-POP. Paolo Milazzo, Mario de J. P\'erez-Jim\'enez (Eds.). pp. 37-55. EPTCS vol. 33. 2010. bibtex

Designing Quality Business Processes for E-Government Digital Services
Flavio Corradini, Damiano Falcioni, Andrea Polini, Alberto Polzonetti, Barbara Re.
EGOV. Maria Wimmer, Loup Chappelet, Marijn Janssen, Hans Jochen Scholl (Eds.). pp. 424-435. Lecture Notes in Computer Science vol. 6228. Springer. 2010. bibtex

Multiscale Bone Remodelling with Spatial P Systems
Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei.
MeCBIC. Gabriel Ciobanu, Maciej Koutny (Eds.). pp. 70-84. EPTCS vol. 40. 2010. bibtex

An Individual-based Probabilistic Model for Fish Stock Simulation
Federico Buti, Flavio Corradini, Emanuela Merelli, Elio Paschini, Pierluigi Penna, Luca Tesei.
AMCA-POP. Paolo Milazzo, Mario de J. P\'erez-Jim\'enez (Eds.). pp. 37-55. EPTCS vol. 33. 2010. bibtex

Multiscale Bone Remodelling with Spatial P Systems
Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei.
MeCBIC. Gabriel Ciobanu, Maciej Koutny (Eds.). pp. 70-84. EPTCS vol. 40. 2010. bibtex

Shape Calculus: Timed Operational Semantics and Well-formedness
Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei.
CoRR. vol. abs/1011.2. 2010. bibtex

Proceedings Third Workshop From Biology To Concurrency and back
FBTC. Emanuela Merelli, Paola Quaglia (Eds.). EPTCS vol. 19. 2010. bibtex

Shape Calculus: Timed Operational Semantics and Well-formedness
Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei.
CoRR. vol. abs/1011.2. 2010. bibtex

BioShape: a spatial shape-based scale-independent simulation environment for biological systems
Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei.
Procedia CS. pp. 827-835. vol. 1 no. 1. 2010. bibtex

Shape Calculus. A Spatial Mobile Calculus for 3D Shapes
Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei.
Sci. Ann. Comp. Sci.. pp. 1-31. vol. 20. 2010. bibtex

Timed Operational Semantics and Well-Formedness of Shape Calculus
Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei.
Sci. Ann. Comp. Sci.. pp. 32-52. vol. 20. 2010. bibtex

Preface: Hybrid automata and oscillatory behaviour in biological systems
Nicola Cannata, Emanuela Merelli, Irek Ulidowski.
Theor. Comput. Sci.. pp. 1997-1998. vol. 411 no. 20. 2010. bibtex

Bone Remodelling: A Complex Automata-Based Model Running in BioShape
Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli.
ACRI. Stefania Bandini, Sara Manzoni, Hiroshi Umeo, Giuseppe Vizzari (Eds.). pp. 116-127. Lecture Notes in Computer Science vol. 6350. Springer. 2010. bibtex

An Individual-based Probabilistic Model for Fish Stock Simulation
Federico Buti, Flavio Corradini, Emanuela Merelli, Elio Paschini, Pierluigi Penna, Luca Tesei.
AMCA-POP. Paolo Milazzo, Mario de J. P\'erez Jim\'enez (Eds.). pp. 37-55. EPTCS vol. 33. 2010. bibtex

Multiscale Bone Remodelling with Spatial P Systems
Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei.
MeCBIC. Gabriel Ciobanu, Maciej Koutny (Eds.). pp. 70-84. EPTCS vol. 40. 2010. bibtex

Bone Remodelling in BioShape
Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei, M. Pani.
Electr. Notes Theor. Comput. Sci.. pp. 17-29. vol. 268. 2010. bibtex

Proceedings Third Workshop From Biology To Concurrency and back
FBTC. Emanuela Merelli, Paola Quaglia (Eds.). EPTCS vol. 19. 2010. bibtex

Shape Calculus: Timed Operational Semantics and Well-formedness
Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei.
CoRR. vol. abs/1011.2. 2010. bibtex

Detecting synchronisation of biological oscillators by model checking
Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei.
Theor. Comput. Sci.. pp. 1999-2018. vol. 411 no. 20. 2010. bibtex

A Resourceome for the Automation of In-silico Biological Experiments
Ezio Bartocci, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Leonardo Vito.
Biosciences, International Conference on. pp. 70-75. IEEE Computer Society. 2010. bibtex

Holistic development of online public services
Flavio Corradini, Alberto Polzonetti, Oliviero Riganelli.
ICEGOV. Tomasz Janowski, Jim Davies (Eds.). pp. 227-234. ACM International Conference Proceeding Series vol. 322. ACM. 2009. bibtex

Explicit fairness in testing semantics
Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi.
Logical Methods in Computer Science. vol. 5 no. 2. 2009. bibtex

Liveness of a mutex algorithm in a fair process algebra
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler.
Acta Inf.. pp. 209-235. vol. 46 no. 3. 2009. bibtex

Constraint-Based Dynamic Conversations
Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito.
ICNS. Jaime Lloret Mauri, Vicente Casares Giner, Rafael Tomas, Tomeu Serra, Oana Dini (Eds.). pp. 7-12. IEEE Computer Society. 2009. bibtex

Online Public Service Delivery
Flavio Corradini, Alberto Polzonetti, Oliviero Riganelli.
CSREA EE. Hamid R. Arabnia, Azita Bahrami (Eds.). pp. 319-318. CSREA Press. 2009. bibtex

Preface
Nicola Cannata, Emanuela Merelli.
Theor. Comput. Sci.. pp. 3037-3038. vol. 410 no. 33-34. 2009. bibtex

Resourceome for e-Government: Semantic Web Tool for Managing PA Resources
Flavio Corradini, Emanuela Merelli, Alberto Polzonetti, Barbara Re, Leonardo Vito.
CSREA EE. Hamid R. Arabnia, Azita Bahrami (Eds.). pp. 354-356. CSREA Press. 2009. bibtex

Towards Bioinformatics Resourceomes
Nicola Cannata, Flavio Corradini, Emanuela Merelli, Francesca Piersigilli, Leonardo Vito.
Biomedical Data and Applications. Amandeep S. Sidhu, Tharam S. Dillon (Eds.). pp. 13-36. Studies in Computational Intelligence vol. 224. Springer. 2009. bibtex

Preface
Nicola Cannata, Emanuela Merelli, Irek Ulidowski.
Electr. Notes Theor. Comput. Sci.. pp. 1-2. vol. 229 no. 1. 2009. bibtex

Model Checking Biological Oscillators
Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei.
Electr. Notes Theor. Comput. Sci.. pp. 41-58. vol. 229 no. 1. 2009. bibtex

A Shape Calculus for Biological Processes
Ezio Bartocci, Maria Rita Di Berardini, Flavio Corradini, Merelli Emanuela, Luca Tesei.
11th Italian Conference on Theoretical Computer Science. pp. 30-33. 2009. bibtex

Model Checking Biological Oscillators
Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei.
In the proceedings of the 2th From Biology To Concurrency International Workshop (FBTC'08), Reykjavik, Island, July, 2008. pp. 41-58. Electronic Notes in Theoretical Computer Science vol. 229 no. 1. 2009. bibtex

Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes
Radu Grosu, Scott A. Smolka, Anita Wasilewska, Flavio Corradini, Emilia Entcheva, Ezio Bartocci.
Communication of ACM. pp. 97-105. vol. 52 no. 3. 2009. pdf bibtex

Timed P Automata
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei.
Electr. Notes Theor. Comput. Sci.. pp. 21-36. vol. 227. 2009. bibtex

Time and Fairness in a Process Algebra with Non-blocking Reading
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler.
SOFSEM. pp. 193-204. 2009. bibtex

Modeling and Simulation of Cardiac Tissue using Hybrid I/O Automata
Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Scott A. Smolka, Radu Grosu.
Theoretical Computer Science. pp. In press. 2009. bibtex

Quality of service in e-government underlines the role of information usability
Flavio Corradini, Alberto Polzonetti, Barbara Re, Luca Tesei.
IJIQ. pp. 133-151. vol. 2 no. 2. 2008. bibtex

StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes
Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka.
Concurrency, Graphs and Models. Pierpaolo Degano, Rocco De Nicola, Jos\'e Meseguer (Eds.). pp. 493-502. Lecture Notes in Computer Science vol. 5065. Springer. 2008. bibtex

Preface
Nicola Cannata, Emanuela Merelli.
Electr. Notes Theor. Comput. Sci.. pp. 1-3. vol. 194 no. 3. 2008. bibtex

An architectural approach to the correct and automatic assembly of evolving component-based systems
Patrizio Pelliccione, Massimo Tivoli, Antonio Bucchiarone, Andrea Polini.
Journal of Systems and Software. pp. 2237-2251. vol. 81 no. 12. 2008. bibtex

The PLASTIC Framework and Tools for Testing Service-Oriented Applications
Antonia Bertolino, Guglielmo De Angelis, Lars Frantzen, Andrea Polini.
ISSSE. Andrea De Lucia, Filomena Ferrucci (Eds.). pp. 106-139. Lecture Notes in Computer Science vol. 5413. Springer. 2008. bibtex

Towards Automated WSDL-Based Testing of Web Services
Cesare Bartolini, Antonia Bertolino, Eda Marchetti, Andrea Polini.
ICSOC. Athman Bouguettaya, Ingolf Kr\"uger, Tiziana Margaria (Eds.). pp. 524-529. Lecture Notes in Computer Science vol. 5364. 2008. bibtex

ARAMIS 2008: The First Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng Systems
Mauro Caporuscio, Antinisca Di Marco, Leonardo Mariani, Henry Muccini, Andrea Polini, Onn Shehory (Eds.).
ASE. pp. 529-530. IEEE. 2008. bibtex

A model-prover for constrained dynamic conversations
Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Luca Tesei, Leonardo Vito.
iiWAS. Gabriele Kotsis, David Taniar, Eric Pardede, Ismail Khalil Ibrahim (Eds.). pp. 630-633. ACM. 2008. bibtex

A participant testing strategy for service orchestrations
Flavio Corradini, Francesco De Angelis, Andrea Polini, Alberto Polzonetti.
ICDIM. pp. 308-313. 2008. bibtex

Multiagent modelling and simulation of carbohydrate oxidation
Nicola Cannata, Flavio Corradini, Emanuela Merelli.
International Journal of Modelling, Identification and Control . pp. 17-28. vol. 3 no. 1. Inderscience Publishers. 2008. bibtex

Preface to Special Issue devoted to the memory of Sauro Tulipani
Flavio Corradini, Carlo Toffalori.
Mathematical Structures in Computer Science. pp. 1-4. vol. 18 no. 1. 2008. bibtex

Improving Trust in Composite eServices Via Run-Time Participants Testing
Flavio Corradini, Francesco De Angelis, Andrea Polini, Alberto Polzonetti.
EGOV. pp. 279-290. 2008. bibtex

Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus
Diletta Cacciagrano, Flavio Corradini, Jesús Aranda, Frank D. Valencia.
Electr. Notes Theor. Comput. Sci.. pp. 59-84. vol. 194 no. 2. 2008. bibtex

Preface
Nicola Cannata, Emanuela Merelli.
Electr. Notes Theor. Comput. Sci.. pp. 1-3. vol. 194 no. 3. 2008. bibtex

Model-Based Generation of Testbeds for Web Services
Antonia Bertolino, Guglielmo De Angelis, Lars Frantzen, Andrea Polini.
TestCom/FATES. pp. 266-282. 2008. bibtex

CellExcite: An Efficient Simulation Environment for Excitable Cells
Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Radu Grosu, Scott A. Smolka.
BMC Bioinformatics. pp. S1-S13. vol. 9 no. Suppl. 2. 2008. abstract 1471-2105-9-S2-S3.pdf S3 bibtex

Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes
Radu Grosu, Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Scott A. Smolka, Anita Wasilewska.
In the proceedings of the 11th International Conference on Hybrid Systems: Computation and Control (HSCC'08), St. Louis, USA, April, 2008. pp. 229-243. Lectures Notes in Computer Science vol. 4981. Springer. 2008. abstract bibtex

Validating MAS simulation models with mutation
Emanuela Merelli, Michal Young.
Multiagent and Grid Systems. pp. 225-243. vol. 3 no. 2. 2007. bibtex

BioWMS: a web-based Workflow Management System for bioinformatics
Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Lorenzo Scortichini.
BMC Bioinformatics. vol. 8 no. S-1. 2007. bibtex

Biowep: a workflow enactment portal for bioinformatics applications
Paolo Romano 0001, Ezio Bartocci, Guglielmo Bertolini, Flavio De Paoli, Domenico Marra, Giancarlo Mauri, Emanuela Merelli, Luciano Milanesi.
BMC Bioinformatics. vol. 8 no. S-1. 2007. bibtex

Agents in bioinformatics, computational and systems biology
Emanuela Merelli, Giuliano Armano, Nicola Cannata, Flavio Corradini, Mark d'Inverno, Andreas Doms, Phillip W. Lord, Andrew Martin, Luciano Milanesi, Steffen Möller, Michael Schroeder, Michael Luck.
Briefings in Bioinformatics. pp. 45-59. vol. 8 no. 1. 2007. bibtex

A Resourceomic Grid for bioinformatics
Nicola Cannata, Flavio Corradini, Emanuela Merelli.
Future Generation Comp. Syst.. pp. 510-516. vol. 23 no. 3. 2007. bibtex

Semantic Resource Management in MAS
Nicola Cannata, Flavio Corradini, Francesca Piersigilli, Emanuela Merelli, Leonardo Vito.
WOA. Matteo Baldoni, Antonio Boccalatte, Flavio De Paoli, Maurizio Martelli, Viviana Mascardi (Eds.). pp. 42-47. Seneca Edizioni Torino. 2007. bibtex

Proceedings of the 2nd International Workshop on Service Oriented Software Engineering: in conjunction with the 6th ESEC/FSE joint meeting, IW-SOSWE 2007, Dubrovnik, Croatia, September 3, 2007
IW-SOSWE. Elisabetta Di Nitto, Andrea Polini, Andrea Zisman (Eds.). ACM. 2007. bibtex

Semantic Resource Management in MAS
Nicola Cannata, Flavio Corradini, Francesca Piersigilli, Emanuela Merelli, Leonardo Vito.
WOA. pp. 42-47. 2007. bibtex

A Resourceomic Grid for bioinformatics.
Nicola Cannata, Flavio Corradini, Emanuela Merelli.
Future Generation Comp. Syst.. pp. 510-516. vol. 23 no. 3. 2007. bibtex

Agents in bioinformatics, computational and systems biology.
Emanuela Merelli, Giuliano Armano, Nicola Cannata, Flavio Corradini, Luciano Milanesi, Steffen Möller, Michael Schroeder, Michael Luck, Mark d'Inverno, Andrew Martin, Andreas Doms, Phillip W. Lord.
Briefings in Bioinformatics. pp. 45-59. vol. 8 no. 1. 2007. bibtex

A characterization of regular expressions under bisimulation.
Jos C. M. Baeten, Flavio Corradini, Clemens Grabmayer.
J. ACM. vol. 54 no. 2. 2007. bibtex

Preface.
Flavio Corradini, Carlo Toffalori.
Electr. Notes Theor. Comput. Sci.. pp. 1-2. vol. 169. 2007. bibtex

An Agent-based Multilayer Architecture for Bioinformatics Grids
Ezio Bartocci, Diletta Cacciagrano, Nicola Cannata, Flavio Corradini, Emanuela Merelli, Luciano Milanesi, Paolo Romano.
IEEE transactions on Nanobioscience. pp. 142-148. vol. 6 no. 2. 2007. abstract bibtex

Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue
Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Radu Grosu, Scott A. Smolka.
In the proceedings of FBTC'07 From Biology to Concurrency and Back International Workshop co-sited with CONCUR conference. pp. 86-102. Electronic Notes in Theoretical Computer Science vol. 194 no. 3. Elsevier. 2007. abstract bibtex

Fair Pi
Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi.
Electr. Notes Theor. Comput. Sci.. pp. 3-26. vol. 175 no. 3. 2007. bibtex

A Case Study of Semantic Solutions for Citizen-Centered Web Portals in eGovernment: The Tecut Portal
Flavio Corradini, Luis Álvarez Sabucedo, Luis E. Anido-Rifón, Barbara Re, Alberto Polzonetti.
EGOV. pp. 204-215. 2007. bibtex

Validating MAS simulation models with mutation
Emanuela Merelli, Michal Young.
Multiagent and Grid Systems. pp. 225-243. vol. 3 no. 2. 2007. bibtex

Monitoring Architectural Properties in Dynamic Component-Based Systems
Henry Muccini, Andrea Polini, Fabiano Ricci, Antonia Bertolino.
CBSE. pp. 124-139. 2007. bibtex

TAXI - A Tool for XML-Based Testing
Antonia Bertolino, Jinghua Gao, Eda Marchetti, Andrea Polini.
ICSE Companion. pp. 53-54. 2007. bibtex

A QoS Test-Bed Generator for Web Services
Antonia Bertolino, Guglielmo De Angelis, Andrea Polini.
ICWE. pp. 17-31. 2007. bibtex

Automatic generation of test-beds for pre-deployment QoS evaluation of web services
Antonia Bertolino, Guglielmo De Angelis, Andrea Polini.
WOSP. pp. 137-140. 2007. bibtex

Testing software components for integration: a survey of issues and techniques
Muhammad Jaffar-Ur Rehman, Fakhra Jabeen, Antonia Bertolino, Andrea Polini.
Softw. Test., Verif. Reliab.. pp. 95-133. vol. 17 no. 2. 2007. bibtex

Correction: Time to Organize the Bioinformatics Resourceome
Nicola Cannata, Emanuela Merelli, Russ Biagio Altman.
PLoS Computational Biology. vol. 2 no. 2. 2006. bibtex

Enacting Proactive Workflows Engine in e-Science
Ezio Bartocci, Flavio Corradini, Emanuela Merelli.
International Conference on Computational Science (3). Vassil N. Alexandrov, G. Dick van Albada, Peter M. A. Sloot, Jack Dongarra (Eds.). pp. 1012-1015. Lecture Notes in Computer Science vol. 3993. Springer. 2006. bibtex

Building a MultiAgent System from a User Workflow Specification
Ezio Bartocci, Flavio Corradini, Emanuela Merelli.
WOA. Flavio De Paoli, Antonella Di Stefano, Andrea Omicini, Corrado Santoro (Eds.). CEUR Workshop Proceedings vol. 204. CEUR-WS.org. 2006. bibtex

Model driven design and implementation of activity-based applications in Hermes
Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Leonardo Vito.
WOA. Flavio De Paoli, Antonella Di Stefano, Andrea Omicini, Corrado Santoro (Eds.). CEUR Workshop Proceedings vol. 204. CEUR-WS.org. 2006. bibtex

Network integration of data and analysis of oncology interest
Paolo Romano 0001, Guglielmo Bertolini, Flavio De Paoli, M. Fattore, Domenico Marra, Giancarlo Mauri, Emanuela Merelli, Ivan Porro, Silvia Scaglione, Luciano Milanesi.
J. Integrative Bioinformatics. vol. 3 no. 1. 2006. bibtex

The 2006 International Workshop on Service Oriented Software Engineering (IW-SOSE '06), May 27-28, 2006, Shanghai, China, in conjunction with ICSE 2006
SOSE. Elisabetta Di Nitto, Robert J. Hall, Jun Han, Yanbo Han, Andrea Polini, Kurt Sandkuhl, Andrea Zisman (Eds.). IEEE Computer Society. 2006. bibtex

Document Exchange Methodology for Collaborative Work in e-Government
Flavio Corradini, Alberto Polzonetti, Romeo Pruno, Lucio Forastieri.
DEXA Workshops. pp. 283-287. 2006. bibtex

Report on the International Workshop on Service Oriented Software Engineering (IW-SOSE06)
Elisabetta Di Nitto, Robert J. Hall, Jun Han, Yanbo Han, Andrea Polini, Kurt Sandkuhl, Andrea Zisman.
ACM SIGSOFT Software Engineering Notes. pp. 36-38. vol. 31 no. 5. 2006. bibtex

Architectural Verification of Black-Box Component-Based Systems
Antonia Bertolino, Henry Muccini, Andrea Polini.
RISE. pp. 98-113. 2006. bibtex

Preface.
Jos C. M. Baeten, Flavio Corradini.
Theor. Comput. Sci.. pp. 263-264. vol. 356 no. 3. 2006. bibtex

On relating functional specifications to architectural specifications: A case study.
Flavio Corradini, Paola Inverardi, Alexander L. Wolf.
Sci. Comput. Program.. pp. 171-208. vol. 59 no. 3. 2006. bibtex

Separation of Synchronous and Asynchronous Communication Via Testing.
Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi.
Electr. Notes Theor. Comput. Sci.. pp. 95-108. vol. 154 no. 3. 2006. bibtex

Fairness of Actions in System Computations.
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler.
Acta Inf.. pp. 73-130. vol. 43 no. 2. 2006. bibtex

Dynamic Constraint-Based Invocation of Web Services.
Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito.
WS-FM. pp. 138-147. 2006. bibtex

Quality evaluation of e-Government digital services.
Flavio Corradini, Francesco De Angelis, Alberto Polzonetti, Barbara Re.
DG.O. pp. 377-378. 2006. bibtex

Social Enterprise Architecture: Towards an Extendable and Scaleable System Architecture for KM.
Alberto Polzonetti, Romeo Pruno, Roberto DAngelo, Flavio Corradini.
DEXA Workshops. pp. 584-587. 2006. bibtex

Checking a Mutex Algorithm in a Process Algebra with Fairness.
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler.
CONCUR. pp. 142-157. 2006. bibtex

A GRID-based multilayer architecture for bioinformatics
Ezio Bartocci, Diletta Cacciagrano, Nicola Cannata, Flavio Corradini, Emanuela Merelli, Luciano Milanesi, Paolo Romano.
In the proceedings of NETTAB'06 Network Tools and Applications in Biology. 2006. bibtex

Towards an architectural approach for the dynamic and automatic composition of software components
Antonio Bucchiarone, Andrea Polini, Patrizio Pelliccione, Massimo Tivoli.
ROSATEA. pp. 12-21. 2006. bibtex

Systematic Generation of XML Instances to Test Complex Software Applications
Antonia Bertolino, Jinghua Gao, Eda Marchetti, Andrea Polini.
RISE. pp. 114-129. 2006. bibtex

International workshop on service oriented software engineering (IW-SOSE'06)
Elisabetta Di Nitto, Robert J. Hall, Jun Han, Yanbo Han, Andrea Polini, Kurt Sandkuhl, Andrea Zisman.
ICSE. pp. 1036-1037. 2006. bibtex

Transactions on Computational Systems Biology III
T. Comp. Sys. Biology. Corrado Priami, Emanuela Merelli, Pedro Pablo Gonzalez, Andrea Omicini (Eds.). Lecture Notes in Computer Science vol. 3737. Springer. 2005. bibtex

Integrating Ontologies in Mobile Agents
Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini, Emanuela Merelli.
WOA. Flavio Corradini, Flavio De Paoli, Emanuela Merelli, Andrea Omicini (Eds.). pp. 37-45. Pitagora Editrice Bologna. 2005. bibtex

Agents in bioinformatics
Michael Luck, Emanuela Merelli.
Knowledge Eng. Review. pp. 117-125. vol. 20 no. 2. 2005. bibtex

An Agent-Oriented Conceptual Framework for Systems Biology
Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci.
T. Comp. Sys. Biology. Corrado Priami, Emanuela Merelli, Pedro Pablo Gonzalez, Andrea Omicini (Eds.). pp. 105-122. Lecture Notes in Computer Science vol. 3737. Springer. 2005. bibtex

WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 14-16 November 2005, Camerino, MC, Italy
WOA. Flavio Corradini, Flavio De Paoli, Emanuela Merelli, Andrea Omicini (Eds.). Pitagora Editrice Bologna. 2005. bibtex

Transactions on Computational Systems Biology III
T. Comp. Sys. Biology. Corrado Priami, Emanuela Merelli, Pedro Pablo Gonzalez, Andrea Omicini (Eds.). Lecture Notes in Computer Science vol. 3737. Springer. 2005. bibtex

A Multi-agent System for Modelling Carbohydrate Oxidation in Cell
Flavio Corradini, Emanuela Merelli, Marco Vita.
ICCSA (2). Osvaldo Gervasi, Marina L. Gavrilova, Vipin Kumar, Antonio Lagan\`a, Heow Pueh Lee, Youngsong Mun, D (Eds.). pp. 1264-1273. Lecture Notes in Computer Science vol. 3481. Springer. 2005. bibtex

Hermes: Agent-Based Middleware for Mobile Computing
Flavio Corradini, Emanuela Merelli.
SFM. Marco Bernardo, Alessandro Bogliolo (Eds.). pp. 234-270. Lecture Notes in Computer Science vol. 3465. Springer. 2005. bibtex

Hermes: agent-base middleware for mobile computing.
Flavio Corradini, Emanuela Merelli.
Mobile Computing. pp. 234-270. vol. 3465. LNCS. 2005. bibtex

Time to Organize the Bioinformatics Resourceome
Nicola Cannata, Emanuela Merelli, Russ Biagio Altman.
PLoS Computational Biology. vol. 1 no. 7. 2005. journal.pcbi.0010076 bibtex

An Agent-Oriented Conceptual Framework for Systems Biology.
Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci.
T. Comp. Sys. Biology. pp. 105-122. 2005. bibtex

A Multi-agent System for Modelling Carbohydrate Oxidation in Cell.
Flavio Corradini, Emanuela Merelli, Marco Vita.
ICCSA (2). pp. 1264-1273. 2005. bibtex

Transactions on Computational Systems Biology III
T. Comp. Sys. Biology. Corrado Priami, Emanuela Merelli, Pedro Pablo Gonzalez, Andrea Omicini (Eds.). Lecture Notes in Computer Science vol. 3737. Springer. 2005. bibtex

WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 14-16 November 2005, Camerino, MC, Italy
WOA. Flavio Corradini, Flavio De Paoli, Emanuela Merelli, Andrea Omicini (Eds.). Pitagora Editrice Bologna. 2005. bibtex

Measuring the performance of asynchronous systems with PAFAS.
Flavio Corradini, Walter Vogler.
Theor. Comput. Sci.. pp. 187-213. vol. 335 no. 2-3. 2005. bibtex

EDITORIAL: Selected papers of the tenth international workshop on expressiveness in concurrency (EXPRESS 2003).
Flavio Corradini, Uwe Nestmann.
Theor. Comput. Sci.. pp. 375-376. vol. 330 no. 3. 2005. bibtex

Fairness of Components in System Computations.
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler.
Electr. Notes Theor. Comput. Sci.. pp. 35-52. vol. 128 no. 2. 2005. bibtex

Preface.
Jos C. M. Baeten, Flavio Corradini.
Electr. Notes Theor. Comput. Sci.. pp. 1-3. vol. 128 no. 2. 2005. bibtex

Integrating Ontologies in Mobile Agents.
Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini, Emanuela Merelli.
WOA. pp. 37-45. 2005. 6.pdf bibtex

Regular Expressions in Process Algebra.
Jos C. M. Baeten, Flavio Corradini.
LICS. pp. 12-19. 2005. bibtex

Performance of Pipelined Asynchronous Systems.
Flavio Corradini, Walter Vogler.
FORMATS. pp. 242-257. 2005. bibtex

eGovernment Administrative and Semantic Cooperation: The Role of "Intelligent Documents".
Flavio Corradini, Alberto Polzonetti, Romeo Pruno.
EGOV (Workshops and Posters). pp. 150-157. 2005. bibtex

e-Democracy: A Solution for Disadvantaged Territories.
Flavio Corradini, Eleonora Paganelli, Alberto Polzonetti.
ECEG. pp. 101-110. 2005. bibtex

The Audition Framework for Testing Web Services Interoperability
Antonia Bertolino, Andrea Polini.
EUROMICRO-SEAA. pp. 134-142. 2005. bibtex

Applying advanced uml based testing methodology to e-learning
Jinghua Gao, Eda Marchetti, Andrea Polini.
IADIS AC. pp. 74-79. 2005. bibtex

RAP: a new computer program for de novo identification of repeated sequences in whole genomes.
Chiara Romualdi, Nicola Vitulo, Micky Del Favero, Matej Lexa, Nicola Cannata, Giorgio Valle, Davide Campagna.
Bioinformatics. pp. 582-588. vol. 21 no. 5. 2005. bibtex

Hermes: Agent-Based Middleware for Mobile Computing
Flavio Corradini, Emanuela Merelli.
SFM. pp. 234-270. 2005. bibtex

Interoperability testing of Web Services for e-learning
Andrea Polini.
Elektrotechnik und Informationstechnik. pp. 495-497. vol. 122 no. 12. 2005. bibtex

Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures
SFM. Marco Bernardo, Flavio Corradini (Eds.). Lecture Notes in Computer Science vol. 3185. Springer. 2004. bibtex

An agent-based matchmaker
Flavio Corradini, Chiara Ercoli, Emanuela Merelli, Barbara Re.
WOA. Matteo Baldoni, Flavio De Paoli, Alberto Martelli, Andrea Omicini (Eds.). pp. 150-156. Pitagora Editrice Bologna. 2004. bibtex

An agent-based approach to tool integration
Flavio Corradini, Leonardo Mariani, Emanuela Merelli.
STTT. pp. 231-244. vol. 6 no. 3. 2004. bibtex

FarMAS: A MAS for Extended Quality Workflow
Diego Bonura, Flavio Corradini, Emanuela Merelli, Gino Romiti (Eds.).
WETICE. pp. 435-440. IEEE Computer Society. 2004. bibtex

Early performance testing of distributed software applications
Giovanni Denaro, Andrea Polini, Wolfgang Emmerich.
WOSP. Jozo J. Dujmovic, Virg\'\ilio A. F. Almeida, Doug Lea (Eds.). pp. 94-103. ACM. 2004. bibtex

Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures
SFM. Marco Bernardo, Flavio Corradini (Eds.). Lecture Notes in Computer Science vol. 3185. Springer. 2004. bibtex

Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures
SFM. Marco Bernardo, Flavio Corradini (Eds.). Lecture Notes in Computer Science vol. 3185. Springer. 2004. bibtex

Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures
SFM. Marco Bernardo, Flavio Corradini (Eds.). Lecture Notes in Computer Science vol. 3185. Springer. 2004. bibtex

An agent-based approach to tool integration.
Flavio Corradini, Leonardo Mariani, Emanuela Merelli.
STTT. pp. 231-244. vol. 6 no. 3. 2004. bibtex

An agent-based matchmaker.
Flavio Corradini, Chiara Ercoli, Emanuela Merelli, Barbara Re.
WOA. pp. 150-156. 2004. bibtex

FarMAS: A MAS for Extended Quality Workflow.
Diego Bonura, Flavio Corradini, Emanuela Merelli, Gino Romiti.
WETICE. pp. 435-440. 2004. 01376874.pdf bibtex

Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency.
Flavio Corradini, Uwe Nestmann.
Electr. Notes Theor. Comput. Sci.. pp. 1-3. vol. 96. 2004. bibtex

Code Mobility for Pervasive Computing.
Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini.
WETICE. pp. 431-432. 2004. bibtex

Expressiveness of Timed Events and Timed Languages.
Diletta Cacciagrano, Flavio Corradini.
SFM. pp. 98-131. 2004. bibtex

Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures
SFM. Marco Bernardo, Flavio Corradini (Eds.). Lecture Notes in Computer Science vol. 3185. Springer. 2004. bibtex

A Process Algebra View of Coordination Models with a Case Study in Computational System Biology
Roberta Amici, Flavio Corradini, Emanuela Merelli.
1st Int. Workshop on Coordinadion and Petri Nets. 2004. CPN-AD.pdf bibtex

Ordering BAC Clones from Fingerprint Data obtained through Four Enzymes Digestion and Fluorescent Labeling.
Giulio Marcon, Nicola Cannata, Mercè Llabrés, Marta Simeoni, Giorgio Valle.
Spanish Bioinformatics Conference. pp. 182-190. 2004. bibtex

Timed automata with urgent transitions
Roberto Barbuti, Luca Tesei.
Acta Inf.. pp. 317-347. vol. 40 no. 5. 2004. bibtex

Abstract Interpretation Against Races
Roberto Barbuti, Stefano Cataudella, Luca Tesei.
Fundam. Inform.. pp. 67-79. vol. 60 no. 1-4. 2004. bibtex

Audition of Web Services for Testing Conformance to Open Specified Protocols
Antonia Bertolino, Lars Frantzen, Andrea Polini, Jan Tretmans.
Architecting Systems with Trustworthy Components. pp. 1-25. 2004. bibtex

An XML View of the "World"
Ezio Bartocci, Emanuela Merelli, Leonardo Mariani.
ICEIS (1). pp. 19-27. 2003. bibtex

A Programming Environment for Global Activity-based Applications
Flavio Corradini, Leonardo Mariani, Emanuela Merelli.
WOA. Giuliano Armano, Flavio De Paoli, Andrea Omicini, Eloisa Vargiu (Eds.). pp. 163-169. Pitagora Editrice Bologna. 2003. bibtex

A Programming Environment for Global Activity-based Applications.
Flavio Corradini, Leonardo Mariani, Emanuela Merelli.
WOA. pp. 163-169. 2003. bibtex

The Expressive Power Of Urgent, Lazy And Busy-Waiting Actions In Timed Processes.
Flavio Corradini, Dino Di Cola.
Mathematical Structures in Computer Science. pp. 619-656. vol. 13 no. 4. 2003. bibtex

Relating Fairness and Timing in Process Algebras.
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler.
CONCUR. pp. 438-452. 2003. bibtex

Expressionview: visualization of quantitative trait loci and gene-expression data in Ensembl
Gertrud Fischer, Saleh Ibrahim, Gudrun Brockmann, Jens Pahnke, Ezio Bartocci, Hans-Jürgen Thiesen, Steffen Möller, Pablo Serrano-Fernández.
Genome Biology. pp. R77. vol. 4 no. 11. 2003. R77 bibtex

Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems
Nicoletta De Francesco, Antonella Santone, Luca Tesei.
Fundam. Inform.. pp. 195-211. vol. 54 no. 2-3. 2003. bibtex

A Decidable Notion of Timed Non-Interference
Roberto Barbuti, Luca Tesei.
Fundam. Inform.. pp. 137-150. vol. 54 no. 2-3. 2003. bibtex

A Framework for Component Deployment Testing
Antonia Bertolino, Andrea Polini.
ICSE. pp. 221-231. 2003. bibtex

Refactoring a Legacy System Using Components
Eda Marchetti, Francesca Martelli, Andrea Polini.
SNPD. pp. 24-31. 2003. bibtex

Integration of "Components" to Test Software Components
Antonia Bertolino, Eda Marchetti, Andrea Polini.
Electr. Notes Theor. Comput. Sci.. vol. 82 no. 6. 2003. bibtex

Patterns for web applications
Diego Bonura, Rosario Culmone, Emanuela Merelli.
SEKE. pp. 739-746. 2002. bibtex

Patterns for web applications.
Diego Bonura, Rosario Culmone, Emanuela Merelli.
SEKE. pp. 739-746. 2002. bibtex

An Equational Axiomatization of Bisimulation over Regular Expressions.
Rocco De Nicola, Anna Labella, Flavio Corradini.
J. Log. Comput.. pp. 301-320. vol. 12 no. 2. 2002. bibtex

Comparing the worst-case efficiency of asynchronous systems with PAFAS.
Walter Vogler, Lars Jenner, Flavio Corradini.
Acta Inf.. pp. 735-792. vol. 38 no. 11/12. 2002. bibtex

WCT: A Wrapper for Component Testing
Antonia Bertolino, Andrea Polini.
FIDJI. pp. 165-174. 2002. bibtex

Fixing the Java bytecode verifier by a suitable type domain.
Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco, Roberto Barbuti.
SEKE. pp. 377-382. 2002. bibtex

Simplifying amino acid alphabets by means of a branch and bound algorithm and substitution matrices.
Stefano Toppo, Chiara Romualdi, Nicola Cannata, Giorgio Valle.
Bioinformatics. pp. 1102-1108. vol. 18 no. 8. 2002. bibtex

A Notion of Non-Interference for Timed Automata
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Luca Tesei.
Fundam. Inform.. pp. 1-11. vol. 51 no. 1-2. 2002. bibtex

On the semantics of durational actions.
Flavio Corradini, Gian Luigi Ferrari, Marco Pistore.
Theor. Comput. Sci.. pp. 47-82. vol. 269 no. 1-2. 2001. bibtex

On testing urgency through laziness over processes with durational actions.
Flavio Corradini, Dino Di Cola.
Theor. Comput. Sci.. pp. 393-407. vol. 258 no. 1-2. 2001. bibtex

Preface.
Flavio Corradini, Walter Vogler.
Electr. Notes Theor. Comput. Sci.. vol. 52 no. 3. 2001. bibtex

`Closed Interval Process Algebra' versus `Interval Process Algebra'.
Flavio Corradini, Marco Pistore.
Acta Inf.. pp. 467-509. vol. 37 no. 7. 2001. bibtex

On Synchronous and Asynchronous Communication Paradigms.
Diletta Cacciagrano, Flavio Corradini.
ICTCS. pp. 256-268. 2001. bibtex

PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations.
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler.
APAQS. pp. 231-240. 2001. bibtex

Timed Automata with non-Instantaneous Actions
Roberto Barbuti, Nicoletta De Francesco, Luca Tesei.
Fundam. Inform.. pp. 189-200. vol. 47 no. 3-4. 2001. bibtex

Preface
Flavio Corradini, Paola Inverardi.
Electr. Notes Theor. Comput. Sci.. pp. 195-196. vol. 39 no. 3. 2000. bibtex

A tabu search method guided by shifting bottleneck for the job shop scheduling problem
Ferdinando Pezzella, Emanuela Merelli.
European Journal of Operational Research. pp. 297-310. vol. 120 no. 2. 2000. bibtex

Preface
Flavio Corradini, Paola Inverardi.
Electr. Notes Theor. Comput. Sci.. vol. 39 no. 3. 2000. bibtex

Preface
Flavio Corradini, Paola Inverardi.
Electr. Notes Theor. Comput. Sci.. vol. 39 no. 3. 2000. bibtex

Preface
Flavio Corradini, Paola Inverardi.
Electr. Notes Theor. Comput. Sci.. vol. 39 no. 3. 2000. bibtex

Deriving test plans from architectural descriptions.
Antonia Bertolino, Flavio Corradini, Paola Inverardi, Henry Muccini.
ICSE. pp. 220-229. 2000. bibtex

Preface
Flavio Corradini, Paola Inverardi.
Electr. Notes Theor. Comput. Sci.. vol. 39 no. 3. 2000. bibtex

Specification and Analysis of Timed and Functional TRMCS Behaviours.
Mauro Cioffi, Flavio Corradini.
IWSSD. pp. 31-38. 2000. bibtex

Absolute versus Relative Time in Process Algebras.
Flavio Corradini.
Inf. Comput.. pp. 122-172. vol. 156 no. 1-2. 2000. bibtex

Agent-Oriented and Constraint Technologies for Distributed Transaction Management
Viviana Mascardi, Emanuela Merelli.
IIA/SOCO. Francesco Masulli, Riccardo Parenti (Eds.). ICSC Academic Press, Rochester, NY, USA. 1999. bibtex

Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance.
Candida Attanasio, Flavio Corradini, Paola Inverardi.
FASE. pp. 45-59. 1999. bibtex

Static Analysis of Real-Time Component-Based Systems Configurations.
Candida Attanasio, Flavio Corradini, Paola Inverardi.
COORDINATION. pp. 323-339. 1999. bibtex

On the Relationships among four Timed Process Algebras.
Domenicantonio D'Ortenzio, Paola Inverardi, Flavio Corradini.
Fundam. Inform.. pp. 377-395. vol. 38 no. 4. 1999. bibtex

Graded Modalities and Resource Bisimulation.
Rocco De Nicola, Anna Labella, Flavio Corradini.
FSTTCS. pp. 381-393. 1999. bibtex

A finite axiomatization of nondeterministic regular expressions.
Rocco De Nicola, Anna Labella, Flavio Corradini.
ITA. pp. 447-466. vol. 33 no. 4/5. 1999. bibtex

Models of Nondeterministic Regular Expressions.
Rocco De Nicola, Anna Labella, Flavio Corradini.
J. Comput. Syst. Sci.. pp. 412-449. vol. 59 no. 3. 1999. bibtex

Agent-Oriented and Constraint Technologies for Distributed Transaction Management.
Viviana Mascardi, Emanuela Merelli.
IIA/SOCO. 1999. bibtex

A successive overrelaxation backpropagation algorithm for neural-network training
Renato De Leone, Rosario Capparuccia, Emanuela Merelli.
IEEE Transactions on Neural Networks. pp. 381-388. vol. 9 no. 3. 1998. bibtex

On Performance Congruences for Process Algebras.
Flavio Corradini.
Inf. Comput.. pp. 191-230. vol. 145 no. 2. 1998. bibtex

On the Coarsest Congruence Within Global-Clock-Bounded Equivalence.
Flavio Corradini.
Theor. Comput. Sci.. pp. 225-237. vol. 198 no. 1-2. 1998. bibtex

Eager, busy-waiting and lazy actions in timed computation?
Flavio Corradini, Gian Luigi Ferrari, Marco Pistore.
Electr. Notes Theor. Comput. Sci.. pp. 96-114. vol. 7. 1997. bibtex

Performance Preorder and Competitive Equivalence.
Flavio Corradini, Roberto Gorrieri, Marco Roccetti.
Acta Inf.. pp. 805-835. vol. 34 no. 11. 1997. bibtex

On the Specification and Verification of Performance Properties for a Timed Process Algebra.
Xiao Jun Chen, Flavio Corradini.
AMAST. pp. 123-137. 1997. bibtex

Locality Based Semantics for Process Algebras.
Flavio Corradini, Rocco De Nicola.
Acta Inf.. pp. 291-324. vol. 34 no. 4. 1997. bibtex

Eager, busy-waiting and lazy actions in timed computation?
Flavio Corradini, Gian Luigi Ferrari, Marco Pistore.
Electr. Notes Theor. Comput. Sci.. vol. 7. 1997. bibtex

A Study on the Specification and Verification of Performance Properties (Extended Abstract).
Xiao Jun Chen, Flavio Corradini, Roberto Gorrieri.
AMAST. pp. 306-320. 1996. bibtex

Specification and Verification of Timed Lazy Systems.
Flavio Corradini, Marco Pistore.
MFCS. pp. 279-290. 1996. bibtex

On Four Partial Ordering Semantics for a Process Calculus.
Flavio Corradini, Rocco De Nicola.
Fundam. Inform.. pp. 349-383. vol. 27 no. 4. 1996. bibtex

Performance Preorder: Ordering Processes with Respect to Speed.
Flavio Corradini, Roberto Gorrieri, Marco Roccetti.
MFCS. pp. 444-453. 1995. bibtex

Fully Abstract Models for Nondeterministic Regular Expressions.
Rocco De Nicola, Anna Labella, Flavio Corradini.
CONCUR. pp. 130-144. 1995. bibtex

Distribution and Locality of Concurrent Systems.
Flavio Corradini, Rocco De Nicola.
ICALP. pp. 154-165. 1994. bibtex

Standardizing the Presentation Layer. Why and What?
Fausto Caneschi, Emanuela Merelli.
ICDCS. pp. 35-39. 1987. bibtex

An Architecture for an ASN.1 Encoder/Decoder
Fausto Caneschi, Emanuela Merelli.
Computer Networks. pp. 297-303. vol. 14. 1987. bibtex

An Architecture for an ASN.1 Encoder/Decoder.
Fausto Caneschi, Emanuela Merelli.
Computer Networks. pp. 297-303. vol. 14. 1987. bibtex

Standardizing the Presentation Layer. Why and What?
Fausto Caneschi, Emanuela Merelli.
ICDCS. pp. 35-39. 1987. bibtex


Warning: Unknown: open(/var/lib/php5/sess_9f77964f824ffec05160a21849c2f0b5, O_RDWR) failed: Read-only file system (30) in Unknown on line 0

Warning: Unknown: Failed to write session data (files). Please verify that the current setting of session.save_path is correct (/var/lib/php5) in Unknown on line 0