11 – 20 of 25
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2019
-
Mark
Solving systems of polynomial equations over GF(2) by a parity-counting self-reduction
(2019) 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019 In Leibniz International Proceedings in Informatics (LIPIcs) 132. p.1-26
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
DMAC: Deadline-Miss-Aware Control
Pazzaglia, Paolo LU ; Mandrioli, Claudio LU
; Maggio, Martina
LU
and Cervin, Anton
LU
(2019)
31st Euromicro Conference on Real-Time Systems (ECRTS 2019)
In Leibniz International Proceedings in Informatics (LIPIcs)
133.
p.1-24
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
End-to-end deadlines over dynamic topologies
Millnert, Victor LU ; Eker, Johan LU
and Bini, Enrico
LU
(2019)
31st Euromicro Conference on Real-Time Systems (ECRTS 2019)
In Leibniz International Proceedings in Informatics (LIPIcs)
133.
p.1-22
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Local Routing in Sparse and Lightweight Geometric Graphs
Ashvinkumar, Vikrant ; Gudmundsson, Joachim LU ; Levcopoulos, Christos LU
; Nilsson, Bengt J.
and van Renssen, André
(2019)
30th International Symposium on Algorithms and Computation (ISAAC 2019)
In LIPIcs – Leibniz International Proceedings in Informatics
149.
p.1-30
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Lower bounds for Demorgan circuits of bounded negation width
(2019) 36th International Symposium on Theoretical Aspects of Computer Science, STACS 2019 In Leibniz International Proceedings in Informatics, LIPIcs 126.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Nullstellensatz size-degree trade-offs from reversible pebbling
De Rezende, Susanna F. LU
; Nordström, Jakob
LU
; Meir, Or
and Robere, Robert
(2019)
34th Computational Complexity Conference, CCC 2019
In Leibniz International Proceedings in Informatics, LIPIcs
137.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2017
-
Mark
Cumulative space in black-white pebbling and resolution
Alwen, Joël ; De Rezende, Susanna F. LU
; Nordström, Jakob
LU
and Vinyals, Marc
(2017)
8th Innovations in Theoretical Computer Science Conference, ITCS 2017
In Leibniz International Proceedings in Informatics, LIPIcs
67.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Graph colouring is hard for algorithms based on hilbert's nullstellensatz and gröbner bases
(2017) 32nd Computational Complexity Conference, CCC 2017 In Leibniz International Proceedings in Informatics, LIPIcs 79.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2016
-
Mark
Completeness for coalgebraic fixpoint logic
(2016) 25th EACSL Annual Conference on Computer Science Logic, CSL 2016 and the 30th Workshop on Computer Science Logic In Leibniz International Proceedings in Informatics (LIPIcs) 62. p.1-7
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Supercritical space-width trade-offs for resolution
(2016) 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016 In Leibniz International Proceedings in Informatics, LIPIcs 55.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding