Department of Computer Science

Organisational unit: Department

More filtering options
  1. 2021
  2. Pushing the Online Boolean Matrix-vector Multiplication conjecture off-line and identifying its easy cases

    Leszek Gasieniec, Jesper Jansson, Christos Levcopoulos, Andrzej Lingas & Mia Persson, 2021 Jun, In: Journal of Computer and System Sciences. 118, p. 108-118 11 p.

    Research output: Contribution to journalArticle

  3. ComPOS - a Domain-Specific Language for Composing Internet-of-Things Systems

    Alfred Åkesson, 2021 May 25, Computer Science, Lund University. 132 p.

    Research output: ThesisDoctoral Thesis (compilation)

  4. Online and Approximate Network Construction from Bounded Connectivity Constraints

    Jesper Jansson, Christos Levcopoulos & Andrzej Lingas, 2021 May 4, Algorithms and Complexity : 12th International Conference, CIAC 2021, Virtual Event, May 10–12, 2021, Proceedings. Springer, p. 314-325 12 p. (Lecture Notes in Computer science; vol. 12701).

    Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceeding

  5. Requirements Engineering for Well-Being, Aging, and Health: An Overview for Practitioners

    Meira Levy, Lin Liu, Daniel Amyot, Eric Yu, Muneef Alshammari, Malak Baslyman, Elizabeth Bjarnason, Christopher Bull, Carlos Henrique C. Duarte, Eduard C. Groen, Sami Jantunen, Sylwia Kopczynska, Lysanne Lessard, Ita Richardson, Jens Weber & Ziqi Wei, 2021 May 1, In: IEEE Software. 38, 3, p. 7-12 6 p., 9407303.

    Research output: Contribution to journalArticle

  6. Risken för ökad polarisering måste tas på allvar

    Anamaria Dutceac Segesten, Erik J Olsson, Michael Bossetta, Tommy Bruhn, Hanna Bäck, Nils Gustafsson, Nils Holmberg, Mikael Klintman, Jonas Ledendal, Michael Morreau & Elin Anna Topp, 2021 Apr 1, Göteborgs-Posten.

    Research output: Contribution to specialist publication or newspaperNewspaper article

  7. Concepts in Testing of Autonomous Systems: Academic Literature and Industry Practice

    Qunying Song, Emelie Engström & Per Runeson, 2021 Mar 12, WAIN'21 - 1st Workshop on AI Engineering – Software Engineering for AI. IEEE Computer Society, 8 p.

    Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceeding

  8. ESS Control System Data Lab - Executive Summary

    Per Runeson, Per Andersson, Anna Hall, Jan Eric Larsson, Karin Rathsman & Emma Söderberg, 2021 Feb 19, Lunds Universitet/Lunds Tekniska Högskola. 2 p. (Technical report; no. 105)

    Research output: Book/ReportReport

  9. Sparse Steiner triple systems of order 21

    Janne I. Kokkala & Patric R.J. Östergård, 2021 Feb, In: Journal of Combinatorial Designs. 29, 2, p. 75-83 9 p.

    Research output: Contribution to journalArticle

  10. Tools and Ecosystems for Open Control Systems Data at ESS

    Per Runeson & Emma Söderberg, 2021 Jan 25, Lunds Universitet/Lunds Tekniska Högskola. 4 p. (Technical report; no. 106)

    Research output: Book/ReportReport

  11. Digital Cognitive Companions for Marine Vessels: On the Path Towards Autonomous Ships

    Mårten Lager, 2021 Jan 19, Computer Science, Lund University. 249 p.

    Research output: ThesisDoctoral Thesis (compilation)

  12. Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search

    Jo Devriendt, Ambros Gleixner & Jakob Nordström, 2021 Jan 18, In: Constraints.

    Research output: Contribution to journalArticle

  13. Governance and Management of Green IT: A Multi-Case Study

    J. David Patón-Romero, Maria Teresa Baldassarre, Moisés Rodríguez, Per Runeson, Martin Höst & Mario Piattini, 2021 Jan, In: Information and Software Technology. 129, 106414.

    Research output: Contribution to journalArticle

  14. Case Study on Data-driven Deployment of Program Analysis on an Open Tools Stack

    Anton Ljungberg, David Åkerman, Emma Söderberg, Jon Sten, Gustaf Lundh & Luke Church, 2021, (Accepted/In press) Proceedings of the 43rd International Conference on Software Engineering: Software Engineering in Practice. IEEE - Institute of Electrical and Electronics Engineers Inc.

    Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceeding

  15. Continuous Experimentation with Product-Led Business Models: A Comparative Case Study

    Rasmus Ros, 2021, Software Business - 11th International Conference, ICSOB 2020, Proceedings. Klotins, E. & Wnuk, K. (eds.). Springer Science + Business Media, p. 143-158 16 p. (Lecture Notes in Business Information Processing; vol. 407).

    Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceeding

  16. Controlled experimentation in continuous experimentation: Knowledge and challenges

    Florian Auer, Rasmus Ros, Lukas Kaltenbrunner, Per Runeson & Michael Felderer, 2021, In: Information and Software Technology. 134, 106551.

    Research output: Contribution to journalArticle

  17. Foreword: Selected papers from the 22nd International Symposium on Fundamentals of Computation Theory (FCT 2019)

    Leszek Gasieniec, Jesper Jansson & Christos Levcopoulos, 2021, In: Journal of Computer and System Sciences. 120, p. 177-178 2 p.

    Research output: Contribution to journalArticle

  18. Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling

    Susanna F. De Rezende, Or Meir, Jakob Nordström & Robert Robere, 2021, In: Computational Complexity. 30, 1, 4.

    Research output: Contribution to journalArticle

  19. Open Data-driven Usability Improvements of Static Code Analysis and its Challenges

    Emma Söderberg, Luke Church & Martin Höst, 2021, (Accepted/In press) EASE'21: Evaluation and Assessment in Software Engineering.

    Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceeding

  20. Open source languages and methods for cyber-physical system development: Overview and case studies

    Lena Buffoni, Lennart Ochel, Adrian Pop, Peter Fritzson, Niklas Fors, Görel Hedin, Walid Taha & Martin Sjölund, 2021, In: Electronics (Switzerland). 10, 8, 902.

    Research output: Contribution to journalArticle

  21. Probes and Sensors: The Design of Feedback Loops for Usability Improvements

    Luke Church & Emma Söderberg, 2021, Proceedings of Psychology of Programming Interest Group Annual Conference 2019. Marasoiu, M., Church, L. & Marshall, L. (eds.). Psychology of Programming Interest Group, p. 124-137

    Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceeding

  22. Quantum and Approximation Algorithms for Maximum Witnesses of Boolean Matrix Products

    Mirosław Kowaluk & Andrzej Lingas, 2021, Algorithms and Discrete Applied Mathematics - 7th International Conference, CALDAM 2021, Proceedings. Mudgal, A. & Subramanian, C. R. (eds.). Springer Science + Business Media, p. 440-451 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12601 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceeding

  23. Software Ticks Need No Specifications

    Christoph Reichenbach, 2021, (Accepted/In press) Proceedings of the 43rd International Conference on Software Engineering. IEEE - Institute of Electrical and Electronics Engineers Inc.

    Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceeding

  24. Temporal and cultural limits of privacy in smartphone app usage

    Vedran Sekara, Laura Alessandretti, Enys Mones & Håkan Jonsson, 2021, In: Scientific Reports. 11, 1, 3861.

    Research output: Contribution to journalArticle

  25. Using Program Analysis to Identify the Use of Vulnerable Functions

    Rasmus Hagberg, Martin Hell & Christoph Reichenbach, 2021, (Accepted/In press) 18th International Conference on Security and Cryptography, SECRYPT 2021. INSTICC Press

    Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceeding

  26. 2020
  27. A Domain-Specific Language for Filtering in Application-Level Gateways

    Hampus Balldin & Christoph Reichenbach, 2020 Nov, Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. New York, NY, USA: Association for Computing Machinery (ACM), p. 111–123

    Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceeding

  28. Principles and Patterns of JastAdd-Style Reference Attribute Grammars

    Niklas Fors, Emma Söderberg & Görel Hedin, 2020 Nov, Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2020). Association for Computing Machinery (ACM), p. 86-100 15 p.

    Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceeding

  29. The PL-Detective Revisited

    Christoph Reichenbach, 2020 Nov, Proceedings of the 2020 ACM SIGPLAN Symposium on SPLASH-E. New York, NY, USA: Association for Computing Machinery (ACM), p. 12–22 (SPLASH-E 2020).

    Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceeding

  30. Parallel Kinematic Construction Robot for AEC Industry

    Maike Klöckner, Mathias Haage, Klas Nilsson, Anders Robertsson & Ronny Andersson, 2020 Oct 27, Proceedings of the 37th International Symposium on Automation and Robotics in Construction (ISARC 2020). Osumi, H., Furuya, H. & Tateyama, K. (eds.). International Association on Automation and Robotics in Construction, p. 1488-1495

    Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceeding

  31. AI Market Survey: Current State of AI in the Øresund Region Private Sector

    August Lidfeldt, Markus Borg & Joshua Bronson, 2020 Oct 14, Computer Science, Lund University. 16 p. (Technical Report; no. 104, 2020)

    Research output: Book/ReportReport

  32. Smart bikes: Gradual update of IoT systems

    Mattias Nordahl, Boris Magnusson, Görel Hedin & Alfred Åkesson, 2020 Oct 6, 2020 IEEE 24th International Enterprise Distributed Object Computing Workshop (EDOCW). IEEE - Institute of Electrical and Electronics Engineers Inc., p. 99-102

    Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceeding

  33. A simple approach to nondecreasing paths

    Mirosław Kowaluk & Andrzej Lingas, 2020 Oct, In: Information Processing Letters. 162, 105992.

    Research output: Contribution to journalArticle

  34. Runtime Modeling and Analysis of IoT Systems

    Alfred Åkesson, Görel Hedin, Niklas Fors, René Schöne & Johannes Mey, 2020 Oct, Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. Association for Computing Machinery (ACM), p. 1-5 5 p. 40

    Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceeding

  35. Feature-Oriented Control Programming

    Niklas Fors, Alfred Theorin, Sven Robertz & Görel Hedin, 2020 Sep, 25th IEEE International Conference on Emerging Technologies and Factory Automation. IEEE - Institute of Electrical and Electronics Engineers Inc., p. 1043-1046

    Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceeding

  36. Multivariate Analysis of Orthogonal Range Searching and Graph Distances

    Karl Bringmann, Thore Husfeldt & Måns Magnusson, 2020 Aug, In: Algorithmica. 82, 8, p. 2292-2315 24 p.

    Research output: Contribution to journalArticle

  37. Robust Terrain-Aided Navigation through Sensor Fusion

    Mårten Lager, Elin Anna Topp & Jacek Malec, 2020 Jul 6, 23rd International Conference on Information Fusion Virtual Conference. Institute of Electrical and Electronics Engineers Inc., 8 p.

    Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceeding

  38. Exponential resolution lower bounds for weak pigeonhole principle and perfect matching formulas over sparse graphs

    Susanna F. de Rezende, Jakob Nordström, Kilian Risse & Dmitry Sokolov, 2020 Jul 1, CCC '20: Proceedings of the 35th Computational Complexity Conference 2020. Saraf, S. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 28. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 169).

    Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceeding

  39. How software engineering research aligns with design science: a review

    Emelie Engström, Margaret Anne Storey, Per Runeson, Martin Höst & Maria Teresa Baldassarre, 2020 Jun 16, In: Empirical Software Engineering. 25, 4

    Research output: Contribution to journalArticle

  40. Small normalized circuits for semi-disjoint bilinear forms require logarithmic and-depth

    Andrzej Lingas, 2020 Jun 8, In: Theoretical Computer Science. 820, p. 17-25 9 p.

    Research output: Contribution to journalArticle

  41. Exploring and improving industry-academia communication in software engineering

    Sergio Rico, 2020 Apr 15, Proceedings of EASE 2020 - Evaluation and Assessment in Software Engineering. Association for Computing Machinery (ACM), p. 379-382 4 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceeding

Previous 1 2 3 4 5 6 7 8 ...28 Next