Marco Antoniotti
Marco Antoniotti
Associate Professor of Computer Science, UniversitÓ degli Studi di Milano-Bicocca
Verified email at unimib.it - Homepage
TitleCited byYear
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
1362003
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
932005
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
861995
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
712007
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
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
502004
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
462015
Inferring Tree Causal Models of Cancer Progression with Probability Raising
L Olde Loohuis, G Caravagna, A Graudenzi, D Ramazzotti, G Mauri, ...
PLoS ONE, 2014
452014
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
442013
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
401997
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
392016
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
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
332003
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
322011
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
321997
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
262010
Reverse engineering dynamic temporal models of biological processes and their relationships
N Ramakrishnan, S Tadepalli, LT Watson, RF Helm, M Antoniotti, ...
Proceedings of the National Academy of Sciences 107 (28), 12511-12516, 2010
252010
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
242010
Image Processing
JM Li, L LŘ, MO Lai, B Ralph
Image-Based Fractal Description of Microstructures, 25-56, 2003
22*2003
The system can't perform the operation now. Try again later.
Articles 1–20