ANTONIOTTI, MARCO
ANTONIOTTI, MARCO
DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE
Automatic synthesis algorithms for supervisory controllers
1994 Antoniotti, M; Mishra, B
Applying temporal logic verification and synthesis to manufacturing systems
1995 Antoniotti, M; Jafari, M; Mishra, B
Discrete event models + temporal logic = supervisory controller: automatic synthesis of locomotion controllers
1995 Antoniotti, M; Mishra, B
NP-completeness of the Supervisor Synthesis Problem for Unrestricted CTL Specifications
1996 Antoniotti, M; Mishra, M
Microsimulation analysis of multiple merge junctions under autonomous AHS operation
1997 Antoniotti, M; Desphande, A; Girault, A
SHIFT and SMART-AHS: A Language for Hybrid System Engineering, Modeling and Simulation
1997 Antoniotti, M; Göllü, A
Microsimulation Analysis of a Hybrid System Model of Multiple Merge Junction Highways and Semi-Automated Vehicles
1997 Antoniotti, M; Deshpande, A; Girault, A
System and process for validating, aligning and reordering one or more genetic sequence maps using at least one ordered restriction map
2001 Antoniotti, M; Bhubaneswar, M; Anantharaman, T; Paxia, S; Schwartz, D
JESTER: An Esterel-based Reactive Java Extension for Reactive Embedded Systems Co-Design
2001 Antoniotti, M; Ferrari, A; Flesca, A; Sangiovanni Vincentelli, A
Embedded system design specification: merging reactive control and data computation
2001 Antoniotti, M; Ferrari, A; Lavagno, L; Sangiovanni Vincentelli, A; Sentovich, E
XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior
2002 Antoniotti, M; Policriti, A; Ugel, N; Mishra, B
Foundations of a Query and Simulation System for the Modeling of Biochemical and Biological Processes
2003 Antoniotti, M; Park, F; Policriti, A; Ugel, N; Mishra, B
A Sense of Life: Computational and Experimental Investigations with Models of Biochemical and Evolutionary Processes
2003 Mishra, B; Daruwala, R; Zhou, Y; Ugel, N; Policriti, A; Antoniotti, M; Paxia, S; Rejali, M; Rudra, A; Cherepinsky, V; Silver, N; Casey, W; Piazza, C; Simeoni, M; Barbano, P; Spivak, M; Feng, J; Gill, O; Venkatesh, M; Cheng, F; Sun, B; Ioniata, I; Anantharaman, T; Hubbard, E; Pnueli, A; Harel, D; Chandru, V; Hariharan, R; Wigler, M; Park, F; Lin, S; Lazebnik, Y; Winkler, F; Cantor, C; Carbone, A; Gromov, M
Taming the Complexity of Biochemical Models through Bisimulation and Collapsing: Theory and Practice
2004 Antoniotti, M; Mishra, B; Piazza, C; Policriti, A; Simeoni, M
A coherent framework for multiresolution analysis of biological networks with "memory": Ras pathway, cell cycle, and immune system
2005 Barbano, P; Antoniotti, M; Feng, J; Spivak, M; Mishra, B
Simpathica: A Computational System Biology Tool within the VALIS Bioinformatics Environment, in Computational Systems Biology
2005 Mishra, B; Antoniotti, M; Paxia, S; Ugel, N
Algorithmic algebraic model checking I: Challenges from systems biology
2005 Piazza, C; Antoniotti, M; Mysore, V; Policriti, A; Mishra, B
Method, system and software arrangement for reconstructing formal descriptive models of processes from functional/modal data using suitable ontology
2006 Mishra, B; Antoniotti, M; Ramakrishnan, N
Modal Logic, Temporal Models and Neural Circuits: What Connects Them
2007 Kleinberg, S; Antoniotti, M; Ramakrishnan, N; Mishra, B
An ontological modeling approach to neurovascular disease studies: the NEUROWEB case
2007 Colombo, G; Merico, D; Frisoni, G; Antoniotti, M; DE PAOLI, F; Mauri, G