2009 | ||
---|---|---|
75 | EE | Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: Falsification of LTL Safety Properties in Hybrid Systems. TACAS 2009: 368-382 |
74 | EE | Allison P. Heath, Lydia E. Kavraki: Computational challenges in systems biology. Computer Science Review 3(1): 1-17 (2009) |
73 | EE | Erion 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) |
2008 | ||
72 | EE | Allison P. Heath, George N. Bennett, Lydia E. Kavraki: Visualizing the Results of Metabolic Pathway Queries. Graph Drawing 2008: 441-442 |
71 | EE | Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: Impact of workspace decompositions on discrete search leading continuous exploration (DSLX) motion planning. ICRA 2008: 3751-3756 |
70 | EE | Ioan A. Sucan, Jonathan F. Kruse, Mark Yim, Lydia E. Kavraki: Kinodynamic motion planning with hardware demonstrations. IROS 2008: 1661-1666 |
69 | EE | Konstantinos I. Tsianos, Lydia E. Kavraki: Replanning: A powerful planning strategy for hard kinodynamic problems. IROS 2008: 1667-1672 |
68 | EE | Lydia E. Kavraki, Steven M. LaValle: Motion Planning. Springer Handbook of Robotics 2008: 109-131 |
2007 | ||
67 | EE | Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: Hybrid Systems: From Verification to Falsification. CAV 2007: 463-476 |
66 | EE | Erion Plaku, Kostas E. Bekris, Lydia E. Kavraki: OOPS for Motion Planning: An Online, Open-source, Programming System. ICRA 2007: 3711-3716 |
65 | EE | Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: A Motion Planner for a Hybrid Robotic System with Kinodynamic Constraints. ICRA 2007: 692-697 |
64 | EE | Kostas E. Bekris, Lydia E. Kavraki: Greedy but Safe Replanning under Kinodynamic Constraints. ICRA 2007: 704-710 |
63 | EE | Kostas E. Bekris, Konstantinos I. Tsianos, Lydia E. Kavraki: A decentralized planner that guarantees the safety of communicating vehicles with complex dynamics that replan online. IROS 2007: 3784-3790 |
62 | EE | Kostas E. Bekris, Konstantinos I. Tsianos, Lydia E. Kavraki: A distributed protocol for safe real-time planning of communicating vehicles with second-order dynamics. ROBOCOMM 2007: 9 |
61 | EE | Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi: Discrete Search Leading Continuous Exploration for Kinodynamic Motion Planning. Robotics: Science and Systems 2007 |
60 | EE | Erion Plaku, Lydia E. Kavraki: Nonlinear Dimensionality Reduction using Approximate Nearest Neighbors. SDM 2007 |
59 | EE | Amarda Shehu, Cecilia Clementi, Lydia E. Kavraki: Sampling Conformation Space to Model Equilibrium Fluctuations in Proteins. Algorithmica 48(4): 303-327 (2007) |
58 | EE | Konstantinos I. Tsianos, Ioan A. Sucan, Lydia E. Kavraki: Sampling-based robot motion planning: Towards realistic applications. Computer Science Review 1(1): 2-11 (2007) |
57 | EE | Brian Y. Chen, Drew H. Bryant, Viacheslav Fofanov, David M. Kristensen, Amanda E. Cruess, Marek Kimmel, Olivier Lichtarge, Lydia E. Kavraki: Cavity Scaling: Automated Refinement of Cavity-Aware motifs in protein Function Prediction. J. Bioinformatics and Computational Biology 5(2a): 353-382 (2007) |
56 | EE | Erion 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) |
55 | EE | Brian Y. Chen, Viacheslav Fofanov, Drew H. Bryant, Bradley D. Dodson, David M. Kristensen, Andreas Martin Lisewski, Marek Kimmel, Olivier Lichtarge, Lydia E. Kavraki: The MASH Pipeline for Protein Function Prediction and an Algorithm for the Geometric Refinement of 3D Motifs. Journal of Computational Biology 14(6): 791-816 (2007) |
2006 | ||
54 | Kostas E. Bekris, Max Glick, Lydia E. Kavraki: Evaluation of Algorithms for bearing-only SLAM. ICRA 2006: 1937-1943 | |
53 | EE | Brian Y. Chen, Viacheslav Fofanov, Drew H. Bryant, Bradley D. Dodson, David M. Kristensen, Andreas Martin Lisewski, Marek Kimmel, Olivier Lichtarge, Lydia E. Kavraki: Geometric Sieving: Automated Distributed Optimization of 3D Motifs for Protein Function Prediction. RECOMB 2006: 500-515 |
52 | EE | Erion Plaku, Lydia E. Kavraki: Quantitative Analysis of Nearest-Neighbors Search in High-Dimensional Sampling-Based Motion Planning. WAFR 2006: 3-18 |
2005 | ||
51 | Mark Moll, Lydia E. Kavraki: Path Planning for Variable Resolution Minimal-Energy Curves of Constant Length. ICRA 2005: 2130-2135 | |
50 | Erion Plaku, Lydia E. Kavraki: Distributed Sampling-Based Roadmap of Trees for Large-Scale Motion Planning. ICRA 2005: 3868-3873 | |
49 | EE | Brian Y. Chen, Viacheslav Fofanov, David M. Kristensen, Marek Kimmel, Olivier Lichtarge, Lydia E. Kavraki: Algorithms for Structural Comparison and Statistical Analysis of 3D Protein Motifs. Pacific Symposium on Biocomputing 2005 |
48 | EE | Andrew M. Ladd, Lydia E. Kavraki: Motion Planning in the Presence of Drift, Underactuation and Discrete System Changes. Robotics: Science and Systems 2005: 233-240 |
47 | EE | Antonis A. Argyros, Kostas E. Bekris, Stelios C. Orphanoudakis, Lydia E. Kavraki: Robot Homing by Exploiting Panoramic Vision. Auton. Robots 19(1): 7-25 (2005) |
46 | EE | Ming Zhang, R. Allen White, Liqun Wang, Ronald N. Goldman, Lydia E. Kavraki, Brendan Hassett: Improving conformational searches by geometric screening. Bioinformatics 21(5): 624-630 (2005) |
45 | Gregory S. Chirikjian, Nancy M. Amato, Lydia E. Kavraki: Editorial: Special Issue on Robotics Techniques Applied to Computational Biology. I. J. Robotic Res. 24(2-3): 107 (2005) | |
44 | EE | Andrew M. Ladd, Kostas E. Bekris, Algis Rudys, Lydia E. Kavraki, Dan S. Wallach: Robotics-Based Location Sensing Using Wireless Ethernet. Wireless Networks 11(1-2): 189-204 (2005) |
2004 | ||
43 | EE | Kostas E. Bekris, Antonis A. Argyros, Lydia E. Kavraki: Angle-based Methods for Mobile Robot Navigation: Reaching the Entire Plane. ICRA 2004: 2373-2378 |
42 | EE | Mark Moll, Lydia E. Kavraki: Path Planning for Minimal Energy Curves of Constant Length. ICRA 2004: 2826-2831 |
41 | Jeff M. Phillips, Nazareth Bedrossian, Lydia E. Kavraki: Guided Expansive Spaces Trees: a Search Strategy for Motion- and Cost-constrained State Spaces. ICRA 2004: 3968-3973 | |
40 | EE | Andreas Haeberlen, Eliot Flannery, Andrew M. Ladd, Algis Rudys, Dan S. Wallach, Lydia E. Kavraki: Practical robust localization over large-scale 802.11 wireless networks. MOBICOM 2004: 70-84 |
39 | EE | Andrew M. Ladd, Lydia E. Kavraki: Using Motion Planning for Knot Untangling. I. J. Robotic Res. 23(7-8): 797-808 (2004) |
2003 | ||
38 | EE | Mert 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 |
37 | EE | Miguel L. Teodoro, George N. Phillips, Lydia E. Kavraki: Understanding Protein Flexibility through Dimensionality Reduction. Journal of Computational Biology 10(3/4): 617-634 (2003) |
2002 | ||
36 | Andrew M. Ladd, Lydia E. Kavraki: Generalizing the Analysis of PRM. ICRA 2002: 2120-2125 | |
35 | Jeff M. Phillips, Andrew M. Ladd, Lydia E. Kavraki: Simulated Knot Tying. ICRA 2002: 841-846 | |
34 | EE | Andrew M. Ladd, Kostas E. Bekris, Algis Rudys, Lydia E. Kavraki, Dan S. Wallach, Guillaume Marceau: Robotics-based location sensing using wireless ethernet. MOBICOM 2002: 227-238 |
33 | EE | Miguel L. Teodoro, George N. Phillips, Lydia E. Kavraki: A dimensionality reduction approach to modeling protein flexibility. RECOMB 2002: 299-308 |
32 | EE | Pankaj K. Agarwal, Leonidas J. Guibas, Herbert Edelsbrunner, Jeff Erickson, Michael Isard, Sariel Har-Peled, John Hershberger, Christian S. Jensen, Lydia E. Kavraki, Patrice Koehl, Ming C. Lin, Dinesh Manocha, Dimitris N. Metaxas, Brian Mirtich, David M. Mount, S. Muthukrishnan, Dinesh K. Pai, Elisha Sacks, Jack Snoeyink, Subhash Suri, Ouri Wolfson: Algorithmic issues in modeling motion. ACM Comput. Surv. 34(4): 550-572 (2002) |
31 | EE | Ming Zhang, Lydia E. Kavraki: A New Method for Fast and Accurate Derivation of Molecular Conformations. Journal of Chemical Information and Computer Sciences 42(1): 64-70 (2002) |
2001 | ||
30 | Attawith Sudsang, Lydia E. Kavraki: A Geometric Approach to Designing a Programmable Force Field with a Unique Stable Equilibrium for Parts in the Plane. ICRA 2001: 1079-1085 | |
29 | Oliver Brock, Lydia E. Kavraki: Decomposition-based Motion Planning: A Framework for Real-time Motion Planning in High-dimensional Spaces. ICRA 2001: 1469-1474 | |
28 | Miguel L. Teodoro, George N. Phillips, Lydia E. Kavraki: Molecular Docking: A Problem with Thousands of Degrees of Freedom. ICRA 2001: 960-965 | |
27 | EE | Florent Lamiraux, Lydia E. Kavraki: Planning Paths for Elastic Objects under Manipulation Constraints. I. J. Robotic Res. 20(3): 188-208 (2001) |
26 | EE | Florent Lamiraux, Lydia E. Kavraki: Positioning of Symmetric and Nonsymmetric Parts Using Radial and Constant Fields: Computation of All Equilibrium Configurations. I. J. Robotic Res. 20(8): 635-659 (2001) |
2000 | ||
25 | Christopher Holleman, Lydia E. Kavraki: A Framework for Using the Workspace Medial Axis in PRM Planners. ICRA 2000: 1408-1413 | |
24 | Florent Lamiraux, Lydia E. Kavraki: Positioning and Orienting a Class of Symmetric Parts Using a Combination of a Unit-Radial and a Constant Force Fields. ICRA 2000: 178-183 | |
23 | Elliot Anshelevich, Scott Owens, Florent Lamiraux, Lydia E. Kavraki: Deformable Volumes in Path Planning Applications. ICRA 2000: 2290-2295 | |
22 | Robert Bohlin, Lydia E. Kavraki: Path Planning Using Lazy PRM. ICRA 2000: 521-528 | |
21 | Tim Danner, Lydia E. Kavraki: Randomized Planning for Short Inspection Paths. ICRA 2000: 971-976 | |
20 | EE | Steven M. LaValle, Paul W. Finn, Lydia E. Kavraki, Jean-Claude Latombe: A randomized kinematics-based approach to pharmacophore-constrained conformational search and database screening. Journal of Computational Chemistry 21(9): 731-747 (2000) |
1999 | ||
19 | Florent Lamiraux, Lydia E. Kavraki: Path Planning for Elastic Plates Under Manipulation Constraints. ICRA 1999: 151-156 | |
18 | Steven M. LaValle, Jeffery H. Yakey, Lydia E. Kavraki: A Probabilistic Roadmap Approach for Systems with Closed Kinematic Chains. ICRA 1999: 1671-1676 | |
17 | EE | Steven M. LaValle, Paul W. Finn, Lydia E. Kavraki, Jean-Claude Latombe: Efficient database screening for rational drug design using pharmacophore-constrained conformational search. RECOMB 1999: 250-260 |
16 | EE | Paul W. Finn, Lydia E. Kavraki: Computational Approaches to Drug Design. Algorithmica 25(2-3): 347-371 (1999) |
1998 | ||
15 | Christopher Holleman, Lydia E. Kavraki, Joe D. Warren: Planning Paths for a Flexible Surface Patch. ICRA 1998: 21-26 | |
14 | David Hsu, Lydia E. Kavraki, Jean-Claude Latombe, Rajeev Motwani: Capturing the Connectivity of High-Dimensional Geometric Spaces by Parallelizable Random Sampling Techniques. IPPS/SPDP Workshops 1998: 330-340 | |
13 | Paul W. Finn, Lydia E. Kavraki, Jean-Claude Latombe, Rajeev Motwani, Christian R. Shelton, Suresh Venkatasubramanian, A. Yao: RAPID: Randomized pharmacophore identification for drug design. Comput. Geom. 10(4): 263-272 (1998) | |
12 | Lydia E. Kavraki, Jean-Claude Latombe, Rajeev Motwani, Prabhakar Raghavan: Randomized Query Processing in Robot Path Planning. J. Comput. Syst. Sci. 57(1): 50-66 (1998) | |
1997 | ||
11 | EE | Paul W. Finn, Lydia E. Kavraki, Jean-Claude Latombe, Rajeev Motwani, Christian R. Shelton, Suresh Venkatasubramanian, A. Yao: RAPID: Randomized Pharmacophore Identification for Drug Design. Symposium on Computational Geometry 1997: 324-333 |
10 | Jérôme Barraquand, Lydia E. Kavraki, Jean-Claude Latombe, Tsai-Yen Li, Rajeev Motwani, Prabhakar Raghavan: A Random Sampling Scheme for Path Planning. I. J. Robotic Res. 16(6): 759-774 (1997) | |
1996 | ||
9 | Paul W. Finn, Dan Halperin, Lydia E. Kavraki, Jean-Claude Latombe, Rajeev Motwani, Christian R. Shelton, Suresh Venkatasubramanian: Geometric Manipulation of Flexible Ligands. WACG 1996: 67-78 | |
1995 | ||
8 | EE | Lydia E. Kavraki, Jean-Claude Latombe, Rajeev Motwani, Prabhakar Raghavan: Randomized query processing in robot path planning (Extended Abstract). STOC 1995: 353-362 |
7 | Randall H. Wilson, Lydia E. Kavraki, Tomás Lozano-Pérez, Jean-Claude Latombe: Two-Handed Assembly Sequencing. I. J. Robotic Res. 14(4): 335-350 (1995) | |
6 | EE | Lydia E. Kavraki, Mihail N. Kolountzakis: Partitioning a Planar Assembly Into Two Connected Parts is NP-Complete. Inf. Process. Lett. 55(3): 159-165 (1995) |
1994 | ||
5 | Achim Schweikard, Rhea Tombropoulos, Lydia E. Kavraki, John R. Adler Jr., Jean-Claude Latombe: Treatment Planning for a Radiosurgical System with General Kinematics. ICRA 1994: 1720-1727 | |
4 | Lydia E. Kavraki, Jean-Claude Latombe: Randomized Preprocessing of Configuration Space for Fast Path Planning. ICRA 1994: 2138-2145 | |
1993 | ||
3 | Lydia E. Kavraki, Jean-Claude Latombe, Randall H. Wilson: On the Complexity of Assembly Partitioning. CCCG 1993: 12-17 | |
2 | Lydia E. Kavraki: Computation of Configuration-Space Obstacles Using the Fast Fourier Transform. ICRA (3) 1993: 255-261 | |
1 | Lydia E. Kavraki, Jean-Claude Latombe, Randall H. Wilson: On the Complexity of Assembly Partitioning. Inf. Process. Lett. 48(5): 229-235 (1993) |