221 – 230 of 1769
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2023
-
Mark
Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning
(2023) 29th International Conference on Principles and Practice of Constraint Programming, CP 2023
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Initial Case Study Findings for Requirements on Work-Related Health Aspects
Bjarnason, Elizabeth LU
; Persson, Johanna
LU
and Rydenfalt, Christofer
LU
(2023)
31st IEEE International Requirements Engineering Conference Workshops, REW 2023
In Proceedings - 31st IEEE International Requirements Engineering Conference Workshops, REW 2023
p.388-396
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Convex Hulls and Triangulations of Planar Point Sets on the Congested Clique.
Jansson, Jesper LU ; Levcopoulos, Christos LU
and Lingas, Andrzej
LU
(2023)
35th Canadian Conference on Computational
Geometry, CCCG 2023 p.183-189- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Threats to validity in software engineering research: A critical reflection
Verdecchia, Roberto ; Engström, Emelie LU
; Lago, Patricia
; Runeson, Per
LU
and Song, Qunying
LU
(2023)
In Information and Software Technology
- Contribution to journal › Article
-
Mark
A Literature Survey of Assertions in Software Testing
Taromirad, Masoumeh LU and Runeson, Per LU
(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
Requirements on technical debt : dare to specify them!
- Contribution to journal › Article
-
Mark
Supporting educational change teams through SoTL
(2023) The International Society for the Scholarship of Teaching and Learning (ISSoTL) Conference
- Contribution to conference › Abstract
-
Mark
Towards the Humanisation of Programming Tool Interactions
- Thesis › Licentiate thesis
-
Mark
TODLER : A Transaction Ordering Dependency anaLyzER - for Ethereum Smart Contracts
Munir, Sundas and Reichenbach, Christoph LU
(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