Department of Computer Science
51 – 60 of 1649
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Poster: Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code
2024) 10th Edition of the Programming Experience Workshop, PX/24(
- Contribution to conference › Poster
-
Mark
Generating Executable Test Scenarios from Autonomous Vehicle Disengagements using Natural Language Processing
2024) p.98-104(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2023
-
Mark
On parallel time in population protocols
(
- Contribution to journal › Article
-
Mark
SkiROS2: A Skill-Based Robot Control Platform for ROS
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
GANDER : A Platform for Exploration of Gaze-driven Assistance in Code Review
2023) 15th Annual ACM Symposium on Eye Tracking Research and Applications, ETRA 2023(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
ComPOS: A DSL for Composing IoT Systems with Weak Connectivity
2023) 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS 2023 In REBLS 2023 - Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Co-located with: SPLASH 2023 p.31-42(
- 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
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