Department of Computer Science
51 – 60 of 1649
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms
2024) 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 In Leibniz International Proceedings in Informatics (LIPIcs) 307.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Mapping the Past : Geographically Linking an Early 20th Century Swedish Encyclopedia with Wikidata
2024) Joint 30th International Conference on Computational Linguistics and 14th International Conference on Language Resources and Evaluation, LREC-COLING 2024 In 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC-COLING 2024 - Main Conference Proceedings p.11040-11048(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Towards the exact complexity of realizability for Safety LTL
(
- Contribution to journal › Article
- 2023
-
Mark
Towards optimization of anomaly detection in DevOps
(
- Contribution to journal › Article
-
Mark
Threats to validity in software engineering research: A critical reflection
2023) In Information and Software Technology(
- Contribution to journal › Article
-
Mark
A Literature Survey of Assertions in Software Testing
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
An empirically based model of software prototyping : a mapping study and a multi-case study
(
- Contribution to journal › Article
-
Mark
Software selection in large-scale software engineering: A model and criteria based on interactive rapid reviews
2023) In Empirical Software Engineering(
- Contribution to journal › Article
-
Mark
Bounce: a Reliable Bayesian Optimization Algorithm for Combinatorial and Mixed Spaces
2023) 37th Conference on Neural Information Processing Systems, NeurIPS 2023(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A data-driven approach for understanding invalid bug reports: An industrial case study
(
- Contribution to journal › Article