Department of Computer Science
301 – 400 of 1650
- show: 100
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2020
-
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
Evaluation of the HAVOSS software process maturity model
(
- 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
Small normalized circuits for semi-disjoint bilinear forms require logarithmic and-depth
(
- 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
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
Principles and Patterns of JastAdd-Style Reference Attribute Grammars
(
- 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
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
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
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
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
-
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
- 2019
-
Mark
Clearing directed subgraphs by mobile agents : Variations on covering with paths
(
- Contribution to journal › Article
-
Mark
En informationsteknisk atombomb
2019) Teknik- och vetenskapshistoriska dagar 2019(
- Contribution to conference › Paper, not in proceeding
-
Mark
Remote Supervision of an Autonomous Surface Vehicle using Virtual Reality
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Improving requirements-test alignment by prescribing practices that mitigate communication gaps
(
- Contribution to journal › Article
-
Mark
On a Fire Fighter’s Problem
(
- Contribution to journal › Article
-
Mark
Ontology-Based Knowledge Representation for Increased Skill Reusability in Industrial Robots
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Open Collaborative Data : using OSS principles to share data in SW engineering
2019) 41st International Conference on Software Engineering (ICSE), 2019(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On the search for industry-relevant regression testing research
(
- Contribution to journal › Article
-
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
Cognitive Load Drivers in Large Scale Software Development
2019) 12th ACM/IEEE International Workshop on Cooperative and Human Aspects of Software Engineering(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Shortcuts for the circle
(
- Contribution to journal › Article
-
Mark
A fast deterministic detection of small pattern graphs in graphs without large cliques
(
- Contribution to journal › Article
-
Mark
High-level software requirements and iteration changes : a predictive model
(
- Contribution to journal › Article
-
Mark
The approximability of maximum rooted triplets consistency with fan triplets and forbidden triplets
(
- Contribution to journal › Article
-
Mark
Evaluating and Improving Risk Analysis Methods for Critical Systems
2019)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Det råder inget motsatsförhållande mellan teknik och etik. De avhandlas bäst tillsammans
2019) In Sydsvenskan(
- Contribution to specialist publication or newspaper › Newspaper article
-
Mark
Smart Technologies for Unmanned Surface Vessels : On the Path Towards Full Automation
2019)(
- Thesis › Licentiate thesis
-
Mark
SMErobotics : Smart Robots for Flexible Manufacturing
(
- Contribution to journal › Article
-
Mark
Generalized Kakeya sets for polynomial evaluation and faster computation of fermionants
(
- Contribution to journal › Article
-
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
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
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
Comparison of the FMEA and STPA safety analysis methods-a case study
(
- 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
-
Mark
Sharing of vulnerability information among companies - a survey of Swedish companies
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Human Leukocyte Antigen-Based Risk Stratification in Heart Transplant Recipients-Implications for Targeted Surveillance
(
- Contribution to journal › Article
-
Mark
Building Knowledge Graphs : Processing Infrastructure and Named Entity Linking
2019)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Open Collaborative Data: a pre-study on an emerging practice
2019)(
- Book/Report › Report
-
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
Parametrization of Behavior Trees for Industrial Assembly Skills through Reinforcement Learning
2019) SAIS 2019, 31st Workshop of the Swedish AI Society(
- Contribution to conference › Paper, not in proceeding
-
Mark
Robot Skill Learning based on Interactively Acquired Knowledge-based Models
2019) SAIS 2019, 31st Workshop of the Swedish AI Society(
- Contribution to conference › Paper, not in proceeding
-
Mark
Utilizing Simulation for Reinforcement Learning and Curiosity Driven Exploration in Robotics
2019) SAIS 2019, 31st Workshop of the Swedish AI Society(
- Contribution to conference › Paper, not in proceeding
-
Mark
A faster hafnian formula for complex matrices and its benchmarking on a supercomputer
(
- Contribution to journal › Article
-
Mark
Approximate counting of K-paths : Deterministic and in polynomial space
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Computing permanents and counting Hamiltonian cycles by listing dissimilar vectors
2019) 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019 In Leibniz International Proceedings in Informatics (LIPIcs) 132. p.1-25(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Solving systems of polynomial equations over GF(2) by a parity-counting self-reduction
2019) 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019 In Leibniz International Proceedings in Informatics (LIPIcs) 132. p.1-26(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Fundamentals of Computation Theory : 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings
(2019) 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14 In Lecture Notes in Computer Science 11651.
- Book/Report › Book
-
Mark
ComPOS : Composing Oblivious Services
2019) 2019 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2019 p.132-138(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Guiding Development of Contribution and Community Strategies in Open Source Software Requirements Engineering
2019)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Constraint programming in embedded systems design : Considered helpful
(
- Contribution to journal › Article
-
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
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
Open tools for software engineering : Validation of a theory of openness in the automotive industry
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A taxonomy for improving industry-academia communication in IoT vulnerability management
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
MetaDL: Analysing Datalog in Datalog
2019) 8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2019 p.38-43(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Community Strategy Framework – How to obtain influence on requirements in meritocratic open source software communities?
(
- Contribution to journal › Article
-
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
Comparison of the FMEA and STPA safety analysis methods–a case study
(
- Contribution to journal › Article
-
Mark
Message from the Chairs
2019) 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2019(
- Chapter in Book/Report/Conference proceeding › Preface to conference proceeding
-
Mark
Ray Tracing Gems : High-Quality and Real-Time Rendering with DXR and other APIs
Haines, Eric and Akenine-Möller, Tomas LU (2019)
- Book/Report › Anthology (editor)
-
Mark
Tÿcho : A framework for compiling stream programs
(
- Contribution to journal › Article
-
Mark
Dynamic Many-Light Sampling for Real-Time Ray Tracing
2019) High-Performance Graphics, 2019(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Live GUI development for service-based systems
2019)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Continuous close-range 3D object pose estimation
2019) 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2019 In IEEE International Conference on Intelligent Robots and Systems p.2861-2867(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2018
-
Mark
3D Rectangulations and Geometric Matrix Multiplication
(
- Contribution to journal › Article
-
Mark
Generalized Kakeya sets for polynomial evaluation and faster computation of fermionants
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Approximation Algorithms for the Geometric Firefighter and Budget Fence Problems
(
- Contribution to journal › Article
-
Mark
En informationsteknisk atombomb : Lars Kristiansson och mikrodatorn, 1970–1983
2018)(
- Thesis › Master's thesis
-
Mark
Continuous experimentation scenarios : A case study in e-commerce
2018) 44th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2018 p.353-356(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Four commentaries on the use of students and professionals in empirical software engineering experiments
(
- Contribution to journal › Article
-
Mark
Determining the consistency of resolved triplets and fan triplets
(
- Contribution to journal › Article
-
Mark
User privacy attitudes regarding proximity sensing
2018) 13th International ARES Conference on Availability, Reliability and Security(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Group affiliation detection in a challenging environment
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
An Empirically Based Theory for Open Software Engineering Tools
2018)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Reports of the AAAI 2017 fall symposium series
(
- Contribution to journal › Article
-
Mark
A case study of distances in a large co-located software development organisation
2018) 11th ACM/IEEE International Workshop on Cooperative and Human Aspects of Software Engineering, CHASE 2018 Part F137813. p.1-8(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Researching cooperation and communication in continuous software engineering
2018) 11th ACM/IEEE International Workshop on Cooperative and Human Aspects of Software Engineering, CHASE 2018 Part F137813. p.87-90(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Extreme Witnesses and Their Applications
(
- Contribution to journal › Article
-
Mark
Master-Slave Coordination Using Virtual Constraints for a Redundant Dual-Arm Haptic Interface
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Knowledge Based Approach to User Support for Robot Programming
2018) AI for Multimodal Human Robot Interaction(
Workshop within the Federated AI Meeting 2018 in Stockholm p.31-34- Contribution to conference › Paper, not in proceeding
-
Mark
Remote Operation of Unmanned Surface Vessel through Virtual Reality
2018) The Inaugural International Workshop on Virtual, Augmented and Mixed Reality for Human-Robot Interaction (VAM-HRI), 2018(
- Contribution to conference › Paper, not in proceeding
-
Mark
PalCom MIST: a Metaprotocol for Internet Systems of Things
2018)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Contributions to Declarative Implementation of Static Program Analysis
(
- Thesis › Doctoral thesis (compilation)