Department of Computer Science
101 – 150 of 1649
- show: 50
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2023
-
Mark
Prospects of GPU Tensor Core Correlation for the SMA and the ngEHT
(
- Contribution to journal › Article
-
Mark
Lower Bounds for Monotone q-Multilinear Boolean Circuits
2023) 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13878 LNCS. p.301-312(
- 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
Efficient Order Batching Optimization Using Seed Heuristics and the Metropolis Algorithm
(
- Contribution to journal › Article
-
Mark
Critical scenario identification for realistic testing of autonomous driving systems
(
- Contribution to journal › Article
-
Mark
Threats to validity in software engineering research: A critical reflection
2023) In Information and Software Technology(
- 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
Finding Small Complete Subgraphs Efficiently
2023) 34th International Workshop on Combinatorial Algorithms, IWOCA 2023 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13889 LNCS. p.185-196(
- 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
A data-driven approach for understanding invalid bug reports: An industrial case study
(
- Contribution to journal › Article
-
Mark
Mutation Testing: Fewer, Faster, and Smarter
2023)(
- Thesis › Doctoral thesis (compilation)
-
Mark
An ecosystem perspective on developing data collaboratives for addressing societal issues : The role of conveners
(
- Contribution to journal › Article
-
Mark
Pipeline Infrastructure Required to Meet the Requirements on AI
(
- Contribution to journal › Article
-
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
An empirically based model of software prototyping : a mapping study and a multi-case study
(
- 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
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
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
Programmer Stories, Stories for Programmers: Exploring Storytelling in Software Development
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
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
Ah, Alright, Okay! Communicating Understanding in Conversational Product Search
(
- 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
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
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
- 2022
-
Mark
Towards Fully Dynamic Surface Illumination in Real-Time Rendering using Acceleration Data Structures
(
- Thesis › Doctoral thesis (compilation)
-
Mark
Real-Time Rendering of Indirectly Visible Caustics
2022) 17th International Conference on Computer Graphics Theory and Applications, GRAPP 2022; Part of the 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2022 1. p.39-48(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Inter-Team Communication in Large-Scale Co-Located Software Engineering: A Case Study
(
- Contribution to journal › Article
-
Mark
Developing eHealth in neonatal care to enhance parents' self-management
(
- Contribution to journal › Article
-
Mark
LassoBench: A High-Dimensional Hyperparameter Optimization Benchmark Suite for Lasso
2022) 1st International Conference on Automated Machine Learning (AutoML)(
- Contribution to conference › Paper, not in proceeding
-
Mark
πBO: Augmenting Acquisition Functions with User Beliefs for Bayesian Optimization
2022) Tenth International Conference of Learning Representations, ICLR 2022(
- Contribution to conference › Paper, not in proceeding
-
Mark
A/B Testing in the Small
2022) 23:rd International Conference on Product-Focused Software Process Improvement, PROFES In Lecture Notes in Computer Science 13709. p.449-463(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Near Failure Analysis Using Dynamic Behavioural Data
2022) 23rd International Conference on Product-Focused Software Process Improvement, PROFES 2022 In Lecture Notes in Computer Science 13709. p.171-178(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
LassoBench : A High-Dimensional Hyperparameter Optimization Benchmark Suite for Lasso
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Characterizing the Effect of Deadline Misses on Time-Triggered Task Chains
2022) In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 41(11). p.3957-3968(
- Contribution to journal › Article
-
Mark
Understanding the Experience of Code Review: Misalignments, Attention, and Units of Analysis
2022) 26th International Conference on Evaluation and Assessment in Software Engineering, EASE 2022(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
What’s bothering developers in code review?
2022) 44th ACM/IEEE International Conference on Software Engineering: Software Engineering in Practice, ICSE-SEIP 2022 p.341-342(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Strategic Prototyping Technology Adoption in Startups: Framework, Challenges, and Opportunities
(
- Contribution to journal › Article
-
Mark
MeerKAT correlator-beamformer : a real-time processing back-end for astronomical observations
(
- Contribution to journal › Article
-
Mark
Political polarization in the news: the Swedish media discourse, 2010-2021.
2022) Annual International Communication Association Conference, 2022(
- Contribution to conference › Paper, not in proceeding
-
Mark
Certifying Correctness for Combinatorial Algorithms : by Using Pseudo-Boolean Reasoning
2022)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Exploring ML testing in practice - Lessons learned from an interactive rapid review with Axis Communications
2022) 2022 IEEE/ACM 1st International Conference on AI Engineering – Software Engineering for AI (CAIN)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Sustaining Open Data as a Digital Common - Design principles for Common Pool Resources applied to Open Data Ecosystems
2022) The 18th International Symposium on Open Collaboration(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Optimization of Anomaly Detection in a Microservice System Through Continuous Feedback from Development
2022) 2022 IEEE/ACM 10th International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems (SESoS) p.13-20(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification
2022) 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022 In Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022 p.1431-1436(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certified CNF Translations for Pseudo-Boolean Solving
2022) 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022) In Leibniz International Proceedings in Informatics (LIPIcs) 236.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
SMIRK : A machine learning-based pedestrian automatic emergency braking system with a complete safety case
(
- Contribution to journal › Article