41 – 50 of 1631
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2023
-
Mark
Toward Gaze-assisted Developer Tools
2023) The 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) p.49-54(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Quantum and Approximation Algorithms for Maximum Witnesses of Boolean Matrix Products
2023) In International Journal of Foundations of Computer Science(
- Contribution to journal › Article
-
Mark
A Literature Survey of Assertions in Software Testing
2023) 8th International Conference on the Engineering of Computer Based Systems, ECBS 2023 In Lecture Notes in Computer Science 14390.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Near-optimal Lower Bounds on Quantifier Depth and Weisfeiler-Leman Refinement Steps
(
- Contribution to journal › Article
-
Mark
Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning
2023) 29th International Conference on Principles and Practice of Constraint Programming, CP 2023(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Initial Case Study Findings for Requirements on Work-Related Health Aspects
2023) 31st IEEE International Requirements Engineering Conference Workshops, REW 2023 In Proceedings - 31st IEEE International Requirements Engineering Conference Workshops, REW 2023 p.388-396(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Scalable Actor Networks with CAL
2023) p.169-179(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certified Core-Guided MaxSAT Solving
2023) Proceedings of the 29th International Conference on Automated Deduction, CADE-29 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14132 LNAI. p.1-22(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Evaluation of Out-of-Distribution Detection Performance on Autonomous Driving Datasets
2023) 5th IEEE International Conference on Artificial Intelligence Testing, AITest 2023 In Proceedings - 5th IEEE International Conference on Artificial Intelligence Testing, AITest 2023 p.74-81(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Bettan – Industrial robot and application for Finja Exakt build system
2023) 40th International Symposium on Automation and Robotics in Construction, ISARC 2023 In Proceedings of the International Symposium on Automation and Robotics in Construction p.86-93(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding