1 – 15 of 1716
- show: 15
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Artificial Intelligence, Datafication and Exploring the Minimum Content of Nationality
(
- Contribution to journal › Article
-
Mark
Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
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
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
Spline-based methods for functional data on multivariate domains
(
- Contribution to journal › Article
-
Mark
Towards the exact complexity of realizability for Safety LTL
(
- Contribution to journal › Article
-
Mark
A Simple End-to-End Computer-Aided Detection Pipeline for Trained Deep Learning Models
2024) 8th International Conference on Engineering of Computer-Based Systems, ECBS 2023 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14390 LNCS. p.259-262(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Key-Recovery Attack on the LCMQ Authentication Protocol
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certifying MIP-Based Presolve Reductions for 0–1 Integer Linear Programs
2024) 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024 In Lecture Notes in Computer Science 14742. p.310-328(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certified MaxSAT Preprocessing
2024) 12th International Joint Conference, IJCAR 2024 In Lecture Notes in Computer Science 14739. p.396-418(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Understanding Fire and Rescue Service Practices Through Problems and Problem-Solving Networks : An Analysis of a Critical Incident
2024) In Fire Technology(
- Contribution to journal › Article
-
Mark
Causal discovery in a complex industrial system : A time series benchmark
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Algorithmic modeling of functionally graded metamaterials in 3D printed building envelopes
(
- Contribution to journal › Article
-
Mark
Working with AIoT Solutions in Embedded Software Applications. Recommendations, Guidelines, and Lessons Learned
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Assessing the risks and opportunities posed by AI-enhanced influence operations on social media
2024) In Place Branding and Public Diplomacy(
- Contribution to journal › Article