Kavraki Lab
Physical and Biological Computing
Robotics
Bioinformatics
Publications
Software
Openings
Members
Awards
Biblio
List
Filter
Show only items where
Author
Type
Term
Year
Keyword
is
Abbey, J
Adler, J
Agrawal, P K
Akinc, M
Aleman, C
Anshelevich, E
Argyros, A A
Arnavut, Z
Attalah, M
Baker, M L
Balázsi, G
Barraquand, B
Barzilai, A
Bedrosian, N
Beetz, Michael
Bekris, Kostas E
Benyamini, H
Bhatia, Amit
Bilenko, M
Bohlin, R
Bohringer, K -F
Bos, René
Brock, Oliver
Bryant, D H
Burgard, W
Bylund, J H
Casanovas, J
Cativiela, C
Chen, B Y
Chen, H
Chitta, Sachin
Chiu, W
Choset, H
Clementi, C
Cruess, A E
Danner, T
Das, P
Dodson, B D
Donald, B R
Dror, O
Edelsbrunner, H
Edrin, S
Erdmann, M A
Erickson, J
Fearing, R S
Finn, P W
Flannery, E
Fofanov, Viacheslav Y
Frazzoli, Emilio
Garcia, B L
Geisbrecht, B
Gennaro, M L
Gerkey, Brian P
Glick, M
Goldberg, Ken Y
Goldman, R
Grady, Devin K
Graziano, Michelangelo
Guibas, L J
Gunasekaran, K
Haeberlen, A
Halperin, D
Halperin, I
Har-Peled, S
Haspel, N
Hassett, B
Hatzopoulos, K
Heath, A P
Hershberger, J
Holleman, C
Hsu, David
Hutchinson, S
Inbar, Y
Isard, M
Jensen, Ch.
Jimenez, A I
Jr., George Phillips N
Kalakrishnan, Mrinal
Kannan, G
Kantor, G
Karaman, Sertac
Kavraki, Lydia E
Kazazakis, G
Kimmel, Marek
Kimmel, Marek
Klavins, E
Koehl, P
Kohlhase, Michael
Kolountzakis, M N
Kontolemakis, G
Kristensen, D M
Krivokon, M
Kruse, Jonathan F
Kumar, S
Ladd, A M
Lambris, J D
Lamiraux, F
Latombe, Jean-Claude
LaValle, Steven
Li, T -Y
Lichtarge, Olivier
Lichtarge, Olivier
Lin, M
Lipson, H
Lisewski, A M
Lozano-Perez, Tomas
Luo, J
Lynch, K
Ma, B
Magotti, P
Manocha, D
Marceau, G
Mason, M
Masvoula, M
McWorther, W J
Metaxas, D
Mihalek, I
Miikkulainen, R
Mirtich, B
Moll, Mark
Motwani, R
Mount, D
Murphy, B
Muthukrishnan, S
Naldi, Roberto
Nielsen, C
Nijholt, A
Nussinov, R
Op den Akker, R
Orphanoudakis, S C
Overmars, M
Owens, S
Pan, V Y
Phillips, George
Phillips, Jeff
Plaku, E
Plaku, Erion
Polak, V
Qian, G
Raghavan, P
Richardson, M
Ricklin, D
Ricklin-Lichtsteiner, S K
Rodriguez-Ropero, F
Rolim, J
Rosholt, R E
Rudys, A
Rus, Daniela
Rus, Daniela
Ruslanov, A D
Rusu, Radu Bogdan
Salemi, B
Schneidman-Duhovny, D
Schwarz, D
Schweikard, A
Sfyroera, G
Sham, Y Y
Shatsky, M
Shaw, Ch.
Shehu, A
Shelton, C
Shen, W-M
Shi, L
Shparlinski, Igor E
Siciliano, B.
Sipe, Jean D
Sorkin, S
Sowa, M
Stamati, H
Sucan, Ioan Alexandru
Sudsang, A
Svestka, P
Teodoro, Miguel L
Ter Doest, H
Thrun, S
Tombropoulos, R
Trahanias, P
Tsai, C J
Tsai, H H
Tsianos, Konstantinos
Tsivourakis, N
Tzekou, A
Van de Burgt, S
Van der Stappen, A F
Vardi, Moshe Y
Venkat, S
Venkatasubramanian, S
Wainreb, G
Wallach, D S
Wang, L
Ward, Matthew
Ward, Matthew R
Warren, J
White, R A
White, R W
Will, P
Wilson, R H
Wolfson, H J
Wu, Y-Q
Yakey, J
Yao, H
Yao, A
Yim, Mark
Zanuy, D
Zhang, M
Zheng, J
Conference Paper
Journal Article
Book Chapter
Thesis
Conference Proceedings
Miscellaneous
Book
Report
Biblio Keywords -
Biblio Keywords - Amyloids
Biblio Keywords - articles of broad interest
Biblio Keywords - automation and manipulation
Biblio Keywords - Autopilot
Biblio Keywords - bearing-only navigation
Biblio Keywords - bearing-only slam
Biblio Keywords - bioinformatics
Biblio Keywords - book
Biblio Keywords - Commercial Off-the Shelf Autopilot
Biblio Keywords - communication complexity
Biblio Keywords - computer-assisted drug design
Biblio Keywords - consensus problem
Biblio Keywords - contact kinematics
Biblio Keywords - contact kinematics
Biblio Keywords - continuous time systems
Biblio Keywords - continuous-time LTI systems
Biblio Keywords - continuous-time systems
Biblio Keywords - control system analysis
Biblio Keywords - controlled trajectory
Biblio Keywords - Cooperative Mission Planning
Biblio Keywords - Counterexample Search
Biblio Keywords - decentralized algorithm
Biblio Keywords - deformable parts
Biblio Keywords - deterministic incremental search procedures
Biblio Keywords - discrete time systems
Biblio Keywords - discrete-time linear time invariant hybrid systems
Biblio Keywords - distributed computing
Biblio Keywords - distributed safe replanning
Biblio Keywords - Dubins trajectory
Biblio Keywords - Dubins vehicle
Biblio Keywords - dynamic simulation
Biblio Keywords - Embedded Systems
Biblio Keywords - functional annotation of proteins
Biblio Keywords - grip replanning
Biblio Keywords - hybrid systems
Biblio Keywords - HyDICE
Biblio Keywords - Hydrodynamics; Complement; Efb-C; Electrostatics; Protein-protein Interaction
Biblio Keywords - Iterative refinement
Biblio Keywords - kavrakilab
Biblio Keywords - kavrakilab;Molecular mechanics/dynamics
Biblio Keywords - kavrakilab;project_Ensemble
Biblio Keywords - kinodynamic/physics-based motion planning
Biblio Keywords - linear hybrid systems
Biblio Keywords - linear systems
Biblio Keywords - Linear Temporal Logic
Biblio Keywords - localization using wireless ethernet
Biblio Keywords - LTL
Biblio Keywords - mass properties
Biblio Keywords - micromanipulation
Biblio Keywords - minimum-time rendezvous
Biblio Keywords - mobile robot
Biblio Keywords - mobile robotics
Biblio Keywords - mobile robots
Biblio Keywords - modular robots
Biblio Keywords - Motion Planning
Biblio Keywords - multiscale representation of proteins
Biblio Keywords - multivariable systems
Biblio Keywords - nonlinear dimensionality reduction for the analysis of protein motion
Biblio Keywords - nonprehensile manipulation
Biblio Keywords - observability
Biblio Keywords - part orientation
Biblio Keywords - parts feeding
Biblio Keywords - parts orienting
Biblio Keywords - path planning
Biblio Keywords - path planning with differential constraints
Biblio Keywords - path planning; project_Hybrid
Biblio Keywords - pose distributions
Biblio Keywords - project_DKNNG
Biblio Keywords - project_DSLX
Biblio Keywords - project_DSRT
Biblio Keywords - project_Ensemble
Biblio Keywords - project_Hybrid
Biblio Keywords - project_KPIECE
Biblio Keywords - project_Proximity
Biblio Keywords - project_SRT
Biblio Keywords - Protein folding
Biblio Keywords - protein function
Biblio Keywords - protein modeling
Biblio Keywords - protein motion
Biblio Keywords - Proteins of the Immune System; Structure; Computational Analysis of Protein Structure; Molecular mechanics/dynamics; Thermodynamics
Biblio Keywords - proximity relations
Biblio Keywords - Rapidly Exploring Random Tree
Biblio Keywords - reachability analysis
Biblio Keywords - Resolution-complete
Biblio Keywords - resolution-complete algorithm
Biblio Keywords - Resolution-complete Algorithms
Biblio Keywords - resolution-complete safety falsification
Biblio Keywords - Robotics
Biblio Keywords - rolling
Biblio Keywords - RRT
Biblio Keywords - Safety analysis
Biblio Keywords - Safety Falsification
Biblio Keywords - safety property
Biblio Keywords - safety specification
Biblio Keywords - Sampling-based algorithms
Biblio Keywords - sampling-based resolution-complete safety falsification
Biblio Keywords - search problems
Biblio Keywords - self-reconfigurable robots
Biblio Keywords - shape reconstruction
Biblio Keywords - shortest path length
Biblio Keywords - space complexity
Biblio Keywords - tactile reconstruction
Biblio Keywords - tactile sensing
Biblio Keywords - target resolution
Biblio Keywords - team member
Biblio Keywords - Trajectory Tracking
Biblio Keywords - UAV
Tags - automation and manipulation
Tags - bioinformatics
Tags - hybrid systems
Tags - kavrakilab
Tags - kinodynamic/physics-based motion planning
Tags - mobile robotics
Tags - path planning
Tags - protein function
Tags - protein modeling
Tags - protein motion
Tags - robotics
Tags - systems biology
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
Amyloids
articles of broad interest
automation and manipulation
Autopilot
bearing-only navigation
bearing-only slam
bioinformatics
book
Commercial Off-the Shelf Autopilot
communication complexity
computer-assisted drug design
consensus problem
contact kinematics
contact kinematics
continuous time systems
continuous-time LTI systems
continuous-time systems
control system analysis
controlled trajectory
Cooperative Mission Planning
Counterexample Search
decentralized algorithm
Decomposition
deformable parts
deterministic incremental search procedures
Discrete search
discrete time systems
discrete-time linear time invariant hybrid systems
distributed computing
distributed safe replanning
Dubins trajectory
Dubins vehicle
dynamic simulation
Embedded Systems
functional annotation of proteins
grip replanning
hybrid systems
HyDICE
Hydrodynamics; Complement; Efb-C; Electrostatics; Protein-protein Interaction
Iterative refinement
kavrakilab
kavrakilab;Molecular mechanics/dynamics
kavrakilab;project_Ensemble
kinodynamic/physics-based motion planning
linear hybrid systems
linear systems
Linear Temporal Logic
localization using wireless ethernet
LTL
mass properties
micromanipulation
minimum-time rendezvous
mobile robot
mobile robotics
mobile robots
Model Checking
modular robots
Motion Planning
multiscale representation of proteins
multivariable systems
nonlinear dimensionality reduction for the analysis of protein motion
nonprehensile manipulation
observability
part orientation
parts feeding
parts orienting
path planning
path planning with differential constraints
path planning; project_Hybrid
pose distributions
project_DKNNG
project_DSLX
project_DSRT
project_Ensemble
project_Hybrid
project_KPIECE
project_Proximity
project_SRT
Protein folding
protein function
protein modeling
protein motion
Proteins of the Immune System; Structure; Computational Analysis of Protein Structure; Molecular mechanics/dynamics; Thermodynamics
proximity relations
Rapidly Exploring Random Tree
reachability analysis
Resolution-complete
resolution-complete algorithm
Resolution-complete Algorithms
resolution-complete safety falsification
robotics
rolling
RRT
Safety analysis
Safety Falsification
safety property
safety specification
Sampling-based algorithms
sampling-based resolution-complete safety falsification
search problems
self-reconfigurable robots
shape reconstruction
shortest path length
space complexity
systems biology
tactile reconstruction
tactile sensing
target resolution
team member
Trajectory Tracking
UAV
