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
SHIFT and SMART-AHS: A Language for Hybrid System Engineering Modeling and Simulation.
M Antoniotti, A G÷llŘ
DSL 97, 14-14, 1997
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
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
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
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
The system can't perform the operation now. Try again later.
Articles 1–20