Follow
Marco Antoniotti
Title
Cited by
Cited by
Year
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
2292020
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
1552018
Model building and model checking for biochemical processes
M Antoniotti, A Policriti, N Ugel, B Mishra
Cell biochemistry and biophysics 38, 271-286, 2003
1432003
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
1061995
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
1012015
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
962005
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
932016
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
872007
Inferring Tree Causal Models of Cancer Progression with Probability Raising
L Olde Loohuis, G Caravagna, A Graudenzi, D Ramazzotti, G Mauri, ...
PLoS ONE, 2014
732014
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
622013
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-13, 2011
612011
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
582002
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
A review of computational strategies for denoising and imputation of single-cell transcriptomic data
L Patruno, D Maspero, F Craighero, F Angaroni, M Antoniotti, A Graudenzi
Briefings in Bioinformatics, 2020
502020
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
501995
SHIFT and SMART-AHS: A Language for Hybrid System Engineering Modeling and Simulation.
M Antoniotti, A Göllü
DSL 97, 14-14, 1997
481997
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
472015
Microsimulation analysis of automated vehicles on multiple merge junction highways
M Antoniotti, A Deshpande, A Girault
1997 IEEE International Conference on Systems, Man, and Cybernetics …, 1997
441997
System and process for validating, aligning and reordering one or more genetic sequence maps using at least one ordered restriction map
M Antoniotti, B Mishra, T Anantharaman, S Paxia, DC Schwartz
US Patent 7,831,392, 2010
432010
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
412010
The system can't perform the operation now. Try again later.
Articles 1–20