Department of Computer Science
51 – 100 of 1649
- show: 50
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Towards the exact complexity of realizability for Safety LTL
(
- Contribution to journal › Article
-
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
- 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
-
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
Reducing the Impact of Bias in Oral Assessments
2023) 2023.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using Knowledge Representation and Task Planning for Robot-agnostic Skills on the Example of Contact-Rich Wiping Tasks
2023) 19th IEEE International Conference on Automation Science and Engineering, CASE 2023 In IEEE International Conference on Automation Science and Engineering 2023-August.(
- 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
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
Certified Dominance and Symmetry Breaking for Combinatorial Optimisation
(
- Contribution to journal › Article
-
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
Storage Assignment using Nested Annealing and Hamming Distances
2023) 12th International Conference on Operations Research and Enterprise Systems, ICORES 2023 p.94-105(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
eHealth as an Aid for Facilitating and Supporting Self-Management in Families with Long-Term Childhood Illness; Development, Evaluation, and Implementation in Clinical Practice
2023) In Clinical Health Promotion - Research and Best Practice for patients, staff and community 13(1).(
- Contribution to journal › Article
-
Mark
eHealth usage among parents to premature or surgically treated neonates: associations with eHealth literacy, healthcare satisfaction or satisfaction with an eHealth device
(
- Contribution to journal › Article
-
Mark
Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz
2023) 64th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2023 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS p.1-11(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Clique Is Hard on Average for Unary Sherali-Adams
2023) 64th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2023 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS p.12-25(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Svensk forskningspolitik måste uppdateras
2023) In Upsala Nya Tidning(
- Contribution to specialist publication or newspaper › Newspaper article
-
Mark
Message from the Chairs
2023) 17th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2023(
- Contribution to conference › Other
-
Mark
Convex Hulls and Triangulations of Planar Point Sets on the Congested Clique.
(
- 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
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
Learning to Adapt the Parameters of Behavior Trees and Motion Generators (BTMGs) to Task Variations
2023) IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2023(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Towards optimization of anomaly detection in DevOps
(
- Contribution to journal › Article
-
Mark
EasyNER: A Customizable Easy-to-Use Pipeline for Deep Learning- and Dictionary-based Named Entity Recognition from Medical Text
2023)(
- Working paper/Preprint › Preprint in preprint archive
-
Mark
Building Stronger Bridges: Strategies for Improving Communication and Collaboration Between Industry and Academia in Software Engineering
2023)(
- Thesis › Doctoral thesis (compilation)
-
Mark
On the Challenges of Software Performance Optimization with Statistical Methods
2023)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Graphs with many edge-colorings such that complete graphs are rainbow
(
- Contribution to journal › Article
-
Mark
Object Detector Differences when Using Synthetic and Real Training Data
(
- Contribution to journal › Article
-
Mark
Chaos to Control : Human Assisted Scene Inspection
2023) 18th Annual ACM/IEEE International Conference on Human-Robot Interaction, HRI 2023 In ACM/IEEE International Conference on Human-Robot Interaction p.491-494(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Hybrid planning for challenging construction problems : An Answer Set Programming approach
(
- Contribution to journal › Article
-
Mark
Towards the Humanisation of Programming Tool Interactions
(
- Thesis › Licentiate thesis
-
Mark
Out-of-Distribution Detection for Adaptive Computer Vision
2023) 23nd Scandinavian Conference on Image Analysis, SCIA 2023 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13886 LNCS. p.311-325(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
Ah, Alright, Okay! Communicating Understanding in Conversational Product Search
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Human, What Must I Tell You?
(
- Contribution to journal › Article
-
Mark
Homunculus : Auto-Generating Efficient Data-Plane ML Pipelines for Datacenter Networks
2023) 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2023 In International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS 3. p.329-342(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Rare Siblings Speed-Up Deterministic Detection and Counting of Small Pattern Graphs
(
- Contribution to journal › Article
-
Mark
Classification-based Static Collection Selection for Java: Effectiveness and Adaptability
2023) p.111-120(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Performance Analysis with Bayesian Inference
2023) The 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Ergo, SMIRK is safe : a safety case for a machine learning component in a pedestrian automatic emergency brake system
(
- Contribution to journal › Article
-
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