Browse by Author "Estivill-Castro, Vladimir"
Now showing items 1-20 of 77 Next Page
| 1. |
Visual-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex Behaviour
Publication Type: Journal Articles (Refereed Article) Year of Publication: 2012 Author(s): Coleman, Robert Bruce, Estivill-Castro, Vladimir, Hexel, Rene, Lusty, Carl Blair |
| 2. |
On the parameterized complexity of dominant strategies
Publication Type: Conference Publications (Full Written Paper - Refereed) Year of Publication: 2012 Author(s): Parsa, Mahdi, Estivill-Castro, Vladimir |
| 3. |
The Instance Easiness of Supervised Learning for Cluster Validity
Publication Type: Journal Articles (Refereed Article) Year of Publication: 2012 Author(s): Estivill-Castro, Vladimir |
| 4. |
Module Interactions for Model-Driven Engineering of Complex Behaviour of Autonomous Robots
Publication Type: Conference Publications (Full Written Paper - Refereed) Year of Publication: 2011 Author(s): Estivill-Castro, Vladimir, Hexel, Rene |
| 5. |
Requirements engineering via non-monotonic logics and state diagrams
Publication Type: Book Chapters Year of Publication: 2011 Author(s): Billington, David, Estivill-Castro, Vladimir, Hexel, Rene, Rock, Andrew |
| 6. |
FPT-Algorithms for Minimum-Bends Tours
Publication Type: Journal Articles (Refereed Article) Year of Publication: 2011 Author(s): Estivill-Castro, Vladimir, Heednacram, Apichat, Suraweera, Francis |
| 7. |
Single parameter FPT-algorithms for non-trivial games
Publication Type: Journal Articles (Refereed Article) Year of Publication: 2011 Author(s): Parsa, Mahdi, Estivill-Castro, Vladimir |
| 8. |
Model Checking of Transition-Labeled Finite-State Machines
Publication Type: Journal Articles (Refereed Article) Year of Publication: 2011 Author(s): Estivill-Castro, Vladimir, Rosemblueth, David |
| 9. |
Image Capture for Concrete Programming: building schemata for problem solving
Publication Type: Conference Publications (Full Written Paper - Refereed) Year of Publication: 2011 Author(s): Estivill-Castro, Vladimir, Bartlett, Brendan John |
| 10. |
Exploration of Massive Crime Data Sets through Data Mining Techniques
Publication Type: Journal Articles (Refereed Article) Year of Publication: 2011 Author(s): Lee, Ickjai, Estivill-Castro, Vladimir |
| 11. |
Sorting and Order Statistics
Publication Type: Book Chapters Year of Publication: 2010 Author(s): Estivill-Castro, Vladimir |
| 12. |
Plausible Logic Facilitates Engineering the Behaviour of Autonomous Robots
Publication Type: Conference Publications (Full Written Paper - Refereed) Year of Publication: 2010 Author(s): Billington, David, Estivill-Castro, Vladimir, Hexel, Rene, Rock, Andrew |
| 13. |
NP-completeness and FPT Results for Rectilinear Covering Problems
Publication Type: Journal Articles (Refereed Article) Year of Publication: 2010 Author(s): Estivill-Castro, Vladimir, Heednacram, Apichat, Suraweera, Francis |
| 14. |
Non-Monotonic Reasoning For Requirements Engineering: State Diagrams driven by Plausible Logic
Publication Type: Conference Publications (Full Written Paper - Refereed) Year of Publication: 2010 Author(s): Billington, David, Estivill-Castro, Vladimir, Hexel, Rene, Rock, Andrew |
| 15. |
Concrete Programing for Problem-Solving Skills
Publication Type: Conference Publications (Full Written Paper - Non-Refereed) Year of Publication: 2010 Author(s): Estivill-Castro, Vladimir |
| 16. |
Modelling behaviour requirements for automatic interpretation, simulation and deployment
Publication Type: Journal Articles (Refereed Article) Year of Publication: 2010 Author(s): Billington, David, Estivill-Castro, Vladimir, Hexel, Rene, Rock, Andrew |
| 17. |
The Rectilinear κ-Bends TSP
Publication Type: Journal Articles (Refereed Article) Year of Publication: 2010 Author(s): Estivill-Castro, Vladimir, Heednacram, Apichat, Suraweera, Francis |
| 18. |
Reduction Rules Deliver Efficient FPT Algorithms for Covering Points with Lines
Publication Type: Journal Articles (Refereed Article) Year of Publication: 2009 Author(s): Estivill-Castro, Vladimir, Heednacram, Apichat, Suraweera, Francis |
| 19. |
Architecture for Hybrid Robotic Behavior
Publication Type: Journal Articles (Refereed Article) Year of Publication: 2009 Author(s): Billington, David, Estivill-Castro, Vladimir, Hexel, Rene, Rock, Andrew |
| 20. |
Computing Nash equilibria gets harder - new results show hardness even for Parameterized Complexity
Publication Type: Conference Publications (Full Written Paper - Refereed) Year of Publication: 2009 Author(s): Estivill-Castro, Vladimir, Parsa, Mahdi |
Now showing items 1-20 of 77 Next Page
Footer information
Back to top
This document has been optimised for printing, some elements from the original webpage may have been altered or removed.