Department of Computer Science
251 – 260 of 1788
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2023
-
Mark
Efficient Order Batching Optimization Using Seed Heuristics and the Metropolis Algorithm
- Contribution to journal › Article
-
Mark
Requirements Engineering for Automotive Perception Systems : An Interview Study
(2023) 29th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2023 In Lecture Notes in Computer Science 13975 LNCS. p.189-205
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certified Dominance and Symmetry Breaking for Combinatorial Optimisation
- Contribution to journal › Article
-
Mark
Localizing Unsynchronized Sensors With Unknown Sources
- Contribution to journal › Article
-
Mark
Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
User-Centric Study and Enhancement of Python Static Code Analysers
(2023) PPIG: 34th Annual Meeting of the Psychology of Programming Interest Group
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Influencing Code Reading Through Beacons: an Eye-Tracking Study
(2023) PPIG: 34th Annual Meeting of the Psychology of Programming Interest Group
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Bounce : Reliable High-Dimensional Bayesian Optimization for Combinatorial and Mixed Spaces
(2023) 37th Conference on Neural Information Processing Systems, NeurIPS 2023 In Advances in Neural Information Processing Systems 36.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Informing Static Mapping and Local Scheduling of Stream Programs with Trace Analysis
(2023) 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023 p.98-103
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Convex Hulls and Triangulations of Planar Point Sets on the Congested Clique.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
