Marco Antoniotti
Marco Antoniotti
Associate Professor of Computer Science, UniversitÓ degli Studi di Milano-Bicocca
Verified email at unimib.it - Homepage
Title
Cited by
Cited by
Year
Model building and model checking for biochemical processes
M Antoniotti, A Policriti, N Ugel, B Mishra
Cell biochemistry and biophysics 38 (3), 271-286, 2003
1432003
Algorithmic algebraic model checking I: Challenges from systems biology
C Piazza, M Antoniotti, V Mysore, A Policriti, F Winkler, B Mishra
International Conference on Computer Aided Verification, 5-19, 2005
942005
Discrete event models+ temporal logic= supervisory controller: Automatic synthesis of locomotion controllers
M Antoniotti, B Mishra
Proceedings of 1995 IEEE International Conference on Robotics and Automationá…, 1995
941995
From bytes to bedside: data integration and computational biology for translational cancer research
JP Mathew, BS Taylor, GD Bader, S Pyarajan, M Antoniotti, ...
PLoS computational biology 3 (2), e12, 2007
792007
CAPRI: efficient inference of cancer progression models from cross-sectional data
D Ramazzotti, G Caravagna, L Olde Loohuis, A Graudenzi, I Korsunsky, ...
Bioinformatics 31 (18), 3016-3026, 2015
752015
Algorithmic methods to infer the evolutionary trajectories in cancer progression
G Caravagna, A Graudenzi, D Ramazzotti, R Sanz-Pamplona, L De Sano, ...
PNAS 113 (28), E4025-E4034, 2016
702016
A pan-cancer analysis reveals high-frequency genetic alterations in mediators of signaling by the TGF-β superfamily
A Korkut, S Zaidi, RS Kanchi, S Rao, NR Gough, A Schultz, X Li, ...
Cell systems 7 (4), 422-437. e7, 2018
692018
Foundations of a query and simulation system for the modeling of biochemical and biological processes
M Antoniotti, F Park, A Policriti, N Ugel, B Mishra
Biocomputing 2003, 116-127, 2002
572002
Inferring Tree Causal Models of Cancer Progression with Probability Raising
L Olde Loohuis, G Caravagna, A Graudenzi, D Ramazzotti, G Mauri, ...
PLoS ONE, 2014
562014
A review of spatial computational models for multi-cellular systems, with regard to intestinal crypts and colorectal cancer development
G De Matteis, A Graudenzi, M Antoniotti
Journal of mathematical biology 66 (7), 1409-1462, 2013
542013
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice
M Antoniotti, C Piazza, A Policriti, M Simeoni, B Mishra
Theoretical Computer Science 325 (1), 45-67, 2004
522004
SBML Level 3: an extensible format for the exchange and reuse of biological models
SM Keating, D Waltemath, M K÷nig, F Zhang, A Drńger, C Chaouiya, ...
Molecular Systems Biology 16 (8), e9110, 2020
492020
Synthesis and verification of discrete controllers for robotics and manufacturing devices with temporal logic and the Control-D system
M Antoniotti
New York University, 1995
491995
SHIFT and SMART-AHS: A Language for Hybrid System Engineering Modeling and Simulation.
M Antoniotti, A G÷llŘ
DSL 97, 14-14, 1997
451997
A comparison of machine learning techniques for survival prediction in breast cancer
L Vanneschi, A Farinaccio, G Mauri, M Antoniotti, P Provero, M Giacobini
BioData mining 4 (1), 1-13, 2011
432011
Microsimulation analysis of multiple merge junctions under autonomous AHS operation
M Antoniotti, A Desphande, A Girault
Proceedings of Conference on Intelligent Transportation Systems, 147-152, 1997
371997
Method, system and software arrangement for reconstructing formal descriptive models of processes from functional/modal data using suitable ontology
B Mishra, M Antoniotti, N Ramakrishnan
US Patent 7,801,841, 2010
362010
XS-systems: extended s-systems and algebraic differential automata for modeling cellular behavior
M Antoniotti, A Policriti, N Ugel, B Mishra
International Conference on High-Performance Computing, 431-442, 2002
362002
Modeling cellular behavior with hybrid automata: Bisimulation and collapsing
M Antoniotti, B Mishra, C Piazza, A Policriti, M Simeoni
International Conference on Computational Methods in Systems Biology, 57-74, 2003
352003
TRONCO: an R package for the inference of cancer progression models from heterogeneous genomic data
L De Sano, G Caravagna, D Ramazzotti, A Graudenzi, G Mauri, B Mishra, ...
biorxiv.org, 2015
292015
The system can't perform the operation now. Try again later.
Articles 1–20