Segui
Flavio Corradini
Flavio Corradini
Professore di Informatica, Università di Camerino
Email verificata su unicam.it
Titolo
Citata da
Citata da
Anno
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, 2007
1512007
A guidelines framework for understandable BPMN models
F Corradini, A Ferrari, F Fornari, S Gnesi, A Polini, B Re, GO Spagnolo
Data & Knowledge Engineering 113, 129-154, 2018
1182018
Deriving test plans from architectural descriptions
A Bertolino, F Corradini, P Inverardi, H Muccini
Proceedings of the 22nd international conference on Software engineering …, 2000
1092000
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
972009
A process algebraic approach to software architecture design
A Aldini, M Bernardo, F Corradini
Springer Science & Business Media, 2010
902010
BioWMS: a web-based Workflow Management System for bioinformatics
E Bartocci, F Corradini, E Merelli, L Scortichini
BMC bioinformatics 8, 1-14, 2007
672007
Combining machine learning with knowledge engineering to detect fake news in social networks-a survey
S Ahmed, K Hinkelmann, F Corradini
arXiv preprint arXiv:2201.08032, 2022
652022
Performance preorder and competitive equivalence
F Corradini, R Gorrieri, M Roccetti
Acta Informatica 34 (11), 805-835, 1997
611997
Business process flexibility-a systematic literature review with a software systems perspective
R Cognini, F Corradini, S Gnesi, A Polini, B Re
Information Systems Frontiers 20, 343-371, 2018
602018
A formal approach to modeling and verification of business process collaborations
F Corradini, F Fornari, A Polini, B Re, F Tiezzi
Science of Computer Programming 166, 35-70, 2018
592018
A comparison of heed based clustering algorithms--Introducing ER-HEED
Z Ullah, L Mostarda, R Gagliardi, D Cacciagrano, F Corradini
2016 IEEE 30th international conference on advanced information networking …, 2016
582016
Hermes: agent-based middleware for mobile computing
F Corradini, E Merelli
School on Formal Methods-Moby, 234-270, 2005
582005
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
532010
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
532005
Comparing the worst-case efficiency of asynchronous systems with PAFAS
F Corradini, W Vogler, L Jenner
Acta Informatica 38 (11), 735-792, 2002
482002
A characterization of regular expressions under bisimulation
JCM Baeten, F Corradini, CA Grabmayer
Journal of the ACM (JACM) 54 (2), 6-es, 2007
472007
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
442009
An agent-based approach to tool integration
F Corradini, L Mariani, E Merelli
International Journal on Software Tools for Technology Transfer 6, 231-244, 2004
422004
A formal approach for the analysis of BPMN collaboration models
F Corradini, F Fornari, A Polini, B Re, F Tiezzi, A Vandin
Journal of Systems and Software 180, 111007, 2021
412021
Engineering trustable choreography-based systems using blockchain
F Corradini, A Marcelletti, A Morichetta, A Polini, B Re, F Tiezzi
Proceedings of the 35th annual ACM symposium on applied computing, 1470-1479, 2020
382020
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20