Author of the publication

SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers.

, , , , , and . SAT, volume 9340 of Lecture Notes in Computer Science, page 62-70. Springer, (2015)

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

An Empirical Study on Consistency Management of Business and IT Process Models, , , , and . GSDLAB-TR 2012-03-02. Generative Software Development Laboratory, University of Waterloo, (March 2012)Towards a Framework to Manage Perceptual Uncertainty for Safe Automated Driving., and . CoRR, (2019)Autonomous Vehicle Visual Signals for Pedestrians: Experiments and Design Recommendations., , , , and . IV, page 1819-1826. IEEE, (2020)LiDAR-MIMO: Efficient Uncertainty Estimation for LiDAR-based 3D Object Detection., , , , and . IV, page 813-820. IEEE, (2022)Requirements for Monitoring Inattention of the Responsible Human in an Autonomous Vehicle: The Recall and Precision Tradeoff., , and . REFSQ Workshops, volume 2584 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)PURSS: Towards Perceptual Uncertainty Aware Responsibility Sensitive Safety with ML., , , , , and . SafeAI@AAAI, volume 2560 of CEUR Workshop Proceedings, page 91-95. CEUR-WS.org, (2020)Solution Concepts in Hierarchical Games Under Bounded Rationality With Applications to Autonomous Driving., and . AAAI, page 5698-5708. AAAI Press, (2021)SA-Det3D: Self-Attention Based Context-Aware 3D Object Detection., , and . ICCVW, page 3022-3031. IEEE, (2021)Improved Policy Extraction via Online Q-Value Distillation., , , , and . IJCNN, page 1-8. IEEE, (2020)Effective collaboration and consistency management in business process modeling., , , , and . CASCON, page 349-350. ACM, (2010)