A Multi-Agent System for Optimal Train Scheduling in Single-Track Railways.

Monika Seisenberger Swansea University, UK https://orcid.org/0000-0002-2226-386X Raziyeh Moghaddas Fabio Caraffini Monika Seisenberger A Multi-Agent System for Optimal Train Scheduling in Single-Track Railways. 320-333 2025 EvoApplications (2) https://doi.org/10.1007/978-3-031-90065-5_20 conf/evoapps/2025-2 db/conf/evoapps/evoapps2025-2.html#MoghaddasCS25 streams/conf/evoapps Marek T. Jezinski Markus Roggenbach Monika Seisenberger Victor Cai Fabio Caraffini Creating Synthetic Test Data for Rail Design Tools - The Case of Linear Scheme Plans. 78-87 2025 RSSRail https://doi.org/10.1007/978-3-032-10762-6_8 conf/rssrail/2025 db/conf/rssrail/rssrail2025.html#JezinskiRSCC25 streams/conf/rssrail Jamie Andrew Duell Monika Seisenberger Hsuan Fu Xiuyi Fan QUCE: The Minimisation and Quantification of Path-Based Uncertainty for Generative Counterfactual Explanations. 693-698 2024 ICDM https://doi.org/10.1109/ICDM59182.2024.00078 conf/icdm/2024 db/conf/icdm/icdm2024.html#DuellSFF24

Jamie Andrew Duell Hsuan Fu Monika Seisenberger Xiuyi Fan QUCE: The Minimisation and Quantification of Path-Based Uncertainty for Generative Counterfactual Explanations. 2024 abs/2402.17516 CoRR https://doi.org/10.48550/arXiv.2402.17516 db/journals/corr/corr2402.html#abs-2402-17516

Jamie Andrew Duell Xiuyi Fan Hsuan Fu Monika Seisenberger Batch Integrated Gradients: Explanations for Temporal Electronic Health Records. 120-124 2023 AIME https://doi.org/10.1007/978-3-031-34344-5_15 conf/aime/2023 db/conf/aime/aime2023.html#DuellFFS23 Jamie Andrew Duell Monika Seisenberger Xiuyi Fan Counterfactual-Integrated Gradients: Counterfactual Feature Attribution for Medical Records. 2975-2982 2023 BIBM https://doi.org/10.1109/BIBM58861.2023.10385466 conf/bibm/2023 db/conf/bibm/bibm2023.html#DuellSF23 Jamie Andrew Duell Monika Seisenberger Tianlong Zhong Hsuan Fu Xiuyi Fan A Formal Introduction to Batch-Integrated Gradients for Temporal Explanations. 452-459 2023 ICTAI https://doi.org/10.1109/ICTAI59109.2023.00072 conf/ictai/2023 db/conf/ictai/ictai2023.html#DuellSZFF23 Madhusree Banerjee Victor Cai Sunitha Lakshmanappa Andrew Lawrence Markus Roggenbach Monika Seisenberger Thomas Werner A Tool-Chain for the Verification of Geographic Scheme Data. 211-224 2023 RSSRail https://doi.org/10.1007/978-3-031-43366-5_13 conf/rssrail/2023 db/conf/rssrail/rssrail2023.html#BanerjeeCLLRSW23

Ulrich Berger 0001 Monika Seisenberger Dieter Spreen Hideki Tsuiki Concurrent Gaussian elimination. 2023 abs/2305.10125 CoRR https://doi.org/10.48550/arXiv.2305.10125 db/journals/corr/corr2305.html#abs-2305-10125

Olga Petrovska Monika Seisenberger Report on BCTCS 2022. 2022 137 Bull. EATCS http://bulletin.eatcs.org/index.php/beatcs/article/view/695 db/journals/eatcs/eatcs137.html#PetrovskaS22

