Kavraki Lab
Physical and Biological Computing
Robotics
Bioinformatics
Publications
Software
Openings
Members
Awards
Biblio
List
Filter
Export 249 results:
RTF
Tagged
XML
BibTex
Sort by:
Author
Title
Type
[
Year
]
2013
Maly MR
,
Lahijanian M
,
Kavraki LE
,
Kress-Gazit H
,
Vardi MY
. 2013.
Iterative Temporal Motion Planning for Hybrid Systems in Partially Unknown Environments
.
ACM International Conference on Hybrid Systems: Computation and Control.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Luna R
,
Şucan IA
,
Moll M
,
Kavraki LE
. 2013.
Anytime Solution Optimization for Sampling-Based Motion Planning
.
IEEE International Conference on Robotics and Automation.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Grady DK
,
Moll M
,
Kavraki L
. 2013.
Automated Model Approximation for Robotic Navigation with POMDPs
.
IEEE International Conference on Robotics and Automation.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Gipson B
,
Moll M
,
Kavraki LE
. 2013.
Resolution Independent Density Estimation for Motion Planning in High-Dimensional Spaces
.
IEEE International Conference on Robotics and Automation.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
2012
Maly MR
,
Kavraki LE
. 2012.
Low-Dimensional Projections for SyCLoP
.
IEEE/RSJ International Conference on Intelligent Robots and Systems. :420-425.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Sucan IA
,
Kavraki LE
. 2012.
Accounting for Uncertainty in Simultaneous Task and Motion Planning Using Task Motion Multigraphs
.
IEEE International Conference on Robotics and Automation. :4822-4828.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Şucan IA
,
Moll M
,
Kavraki LE
. 2012.
The Open Motion Planning Library
.
IEEE Robotics & Automation Magazine. 19(4):72-82.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Publisher's web site
Shehu A
,
Kavraki LE
. 2012.
Modeling Structures and Motions of Loops in Protein Molecules
.
Entropy. 14(2):252-290.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Publisher's web site
Gipson B
,
Hsu D
,
Kavraki LE
,
Latombe J-C
. 2012.
Computational Models of Proteins Kinematics and Dynamics: Beyond Simulation
.
Annual Reviews of Analytical Chemistry. 5:273-291.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Publisher's web site
Bekris KE
,
Grady DK
,
Moll M
,
Kavraki LE
. 2012.
Safe Distributed Motion Coordination for Second-Order Systems With Different Planning Cycles
.
International Journal of Robotics Research. 31:129-150.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Publisher's web site
Dhanik A
,
McMurray JS
,
Kavraki LE
. 2012.
AUTODOCK-based Incremental Docking Protocol to Improve Docking of Large Ligands
.
IEEE International Conference on Bioinformatics and Biomedicine Workshops (BIBMW). :48-55.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Dhanik A
,
McMurray JS
,
Kavraki LE
. 2012.
Binding Modes of Peptidomimetics Designed to Inhibit STAT3
.
PLoS ONE. 7(12):e51603.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Publisher's web site
Plaku E
,
Kavraki L
,
Vardi M
. 2012.
Falsification of LTL safety properties in hybrid systems
.
International Journal on Software Tools for Technology Transfer (STTT).
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Publisher's web site
Grady DK
,
Moll M
,
Hegde C
,
Sankaranarayanan AC
,
Baraniuk RG
,
Kavraki LE
. 2012.
Multi-Objective Sensor-Based Replanning for a Car-Like Robot
.
IEEE International Symposium on Safety, Security, and Rescue Robotics.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Grady DK
,
Moll M
,
Hegde C
,
Sankaranarayanan AC
,
Baraniuk RG
,
Kavraki LE
. 2012.
Multi-Robot Target Verification with Reachability Constraints
.
IEEE International Symposium on Safety, Security, and Rescue Robotics.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Dhanik A
,
Kavraki L
. 2012.
Protein-ligand interactions: computational docking
.
eLS. John Wiley & Sons Ltd.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Publisher's web site
Sucan IA
,
Kavraki LE
. 2012.
A Sampling-Based Tree Planner for Systems With Complex Dynamics
.
IEEE Transactions on Robotics. 28:116-131.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Publisher's web site
2011
Bhatia A
,
Maly MR
,
Kavraki LE
,
Vardi MY
. 2011.
Motion Planning with Complex Goals
.
Robotics Automation Magazine, IEEE. 18:55-64.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Publisher's web site
Heath AP
,
Bennett GN
,
Kavraki LE
. 2011.
An Algorithm for Efficient Identification of Branched Metabolic Pathways
.
Journal of Computational Biology. 18:1575-1597.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Publisher's web site
Gipson B
,
Masiel D
,
Browning N
,
Spence J
,
Mitsuoka K
,
Stahlberg H
. 2011.
Automatic recovery of missing amplitudes and phases in tilt-limited electron crystallography of two-dimensional crystals
.
Physical Review E. 84(1)
RTF
Tagged
XML
BibTex
Google Scholar
Publisher's web site
Grady DK
,
Moll M
,
Hegde C
,
Sankaranarayanan AC
,
Baraniuk RG
,
Kavraki LE
. 2011.
Look Before You Leap: Predictive Sensing and Opportunistic Navigation
.
Workshop on Progress and Open Problems in Motion Planning at the IEEE/RSJ Conf. on Intelligent Robots and Systems.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Moll M
,
Bryant DH
,
Kavraki LE
. 2011.
The LabelHash Server and Tools for Substructure-Based Functional Annotation
.
Bioinformatics. 27:2161--2162.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Publisher's web site
Dhanik A
,
McMurray JS
,
Kavraki LE
. 2011.
On modeling peptidomimetics in complex with the SH2 domain of Stat3
.
33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC ’11). :3329-3332.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Publisher's web site
Grady DK
,
Bekris KE
,
Kavraki LE
. 2011.
Asynchronous Distributed Motion Planning with Safety Guarantees under Second-Order Dynamics
.
Algorithmic Foundations of Robotics IX. 68:53-70.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Publisher's web site
Heath AP
,
Bennett GN
,
Kavraki LE
. 2011.
Identifying Branched Metabolic Pathways by Merging Linear Metabolic Pathways
.
15th Annual International Conference on Research in Computational Molecular Biology (RECOMB). 6577/2011:70-84.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Publisher's web site
Sucan IA
,
Kavraki LE
. 2011.
Mobile Manipulation: Encoding Motion Planning Options Using Task Motion Multigraphs
.
IEEE International Conference on Robotics and Automation. :5492--5498.
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Publisher's web site
Sucan IA
,
Kavraki LE
. 2011.
On the Advantages of Using Task Motion Multigraphs for Efficient Mobile Manipulation
.
IEEE/RSJ International Conference on Intelligent Robots and Systems. :4621-4626.
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Publisher's web site
Şucan IA
. 2011.
Task and Motion Planning for Mobile Manipulators
.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Moll M
,
Sucan IA
,
Bordeaux J
,
Kavraki LE
. 2011.
Teaching Motion Planning Concepts to Undergraduate Students
.
IEEE Workshop on Advanced Robotics and its Social Impacts.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Grady DK
. 2011.
Unsynchronized Distributed Motion Planning with Safety Guarantees under Second-Order Dynamics
.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
2010
Bhatia A
,
Kavraki LE
,
Vardi MY
. 2010.
Sampling-Based Motion Planning with Temporal Goals
.
IEEE International Conference on Robotics and Automation. :2689-2696.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Stamati H
,
Clementi C
,
Kavraki LE
. 2010.
Application of nonlinear dimensionality reduction to characterize the conformational landscape of small peptides
.
Proteins. 78:223-235.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Publisher's web site
Moll M
,
Bryant DH
,
Kavraki LE
. 2010.
The LabelHash Algorithm for Substructure Matching
.
BMC Bioinformatics. 11(1):555.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Publisher's web site
Plaku E
,
Kavraki LE
,
Vardi MY
. 2010.
Motion Planning with Dynamics by a Synergistic Combination of Layers of Planning
.
IEEE Transactions on Robotics. 26:469-482.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Publisher's web site
Bryant DH
,
Moll M
,
Chen BY
,
Fofanov VY
,
Kavraki LE
. 2010.
Analysis of substructural variation in families of enzymatic proteins with applications to protein function prediction
.
BMC Bioinformatics. 11:242.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Publisher's web site
Sucan IA
,
Kalakrishnan M
,
Chitta S
. 2010.
Combining Planning Techniques for Manipulation Using Realtime Perception
.
IEEE International Conference on Robotics and Automation. :2895-2901.
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Publisher's web site
Dhanik A
. 2010.
Computational Modeling of Structural Heterogeneity in Folded Proteins
.
PhD Thesis
RTF
Tagged
XML
BibTex
Google Scholar
Heath AP
,
Bennett GN
,
Kavraki LE
. 2010.
Finding Metabolic Pathways Using Atom Tracking
.
Bioinformatics. 26:1548-1555.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Publisher's web site
Bhatia A
,
Kavraki LE
,
Vardi MY
. 2010.
Motion Planning with Hybrid Dynamics and Temporal Goals
.
IEEE Conference on Decision and Control. :1108-1115.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Sucan IA
,
Kavraki LE
. 2010.
On the Implementation of Single-Query Sampling-Based Motion Planners
.
IEEE International Conference on Robotics and Automation. :2005-2011.
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Publisher's web site
Moll M
,
Bordeaux J
,
Kavraki LE
. 2010.
Teaching Robot Motion Planning
.
Computers in Education (Special Issue on Novel Approaches to Robotics Education). 20:50–59.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Ciocarlie M
,
Hsiao K
,
Jones GE
,
Chitta S
,
Rusu RB
,
Sucan IA
. 2010.
Towards Reliable Grasping and Manipulation in Household Environments
.
International Symposium on Experimental Robotics.
RTF
Tagged
XML
BibTex
Google Scholar
Haspel N
,
Moll M
,
Baker ML
,
Chiu W
,
Kavraki LE
. 2010.
Tracing conformational changes in proteins
.
BMC Structural Biology. 10:S1.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Publisher's web site
Schenk AD
,
Casta D
,
Gipson B
,
Arheit M
,
Zeng X
,
Stahlberg H
. 2010.
3D Reconstruction from 2D Crystal Image and Diffraction Data
.
Cryo-EM, Part B: 3-D Reconstruction. 482:101-129.
RTF
Tagged
XML
BibTex
Google Scholar
Publisher's web site
2009
Sucan IA
,
Kavraki LE
. 2009.
On the Performance of Random Linear Projections for Sampling-Based Motion Planning
.
IEEE/RSJ International Conference on Intelligent Robots and Systems. :2434-2439.
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Publisher's web site
Rusu RB
,
Sucan IA
,
Gerkey BP
,
Chitta S
,
Beetz M
,
Kavraki LE
. 2009.
Real-Time Perception-Guided Motion Planning for a Personal Robot
.
IEEE/RSJ International Conference on Intelligent Robots and Systems. :4245-4252.
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Publisher's web site
Heath AP
,
Kavraki LE
. 2009.
Computational Challenges in Systems Biology
.
Computer Science Review. 3:1-17.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Publisher's web site
Plaku E
,
Kavraki LE
,
Vardi MY
. 2009.
Falsification of LTL Safety Properties in Hybrid Systems
.
Proc. of the Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009).
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Buban JP
,
Ramasse Q
,
Gipson B
,
Browning ND
,
Stahlberg H
. 2009.
High-resolution low-dose scanning transmission electron microscopy
.
Journal of Electron Microscopy. 10:1–10.
RTF
Tagged
XML
BibTex
Google Scholar
Publisher's web site
Plaku E
,
Kavraki LE
,
Vardi MY
. 2009.
Hybrid systems: from verification to falsification by combining motion planning and discrete search
.
Formal Methods in System Design. 34:157-182.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Preprint PDF
Publisher's web site
1
2
3
4
5
next ›
last »