Autor der Publikation

Stateful Dynamic Partial-Order Reduction.

, , und . ICFEM, Volume 4260 von Lecture Notes in Computer Science, Seite 149-167. Springer, (2006)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A role-based control approach to coordinated path following with connectivity preservation., , und . RCAR, Seite 523-528. IEEE, (2017)A Security Verification Method for Information Flow Security Policies Implemented in Operating Systems., und . ICICS, Volume 2836 von Lecture Notes in Computer Science, Seite 280-291. Springer, (2003)CORB-SLAM: A Collaborative Visual SLAM System for Multiple Robots., , , und . CollaborateCom, Volume 252 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 480-490. Springer, (2017)Matching-range-constrained real-time loop closure detection with CNNs features., , , , und . RCAR, Seite 70-75. IEEE, (2016)Multi-level Occupancy Grids for Efficient Representation of 3D Indoor Environments., , , , , und . PRICAI, Volume 9810 von Lecture Notes in Computer Science, Seite 517-528. Springer, (2016)Joint Communication-Motion Planning in Wireless-Connected Robotic Networks: Overview and Design Guidelines., , , und . CoRR, (2015)Deep CNN-based Visual Target Tracking System Relying on Monocular Image Sensing., , , , und . IJCNN, Seite 1-8. IEEE, (2018)Open Self-Supervised Features for Remote-Sensing Image Scene Classification Using Very Few Samples., , , , , und . IEEE Geosci. Remote. Sens. Lett., (2023)Expediting Distributed DNN Training with Device Topology-Aware Graph Deployment., , , , , und . CoRR, (2023)The Communication Analysis of Implementation in Breadth First Search Algorithm., , und . iThings/GreenCom/CPSCom/SmartData, Seite 754-759. IEEE, (2016)