Department of Computer Science
101 – 200 of 1614
- show: 100
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2022
-
Mark
Towards Optimization of Anomaly Detection Using Autonomous Monitors in DevOps
2022)(
- Thesis › Licentiate thesis
-
Mark
Local Routing in Sparse and Lightweight Geometric Graphs
(
- Contribution to journal › Article
-
Mark
Critical Scenario Identification for Testing of Autonomous Driving Systems
2022)(
- Thesis › Licentiate thesis
-
Mark
Connecting a French Dictionary from the Beginning of the 20th Century to Wikidata
2022) 13th International Conference on Language Resources and Evaluation Conference, LREC 2022 In 2022 Language Resources and Evaluation Conference, LREC 2022 p.2548-2555(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Cognitive Challenges for novice Software Development Teams
(
- 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
-
Mark
Can RE Help Better Prepare Industrial AI for Commercial Scale?
(
- Contribution to journal › Article
-
Mark
Estimating Stream Application Performance in Early-Stage System Design
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
An Auditable Constraint Programming Solver
2022) 28th International Conference on Principles and Practice of Constraint Programming, CP 2022 In Leibniz International Proceedings in Informatics, LIPIcs 235.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Insights into automation of construction process using parallel-kinematic manipulators
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using Operative Reports to Predict Heart Transplantation Survival
2022) 44th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2022 In Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS 2022-July. p.2258-2261(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Early Identification of Invalid Bug Reports in Industrial Settings – A Case Study
2022) 23rd International Conference on Product-Focused Software Process Improvement, PROFES 2022 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13709 LNCS. p.497-507(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Multi-Dimensional Matrix Product—A Natural Tool for Parameterized Graph Algorithms
(
- Contribution to journal › Article
-
Mark
Natural language analyzed with AI-based transformers predict traditional subjective well-being measures approaching the theoretical upper limits in accuracy
(
- Contribution to journal › Article
-
Mark
An Output-Sensitive Algorithm for All-Pairs Shortest Paths in Directed Acyclic Graphs
2022) 8th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2022 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13179 LNCS. p.140-151(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Agility in Software 2.0 – Notebook Interfaces and MLOps with Buttresses and Rebars
2022) 6th International Conference on Lean and Agile Software Development, LASD 2022 In Lecture Notes in Business Information Processing 438 LNBIP. p.3-16(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
Perpetual maintenance of machines with different urgency requirements
2022)(
- Book/Report › Report
-
Mark
Visual Cues in Compiler Conversations
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Looking Back, Moving Forward : A Handover
(
- Contribution to journal › Scientific review
-
Mark
Property Probes : Source Code Based Exploration of Program Analysis Results
2022) 15th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2022, co-located with the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications. SPLASH 2022 In SLE 2022 - Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2022 p.148-160(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
JFeature : Know Your Corpus
2022) 22nd IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2022 p.236-241(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Auto-Partitioning Heterogeneous Task-Parallel Programs with StreamBlocks
2022) 31st International Conference on Parallel Architectures and Compilation Techniques, PACT 2022 p.398-411(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Analysing Dataflow Programs with Causation Traces
2022) 31st International Conference on Parallel Architectures and Compilation Techniques, PACT 2022 p.534-535(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Skill-based Multi-objective Reinforcement Learning of Industrial Robot Tasks with Planning and Knowledge Integration
(
- Chapter in Book/Report/Conference proceeding › Paper in conference 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
HPVM2FPGA: Enabling True Hardware-Agnostic FPGA Programming
2022) 33rd IEEE International Conference on Application-specific Systems, Architectures, and Processors (ASAP 2022)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Increasing the Scope as You Learn: Adaptive Bayesian Optimization in Nested Subspaces
2022) Advances in Neural Information Processing Systems 35, NeurIPS 2022(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Joint Entropy Search for Maximally-Informed Bayesian Optimization
2022) 36th Conference on Neural Information Processing Systems, NeurIPS 2022(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Learning Skill-based Industrial Robot Tasks with User Priors
2022) IEEE 18th International Conference on Automation Science and Engineering (IEEE CASE2022) p.1485-1492(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Dimensionality reduction of independent influence factors in the objective evaluation of quality of experience
(
- Contribution to journal › Article
-
Mark
Language-Agnostic Age and Gender Classification of Voice using Self-supervised Pre-Training
2022) 34th Workshop of the Swedish Artificial Intelligence Society, SAIS 2022 In 34th Workshop of the Swedish Artificial Intelligence Society, SAIS 2022(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Lower bounds for Boolean circuits of bounded negation width
(
- Contribution to journal › Article
-
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
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
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
Code Red : The Business Impact of Code Quality - A Quantitative Study of 39 Proprietary Production Codebases
2022) 5th International Conference on Technical Debt, TechDebt 2022 In Proceedings - International Conference on Technical Debt 2022, TechDebt 2022 p.11-20(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certifying Correctness for Combinatorial Algorithms : by Using Pseudo-Boolean Reasoning
2022)(
- Thesis › Doctoral thesis (compilation)
-
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
Generalizing Behavior Trees and Motion-Generator (BTMG) Policy Representation for Robotic Tasks Over Scenario Parameters
2022)(
- Contribution to conference › Paper, not in proceeding
-
Mark
How to Set Up & Learn New Robot Tasks with Explainable Behaviors?
2022) European Robotics Forum(
- Contribution to conference › Poster
-
Mark
Analysis of Computational Efficiency in Iterative Order Batching Optimization
2022) 11th International Conference on Operations Research and Enterprise Systems, ICORES 2022 p.345-353(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
New benchmarks and optimization model for the Storage Location Assignment Problem
2022) 3rd International Conference on Innovative Intelligent Industrial Production and Logistics, IN4PL 2022(
- Chapter in Book/Report/Conference proceeding › Paper in conference 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
Syntetisk biologi - en hållbar lösning på klimatkrisen?
2022)(
- Contribution to conference › Poster
-
Mark
The shortest even cycle problem is tractable
2022) 54th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2022 In Proceedings of the Annual ACM Symposium on Theory of Computing p.117-130(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Scenario Distribution Model for Effective and Efficient Testing of Autonomous Driving Systems
2022) AUST 2022 : The First Workshop on Autonomous Software Testing(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Variable Impedance Skill Learning for Contact-Rich Manipulation
(
- Contribution to journal › Article
-
Mark
A Shared Pose Regression Network for Pose Estimation of Objects from RGB Images
2022) IEEE/RSJ International Conference on Signal Image Technology & Internet Based Systems (SITIS) 2022(
- 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
Developing eHealth in neonatal care to enhance parents' self-management
(
- Contribution to journal › Article
- 2021
-
Mark
Probes and Sensors: The Design of Feedback Loops for Usability Improvements
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Open Data-driven Usability Improvements of Static Code Analysis and its Challenges
2021) 25th International Conference on Evaluation and Assessment in Software Engineering, EASE p.272-277(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Risken för ökad polarisering måste tas på allvar
2021) In Göteborgs-Posten(
- Contribution to specialist publication or newspaper › Newspaper article
-
Mark
Concepts in testing of autonomous systems : Academic literature and industry practice
2021) 1st IEEE/ACM Workshop on AI Engineering - Software Engineering for AI, WAIN 2021 In Proceedings - 2021 IEEE/ACM 1st Workshop on AI Engineering - Software Engineering for AI, WAIN 2021 p.74-81(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Foreword: Selected papers from the 22nd International Symposium on Fundamentals of Computation Theory (FCT 2019)
(
- Contribution to journal › Article
-
Mark
Challenges of Adopting SAFe in the Banking Industry – A Study Two Years After Its Introduction
2021) 22nd International Conference on Agile Software Development, XP 2021 In Lecture Notes in Business Information Processing 419 LNBIP. p.157-171(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Approximate Counting of k-Paths : Simpler, Deterministic, and in Polynomial Space
(
- Contribution to journal › Article
-
Mark
Open Data Ecosystems - an empirical investigation into an emerging industry collaboration concept
(
- Contribution to journal › Article
-
Mark
Layout-Agnostic Order-Batching Optimization
2021) 12th International Conference on Computational Logistics, ICCL 2021 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13004 LNCS. p.115-129(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Bayesian Optimization with a Prior for the Optimum
2021) European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2021 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12977 LNAI. p.265-296(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
JavaDL: Automatically Incrementalizing Java Bug Pattern Detection
2021) ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity In Proceedings of the ACM on Programming Languages 5(OOPSLA).(
- Contribution to journal › Article
-
Mark
Modular counting of subgraphs : Matchings, matching-splittable graphs, and paths
2021) 29th Annual European Symposium on Algorithms, ESA 2021 In Leibniz International Proceedings in Informatics, LIPIcs 204.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The power of negative reasoning
2021) 36th Computational Complexity Conference, CCC 2021 In Leibniz International Proceedings in Informatics, LIPIcs 200.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Path Verification for Dynamic Indirect Illumination
2021)(
- Book/Report › Report
-
Mark
A case study of industry–academia communication in a joint software engineering research project
2021) In Journal of software: Evolution and Process(
- Contribution to journal › Article
-
Mark
Proof complexity and SAT solving
2021) p.233-350(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Antithetic Sampling for Monte Carlo Differentiable Rendering
(
- Contribution to journal › Article
-
Mark
Guiding the Selection of Research Methodology in Industry-Academia Collaboration in Software Engineering
(
- Contribution to journal › Article
-
Mark
Industrins data leder till innovationer - om den delas
2021) In Ny teknik(
- Contribution to journal › Debate/Note/Editorial
-
Mark
Towards Grounded Theory Perspectives of Cognitive Load in Software Engineering
2021) Psychology of Programming Interest Group Annual Workshop 2021(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Prototyping Practices in Software Startups : Initial Case Study Results
2021) 29th IEEE International Requirements Engineering Conference Workshops, REW 2021 In Proceedings of the IEEE International Conference on Requirements Engineering 2021-September. p.206-211(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Model of Software Prototyping based on a Systematic Map
2021) p.1-11(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Clique Is Hard on Average for Regular Resolution
(
- Contribution to journal › Article
-
Mark
A Precise Framework for Source-Level Control-Flow Analysis
2021) IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM) p.1-11(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The AIQ Meta-Testbed : Pragmatically Bridging Academic AI Testing and Industrial Q Needs
2021) 13th Software Quality Days Conference, SWQD 2021 In Lecture Notes in Business Information Processing 404. p.66-77(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Challenges and Strategies for Managing Requirements Selection in Software Ecosystems
(
- Contribution to journal › Article
-
Mark
Progger: Programming by Errors (Work In Progress)
2021) Psychology of Programming Interest Group Annual Workshop 2021(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
ComPOS - a Domain-Specific Language for Composing Internet-of-Things Systems
2021)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Automating algebraic proof systems is NP-hard
2021) 53rd Annual ACM SIGACT Symposium on Theory of Computing, STOC 2021 In Proceedings of the Annual ACM Symposium on Theory of Computing p.209-222(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Test automation with grad-CAM Heatmaps - A future pipe segment in MLOps for Vision AI?
2021) 14th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2021 p.175-181(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
“In a Way We Took the Hospital Home”—A Descriptive Mixed-Methods Study of Parents’ Usage and Experiences of eHealth for Self-Management after Hospital Discharge Due to Pediatric Surgery or Preterm Birth
(
- Contribution to journal › Article
-
Mark
Yttrande över Europeiska kommissionens förslag till förordning om harmoniserade regler för artificiell intelligens
2021)(
- Other contribution › Miscellaneous
-
Mark
Political polarization as a media narrative: the Swedish case, 2011-2020.
2021) NordMedia 2021:(
- Contribution to conference › Paper, not in proceeding
-
Mark
Using Program Analysis to Identify the Use of Vulnerable Functions
2021) p.520-530(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Online and Approximate Network Construction from Bounded Connectivity Constraints
2021) 12th International Conference on Algorithms and Complexity (CIAC 2021) In Lecture Notes in Computer science 12701. p.314-325(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Communicating Cybersecurity Vulnerability Information: A Producer-Acquirer Case Study
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Realeasy: Real-Time capable Simulation to Reality Domain Adaptation
2021) 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE) p.2009-2016(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
FedApp: a Research Sandbox for Application Orchestration in Federated Clouds using OpenStack
2021)(
- Non-textual form › Software
-
Mark
WARA-PS: A Research Arena for Public Safety Demonstrations and Autonomous Collaborative Rescue Robotics Experimentation
(
- Contribution to journal › Article
-
Mark
An Industrial Workbench for Test Scenario Identification for Autonomous Driving Software
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Closing the Feedback Loop in DevOps Through Autonomous Monitors in Operations
(
- Contribution to journal › Article