Search the dblp DataBase

Publications of Author

1. Rajeev Alur, Calin Belta, Franjo Ivancic, Vijay Kumar, Harvey Rubin, Jonathan Schug, Oleg Sokolsky, Jonathan Webb
   Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks. [Citation Graph (0, 0)][DBLP]
   HiPC, 2002, pp:702-712 [Conf]
   
2. Calin Belta, Peter Finin, Luc C. G. J. M. Habets, Ádám M. Halász, Marcin Imielinski, Vijay Kumar, Harvey Rubin
   Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
   HSCC, 2004, pp:111-125 [Conf]
   
3. Rajeev Alur, Calin Belta, Franjo Ivancic
   Hybrid Modeling and Simulation of Biomolecular Networks. [Citation Graph (0, 0)][DBLP]
   HSCC, 2001, pp:19-32 [Conf]
   
4. Marius Kloetzer, Calin Belta
   A Fully Automated Framework for Control of Linear Systems from LTL Specifications. [Citation Graph (0, 0)][DBLP]
   HSCC, 2006, pp:333-347 [Conf]
   
5. Marius Kloetzer, Calin Belta
   Reachability Analysis of Multi-affine Systems. [Citation Graph (0, 0)][DBLP]
   HSCC, 2006, pp:348-362 [Conf]
   
6. Grégory Batt, Calin Belta, Ron Weiss
   Model Checking Genetic Regulatory Networks with Parameter Uncertainty. [Citation Graph (0, 0)][DBLP]
   HSCC, 2007, pp:61-75 [Conf]
   
7. Calin Belta, Vijay Kumar
   Motion Generation for Formations of Robots a Geometric Approach. [Citation Graph (0, 0)][DBLP]
   ICRA, 2001, pp:1245-1250 [Conf]
   
8. Calin Belta, Vijay Kumar
   Trajectory Design for Formations of Robots by Kinetic Energy Shaping. [Citation Graph (0, 0)][DBLP]
   ICRA, 2002, pp:2593-2598 [Conf]
   
9. Calin Belta, Vijay Kumar
   Abstraction and control for groups of fully-actuated planar robots. [Citation Graph (0, 0)][DBLP]
   ICRA, 2003, pp:2498-2503 [Conf]
   
10. Marcin Imielinski, Calin Belta, Ádám M. Halász, Harvey Rubin
    Investigating metabolite essentiality through genome-scale analysis of Escherichia coli production capabilities. [Citation Graph (0, 0)][DBLP]
    Bioinformatics, 2005, v:21, n:9, pp:2008-2016 [Journal]
    
11. Calin Belta, Joel M. Esposito, Jongwoo Kim, Vijay Kumar
    Computational Techniques for Analysis of Genetic Network Dynamics. [Citation Graph (0, 0)][DBLP]
    I. J. Robotic Res., 2005, v:24, n:2-3, pp:219-235 [Journal]
    
12. Marius Kloetzer, Calin Belta
    Managing non-determinism in symbolic robot motion planning and control. [Citation Graph (0, 0)][DBLP]
    ICRA, 2007, pp:3110-3115 [Conf]
    
13. Calin Belta
    On Controlling Aircraft and Underwater Vehicles. [Citation Graph (0, 0)][DBLP]
    ICRA, 2004, pp:4905-4910 [Conf]
    
14. Grégory Batt, Calin Belta, Ron Weiss
    Model Checking Liveness Properties of Genetic Regulatory Networks. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:323-338 [Conf]
    
15. 
    Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications. [Citation Graph (, )][DBLP]
    
    
16. 
    Dealing with Nondeterminism in Symbolic Control. [Citation Graph (, )][DBLP]
    
    
17. 
    Controlling three Dimensional Swarms of Robots. [Citation Graph (, )][DBLP]
    
    
18. 
    Hierarchical Abstractions for Robotic Swarms. [Citation Graph (, )][DBLP]
    
    
19. 
    Distributed implementations of global temporal logic motion specifications. [Citation Graph (, )][DBLP]
    
    
20. 
    Automatic deployment of autonomous cars in a Robotic Urban-Like Environment (RULE). [Citation Graph (, )][DBLP]
    
    
21. 
    Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees. [Citation Graph (, )][DBLP]
    
    
22. 
    On the need for communication in distributed implementations of LTL motion specifications. [Citation Graph (, )][DBLP]
    
    
23. 
    Abstraction and Control for Swarms of Robots. [Citation Graph (, )][DBLP]
    
    
24. 
    A Framework for Automatic Deployment of Robots in 2D and 3D Environments. [Citation Graph (, )][DBLP]
    
    
25. 
    Investigating the genomic basis of metabolic robustness through in silico flux analysis. [Citation Graph (, )][DBLP]
    
    
26. 
    Formal analysis of timed continuous Petri nets. [Citation Graph (, )][DBLP]
    
    
27. 
    A probabilistic approach for control of a stochastic system from LTL specifications. [Citation Graph (, )][DBLP]
    
    
28. 
    Temporal logic control of discrete-time piecewise affine systems. [Citation Graph (, )][DBLP]
    
    
29. 
    Robustness analysis and tuning of synthetic gene networks. [Citation Graph (, )][DBLP]
    
    
30. 
    Optimal Path Planning under Temporal Logic Constraints [Citation Graph (, )][DBLP]