| 2007 |
|---|
| 10 | EE | Gianluca Colombo,
Daniele Merico,
Marco Antoniotti,
Flavio De Paoli,
Giancarlo Mauri:
Ontological Modelling for Neurovascular Disease Study: Issues in the Adoption of Description Logic.
Description Logics 2007 |
| 9 | EE | Italo Zoppis,
Daniele Merico,
Marco Antoniotti,
Bud Mishra,
Giancarlo Mauri:
Discovering Relations Among GO-Annotated Clusters by Graph Kernel Methods.
ISBRA 2007: 158-169 |
| 8 | EE | Daniele Merico,
Italo Zoppis,
Marco Antoniotti,
Giancarlo Mauri:
Evaluating Graph Kernel Methods for Relation Discovery in GO-Annotated Clusters.
KES (3) 2007: 892-900 |
| 2005 |
|---|
| 7 | EE | Carla Piazza,
Marco Antoniotti,
Venkatesh Mysore,
Alberto Policriti,
Franz Winkler,
Bud Mishra:
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology.
CAV 2005: 5-19 |
| 2004 |
|---|
| 6 | EE | Marco Antoniotti,
Carla Piazza,
Alberto Policriti,
Marta Simeoni,
Bud Mishra:
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice.
Theor. Comput. Sci. 325(1): 45-67 (2004) |
| 2003 |
|---|
| 5 | EE | Marco Antoniotti,
Bhubaneswar Mishra,
Carla Piazza,
Alberto Policriti,
Marta Simeoni:
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing.
CMSB 2003: 57-74 |
| 4 | EE | Marco Antoniotti,
F. Park,
Alberto Policriti,
Nadia Ugel,
Bud Mishra:
Foundations of a Query and Simulation System for the Modeling of Biochemical and Biological Processes.
Pacific Symposium on Biocomputing 2003: 116-127 |
| 2002 |
|---|
| 3 | EE | Marco Antoniotti,
Alberto Policriti,
Nadia Ugel,
Bud Mishra:
XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior.
HiPC 2002: 431-442 |
| 1997 |
|---|
| 2 | EE | Marco Antoniotti,
Aleks Göllü:
SHIFT and SMART-AHS: A Language for Hybrid System Engineering Modeling and Simulation.
DSL 1997: 171-182 |
| 1995 |
|---|
| 1 | | Marco Antoniotti,
Bud Mishra:
Descrete Events Models + Temporal Logic = Supervisory Controller: Automatic Synthesis of Locomotion Controllers.
ICRA 1995: 1441-1446 |