Veera Raghava Reddy Kovvuri Siyuan Liu 0003 Monika Seisenberger Xiuyi Fan Berndt Müller Hsuan Fu On Understanding the Influence of Controllable Factors with a Feature Attribution Algorithm: a Medical Case Study. 1-8 2022 INISTA https://doi.org/10.1109/INISTA55318.2022.9894147 conf/inista/2022 db/conf/inista/inista2022.html#KovvuriLSFMF22 Jamie Andrew Duell Xiuyi Fan Monika Seisenberger Towards Polynomial Adaptive Local Explanations for Healthcare Classifiers. 411-420 2022 ISMIS https://doi.org/10.1007/978-3-031-16564-1_39 conf/ismis/2022 db/conf/ismis/ismis2022.html#DuellFS22 Monika Seisenberger Maurice H. ter Beek Xiuyi Fan Alessio Ferrari 0001 Anne E. Haxthausen Phillip James Andrew Lawrence Bas Luttik Jaco van de Pol Simon Wimmer 0001 Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. 246-268 2022 ISoLA (4) https://doi.org/10.1007/978-3-031-19762-8_20 conf/isola/2022-4 db/conf/isola/isola2022-4.html#SeisenbergerBFF22

Veera Raghava Reddy Kovvuri Siyuan Liu 0003 Monika Seisenberger Berndt Müller Xiuyi Fan On Understanding the Influence of Controllable Factors with a Feature Attribution Algorithm: a Medical Case Study. 2022 abs/2203.12701 CoRR https://doi.org/10.48550/arXiv.2203.12701 db/journals/corr/corr2203.html#abs-2203-12701

Jay Paul Morgan Adeline Paiement Arno Pauly Monika Seisenberger Adaptive Neighbourhoods for the Discovery of Adversarial Examples. 2021 abs/2101.09108 CoRR https://arxiv.org/abs/2101.09108 db/journals/corr/corr2101.html#abs-2101-09108

Jamie Andrew Duell Monika Seisenberger Gert Aarts Shang-Ming Zhou Xiuyi Fan Towards a Shapley Value Graph Framework for Medical peer-influence. 2021 abs/2112.14624 CoRR https://arxiv.org/abs/2112.14624 db/journals/corr/corr2112.html#abs-2112-14624

Ulrich Berger 0001 Alison Jones Monika Seisenberger Program extraction applied to monadic parsing. 487-518 2019 29 J. Log. Comput. 4 https://doi.org/10.1093/logcom/exv078 db/journals/logcom/logcom29.html#BergerJS19

Ulrich Berger 0001 Phillip James Andrew Lawrence Markus Roggenbach Monika Seisenberger Verification of the European Rail Traffic Management System in Real-Time Maude. 61-88 2018 154 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2017.10.011 db/journals/scp/scp154.html#BergerJLRS18

Jay Paul Morgan Adeline Paiement Monika Seisenberger Jane Williams Adam Wyner 0001 A Chatbot Framework for the Children's Legal Centre. 205-209 2018 JURIX https://doi.org/10.3233/978-1-61499-935-5-205 conf/jurix/2018 db/conf/jurix/jurix2018.html#MorganPSWW18

Hajime Ishihara Margarita V. Korovina Arno Pauly Monika Seisenberger Dieter Spreen Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2013. 1285-1286 2017 27 Math. Struct. Comput. Sci. 8 https://doi.org/10.1017/S0960129516000086 db/journals/mscs/mscs27.html#IshiharaKPSS17

Jean Goubault-Larrecq Monika Seisenberger Victor L. Selivanov Andreas Weiermann Well Quasi-Orders in Computer Science (Dagstuhl Seminar 16031). 69-98 2016 6 Dagstuhl Reports 1 https://doi.org/10.4230/DagRep.6.1.69 db/journals/dagstuhl-reports/dagstuhl-reports6.html#Goubault-Larrecq16

Ulrich Berger 0001 Andrew Lawrence Fredrik Nordvall Forsberg Monika Seisenberger Extracting verified decision procedures: DPLL and Resolution. 2015 11 1 Log. Methods Comput. Sci. https://doi.org/10.2168/LMCS-11(1:6)2015 http://arxiv.org/abs/1502.02131 db/journals/lmcs/lmcs11.html#BergerLFS15

