Concepedia

António Cerone

AC

15

Publications

409

Citations

10

H-Index

1999

Active since

Affiliations

University of Pisa(Current)

United Nations University Institute on Globalization, Culture and Mobility

The University of Queensland

NationsUniversity

António Cerone is an author at University of Pisa specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationSystems EngineeringVerificationSoftware DesignSystem SoftwareAutomated ReasoningSoftware Analysis

Publications per year

1999–2024

15

Publications

15

Prediction of perceived astringency induced by phenolic compounds II: Criteria for panel selection and preliminary application on wine samples

Nicola Condelli, Caterina Dinnella, António Cerone et al. · Food Quality and Preference · 2005 · 88 citations

Food Chemistry, Polyphenolics, Tannin +9

Time-based expressivity of time Petri nets for system specification

António Cerone, Andrea Maggiolo–Schettini · Theoretical Computer Science · 1999 · 86 citations

Petri Net, Engineering, Stochastic Petri Net +9

Mathematical modeling of drug resistance due to KRAS mutation in colorectal cancer

Sheema Sameen, Roberto Barbuti, Paolo Milazzo et al. · Journal of Theoretical Biology · 2015 · 38 citations · Full text

Formal analysis of human-computer interaction using model-checking

António Cerone, Peter Lindsay, Simon Connelly · 2005 · 30 citations

Engineering, Verification, Safety Science +23

Enhancing ontology-based antipattern detection using Bayesian networks

Dimitrios Settas, António Cerone, Stefan Fenz · Expert Systems with Applications · 2012 · 25 citations

Ontology (Information Science), Engineering, Data Science +7

Rows per page

1–5 of 15