Ghent University Academic Bibliography

Your filters: cql: parent exact "Leibniz International Proceedings in Informatics (LIPIcs)"

Add to list
- Conference Paper
- P1
- open access
Exponential lower bounds on definable fixed points

Konstantinos Papafilippou (UGent) and David Fernández-Duque (UGent)

(2025) 33RD EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC, CSL 2025. In Leibniz International Proceedings in Informatics (LIPIcs) 326.
Add to list
- Conference Paper
- C1
- open access
Minimal obstructions to C₅-coloring in hereditary graph classes

Jan Goedgebeur (UGent) , Jorik Jooken, Karolina Okrasa, Paweł Rzążewski and Oliver Schaudt

(2024) 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024). In Leibniz International Proceedings in Informatics (LIPIcs) 306.
Add to list
- Conference Paper
- P1
- open access
B-move : faster bidirectional character extensions in a run-length compressed index

Lore Depuydt (UGent) , Luca Renders (UGent) , Simon Van de Vyver (UGent) , Lennart Veys, T. Gagie and Jan Fostier (UGent)

(2024) 24TH INTERNATIONAL WORKSHOP ON ALGORITHMS IN BIOINFORMATICS, WABI 2024. In Leibniz International Proceedings in Informatics (LIPIcs) 312. p.1-18
Add to list
- Conference Paper
- C1
- open access
Relaxed core stability for hedonic games with size-dependent utilities

Tom Demeulemeester and Jannik Peters

(2023) 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023). In Leibniz International Proceedings in Informatics (LIPIcs) 272. p.41:1-41:14
Add to list
- Conference Paper
- C1
- open access
Multiverse debugging : non-deterministic debugging for non-deterministic programs

Carmen Torres Lopez, Robbert Gurdeep Singh, Stefan Marr, Elisa Gonzalez Boix and Christophe Scholliers (UGent)

(2019) 33rd European conference on object-oriented programming (ECOOP 2019). In Leibniz International Proceedings in Informatics (LIPIcs) 134. p.27:1-27:30
Add to list
- Conference Paper
- C1
- open access
Novel models for multi-scale spatial and temporal analyses

Yi Qiang, B Buttenfield, N Lam and Nico Van de Weghe (UGent)

(2018) Proceedings on the tenth international conference on Geographic Information Science (GIScience). In Leibniz International Proceedings in Informatics (LIPIcs) 114. p.55:1-55:7
Add to list
- Conference Paper
- C1
A decidable intuitionistic temporal logic

Joseph Boudou, Martín Diéguez and David Fernández-Duque (UGent)

(2017) Leibniz International Proceedings in Informatics (LIPIcs). 82.

Academic Bibliography

Exponential lower bounds on definable fixed points

Minimal obstructions to C₅-coloring in hereditary graph classes

B-move : faster bidirectional character extensions in a run-length compressed index

Relaxed core stability for hedonic games with size-dependent utilities

Multiverse debugging : non-deterministic debugging for non-deterministic programs

Novel models for multi-scale spatial and temporal analyses

A decidable intuitionistic temporal logic

Contents

Support

Contact