An Inductive Version of Nash-Williams' Minimal-Bad-Sequence Argument for Higman's Lemma. - Monika Seisenberger (TYPES, 2000)

The Warshall Algorithm and Dickson's Lemma: Two Examples of Realistic Program Extraction. - Ulrich Berger 001; Helmut Schwichtenberg; Monika Seisenberger (J. Autom. Reason., 2001)

Applications of inductive definitions and choice principles to program synthesis. - Ulrich Berger 001; Monika Seisenberger (From sets and types to topology and analysis, 2005)

Programs from proofs using classical dependent choice. - Monika Seisenberger (Ann. Pure Appl. Log., 2008)

Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras. - Ulrich Berger 001; Kenji Miyamoto; Helmut Schwichtenberg; Monika Seisenberger (CALCO, 2011)

Extracting a DPLL Algorithm. - Andrew Lawrence; Ulrich Berger 001; Monika Seisenberger (MFPS, 2012)

Proofs, Programs, Processes. - Ulrich Berger 001; Monika Seisenberger (Theory Comput. Syst., 2012)

Verification of Solid State Interlocking Programs. - Phillip James; Andy Lawrence; Faron Moller; Markus Roggenbach; Monika Seisenberger; Anton Setzer; Karim Kanso; Simon Chadwick (SEFM Workshops, 2013)

Extracting Imperative Programs from Proofs: In-place Quicksort. - Ulrich Berger 001; Monika Seisenberger; Gregory J. M. Woods (TYPES, 2013)

Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude. - Phillip James; Andrew Lawrence; Markus Roggenbach; Monika Seisenberger (FTSCS, 2015)

Extracting verified decision procedures: DPLL and Resolution. - Ulrich Berger 001; Andrew Lawrence; Fredrik Nordvall Forsberg; Monika Seisenberger (Log. Methods Comput. Sci., 2015)

Well Quasi-Orders in Computer Science (Dagstuhl Seminar 16031). - Jean Goubault-Larrecq; Monika Seisenberger; Victor L. Selivanov; Andreas Weiermann (Dagstuhl Reports, 2016)

Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2013. - Hajime Ishihara; Margarita V. Korovina; Arno Pauly; Monika Seisenberger; Dieter Spreen (Math. Struct. Comput. Sci., 2017)

A Chatbot Framework for the Children's Legal Centre. - Jay Paul Morgan; Adeline Paiement; Monika Seisenberger; Jane Williams; Adam Wyner 001 (JURIX, 2018)

Verification of the European Rail Traffic Management System in Real-Time Maude. - Ulrich Berger 001; Phillip James; Andrew Lawrence; Markus Roggenbach; Monika Seisenberger (Sci. Comput. Program., 2018)

Program extraction applied to monadic parsing. - Ulrich Berger 001; Alison Jones; Monika Seisenberger (J. Log. Comput., 2019)

Adaptive Neighbourhoods for the Discovery of Adversarial Examples. - Jay Paul Morgan; Adeline Paiement; Arno Pauly; Monika Seisenberger (CoRR, 2021)

Towards a Shapley Value Graph Framework for Medical peer-influence. - Jamie Andrew Duell; Monika Seisenberger; Gert Aarts; Shang-Ming Zhou; Xiuyi Fan (CoRR, 2021)

On Understanding the Influence of Controllable Factors with a Feature Attribution Algorithm: a Medical Case Study. - Veera Raghava Reddy Kovvuri; Siyuan Liu 003; Monika Seisenberger; Xiuyi Fan; Berndt Müller; Hsuan Fu (INISTA, 2022)

Towards Polynomial Adaptive Local Explanations for Healthcare Classifiers. - Jamie Andrew Duell; Xiuyi Fan; Monika Seisenberger (ISMIS, 2022)

Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. - Monika Seisenberger; Maurice H. ter Beek; Xiuyi Fan; Alessio Ferrari 001; Anne E. Haxthausen; Phillip James; Andrew Lawrence; Bas Luttik; Jaco van de Pol; Simon Wimmer 001 (ISoLA (4), 2022)

On Understanding the Influence of Controllable Factors with a Feature Attribution Algorithm: a Medical Case Study. - Veera Raghava Reddy Kovvuri; Siyuan Liu 003; Monika Seisenberger; Berndt Müller; Xiuyi Fan (CoRR, 2022)

Report on BCTCS 2022. - Olga Petrovska; Monika Seisenberger (Bull. EATCS, 2022)

Batch Integrated Gradients: Explanations for Temporal Electronic Health Records. - Jamie Andrew Duell; Xiuyi Fan; Hsuan Fu; Monika Seisenberger (AIME, 2023)

Counterfactual-Integrated Gradients: Counterfactual Feature Attribution for Medical Records. - Jamie Andrew Duell; Monika Seisenberger; Xiuyi Fan (BIBM, 2023)

A Formal Introduction to Batch-Integrated Gradients for Temporal Explanations. - Jamie Andrew Duell; Monika Seisenberger; Tianlong Zhong; Hsuan Fu; Xiuyi Fan (ICTAI, 2023)

A Tool-Chain for the Verification of Geographic Scheme Data. - Madhusree Banerjee; Victor Cai; Sunitha Lakshmanappa; Andrew Lawrence; Markus Roggenbach; Monika Seisenberger; Thomas Werner (RSSRail, 2023)

Concurrent Gaussian elimination. - Ulrich Berger 001; Monika Seisenberger; Dieter Spreen; Hideki Tsuiki (CoRR, 2023)

QUCE: The Minimisation and Quantification of Path-Based Uncertainty for Generative Counterfactual Explanations. - Jamie Andrew Duell; Monika Seisenberger; Hsuan Fu; Xiuyi Fan (ICDM, 2024)

A Multi-Agent System for Optimal Train Scheduling in Single-Track Railways. - Raziyeh Moghaddas; Fabio Caraffini; Monika Seisenberger (EvoApplications (2), 2025)