Erion Plaku

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

13EEErion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: Falsification of LTL Safety Properties in Hybrid Systems. TACAS 2009: 368-382
12EEErion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: Hybrid systems: from verification to falsification by combining motion planning and discrete search. Formal Methods in System Design 34(2): 157-182 (2009)
11EEErion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: Impact of workspace decompositions on discrete search leading continuous exploration (DSLX) motion planning. ICRA 2008: 3751-3756
10EEErion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: Hybrid Systems: From Verification to Falsification. CAV 2007: 463-476
9EEErion Plaku, Kostas E. Bekris, Lydia E. Kavraki: OOPS for Motion Planning: An Online, Open-source, Programming System. ICRA 2007: 3711-3716
8EEErion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: A Motion Planner for a Hybrid Robotic System with Kinodynamic Constraints. ICRA 2007: 692-697
7EEErion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: Discrete Search Leading Continuous Exploration for Kinodynamic Motion Planning. Robotics: Science and Systems 2007
6EEErion Plaku, Lydia E. Kavraki: Nonlinear Dimensionality Reduction using Approximate Nearest Neighbors. SDM 2007
5EEErion Plaku, Lydia E. Kavraki: Distributed computation of the knn graph for large high-dimensional point sets. J. Parallel Distrib. Comput. 67(3): 346-359 (2007)
4EEErion Plaku, Lydia E. Kavraki: Quantitative Analysis of Nearest-Neighbors Search in High-Dimensional Sampling-Based Motion Planning. WAFR 2006: 3-18
3 Erion Plaku, Lydia E. Kavraki: Distributed Sampling-Based Roadmap of Trees for Large-Scale Motion Planning. ICRA 2005: 3868-3873
2EEMert Akinc, Kostas E. Bekris, Brian Y. Chen, Andrew M. Ladd, Erion Plaku, Lydia E. Kavraki: Probabilistic Roadmaps of Trees for Parallel Computation of Multiple Query Roadmaps. ISRR 2003: 80-89
1EEErion Plaku, Igor Shparlinski: On Polynomial Representations of Boolean Functions Related to Some Number Theoretic Problems. FSTTCS 2001: 305-316

Coauthor Index

1Mert Akinc [2]
2Kostas E. Bekris [2] [9]
3Brian Y. Chen [2]
4Lydia E. Kavraki [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13]
5Andrew M. Ladd [2]
6Igor Shparlinski [1]
7Moshe Y. Vardi [7] [8] [10] [11] [12] [13]

Colors in the list of coauthors

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