Marco Antoniotti
Marco Antoniotti
Associate Professor of Computer Science, UniversitÓ degli Studi di Milano-Bicocca
Email verificata su unimib.it - Home page
Titolo
Citata da
Citata da
Anno
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
1412003
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
952005
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
921995
From bytes to bedside: data integration and computational biology for translational cancer research
JP Mathew, BS Taylor, GD Bader, S Pyarajan, M Antoniotti, ...
PLoS Comput Biol 3 (2), e12, 2007
752007
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
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
562015
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
512004
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
492016
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
492013
Inferring Tree Causal Models of Cancer Progression with Probability Raising
L Olde Loohuis, G Caravagna, A Graudenzi, D Ramazzotti, G Mauri, ...
PLoS ONE, 2014
482014
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
462018
Synthesis and verification of discrete controllers for robotics and manufacturing devices with temporal logic and the Control-D system
M Antoniotti
New York University, Graduate School of Arts and Science, 1995
441995
SHIFT and SMART-AHS: A Language for Hybrid System Engineering Modeling and Simulation.
M Antoniotti, A G÷llŘ
DSL 97, 14-14, 1997
431997
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), 12, 2011
402011
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
362003
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
352010
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
351997
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
342002
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
321997
image processing
JM Li, L LŘ, MO Lai, B Ralph
Image-Based Fractal Description of Microstructures, 25-56, 2003
25*2003
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20