Search results for: Erion Plaku
BMC Bioinformatics > 2019 > 20 > 11 > 1-10
BMC Genomics > 2018 > 19 > 7 > 1-13
Springer Tracts in Advanced Robotics > Algorithmic Foundation of Robotics VII > Probabilistic Roadmap Methods (PRMs) > 3-18
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
International Journal on Software Tools for Technology Transfer > 2013 > 15 > 4 > 305-320
Formal Methods in System Design > 2009 > 34 > 2 > 157-182