41 – 50 of 476
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2022
-
Mark
Analysing Dataflow Programs with Causation Traces
Boulasikis, Michail LU ; Gruian, Flavius LU
; Callanan, Gareth
LU
and Janneck, Jörn W.
LU
(2022)
31st International Conference on Parallel Architectures and Compilation Techniques, PACT 2022
p.534-535
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification
(2022) 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022 In Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022 p.1431-1436
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
An Auditable Constraint Programming Solver
(2022) 28th International Conference on Principles and Practice of Constraint Programming, CP 2022 In Leibniz International Proceedings in Informatics, LIPIcs 235.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Auto-Partitioning Heterogeneous Task-Parallel Programs with StreamBlocks
(2022) 31st International Conference on Parallel Architectures and Compilation Techniques, PACT 2022 p.398-411
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2021
-
Mark
Pushing the Online Boolean Matrix-vector Multiplication conjecture off-line and identifying its easy cases
Gasieniec, Leszek ; Jansson, Jesper LU ; Levcopoulos, Christos LU
; Lingas, Andrzej
LU
and Persson, Mia
LU
(2021)
In Journal of Computer and System Sciences
118.
p.108-118
- Contribution to journal › Article
-
Mark
Foreword: Selected papers from the 22nd International Symposium on Fundamentals of Computation Theory (FCT 2019)
Gasieniec, Leszek ; Jansson, Jesper LU and Levcopoulos, Christos LU
(2021)
In Journal of Computer and System Sciences
120.
p.177-178
- Contribution to journal › Article
-
Mark
Modular counting of subgraphs : Matchings, matching-splittable graphs, and paths
(2021) 29th Annual European Symposium on Algorithms, ESA 2021 In Leibniz International Proceedings in Informatics, LIPIcs 204.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The power of negative reasoning
de Rezende, Susanna F. LU
; Lauria, Massimo
; Nordström, Jakob
LU
and Sokolov, Dmitry
LU
(2021)
36th Computational Complexity Conference, CCC 2021
In Leibniz International Proceedings in Informatics, LIPIcs
200.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Sparse Steiner triple systems of order 21
- Contribution to journal › Article
-
Mark
Proof complexity and SAT solving
(2021) p.233-350
- Chapter in Book/Report/Conference proceeding › Book chapter