 | 2008 |
|---|
| 26 |       | Marius Kloetzer,
Cristian Mahulea,
Calin Belta,
Laura Recalde,
Manuel Silva:
Formal analysis of timed continuous Petri nets.
CDC 2008: 245-250 |
| 25 | | Marcin Imielinski,
Niels Klitgord,
Calin Belta:
Investigating the genomic basis of metabolic robustness through in silico flux analysis.
CDC 2008: 793-798 |
| 24 | | Marius Kloetzer,
Calin Belta:
Dealing with Nondeterminism in Symbolic Control.
HSCC 2008: 287-300 |
| 23 | | Boyan Yordanov,
Calin Belta:
Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications.
HSCC 2008: 542-555 |
| 22 | | Marius Kloetzer,
Calin Belta:
Distributed implementations of global temporal logic motion specifications.
ICRA 2008: 393-398 |
| 21 | | Calin Belta:
Robot Motion Planning.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 2007 |
|---|
| 20 | | Grégory Batt,
Calin Belta,
Ron Weiss:
Model Checking Genetic Regulatory Networks with Parameter Uncertainty.
HSCC 2007: 61-75 |
| 19 | | Marius Kloetzer,
Calin Belta:
Managing non-determinism in symbolic robot motion planning and control.
ICRA 2007: 3110-3115 |
| 18 | | Grégory Batt,
Calin Belta,
Ron Weiss:
Model Checking Liveness Properties of Genetic Regulatory Networks.
TACAS 2007: 323-338 |
| 17 | | Grégory Batt,
Boyan Yordanov,
Ron Weiss,
Calin Belta:
Robustness analysis and tuning of synthetic gene networks.
Bioinformatics 23(18): 2415-2422 (2007) |
| 16 | | Marius Kloetzer,
Calin Belta:
Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions.
IEEE Transactions on Robotics 23(2): 320-330 (2007) |
| 2006 |
|---|
| 15 | | Marius Kloetzer,
Calin Belta:
A Fully Automated Framework for Control of Linear Systems from LTL Specifications.
HSCC 2006: 333-347 |
| 14 | | Marius 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 |
| 11 | | Marius Kloetzer,
Calin Belta:
A Framework for Automatic Deployment of Robots in 2D and 3D Environments.
IROS 2006: 953-958 |
| 2005 |
|---|
| 10 | | Marcin 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) |
| 9 | | Calin 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 |
|---|
| 8 | | 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.
HSCC 2004: 111-125 |
| 7 | | Calin 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 |
| 5 | | Calin Belta,
Guilherme A. S. Pereira,
Vijay Kumar:
Abstraction and Control for Swarms of Robots.
ISRR 2003: 224-233 |
| 2002 |
|---|
| 4 | | 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.
HiPC 2002: 702-712 |
| 3 | | Calin Belta,
Vijay Kumar:
Trajectory Design for Formations of Robots by Kinetic Energy Shaping.
ICRA 2002: 2593-2598 |
| 2001 |
|---|
| 2 | | Rajeev 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 |
