I agree that this site is using cookies. You can find further informations here.
X
Cerone, Antonio
32  results:
Articles (Online) X
Search for persons X
?
1

Guest editorial for the special section on SEFM 2020 and 20..:

de Boer, Frank S. ; Cerone, Antonio
Software and Systems Modeling.  23 (2024)  2 - p. 285-287 , 2024
Link: https://doi.org/10.1007/..
 
?
2

An empirical verification of a-priori learning models on ma..:

Mukala, Patrick ; Cerone, Antonio ; Turini, Franco
Education and Information Technologies.  22 (2017)  6 - p. 3207-3229 , 2017
Link: https://doi.org/10.1007/..
 
?
3

Model mining: Integrating data analytics, modelling and ver..:

Cerone, Antonio
Journal of Intelligent Information Systems.  52 (2017)  3 - p. 501-532 , 2017
Link: https://doi.org/10.1007/..
 
?
4

Mathematical modeling of drug resistance due to KRAS mutati..:

Sameen, Sheema ; Barbuti, Roberto ; Milazzo, Paolo...
Journal of Theoretical Biology.  389 (2016)  - p. 263-273 , 2016
Link: https://doi.org/10.1016/..
 
?
5

An empirical study of FOSS developers patterns of contribut..:

Sowe, Sulayman K. ; Cerone, Antonio ; Settas, Dimitrios
Science of Computer Programming.  91 (2014)  - p. 249-265 , 2014
Link: https://doi.org/10.1016/..
 
?
6

Theoretical Aspects of Computing (ICTAC 2011):

Cerone, Antonio ; Pihlajasaari, Pekka
Theoretical Computer Science.  537 (2014)  - p. 1-2 , 2014
Link: https://doi.org/10.1016/..
 
?
7

Formal Analysis of Oscillatory Behaviors in Biological Regu..:

Rauf, Usman ; Sameen, Sheema ; Cerone, Antonio
Electronic Notes in Theoretical Computer Science.  299 (2013)  - p. 85-100 , 2013
Link: https://doi.org/10.1016/..
 
?
8

Guest editorial to the special section on SEFM 2009:

Krishnan, Padmanabhan ; Hung, Dang Van ; Cerone, Antonio
Software & Systems Modeling.  12 (2012)  2 - p. 227-228 , 2012
Link: https://doi.org/10.1007/..
 
?
9

Enhancing ontology-based antipattern detection using Bayesi..:

Settas, Dimitrios ; Cerone, Antonio ; Fenz, Stefan
Expert Systems with Applications.  39 (2012)  10 - p. 9041-9053 , 2012
Link: https://doi.org/10.1016/..
 
?
10

Special section on software engineering and formal methods:..:

Cerone, Antonio ; Gruner, Stefan
Software & Systems Modeling.  10 (2010)  2 - p. 143-145 , 2010
Link: https://doi.org/10.1007/..
 
?
11

Translating Stochastic CLS into Maude:

Basuki, Thomas Anung ; Cerone, Antonio ; Milazzo, Paolo
Electronic Notes in Theoretical Computer Science.  227 (2009)  - p. 37-58 , 2009
Link: https://doi.org/10.1016/..
 
?
12

Model-checking user behaviour using interacting components:

Basuki, Thomas Anung ; Cerone, Antonio ; Griesmayer, Andreas.
Formal Aspects of Computing.  21 (2009)  6 - p. , 2009
Link: https://doi.org/10.1007/..
 
?
13

Editorial:

Cerone, Antonio ; Curzon, Paul ; Duce, David
Formal Aspects of Computing.  21 (2009)  6 - p. , 2009
Link: https://doi.org/10.1007/..
 
?
14

Preface:

Cerone, Antonio ; Curzon, Paul
Electronic Notes in Theoretical Computer Science.  208 (2008)  - p. 1-3 , 2008
Link: https://doi.org/10.1016/..
 
?
15

Guest Editorial:

Barkaoui, Kamel ; Broy, Manfred ; Cavalcanti, Ana.
Formal Aspects of Computing.  20 (2008)  4-5 - p. 349-350 , 2008
Link: https://doi.org/10.1007/..
 
1-15