Phillip James Andrew Lawrence Markus Roggenbach Monika Seisenberger Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude. 103-120 2015 FTSCS https://doi.org/10.1007/978-3-319-29510-7_6 conf/ftscs/2015 db/conf/ftscs/ftscs2015.html#JamesLRS15 Phillip James Andy Lawrence Faron Moller Markus Roggenbach Monika Seisenberger Anton Setzer Karim Kanso Simon Chadwick Verification of Solid State Interlocking Programs. 253-268 2013 SEFM Workshops https://doi.org/10.1007/978-3-319-05032-4_19 https://www.wikidata.org/entity/Q59556887 conf/sefm/2013w db/conf/sefm/sefm2013w.html#JamesLMRSSKC13 Ulrich Berger 0001 Monika Seisenberger Gregory J. M. Woods Extracting Imperative Programs from Proofs: In-place Quicksort. 84-106 2013 TYPES https://doi.org/10.4230/LIPIcs.TYPES.2013.84 conf/types/2013 db/conf/types/types2013.html#BergerSW13

Ulrich Berger 0001 Monika Seisenberger Proofs, Programs, Processes. 313-329 2012 51 Theory Comput. Syst. 3 https://doi.org/10.1007/s00224-011-9325-8 db/journals/mst/mst51.html#BergerS12

Andrew Lawrence Ulrich Berger 0001 Monika Seisenberger Extracting a DPLL Algorithm. 243-256 2012 conf/mfps/2012 MFPS https://doi.org/10.1016/j.entcs.2012.08.016 https://www.wikidata.org/entity/Q113318074 db/journals/entcs/entcs286.html#LawrenceBS12 Ulrich Berger 0001 Kenji Miyamoto Helmut Schwichtenberg Monika Seisenberger Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras. 393-399 2011 CALCO https://doi.org/10.1007/978-3-642-22944-2_29 conf/calco/2011 db/conf/calco/calco2011.html#BergerMSS11 Ulrich Berger 0001 Monika Seisenberger Proofs, Programs, Processes. 39-48 2010 CiE https://doi.org/10.1007/978-3-642-13962-8_5 conf/cie/2010 db/conf/cie/cie2010.html#BergerS10

Monika Seisenberger Programs from proofs using classical dependent choice. 97-110 2008 153 Ann. Pure Appl. Log. 1-3 https://doi.org/10.1016/j.apal.2008.01.004 db/journals/apal/apal153.html#Seisenberger08

Ulrich Berger 0001 Monika Seisenberger Applications of inductive definitions and choice principles to program synthesis. 2005 From sets and types to topology and analysis books/ox/05/CS2005 db/books/collections/CS2005.html#0001S05

Ulrich Berger 0001 Helmut Schwichtenberg Monika Seisenberger The Warshall Algorithm and Dickson's Lemma: Two Examples of Realistic Program Extraction. 205-221 2001 26 J. Autom. Reason. 2 db/journals/jar/jar26.html#BergerSS01 https://doi.org/10.1023/A:1026748613865

Monika Seisenberger An Inductive Version of Nash-Williams' Minimal-Bad-Sequence Argument for Higman's Lemma. 233-242 2000 conf/types/2000 TYPES https://doi.org/10.1007/3-540-45842-5_15 db/conf/types/types2000.html#Seisenberger00 Gert Aarts Madhusree Banerjee Maurice H. ter Beek Ulrich Berger 0001 Victor Cai Fabio Caraffini Simon Chadwick Jamie Andrew Duell Xiuyi Fan Alessio Ferrari 0001 Fredrik Nordvall Forsberg Hsuan Fu Jean Goubault-Larrecq Anne E. Haxthausen Hajime Ishihara Phillip James Marek T. Jezinski Alison Jones Karim Kanso Margarita V. Korovina Veera Raghava Reddy Kovvuri Sunitha Lakshmanappa Andrew Lawrence Andy Lawrence Siyuan Liu 0003 Bas Luttik Kenji Miyamoto Raziyeh Moghaddas Faron Moller Jay Paul Morgan Berndt Müller Adeline Paiement Arno Pauly Olga Petrovska Jaco van de Pol Markus Roggenbach Helmut Schwichtenberg Victor L. Selivanov Anton Setzer Dieter Spreen Hideki Tsuiki Andreas Weiermann Thomas Werner Jane Williams Simon Wimmer 0001 Gregory J. M. Woods Adam Z. WynerAdam Wyner 0001 Tianlong Zhong Shang-Ming Zhou