Published in: LIPIcs, Volume 371, 24th International Symposium on Experimental Algorithms (SEA 2026)
Ragnar Groot Koerkamp. QuadRank: Engineering a High Throughput Rank. In 24th International Symposium on Experimental Algorithms (SEA 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 371, pp. 20:1-20:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{grootkoerkamp:LIPIcs.SEA.2026.20,
author = {Groot Koerkamp, Ragnar},
title = {{QuadRank: Engineering a High Throughput Rank}},
booktitle = {24th International Symposium on Experimental Algorithms (SEA 2026)},
pages = {20:1--20:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-422-2},
ISSN = {1868-8969},
year = {2026},
volume = {371},
editor = {Aum\"{u}ller, Martin and Finocchi, Irene},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SEA.2026.20},
URN = {urn:nbn:de:0030-drops-260248},
doi = {10.4230/LIPIcs.SEA.2026.20},
annote = {Keywords: Rank, Succinct Data Structures, Cache Performance, Prefetching}
}
Published in: OASIcs, Volume 136, 36th International Conference on Principles of Diagnosis and Resilient Systems (DX 2025)
Roxane Koitz-Hristov, Liliana Marie Prikler, and Franz Wotawa. Beyond Static Diagnosis: A Temporal ASP Framework for HVAC Fault Detection. In 36th International Conference on Principles of Diagnosis and Resilient Systems (DX 2025). Open Access Series in Informatics (OASIcs), Volume 136, pp. 1:1-1:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{koitzhristov_et_al:OASIcs.DX.2025.1,
author = {Koitz-Hristov, Roxane and Prikler, Liliana Marie and Wotawa, Franz},
title = {{Beyond Static Diagnosis: A Temporal ASP Framework for HVAC Fault Detection}},
booktitle = {36th International Conference on Principles of Diagnosis and Resilient Systems (DX 2025)},
pages = {1:1--1:20},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-394-2},
ISSN = {2190-6807},
year = {2025},
volume = {136},
editor = {Quinones-Grueiro, Marcos and Biswas, Gautam and Pill, Ingo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.DX.2025.1},
URN = {urn:nbn:de:0030-drops-247901},
doi = {10.4230/OASIcs.DX.2025.1},
annote = {Keywords: Model-based diagnosis, Answer set programming, HVAC, Modeling for diagnosis, Experimental evaluation}
}
Published in: OASIcs, Volume 136, 36th International Conference on Principles of Diagnosis and Resilient Systems (DX 2025)
Kélian Poujade, Louise Travé-Massuyès, Jérémy Pirard, and Laure Vieillevigne. Unsupervised Multimodal Learning for Fault Diagnosis and Prognosis - Application to Radiotherapy Systems (PhD Panel). In 36th International Conference on Principles of Diagnosis and Resilient Systems (DX 2025). Open Access Series in Informatics (OASIcs), Volume 136, pp. 16:1-16:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{poujade_et_al:OASIcs.DX.2025.16,
author = {Poujade, K\'{e}lian and Trav\'{e}-Massuy\`{e}s, Louise and Pirard, J\'{e}r\'{e}my and Vieillevigne, Laure},
title = {{Unsupervised Multimodal Learning for Fault Diagnosis and Prognosis - Application to Radiotherapy Systems}},
booktitle = {36th International Conference on Principles of Diagnosis and Resilient Systems (DX 2025)},
pages = {16:1--16:17},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-394-2},
ISSN = {2190-6807},
year = {2025},
volume = {136},
editor = {Quinones-Grueiro, Marcos and Biswas, Gautam and Pill, Ingo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.DX.2025.16},
URN = {urn:nbn:de:0030-drops-248058},
doi = {10.4230/OASIcs.DX.2025.16},
annote = {Keywords: Artificial Intelligence, Diagnosis, Prognosis, Radiotherapy machines}
}
Published in: LIPIcs, Volume 354, 7th Conference on Advances in Financial Technologies (AFT 2025)
Liangcheng Yu, Prateesh Goyal, Ilias Marinos, and Vincent Liu. Cuttlefish: A Fair, Predictable Execution Environment for Cloud-Hosted Financial Exchanges. In 7th Conference on Advances in Financial Technologies (AFT 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 354, pp. 33:1-33:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{yu_et_al:LIPIcs.AFT.2025.33,
author = {Yu, Liangcheng and Goyal, Prateesh and Marinos, Ilias and Liu, Vincent},
title = {{Cuttlefish: A Fair, Predictable Execution Environment for Cloud-Hosted Financial Exchanges}},
booktitle = {7th Conference on Advances in Financial Technologies (AFT 2025)},
pages = {33:1--33:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-400-0},
ISSN = {1868-8969},
year = {2025},
volume = {354},
editor = {Avarikioti, Zeta and Christin, Nicolas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.AFT.2025.33},
URN = {urn:nbn:de:0030-drops-247521},
doi = {10.4230/LIPIcs.AFT.2025.33},
annote = {Keywords: Cloud-hosted exchanges, Financial exchanges, Computation and communication variances, Virtual time overlay}
}
Published in: OASIcs, Volume 130, Advancing Human-Computer Interaction for Space Exploration (SpaceCHI 2025)
David Andrew Green. Movement in Low Gravity (MoLo) – LUNA: Biomechanical Modelling to Mitigate Lunar Surface Operation Risks. In Advancing Human-Computer Interaction for Space Exploration (SpaceCHI 2025). Open Access Series in Informatics (OASIcs), Volume 130, pp. 26:1-26:11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{green:OASIcs.SpaceCHI.2025.26,
author = {Green, David Andrew},
title = {{Movement in Low Gravity (MoLo) – LUNA: Biomechanical Modelling to Mitigate Lunar Surface Operation Risks}},
booktitle = {Advancing Human-Computer Interaction for Space Exploration (SpaceCHI 2025)},
pages = {26:1--26:11},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-384-3},
ISSN = {2190-6807},
year = {2025},
volume = {130},
editor = {Bensch, Leonie and Nilsson, Tommy and Nisser, Martin and Pataranutaporn, Pat and Schmidt, Albrecht and Sumini, Valentina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SpaceCHI.2025.26},
URN = {urn:nbn:de:0030-drops-240166},
doi = {10.4230/OASIcs.SpaceCHI.2025.26},
annote = {Keywords: Locomotion, hypogravity, modelling, Lunar}
}
Published in: LIPIcs, Volume 344, 25th International Conference on Algorithms for Bioinformatics (WABI 2025)
Haonan Wu, Antonio Blanca, and Paul Medvedev. A k-mer-Based Estimator of the Substitution Rate Between Repetitive Sequences. In 25th International Conference on Algorithms for Bioinformatics (WABI 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 344, pp. 20:1-20:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{wu_et_al:LIPIcs.WABI.2025.20,
author = {Wu, Haonan and Blanca, Antonio and Medvedev, Paul},
title = {{A k-mer-Based Estimator of the Substitution Rate Between Repetitive Sequences}},
booktitle = {25th International Conference on Algorithms for Bioinformatics (WABI 2025)},
pages = {20:1--20:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-386-7},
ISSN = {1868-8969},
year = {2025},
volume = {344},
editor = {Brejov\'{a}, Bro\v{n}a and Patro, Rob},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.WABI.2025.20},
URN = {urn:nbn:de:0030-drops-239465},
doi = {10.4230/LIPIcs.WABI.2025.20},
annote = {Keywords: k-mers, sketching, mutation rates}
}
Published in: LIPIcs, Volume 338, 23rd International Symposium on Experimental Algorithms (SEA 2025)
Ragnar Groot Koerkamp and Igor Martayan. SimdMinimizers: Computing Random Minimizers, fast. In 23rd International Symposium on Experimental Algorithms (SEA 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 338, pp. 20:1-20:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{grootkoerkamp_et_al:LIPIcs.SEA.2025.20,
author = {Groot Koerkamp, Ragnar and Martayan, Igor},
title = {{SimdMinimizers: Computing Random Minimizers, fast}},
booktitle = {23rd International Symposium on Experimental Algorithms (SEA 2025)},
pages = {20:1--20:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-375-1},
ISSN = {1868-8969},
year = {2025},
volume = {338},
editor = {Mutzel, Petra and Prezza, Nicola},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SEA.2025.20},
URN = {urn:nbn:de:0030-drops-232581},
doi = {10.4230/LIPIcs.SEA.2025.20},
annote = {Keywords: Minimizers, Randomized algorithms, Sketching, Hashing}
}
Published in: TGDK, Volume 1, Issue 1 (2023): Special Issue on Trends in Graph Data and Knowledge. Transactions on Graph Data and Knowledge, Volume 1, Issue 1
Jiaoyan Chen, Hang Dong, Janna Hastings, Ernesto Jiménez-Ruiz, Vanessa López, Pierre Monnin, Catia Pesquita, Petr Škoda, and Valentina Tamma. Knowledge Graphs for the Life Sciences: Recent Developments, Challenges and Opportunities. In Special Issue on Trends in Graph Data and Knowledge. Transactions on Graph Data and Knowledge (TGDK), Volume 1, Issue 1, pp. 5:1-5:33, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@Article{chen_et_al:TGDK.1.1.5,
author = {Chen, Jiaoyan and Dong, Hang and Hastings, Janna and Jim\'{e}nez-Ruiz, Ernesto and L\'{o}pez, Vanessa and Monnin, Pierre and Pesquita, Catia and \v{S}koda, Petr and Tamma, Valentina},
title = {{Knowledge Graphs for the Life Sciences: Recent Developments, Challenges and Opportunities}},
journal = {Transactions on Graph Data and Knowledge},
pages = {5:1--5:33},
year = {2023},
volume = {1},
number = {1},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/TGDK.1.1.5},
URN = {urn:nbn:de:0030-drops-194791},
doi = {10.4230/TGDK.1.1.5},
annote = {Keywords: Knowledge graphs, Life science, Knowledge discovery, Explainable AI}
}
Published in: OASIcs, Volume 41, 2014 Workshop on Computational Models of Narrative
Brian O'Neill and Mark Riedl. Applying Qualitative Research Methods to Narrative Knowledge Engineering. In 2014 Workshop on Computational Models of Narrative. Open Access Series in Informatics (OASIcs), Volume 41, pp. 139-153, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@InProceedings{oneill_et_al:OASIcs.CMN.2014.139,
author = {O'Neill, Brian and Riedl, Mark},
title = {{Applying Qualitative Research Methods to Narrative Knowledge Engineering}},
booktitle = {2014 Workshop on Computational Models of Narrative},
pages = {139--153},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-71-2},
ISSN = {2190-6807},
year = {2014},
volume = {41},
editor = {Finlayson, Mark A. and Meister, Jan Christoph and Bruneau, Emile G.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.CMN.2014.139},
URN = {urn:nbn:de:0030-drops-46528},
doi = {10.4230/OASIcs.CMN.2014.139},
annote = {Keywords: narrative intelligence, qualitative methods, coding, knowledge engineering}
}