Search results for: Erion Plaku
BMC Bioinformatics > 2019 > 20 > 11 > 1-10
Computer Animation and Virtual Worlds > 29 > 6 > n/a - n/a
BMC Genomics > 2018 > 19 > 7 > 1-13
IEEE Robotics and Automation Letters > 2017 > 2 > 2 > 428 - 435
IEEE Robotics and Automation Letters > 2017 > 2 > 1 > 350 - 357
IEEE Robotics and Automation Letters > 2017 > 2 > 1 > 112 - 119
Springer Tracts in Advanced Robotics > Algorithmic Foundation of Robotics VII > Probabilistic Roadmap Methods (PRMs) > 3-18
IEEE Journal of Oceanic Engineering > 2016 > 41 > 4 > 893 - 912
Lecture Notes in Computer Science > FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 305-316
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Hybrid Systems > 368-382
Lecture Notes in Computer Science > Computer Aided Verification > Session XIV: Hybrid Systems > 463-476
Springer Tracts in Advanced Robotics > Robotics Research. The Eleventh International Symposium > 80-89
IEEE Transactions on Automation Science and Engineering > 2015 > 12 > 3 > 969 - 980
IEEE Transactions on Robotics > 2015 > 31 > 3 > 723 - 735