ANTONIOTTI, MARCO
ANTONIOTTI, MARCO
DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE
Automatic synthesis algorithms for supervisory controllers
1994 Antoniotti, M; Mishra, B
Discrete event models+temporal logic=supervisory controller: automatic synthesis of locomotion controllers
1995 Antoniotti, M; Mishra, B
Applying temporal logic verification and synthesis to manufacturing systems
1995 Antoniotti, M; Jafari, 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
Microsimulation Analysis of a Hybrid System Model of Multiple Merge Junction Highways and Semi-Automated Vehicles
1997 Antoniotti, M; Deshpande, A; Girault, A
SHIFT and SMART-AHS: A Language for Hybrid System Engineering, Modeling and Simulation
1997 Antoniotti, M; Göllü, A
Embedded system design specification: merging reactive control and data computation
2001 Antoniotti, M; Ferrari, A; Lavagno, L; Sangiovanni Vincentelli, A; Sentovich, E
JESTER: An Esterel-based Reactive Java Extension for Reactive Embedded Systems Co-Design
2001 Antoniotti, M; Ferrari, A; Flesca, A; Sangiovanni Vincentelli, 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
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
Simpathica: A Computational System Biology Tool within the VALIS Bioinformatics Environment, in Computational Systems Biology
2005 Mishra, B; Antoniotti, M; Paxia, S; Ugel, N
A Coherent Framework for Multi-resolution Analysis of Biological Networks with Memory: RAS pathway, Cell Cycle and Immune System
2005 Barbano, P; Antoniotti, M; Feng, J; Spivak, M; Mishra, B
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
From Bytes to Bedside: Data Integration and Computational Biology for Translational Cancer Research
2007 Mathew, J; Taylor, B; Bader, G; Pyarajan, S; Antoniotti, M; Chinnaiyan, A; Sander, C; Burakoff, S; Mishra, B
Modal Logic, Temporal Models and Neural Circuits: What Connects Them
2007 Kleinberg, S; Antoniotti, M; Ramakrishnan, N; Mishra, B