Search the dblp DataBase

Publications of Author

1. Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler, Bud Mishra
   Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. [Citation Graph (0, 0)][DBLP]
   CAV, 2005, pp:5-19 [Conf]
   
2. Marco Antoniotti, Bhubaneswar Mishra, Carla Piazza, Alberto Policriti, Marta Simeoni
   Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing. [Citation Graph (0, 0)][DBLP]
   CMSB, 2003, pp:57-74 [Conf]
   
3. Marco Antoniotti, Aleks Göllü
   SHIFT and SMART-AHS: A Language for Hybrid System Engineering Modeling and Simulation. [Citation Graph (0, 0)][DBLP]
   DSL, 1997, pp:171-182 [Conf]
   
4. Marco Antoniotti, Alberto Policriti, Nadia Ugel, Bud Mishra
   XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior. [Citation Graph (0, 0)][DBLP]
   HiPC, 2002, pp:431-442 [Conf]
   
5. Marco Antoniotti, Bud Mishra
   Descrete Events Models + Temporal Logic = Supervisory Controller: Automatic Synthesis of Locomotion Controllers. [Citation Graph (0, 0)][DBLP]
   ICRA, 1995, pp:1441-1446 [Conf]
   
6. 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. [Citation Graph (0, 0)][DBLP]
   Pacific Symposium on Biocomputing, 2003, pp:116-127 [Conf]
   
7. Marco Antoniotti, Carla Piazza, Alberto Policriti, Marta Simeoni, Bud Mishra
   Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:325, n:1, pp:45-67 [Journal]
   
8. Daniele Merico, Italo Zoppis, Marco Antoniotti, Giancarlo Mauri
   Evaluating Graph Kernel Methods for Relation Discovery in GO-Annotated Clusters. [Citation Graph (0, 0)][DBLP]
   KES (3), 2007, pp:892-900 [Conf]
   
9. Italo Zoppis, Daniele Merico, Marco Antoniotti, Bud Mishra, Giancarlo Mauri
   Discovering Relations Among GO-Annotated Clusters by Graph Kernel Methods. [Citation Graph (0, 0)][DBLP]
   ISBRA, 2007, pp:158-169 [Conf]
   
10. 
    Ontological Modelling for Neurovascular Disease Study: Issues in the Adoption of Description Logic. [Citation Graph (, )][DBLP]
    
    
11. 
    Identification of Individualized Feature Combinations for Survival Prediction in Breast Cancer: A Comparison of Machine Learning Techniques. [Citation Graph (, )][DBLP]
    
    
12. 
    An application of kernel methods to gene cluster temporal meta-analysis. [Citation Graph (, )][DBLP]