Monika Seisenberger

33 papers A* 1B 4C 4Journal 14Unranked 9
YearRankTypeTitle / Venue / Authors
2025 — conf
A Multi-Agent System for Optimal Train Scheduling in Single-Track Railways.
EvoApplications (2)
Raziyeh Moghaddas, Fabio Caraffini, Monika Seisenberger
2025 — conf
Creating Synthetic Test Data for Rail Design Tools - The Case of Linear Scheme Plans.
RSSRail
Marek T. Jezinski, Markus Roggenbach, Monika Seisenberger, Victor Cai, Fabio Caraffini
2024 A* conf
QUCE: The Minimisation and Quantification of Path-Based Uncertainty for Generative Counterfactual Explanations.
ICDM
Jamie Andrew Duell, Monika Seisenberger, Hsuan Fu, Xiuyi Fan
2024 J jnl
QUCE: The Minimisation and Quantification of Path-Based Uncertainty for Generative Counterfactual Explanations.
CoRR
Jamie Andrew Duell, Hsuan Fu, Monika Seisenberger, Xiuyi Fan
2023 B conf
A Formal Introduction to Batch-Integrated Gradients for Temporal Explanations.
ICTAI
Jamie Andrew Duell, Monika Seisenberger, Tianlong Zhong, Hsuan Fu, Xiuyi Fan
2023 — conf
A Tool-Chain for the Verification of Geographic Scheme Data.
RSSRail
Madhusree Banerjee, Victor Cai, Sunitha Lakshmanappa, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger, Thomas Werner
2023 B conf
Batch Integrated Gradients: Explanations for Temporal Electronic Health Records.
AIME
Jamie Andrew Duell, Xiuyi Fan, Hsuan Fu, Monika Seisenberger
2023 J jnl
Concurrent Gaussian elimination.
CoRR
Ulrich Berger, Monika Seisenberger, Dieter Spreen, Hideki Tsuiki
2023 — conf
Counterfactual-Integrated Gradients: Counterfactual Feature Attribution for Medical Records.
BIBM
Jamie Andrew Duell, Monika Seisenberger, Xiuyi Fan
2022 C conf
On Understanding the Influence of Controllable Factors with a Feature Attribution Algorithm: a Medical Case Study.
INISTA
Veera Raghava Reddy Kovvuri, Siyuan Liu, Monika Seisenberger, Xiuyi Fan, Berndt Müller, Hsuan Fu
2022 J jnl
On Understanding the Influence of Controllable Factors with a Feature Attribution Algorithm: a Medical Case Study.
CoRR
Veera Raghava Reddy Kovvuri, Siyuan Liu, Monika Seisenberger, Berndt Müller, Xiuyi Fan
2022 J jnl
Report on BCTCS 2022.
Bull. EATCS
Olga Petrovska, Monika Seisenberger
2022 — conf
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway.
ISoLA (4)
Monika Seisenberger, Maurice H. ter Beek, Xiuyi Fan, Alessio Ferrari, Anne E. Haxthausen, Phillip James, Andrew Lawrence, Bas Luttik, Jaco van de Pol, Simon Wimmer
2022 C conf
Towards Polynomial Adaptive Local Explanations for Healthcare Classifiers.
ISMIS
Jamie Andrew Duell, Xiuyi Fan, Monika Seisenberger
2021 J jnl
Adaptive Neighbourhoods for the Discovery of Adversarial Examples.
CoRR
Jay Paul Morgan, Adeline Paiement, Arno Pauly, Monika Seisenberger
2021 J jnl
Towards a Shapley Value Graph Framework for Medical peer-influence.
CoRR
Jamie Andrew Duell, Monika Seisenberger, Gert Aarts, Shang-Ming Zhou, Xiuyi Fan
2019 J jnl
Program extraction applied to monadic parsing.
J. Log. Comput.
Ulrich Berger, Alison Jones, Monika Seisenberger
2018 C conf
A Chatbot Framework for the Children's Legal Centre.
JURIX
Jay Paul Morgan, Adeline Paiement, Monika Seisenberger, Jane Williams, Adam Wyner
2018 J jnl
Verification of the European Rail Traffic Management System in Real-Time Maude.
Sci. Comput. Program.
Ulrich Berger, Phillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger
2017 J jnl
Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2013.
Math. Struct. Comput. Sci.
Hajime Ishihara, Margarita V. Korovina, Arno Pauly, Monika Seisenberger, Dieter Spreen
2016 J jnl
Well Quasi-Orders in Computer Science (Dagstuhl Seminar 16031).
Dagstuhl Reports
Jean Goubault-Larrecq, Monika Seisenberger, Victor L. Selivanov, Andreas Weiermann
2015 J jnl
Extracting verified decision procedures: DPLL and Resolution.
Log. Methods Comput. Sci.
Ulrich Berger, Andrew Lawrence, Fredrik Nordvall Forsberg, Monika Seisenberger
2015 — conf
Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude.
FTSCS
Phillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger
2013 — conf
Extracting Imperative Programs from Proofs: In-place Quicksort.
TYPES
Ulrich Berger, Monika Seisenberger, Gregory J. M. Woods
2013 — conf
Verification of Solid State Interlocking Programs.
SEFM Workshops
Phillip James, Andy Lawrence, Faron Moller, Markus Roggenbach, Monika Seisenberger, Anton Setzer, Karim Kanso, Simon Chadwick
2012 B conf
Extracting a DPLL Algorithm.
MFPS
Andrew Lawrence, Ulrich Berger, Monika Seisenberger
2012 J jnl
Proofs, Programs, Processes.
Theory Comput. Syst.
Ulrich Berger, Monika Seisenberger
2011 B conf
Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras.
CALCO
Ulrich Berger, Kenji Miyamoto, Helmut Schwichtenberg, Monika Seisenberger
2010 C conf
Proofs, Programs, Processes.
CiE
Ulrich Berger, Monika Seisenberger
2008 J jnl
Programs from proofs using classical dependent choice.
Ann. Pure Appl. Log.
Monika Seisenberger
2005 — ch.
Applications of inductive definitions and choice principles to program synthesis.
From sets and types to topology and analysis
Ulrich Berger, Monika Seisenberger
2001 J jnl
The Warshall Algorithm and Dickson's Lemma: Two Examples of Realistic Program Extraction.
J. Autom. Reason.
Ulrich Berger, Helmut Schwichtenberg, Monika Seisenberger
2000 — conf
An Inductive Version of Nash-Williams' Minimal-Bad-Sequence Argument for Higman's Lemma.
TYPES
Monika Seisenberger