Author of the publication

Formal Parameters Synthesis for Track Segments of a Subway Mesh.

, , , and . ECBS, page 263-271. IEEE Computer Society, (2000)

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

Virtual museum - an implementation of a multimedia object-oriented database., and . ICSOFT (2), page 102-107. INSTICC Press, (2006)A Systematic Literature Review About the Impact of Artificial Intelligence on Autonomous Vehicle Safety., , , , , , , , , and . IEEE Trans. Intell. Transp. Syst., 21 (12): 4928-4946 (2020)Best Practices in Code Inspection for Safety-Critical Software., , , and . IEEE Software, 20 (3): 56-63 (2003)A Rule Repository for Active Database Systems., , and . CLEI Electron. J., (2007)A Learning-Based Autonomous Control System Approach for Collision Avoidance within an Unmanned Aircraft., , , , and . DSN Workshops, page 96-103. IEEE Computer Society, (2015)A Comparative Analysis of Unsupervised Learning Techniques for Anomaly Detection in Railway Systems., , , , , and . ICMLA, page 444-449. IEEE, (2019)A Systematic Literature Review about the impact of Artificial Intelligence on Autonomous Vehicle Safety., , , , , , , , , and . CoRR, (2019)Enhancing Sensor Capabilities of Open-Source Simulation Tools to Support Autonomous Vehicles Safety Validation., , , , , , , , and . SAFECOMP Workshops, volume 11094 of Lecture Notes in Computer Science, page 353-364. Springer, (2018)Assuring Fully Autonomous Vehicles Safety by Design: The Autonomous Vehicle Control (AVC) Module Strategy., , , , , and . DSN Workshops, page 16-21. IEEE Computer Society, (2017)The potential of mobile phone data for spatial and temporal observation of urban human mobility., and . GEOINFO, page 170-175. MCTIC/INPE, (2019)