Published in: LIPIcs, Volume 373, 5th Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2026)
Jessica Enright, Samuel D. Hand, Laura Larios-Jones, and Kitty Meeks. Families of Tractable Problems with Respect to Vertex-Interval-Membership Width and Its Generalisations. In 5th Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 373, pp. 4:1-4:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{enright_et_al:LIPIcs.SAND.2026.4,
author = {Enright, Jessica and Hand, Samuel D. and Larios-Jones, Laura and Meeks, Kitty},
title = {{Families of Tractable Problems with Respect to Vertex-Interval-Membership Width and Its Generalisations}},
booktitle = {5th Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2026)},
pages = {4:1--4:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-427-7},
ISSN = {1868-8969},
year = {2026},
volume = {373},
editor = {Mertzios, George B. and Richa, Andr\'{e}a W.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAND.2026.4},
URN = {urn:nbn:de:0030-drops-262386},
doi = {10.4230/LIPIcs.SAND.2026.4},
annote = {Keywords: Graph algorithms, Parameterized Algorithms, Temporal Graphs}
}
Published in: LIPIcs, Volume 373, 5th Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2026)
Michelle Döring, Jessica Enright, Laura Larios-Jones, and George Skretas. FO and MSO Model Checking on Temporal Graphs. In 5th Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 373, pp. 9:1-9:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{doring_et_al:LIPIcs.SAND.2026.9,
author = {D\"{o}ring, Michelle and Enright, Jessica and Larios-Jones, Laura and Skretas, George},
title = {{FO and MSO Model Checking on Temporal Graphs}},
booktitle = {5th Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2026)},
pages = {9:1--9:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-427-7},
ISSN = {1868-8969},
year = {2026},
volume = {373},
editor = {Mertzios, George B. and Richa, Andr\'{e}a W.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAND.2026.9},
URN = {urn:nbn:de:0030-drops-262430},
doi = {10.4230/LIPIcs.SAND.2026.9},
annote = {Keywords: temporal graphs, dynamic graphs, time-varying graphs, parameterized complexity, logic, meta-theorems, monadic second-order logic, first-order logic, treewidth, planar, nowhere dense, lifetime, temporal total degree, vertex-interval membership width, tree-interval membership width}
}
Published in: LIPIcs, Volume 373, 5th Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2026)
Jessica Enright, Thomas Erlebach, Kitty Meeks, and Nils Morawietz. Robust Temporal Cut. In 5th Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 373, pp. 14:1-14:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
@InProceedings{enright_et_al:LIPIcs.SAND.2026.14,
author = {Enright, Jessica and Erlebach, Thomas and Meeks, Kitty and Morawietz, Nils},
title = {{Robust Temporal Cut}},
booktitle = {5th Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2026)},
pages = {14:1--14:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-427-7},
ISSN = {1868-8969},
year = {2026},
volume = {373},
editor = {Mertzios, George B. and Richa, Andr\'{e}a W.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAND.2026.14},
URN = {urn:nbn:de:0030-drops-262480},
doi = {10.4230/LIPIcs.SAND.2026.14},
annote = {Keywords: temporal graphs, minimum cut, parameterized complexity, FPT algorithms}
}
Published in: LIPIcs, Volume 306, 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024)
Jessica Enright, Samuel D. Hand, Laura Larios-Jones, and Kitty Meeks. Structural Parameters for Dense Temporal Graphs. In 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 306, pp. 52:1-52:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{enright_et_al:LIPIcs.MFCS.2024.52,
author = {Enright, Jessica and Hand, Samuel D. and Larios-Jones, Laura and Meeks, Kitty},
title = {{Structural Parameters for Dense Temporal Graphs}},
booktitle = {49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024)},
pages = {52:1--52:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-335-5},
ISSN = {1868-8969},
year = {2024},
volume = {306},
editor = {Kr\'{a}lovi\v{c}, Rastislav and Ku\v{c}era, Anton{\'\i}n},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2024.52},
URN = {urn:nbn:de:0030-drops-206082},
doi = {10.4230/LIPIcs.MFCS.2024.52},
annote = {Keywords: Graph algorithms, Parameterized Algorithms, Temporal Graphs}
}
Published in: LIPIcs, Volume 254, 40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)
Jessica Enright, Kitty Meeks, and Hendrik Molter. Counting Temporal Paths. In 40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 254, pp. 30:1-30:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{enright_et_al:LIPIcs.STACS.2023.30,
author = {Enright, Jessica and Meeks, Kitty and Molter, Hendrik},
title = {{Counting Temporal Paths}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023)},
pages = {30:1--30:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-266-2},
ISSN = {1868-8969},
year = {2023},
volume = {254},
editor = {Berenbrink, Petra and Bouyer, Patricia and Dawar, Anuj and Kant\'{e}, Mamadou Moustapha},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.30},
URN = {urn:nbn:de:0030-drops-176829},
doi = {10.4230/LIPIcs.STACS.2023.30},
annote = {Keywords: Temporal Paths, Temporal Graphs, Parameterised Counting, Approximate Counting, #P-hard Counting Problems, Temporal Betweenness Centrality}
}
Published in: LIPIcs, Volume 226, 11th International Conference on Fun with Algorithms (FUN 2022)
Samuel D. Hand, Jessica Enright, and Kitty Meeks. Making Life More Confusing for Firefighters. In 11th International Conference on Fun with Algorithms (FUN 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 226, pp. 15:1-15:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{hand_et_al:LIPIcs.FUN.2022.15,
author = {Hand, Samuel D. and Enright, Jessica and Meeks, Kitty},
title = {{Making Life More Confusing for Firefighters}},
booktitle = {11th International Conference on Fun with Algorithms (FUN 2022)},
pages = {15:1--15:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-232-7},
ISSN = {1868-8969},
year = {2022},
volume = {226},
editor = {Fraigniaud, Pierre and Uno, Yushi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2022.15},
URN = {urn:nbn:de:0030-drops-159851},
doi = {10.4230/LIPIcs.FUN.2022.15},
annote = {Keywords: Temporal graphs, Spreading processes, Parameterised complexity}
}
Published in: LIPIcs, Volume 221, 1st Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2022)
Samuel D. Hand, Jessica Enright, and Kitty Meeks. Brief Announcement: The Temporal Firefighter Problem. In 1st Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 221, pp. 22:1-22:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{hand_et_al:LIPIcs.SAND.2022.22,
author = {Hand, Samuel D. and Enright, Jessica and Meeks, Kitty},
title = {{Brief Announcement: The Temporal Firefighter Problem}},
booktitle = {1st Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2022)},
pages = {22:1--22:3},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-224-2},
ISSN = {1868-8969},
year = {2022},
volume = {221},
editor = {Aspnes, James and Michail, Othon},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAND.2022.22},
URN = {urn:nbn:de:0030-drops-159644},
doi = {10.4230/LIPIcs.SAND.2022.22},
annote = {Keywords: Temporal graphs, Spreading processes, Parameterised complexity}
}
Published in: LIPIcs, Volume 138, 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)
Jessica Enright, Kitty Meeks, George B. Mertzios, and Viktor Zamaraev. Deleting Edges to Restrict the Size of an Epidemic in Temporal Networks. In 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 138, pp. 57:1-57:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{enright_et_al:LIPIcs.MFCS.2019.57,
author = {Enright, Jessica and Meeks, Kitty and Mertzios, George B. and Zamaraev, Viktor},
title = {{Deleting Edges to Restrict the Size of an Epidemic in Temporal Networks}},
booktitle = {44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)},
pages = {57:1--57:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-117-7},
ISSN = {1868-8969},
year = {2019},
volume = {138},
editor = {Rossmanith, Peter and Heggernes, Pinar and Katoen, Joost-Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.57},
URN = {urn:nbn:de:0030-drops-110010},
doi = {10.4230/LIPIcs.MFCS.2019.57},
annote = {Keywords: Temporal networks, spreading processes, graph modification, parameterised complexity}
}
Published in: LIPIcs, Volume 49, 8th International Conference on Fun with Algorithms (FUN 2016)
Jessica Enright and John D. Faben. Building a Better Mouse Maze. In 8th International Conference on Fun with Algorithms (FUN 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 49, pp. 15:1-15:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@InProceedings{enright_et_al:LIPIcs.FUN.2016.15,
author = {Enright, Jessica and Faben, John D.},
title = {{Building a Better Mouse Maze}},
booktitle = {8th International Conference on Fun with Algorithms (FUN 2016)},
pages = {15:1--15:12},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-005-7},
ISSN = {1868-8969},
year = {2016},
volume = {49},
editor = {Demaine, Erik D. and Grandoni, Fabrizio},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2016.15},
URN = {urn:nbn:de:0030-drops-58743},
doi = {10.4230/LIPIcs.FUN.2016.15},
annote = {Keywords: graph, evolutionary, genetic algorithm, traversal}
}