dblp.uni-trier.dewww.uni-trier.de

Calin Belta

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
24EEMarius Kloetzer, Calin Belta: Dealing with Nondeterminism in Symbolic Control. HSCC 2008: 287-300
23EEBoyan Yordanov, Calin Belta: Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications. HSCC 2008: 542-555
22EEMarius Kloetzer, Calin Belta: Distributed implementations of global temporal logic motion specifications. ICRA 2008: 393-398
21EECalin Belta: Robot Motion Planning. Wiley Encyclopedia of Computer Science and Engineering 2008
2007
20EEGrégory Batt, Calin Belta, Ron Weiss: Model Checking Genetic Regulatory Networks with Parameter Uncertainty. HSCC 2007: 61-75
19EEMarius Kloetzer, Calin Belta: Managing non-determinism in symbolic robot motion planning and control. ICRA 2007: 3110-3115
18EEGrégory Batt, Calin Belta, Ron Weiss: Model Checking Liveness Properties of Genetic Regulatory Networks. TACAS 2007: 323-338
17EEGrégory Batt, Boyan Yordanov, Ron Weiss, Calin Belta: Robustness analysis and tuning of synthetic gene networks. Bioinformatics 23(18): 2415-2422 (2007)
16EEMarius Kloetzer, Calin Belta: Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions. IEEE Transactions on Robotics 23(2): 320-330 (2007)
2006
15EEMarius Kloetzer, Calin Belta: A Fully Automated Framework for Control of Linear Systems from LTL Specifications. HSCC 2006: 333-347
14EEMarius Kloetzer, Calin Belta: Reachability Analysis of Multi-affine Systems. HSCC 2006: 348-362
13 Marius Kloetzer, Calin Belta: Hierarchical Abstractions for Robotic Swarms. ICRA 2006: 952-957
12 Nathan Michael, Calin Belta, Vijay Kumar: Controlling three Dimensional Swarms of Robots. ICRA 2006: 964-969
11EEMarius Kloetzer, Calin Belta: A Framework for Automatic Deployment of Robots in 2D and 3D Environments. IROS 2006: 953-958
2005
10EEMarcin Imielinski, Calin Belta, Ádám M. Halász, Harvey Rubin: Investigating metabolite essentiality through genome-scale analysis of Escherichia coli production capabilities. Bioinformatics 21(9): 2008-2016 (2005)
9EECalin Belta, Joel M. Esposito, Jongwoo Kim, Vijay Kumar: Computational Techniques for Analysis of Genetic Network Dynamics. I. J. Robotic Res. 24(2-3): 219-235 (2005)
2004
8EECalin 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. HSCC 2004: 111-125
7EECalin Belta: On Controlling Aircraft and Underwater Vehicles. ICRA 2004: 4905-4910
2003
6 Calin Belta, Vijay Kumar: Abstraction and control for groups of fully-actuated planar robots. ICRA 2003: 2498-2503
5EECalin Belta, Guilherme A. S. Pereira, Vijay Kumar: Abstraction and Control for Swarms of Robots. ISRR 2003: 224-233
2002
4EERajeev 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. HiPC 2002: 702-712
3 Calin Belta, Vijay Kumar: Trajectory Design for Formations of Robots by Kinetic Energy Shaping. ICRA 2002: 2593-2598
2001
2EERajeev Alur, Calin Belta, Franjo Ivancic: Hybrid Modeling and Simulation of Biomolecular Networks. HSCC 2001: 19-32
1 Calin Belta, Vijay Kumar: Motion Generation for Formations of Robots a Geometric Approach. ICRA 2001: 1245-1250

Coauthor Index

1Rajeev Alur [2] [4]
2Grégory Batt [17] [18] [20]
3Joel M. Esposito [9]
4Peter Finin [8]
5Luc C. G. J. M. Habets [8]
6Ádám M. Halász [8] [10]
7Marcin Imielinski [8] [10]
8Franjo Ivancic [2] [4]
9Jongwoo Kim [9]
10Marius Kloetzer [11] [13] [14] [15] [16] [19] [22] [24]
11Vijay Kumar [1] [3] [4] [5] [6] [8] [9] [12]
12Nathan Michael [12]
13Guilherme A. S. Pereira [5]
14Harvey Rubin [4] [8] [10]
15Jonathan Schug [4]
16Oleg Sokolsky [4]
17Jonathan Webb [4]
18Ron Weiss [17] [18] [20]
19Boyan Yordanov [17] [23]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)