31 – 40 of 1727
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
eHealth in Pediatric Surgery : Impact on Postsurgical Care After Reconstructive Surgery for Anorectal Malformations and Hirschsprung's Disease
(
- Contribution to journal › Article
-
Mark
Study of the use of property probes in an educational setting
(
- Contribution to journal › Article
-
Mark
Truly supercritical trade-offs for resolution, cutting planes, monotone circuits, and Weisfeiler-Leman
2025) 57th Annual ACM Symposium on Theory of Computing, STOC 2025 In Proceedings of the Annual ACM Symposium on Theory of Computing p.1371-1382(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Assertions in software testing : survey, landscape, and trends
(
- Contribution to journal › Article
-
Mark
Injecting conflict situations in autonomous driving simulation using CARLA
2025)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Framework for assessing situational awareness in Beyond Visual Line of Sight UAV operations
2025) 20th Annual ACM/IEEE International Conference on Human-Robot Interaction, HRI 2025 In ACM/IEEE International Conference on Human-Robot Interaction p.1473-1477(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2024
-
Mark
Perpetual maintenance of machines with different urgency requirements
(
- Contribution to journal › Article
-
Mark
Requirements and software engineering for automotive perception systems : an interview study
(
- Contribution to journal › Article
-
Mark
Clog : A Declarative Language for C Static Code Checkers
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
VR-based Assistance System for Semi-Autonomous Robotic Boats
2024) 19th Annual ACM/IEEE International Conference on Human-Robot Interaction, HRI 2024 In ACM/IEEE International Conference on Human-Robot Interaction p.877-881(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding