Seguir
Marco Antoniotti
Marco Antoniotti
Professor of Computer Science, Università degli Studi di Milano-Bicocca
Dirección de correo verificada de unimib.it - Página principal
Título
Citado por
Citado por
Año
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
2052020
Model building and model checking for biochemical processes
M Antoniotti, A Policriti, N Ugel, B Mishra
Cell biochemistry and biophysics 38, 271-286, 2003
1472003
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
1432018
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
1051995
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
982015
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
972005
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
912016
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
842007
Inferring Tree Causal Models of Cancer Progression with Probability Raising
L Olde Loohuis, G Caravagna, A Graudenzi, D Ramazzotti, G Mauri, ...
PLoS ONE, 2014
702014
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
632013
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
592002
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
552011
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
532004
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
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
482020
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
452015
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
412010
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20