| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 7455747 (Why is no real title available?) | 2022-01-11 | Paper |
scientific article; zbMATH DE number 7455747 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-11 | Paper |
Sampling-based motion planning for uncertain high-dimensional systems via adaptive control
Algorithmic Foundations of Robotics XIV | 2021-09-20 | Paper |
Iterative temporal motion planning for hybrid systems in partially unknown environments
Proceedings of the 16th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Computational challenges in systems biology
Computer Science Review | 2014-10-07 | Paper |
Modeling structures and motions of loops in protein molecules
Entropy | 2014-09-08 | Paper |
Asynchronous Distributed Motion Planning with Safety Guarantees under Second-Order Dynamics
Springer Tracts in Advanced Robotics | 2011-08-04 | Paper |
Kinodynamic motion planning by interior-exterior cell exploration
Springer Tracts in Advanced Robotics | 2011-03-02 | Paper |
Quantitative analysis of nearest-neighbors search in high-dimensional sampling-based motion planning
Springer Tracts in Advanced Robotics | 2010-06-02 | Paper |
Hybrid systems: From verification to falsification by combining motion planning and discrete search
Formal Methods in System Design | 2009-11-23 | Paper |
Falsification of LTL Safety Properties in Hybrid Systems
Tools and Algorithms for the Construction and Analysis of Systems | 2009-03-31 | Paper |
Hybrid Systems: From Verification to Falsification
Computer Aided Verification | 2007-11-29 | Paper |
Sampling conformation space to model equilibrium fluctuations in proteins
Algorithmica | 2007-09-10 | Paper |
Geometric Sieving: Automated Distributed Optimization of 3D Motifs for Protein Function Prediction
Lecture Notes in Computer Science | 2007-08-30 | Paper |
Distributed computation of the \textit{k}nn graph for large high-dimensional point sets
Journal of Parallel and Distributed Computing | 2007-03-02 | Paper |
| scientific article; zbMATH DE number 2238822 (Why is no real title available?) | 2005-12-14 | Paper |
| Positioning symmetric and non-symmetric parts using radial and constant force fields | 2002-10-20 | Paper |
| scientific article; zbMATH DE number 1501059 (Why is no real title available?) | 2002-04-18 | Paper |
| scientific article; zbMATH DE number 1857644 (Why is no real title available?) | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 1419217 (Why is no real title available?) | 2000-05-11 | Paper |
| scientific article; zbMATH DE number 1263211 (Why is no real title available?) | 1999-11-08 | Paper |
| scientific article; zbMATH DE number 1182934 (Why is no real title available?) | 1999-11-08 | Paper |
Randomized query processing in robot path planning
Journal of Computer and System Sciences | 1999-09-13 | Paper |
| scientific article; zbMATH DE number 1501071 (Why is no real title available?) | 1998-01-01 | Paper |
Partitioning a planar assembly into two connected parts is NP-complete
Information Processing Letters | 1997-02-27 | Paper |
On the complexity of assembly partitioning
Information Processing Letters | 1993-01-01 | Paper |
