The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Calin Belta: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.057secs, Finished in 0.060secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002