Monika Seisenberger

According to our database, Monika Seisenberger authored at least 29 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

QUCE: The Minimisation and Quantification of Path-Based Uncertainty for Generative Counterfactual Explanations.

Jamie Andrew Duell, Hsuan Fu, Monika Seisenberger, Xiuyi Fan

CoRR, 2024

2023

Concurrent Gaussian elimination.

Ulrich Berger, Monika Seisenberger, Dieter Spreen, Hideki Tsuiki

CoRR, 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

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2023

A Formal Introduction to Batch-Integrated Gradients for Temporal Explanations.

Jamie Andrew Duell, Monika Seisenberger, Tianlong Zhong, Hsuan Fu, Xiuyi Fan

Proceedings of the 35th IEEE International Conference on Tools with Artificial Intelligence, 2023

Counterfactual-Integrated Gradients: Counterfactual Feature Attribution for Medical Records.

Jamie Andrew Duell, Monika Seisenberger, Xiuyi Fan

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2023

Batch Integrated Gradients: Explanations for Temporal Electronic Health Records.

Jamie Andrew Duell, Xiuyi Fan, Hsuan Fu, Monika Seisenberger

Proceedings of the Artificial Intelligence in Medicine, 2023

2022

Report on BCTCS 2022.

Olga Petrovska, Monika Seisenberger

Bull. EATCS, 2022

On Understanding the Influence of Controllable Factors with a Feature Attribution Algorithm: a Medical Case Study.

Veera Raghava Reddy Kovvuri, Siyuan Liu, Monika Seisenberger, Berndt Müller, Xiuyi Fan

CoRR, 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, Anne E. Haxthausen, Phillip James, Andrew Lawrence, Bas Luttik, Jaco van de Pol, Simon Wimmer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Towards Polynomial Adaptive Local Explanations for Healthcare Classifiers.

Jamie Andrew Duell, Xiuyi Fan, Monika Seisenberger

Proceedings of the Foundations of Intelligent Systems - 26th International Symposium, 2022

On Understanding the Influence of Controllable Factors with a Feature Attribution Algorithm: a Medical Case Study.

Veera Raghava Reddy Kovvuri, Siyuan Liu, Monika Seisenberger, Xiuyi Fan, Berndt Müller, Hsuan Fu

Proceedings of the International Conference on INnovations in Intelligent SysTems and Applications, 2022

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

Adaptive Neighbourhoods for the Discovery of Adversarial Examples.

Jay Paul Morgan, Adeline Paiement, Arno Pauly, Monika Seisenberger

CoRR, 2021

2019

Program extraction applied to monadic parsing.

Ulrich Berger, Alison Jones, Monika Seisenberger

J. Log. Comput., 2019

2018

Verification of the European Rail Traffic Management System in Real-Time Maude.

Ulrich Berger, Phillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger

Sci. Comput. Program., 2018

A Chatbot Framework for the Children's Legal Centre.

Jay Paul Morgan, Adeline Paiement, Monika Seisenberger, Jane Williams, Adam Wyner

Proceedings of the Legal Knowledge and Information Systems, 2018

2017

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

2016

Well Quasi-Orders in Computer Science (Dagstuhl Seminar 16031).

Jean Goubault-Larrecq, Monika Seisenberger, Victor L. Selivanov, Andreas Weiermann

Dagstuhl Reports, 2016

2015

Extracting verified decision procedures: DPLL and Resolution.

Ulrich Berger, Andrew Lawrence, Fredrik Nordvall Forsberg, Monika Seisenberger

Log. Methods Comput. Sci., 2015

Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude.

Phillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger

Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

2013

Extracting Imperative Programs from Proofs: In-place Quicksort.

Ulrich Berger, Monika Seisenberger, Gregory J. M. Woods

Proceedings of the 19th International Conference on Types for Proofs and Programs, 2013

Verification of Solid State Interlocking Programs.

Phillip James, Andy Lawrence, Faron Moller, Markus Roggenbach, Monika Seisenberger, Anton Setzer, Karim Kanso, Simon Chadwick

Proceedings of the Software Engineering and Formal Methods, 2013

2012

Proofs, Programs, Processes.

Ulrich Berger, Monika Seisenberger

Theory Comput. Syst., 2012

Extracting a DPLL Algorithm.

Andrew Lawrence, Ulrich Berger, Monika Seisenberger

Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012

2011

Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras.

Ulrich Berger, Kenji Miyamoto, Helmut Schwichtenberg, Monika Seisenberger

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2008

Programs from proofs using classical dependent choice.

Monika Seisenberger

Ann. Pure Appl. Log., 2008

2005

Applications of inductive definitions and choice principles to program synthesis.

Ulrich Berger, Monika Seisenberger

Proceedings of the From sets and types to topology and analysis, 2005

2001

The Warshall Algorithm and Dickson's Lemma: Two Examples of Realistic Program Extraction.

Ulrich Berger, Helmut Schwichtenberg, Monika Seisenberger

J. Autom. Reason., 2001

2000

An Inductive Version of Nash-Williams' Minimal-Bad-Sequence Argument for Higman's Lemma.

Monika Seisenberger

Proceedings of the Types for Proofs and Programs, International Workshop, 2000