Department of Computer Science
201 – 300 of 1614
- show: 100
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2021
-
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
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
Formulation of a Layout-Agnostic Order Batching Problem
2021) 4th International Conference on Optimization and Learning, OLA 2021 In Communications in Computer and Information Science 1443. p.216-226(
- 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
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
Communicating Cybersecurity Vulnerability Information: A Producer-Acquirer Case Study
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Pose Estimation from RGB Images of Highly Symmetric Objects using a Novel Multi-Pose Loss and Differential Rendering
2021) IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) 2021(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
How to Enable Collaboration in Open Government Data Ecosystems: A Public Platform Provider’s Perspective
(
- Contribution to journal › Article
-
Mark
Digital Twins Are Not Monozygotic - Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators
2021) 14th IEEE International Conference on Software Testing, Verification and Validation, ICST 2021 p.383-393(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Productive Multitasking for Industrial Robots
2021) 2021 IEEE International Conference on Robotics and Automation, ICRA 2021 In Proceedings - IEEE International Conference on Robotics and Automation 2021-May. p.12654-12661(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Autentisk examination – vad är det?
2021)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Generating hardware and software for RISC-V cores generated with Rocket Chip generator
2021) 34th IEEE International System-on-Chip Conference, SOCC 2021 In International System on Chip Conference 2021-September. p.89-94(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Consequences of APSP, triangle detection, and 3SUM hardness for separation between determinism and non-determinism
2021) 11th Latin and American Algorithms, Graphs and Optimization Symposium, LAGOS 2021 In Procedia Computer Science 195. p.163-171(
- Contribution to journal › Article
-
Mark
Challenges and Strategies for Managing Requirements Selection in Software Ecosystems
(
- Contribution to journal › Article
-
Mark
Open source languages and methods for cyber-physical system development : Overview and case studies
(
- Contribution to journal › Article
-
Mark
ComPOS - a Domain-Specific Language for Composing Internet-of-Things Systems
2021)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Foreword: Selected papers from the 22nd International Symposium on Fundamentals of Computation Theory (FCT 2019)
(
- Contribution to journal › Article
-
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
ESS Control System Data Lab - Executive Summary
2021) In Technical report(
- Book/Report › Report
-
Mark
Tools and Ecosystems for Open Control Systems Data at ESS
2021) In Technical report(
- Book/Report › Report
-
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
Pushing the Online Boolean Matrix-vector Multiplication conjecture off-line and identifying its easy cases
(
- Contribution to journal › 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
Continuous Experimentation with Product-Led Business Models : A Comparative Case Study
2021) 11th International Conference on Software Business, ICSOB 2020 In Lecture Notes in Business Information Processing 407. p.143-158(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Quantum and Approximation Algorithms for Maximum Witnesses of Boolean Matrix Products
2021) 7th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2021 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12601 LNCS. p.440-451(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Exploring grounded theory perspectives of cognitive load in software engineering
2021)(
- Thesis › Licentiate thesis
-
Mark
Breaking down and making up - a lens for conversing with compilers
2021) 32nd Annual Workshop of the Psychology of Programming Interest Group(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2020
-
Mark
Graphs with equal domination and covering numbers
(
- Contribution to journal › Article
-
Mark
A framework to generate domain-specific manycore architectures from dataflow programs
(
- Contribution to journal › Article
-
Mark
Relational reference attribute grammars: Improving continuous model validation
(
- Contribution to journal › Article
-
Mark
Towards end-user development of graphical user interfaces for internet of things
(
- Contribution to journal › Article
-
Mark
A method for analyzing stakeholders’ influence on an open source software ecosystem’s requirements engineering process
(
- Contribution to journal › Article
-
Mark
Guidelines for conducting interactive rapid reviews in software engineering -- from a focus on technology transfer to knowledge exchange
2020)(
- Book/Report › Report
-
Mark
Approaches to improve researcher-practitioner communication in joint software engineering research
2020)(
- Thesis › Licentiate thesis
-
Mark
Exponential resolution lower bounds for weak pigeonhole principle and perfect matching formulas over sparse graphs
2020) 35th Computational Complexity Conference, CCC 2020 In Leibniz International Proceedings in Informatics, LIPIcs 169.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Simplified and Improved Separations Between Regular and General Resolution by Lifting
2020) 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020 In Lecture Notes in Computer Science 12178. p.182-200(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Trade-offs between size and degree in polynomial calculus
2020) 11th Innovations in Theoretical Computer Science Conference, ITCS 2020 In Leibniz International Proceedings in Informatics, LIPIcs 151.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Hedwig : A named entity linker
2020) 12th International Conference on Language Resources and Evaluation, LREC 2020 In LREC 2020 - 12th International Conference on Language Resources and Evaluation, Conference Proceedings p.4501-4508(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Parallel Kinematic Construction Robot for AEC Industry
2020) 37th International Symposium on Automation and Robotics in Construction (ISARC 2020) p.1488-1495(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Principles and Patterns of JastAdd-Style Reference Attribute Grammars
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Do Preparatory Programming Lab Sessions Contribute to Even Work Distribution in Student Teams?
2020) 42nd International Conference on Software Engineering (ICSE)(
- Contribution to conference › Abstract
-
Mark
What to share, when, and where : balancing the objectives and complexities of open source software contributions
(
- Contribution to journal › Article
-
Mark
Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling
2020) 32nd International Conference on Computer Aided Verification, CAV 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12224 LNCS. p.463-484(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Computing the boolean product of two n × n boolean matrices using o(N2) mechanical operations
(
- Contribution to journal › Article
-
Mark
Collaboration in Open Government Data Ecosystems: Open Cross-sector Sharing and Co-development of Data and Software
2020) 19th IFIP WG 8.5 International Conference, EGOV 2020 In Lecture notes in computer science 12219. p.290-303(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Public Sector Platforms going Open: Creating and Growing an Ecosystem with Open Collaborative Development
2020)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Getting Started with Chaos Engineering – design of an implementation framework in practice
2020)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Exploring and improving industry-academia communication in software engineering
2020) 24th Evaluation and Assessment in Software Engineering Conference, EASE 2020 In ACM International Conference Proceeding Series p.379-382(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Lärares digitala arbetsmiljö vid Lunds universitet : Slutrapport för LärDA projektet 2019/2020
2020)(
- Book/Report › Report
-
Mark
AI Market Survey: Current State of AI in the Øresund Region Private Sector
(
- Book/Report › Report
-
Mark
Smart bikes: Gradual update of IoT systems
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A simple approach to nondecreasing paths
(
- Contribution to journal › Article
-
Mark
The PL-Detective Revisited
2020) 2020 ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications, Software for Humanity, SPLASH-E 2020(
In SPLASH-E 2020 p.12-22- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Domain-Specific Language for Filtering in Application-Level Gateways
2020) 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2020 p.111-123(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Runtime Modeling and Analysis of IoT Systems
2020) ACM / IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020) p.1-5(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Feature-Oriented Control Programming
2020) 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) p.1043-1046(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Watched Propagation of$$0$$ -$$1$$ Integer Linear Constraints
2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12333 LNCS. p.160-176(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using Resolution Proofs to Analyse CDCL Solvers
2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science 12333. p.427-444(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models
2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science 12333. p.917-934(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems
2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science 12333. p.338-357(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Do preparatory programming lab sessions contribute to even work distribution in student teams?
2020) 42nd ACM/IEEE International Conference on Software Engineering, ICSE-Companion 2020 In Proceedings - International Conference on Software Engineering p.254-255(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Robust Terrain-Aided Navigation through Sensor Fusion
2020)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Small normalized circuits for semi-disjoint bilinear forms require logarithmic and-depth
(
- Contribution to journal › Article
-
Mark
Challenges and Opportunities in Open Data Collaboration – a focus group study
2020)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Dual-precision fixed-point arithmetic for low-power ray-triangle intersections
(
- Contribution to journal › Article
-
Mark
Data-driven software design with Constraint Oriented Multi-variate Bandit Optimization (COMBO)
2020) In Empirical Software Engineering(
- Contribution to journal › Article
-
Mark
The Design Science Paradigm as a Frame for Empirical Software Engineering
2020) p.127-147(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Evaluation of the HAVOSS software process maturity model
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Message from the Chairs
2020) 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2020, co-located with the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2020(
- Chapter in Book/Report/Conference proceeding › Preface to conference proceeding
-
Mark
Including Human Factors and Ergonomics in Requirements Engineering for Digital Work Environments
2020) First International Workshop on Requirements Engineering for Well-Being, Aging, and Health (REWBAH)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Crystal centering using deep learning in X-ray crystallography
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Multivariate Analysis of Orthogonal Range Searching and Graph Distances
(
- Contribution to journal › Article
-
Mark
How software engineering research aligns with design science : a review
(
- Contribution to journal › Article
-
Mark
JBrainy: Micro-benchmarking Java Collections with Interference (Work in Progress Paper)
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Utilizing Deep Learning and RDF to Predict Heart Transplantation Survival
2020) 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12012 LNCS. p.175-190(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Making Lab Sessions Mandatory-On Student Work Distribution in a Gamified Project Course on Market-Driven Software Engineering
2020) 32nd IEEE Conference on Software Engineering Education and Training, CSEE and T 2020 In 2020 IEEE 32nd Conference on Software Engineering Education and Training, CSEE and T 2020 p.16-25(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Solving Hard Problems by Protein Folding?
2020) 9th International Conference on Theory and Practice of Natural Computing, TPNC 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12494 LNCS. p.36-41(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certification of students in non-technical engineering skills : What do the companies think?
2020) 11th International Conference on Society and Information Technologies, ICSIT 2020 In ICSIT 2020 - 11th International Conference on Society and Information Technologies, Proceedings p.49-54(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
VR Teleoperation to support a GPS-free Positioning System in a Marine Environment
2020) In International Journal on Marine Navigation and Safety of Sea Transportation 14(4). p.789-798(
- Contribution to journal › Article
-
Mark
Lifting with simple gadgets and applications to circuit and proof complexity
2020) 61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS 2020-November. p.24-30(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
KRW composition theorems via lifting
2020) 61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS 2020-November. p.43-49(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning
2020) 20th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 p.194-204(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Photon Mapping Superluminal Particles
2020) Eurographics Eurovis, EGEV 2020(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2019
-
Mark
Remote Supervision of an Unmanned Surface Vessel - a Comparison of Interfaces
2019)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Importance Sampling of Many Lights on the GPU
2019) p.255-255(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Multivariate Analysis of Orthogonal Range Searching and Graph Distances
2019) 13th International Symposium on Parameterized and Exact Computation (IPEC 2018). In LIPIcs 115. p.1-13(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Pushing the Online Matrix-Vector Conjecture Off-Line and Identifying Its Easy Cases
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
How Companies Use OSS Tools Ecosystems for Open Innovation
(
- Contribution to journal › Article
-
Mark
Local Routing in Sparse and Lightweight Geometric Graphs
2019) 30th International Symposium on Algorithms and Computation (ISAAC 2019) In LIPIcs – Leibniz International Proceedings in Informatics 149. p.1-30(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Lower bounds for Demorgan circuits of bounded negation width
2019) 36th International Symposium on Theoretical Aspects of Computer Science, STACS 2019 In Leibniz International Proceedings in Informatics, LIPIcs 126.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
ComPOS - a development environment for composing internet-of-things services
(
- Thesis › Licentiate thesis
-
Mark
Factoring out glue-code in systems of IoT devices: the PalCom architecture model
2019)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Open Data Collaborations - A snapshot of an emerging practice
2019) 15th International Symposium on Open Collaboration, OpenSym 2019(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Shortest two disjoint paths in polynomial time
(
- Contribution to journal › Article
-
Mark
MetaDL : Declarative program analysis for the masses
2019) 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2019 In SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity p.17-18(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Rare Siblings Speed-Up Deterministic Detection and Counting of Small Pattern Graphs
2019) 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11651. p.322-334(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Preface
2019) 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11651 LNCS.(
- Chapter in Book/Report/Conference proceeding › Preface to conference proceeding