Author of the publication

Reachability Analysis Using Polygonal Projections.

, and . HSCC, volume 1569 of Lecture Notes in Computer Science, page 103-116. Springer, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Comparison of Categorisation Algorithms for Predicting the Cellular Localisation Sites of Proteins., , , and . DEXA Workshop, page 296-300. IEEE Computer Society, (2001)Protein Fold Recognition Using Neural Networks and Support Vector Machines., , and . IDEAL, volume 3578 of Lecture Notes in Computer Science, page 462-469. Springer, (2005)Reachability Analysis Using Polygonal Projections., and . HSCC, volume 1569 of Lecture Notes in Computer Science, page 103-116. Springer, (1999)Rapid Prototyping: An Integrated CASE Based Approach., , and . OOER, volume 1021 of Lecture Notes in Computer Science, page 308-317. Springer, (1995)Characteristics of programming exercises that lead to poor learning tendencies: Part II., , , and . ITiCSE, page 93-96. ACM, (2001)Computational techniques for the verification of hybrid systems., , , and . Proceedings of the IEEE, 91 (7): 986-1001 (2003)A Formal Logic for Digital Investigations: A Case Study using BPB modifications... WDFIA, page 44-54. Plymouth University, UK, (2011)An Automatic Test Case Generator Derived from State-Based Testing., , , and . APSEC, page 270-277. IEEE Computer Society, (1998)Safety verification of conflict resolution manoeuvres., , and . IEEE Trans. Intelligent Transportation Systems, 2 (2): 110-120 (2001)Reproducible Research for Scientific Computing: Tools and Strategies for Changing the Culture., , and . Computing in Science Engineering, 14 (4): 13-17 (July 2012)