Flavio Corradini
Flavio Corradini
Professore di Informatica, Università di Camerino
Verified email at unicam.it
TitleCited byYear
Agents in bioinformatics, computational and systems biology
E Merelli, G Armano, N Cannata, F Corradini, M d'Inverno, A Doms, ...
Briefings in bioinformatics 8 (1), 45-59, 2006
1282006
GFS: evolution on fast-forward
K McKusick, S Quinlan
Communications of the ACM 53 (3), 42-49, 2010
99*2010
Deriving test plans from architectural descriptions
A Bertolino, F Corradini, P Inverardi, H Muccini
Proceedings of the 2000 International Conference on Software Engineering …, 2000
982000
A process algebraic approach to software architecture design
A Aldini, M Bernardo, F Corradini
Springer Science & Business Media, 2010
692010
BioWMS: a web-based Workflow Management System for bioinformatics
E Bartocci, F Corradini, E Merelli, L Scortichini
BMC bioinformatics 8 (1), S2, 2007
612007
Learning and detecting emergent behavior in networks of cardiac myocytes
R Grosu, SA Smolka, F Corradini, A Wasilewska, E Entcheva, E Bartocci
Communications of the ACM 52 (3), 97-105, 2009
592009
Feature algebra
P Höfner, R Khedri, B Möller
International Symposium on Formal Methods, 300-315, 2006
592006
An agent-oriented conceptual framework for systems biology
N Cannata, F Corradini, E Merelli, A Omicini, A Ricci
Transactions on Computational Systems Biology III, 105-122, 2005
582005
Performance preorder and competitive equivalence
F Corradini, R Gorrieri, M Roccetti
Acta Informatica 34 (11), 805-835, 1997
511997
Hermes: agent-based middleware for mobile computing
F Corradini, E Merelli
School on Formal Methods-Moby, 234-270, 2005
492005
Knowledge-based platform for eGovernment agents: A Web-based solution using semantic technologies
LMÁ Sabucedo, LEA Rifón, F Corradini, A Polzonetti, B Re
Expert Systems with Applications 37 (5), 3647-3656, 2010
462010
An agent-based approach to tool integration
F Corradini, L Mariani, E Merelli
International Journal on Software Tools for Technology Transfer 6 (3), 231-244, 2004
392004
Comparing the worst-case efficiency of asynchronous systems with PAFAS
F Corradini, W Vogler, L Jenner
Acta Informatica 38 (11-12), 735-792, 2002
362002
On performance congruences for process algebras
F Corradini
Information and Computation 145 (2), 191-230, 1998
341998
Modeling and simulation of cardiac tissue using hybrid I/O automata
E Bartocci, F Corradini, MR Di Berardini, E Entcheva, SA Smolka, R Grosu
Theoretical Computer Science 410 (33-34), 3149-3165, 2009
312009
Separation of synchronous and asynchronous communication via testing
D Cacciagrano, F Corradini, C Palamidessi
Theoretical Computer Science 386 (3), 218-235, 2007
312007
Shape calculus. a spatial mobile calculus for 3d shapes
E Bartocci, F Corradini, MR Di Berardini, E Merelli, L Tesei
Scientific Annals of Computer Science 20, 1, 2010
302010
A characterization of regular expressions under bisimulation
JCM Baeten, F Corradini, CA Grabmayer
Journal of the ACM (JACM) 54 (2), 6, 2007
282007
Closed interval process algebra’versus ‘interval process algebra
F Corradini, M Pistore
Acta Informatica 37 (7), 467-509, 2001
272001
Absolute versus relative time in process algebras
F Corradini
Information and Computation 156 (1-2), 122-172, 2000
262000
The system can't perform the operation now. Try again later.
Articles 1–20