Marco Antoniotti
Cited by
Cited by
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
Model building and model checking for biochemical processes
M Antoniotti, A Policriti, N Ugel, B Mishra
Cell biochemistry and biophysics 38, 271-286, 2003
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
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
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
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
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
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
Inferring Tree Causal Models of Cancer Progression with Probability Raising
L Olde Loohuis, G Caravagna, A Graudenzi, D Ramazzotti, G Mauri, ...
PLoS ONE, 2014
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
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
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
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
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
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
SHIFT and SMART-AHS: A Language for Hybrid System Engineering Modeling and Simulation.
M Antoniotti, A G÷llŘ
DSL 97, 14-14, 1997
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, ..., 2015
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
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
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
The system can't perform the operation now. Try again later.
Articles 1–20