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
Property probes : Live exploration of program analysis results
(
- Contribution to journal › Article
-
Mark
Experimentation in Software Engineering (2024 edition)
2024)(
- Book/Report › Book
-
Mark
Conflict Simulation for Shared Autonomy in Autonomous Driving
2024) 19th Annual ACM/IEEE International Conference on Human-Robot Interaction, HRI 2024 In ACM/IEEE International Conference on Human-Robot Interaction p.882-887(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2023
-
Mark
EzSkiROS: A Case Study on Embedded Robotics DSLs to Catch Bugs Early
2023) p.61-68(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
ROSSMARie: A Domain-Specific Language To Express Dynamic Safety Rules and Recovery Strategies for Autonomous Robots
2023) Second Workshop on Quality and Reliability Assessment of Robotic Software Architectures and Components(
- Contribution to conference › Abstract
-
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
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
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
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
Bounce: a Reliable Bayesian Optimization Algorithm for Combinatorial and Mixed Spaces
2023) 37th Conference on Neural Information Processing Systems, NeurIPS 2023(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
SkiROS2: A Skill-Based Robot Control Platform for ROS
(
- 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
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
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
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
-
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
Reducing the Impact of Bias in Oral Assessments
2023) 2023.(
- 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
Certified Dominance and Symmetry Breaking for Combinatorial Optimisation
(
- Contribution to journal › Article
-
Mark
TODLER : A Transaction Ordering Dependency anaLyzER - for Ethereum Smart Contracts
2023) 6th IEEE/ACM International Workshop on Emerging Trends in Software Engineering for Blockchain, WETSEB 2023 p.9-16(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
U Owns the Code That Changes and How Marginal Owners Resolve Issues Slower in Low-Quality Source Code
2023) p.368-377(
- 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(
- Contribution to conference › Other
-
Mark
Influencing Attention In Code Reading: An Eye-Tracking Study
2023) PPIG: 34th Annual Meeting of the Psychology of Programming Interest Group(
- Contribution to conference › Other
-
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
Software selection in large-scale software engineering: A model and criteria based on interactive rapid reviews
2023) In Empirical Software Engineering(
- Contribution to journal › Article
-
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
Towards the Humanisation of Programming Tool Interactions
(
- Thesis › Licentiate thesis
-
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
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
Applying Machine Learning to Gaze Data in Software Development: a Mapping Study
2023) Eleventh International Workshop on Eye Movements in Programming, EMIP 2023(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
My Space, Our Space, Their Space: a First Glance at Developers' Experience of Spaces
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Programmer Stories, Stories for Programmers: Exploring Storytelling in Software Development
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis
2023)(
- Thesis › Licentiate thesis
-
Mark
Mutation Testing: Fewer, Faster, and Smarter
2023)(
- Thesis › Doctoral thesis (compilation)