Get started
Author

Monika Seisenberger

Observed names: MONIKA SEISENBERGER, Seisenberger Monika, Seisenberger, Monika
Institution: Swansea University
ORCID: 0000-0002-2226-386X
Observed ORCID: 0000-0002-2226-386X
OpenAlex ID: A5055121943
Verification of the European Rail Traffic Management System in Real-Time Maude
2017 · Ulrich Berger, Phillip James, et al. · Science of Computer Programming · 41
PDF
Extracting verified decision procedures: DPLL and Resolution
2015 · Ulrich Berger, Andrew Lawrence, et al. · Logical Methods in Computer Science · 37
PDF
Verification of Solid State Interlocking Programs
2014 · Phillip James, Andy Lawrence, et al. · Lecture notes in computer science · 36
The Warshall Algorithm and Dickson's Lemma: Two Examples of Realistic Program Extraction
2001 · Ulrich Berger, Helmut Schwichtenberg, et al. · Journal of Automated Reasoning · 31
Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras
2011 · Ulrich Berger, Kenji Miyamoto, et al. · Lecture notes in computer science · 27
Proofs, Programs, Processes
2011 · Ulrich Berger, Monika Seisenberger · Theory of Computing Systems · 26
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway
2022 · Monika Seisenberger, Maurice H. ter Beek, et al. · Lecture notes in computer science · 20
Logic, Construction, Computation
2012 · Ulrich Berger, Hannes Diener, et al. · De Gruyter eBooks · 19
On the Constructive Content of Proofs
2003 · Seisenberger, Monika · Elektronische Hochschulschriften der LMU München (Ludwig-Maximilians-Universität München) · 19
PDF
Fund performance evaluation with explainable artificial intelligence
2023 · Veera Raghava Reddy Kovvuri, Hsuan Fu, et al. · Finance research letters · 18
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
2020 · Schuster, Peter M., Seisenberger, Monika, et al. · Trends in logic · 13
PDF
Proofs, Programs, Processes
2010 · Ulrich Berger, Monika Seisenberger · Lecture notes in computer science · 11
An Inductive Version of Nash-Williams’ Minimal-Bad-Sequence Argument for Higman’s Lemma
2002 · Monika Seisenberger · Lecture notes in computer science · 11
On Understanding the Influence of Controllable Factors with a Feature Attribution Algorithm: a Medical Case Study
2022 · Veera Raghava Reddy Kovvuri, Siyuan Liu, et al. · International Conference on Innovations in Intelligent Systems and Applications (INISTA) · 8
PDF
A Chatbot Framework for the Children's Legal Centre
2018 · Morgan Jay, Paiement Adeline, et al. · Frontiers in artificial intelligence and applications · 8
Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude
2016 · Phillip James, Andrew Lawrence, et al. · Communications in computer and information science · 8
Programs from proofs using classical dependent choice
2008 · Monika Seisenberger · Annals of Pure and Applied Logic · 8
PDF
Applications of Inductive Definitions and Choice Principles to Program Synthesis
2005 · Ulrich Berger, Monika Seisenberger · Oxford University Press eBooks · 8
QUCE: The Minimisation and Quantification of Path-Based Uncertainty for Generative Counterfactual Explanations
2024 · Jamie Duell, Monika Seisenberger, et al. · Proceedings · 7
PDF
Batch Integrated Gradients: Explanations for Temporal Electronic Health Records
2023 · Jamie Duell, Xiuyi Fan, et al. · Lecture notes in computer science · 7
Counterfactual-Integrated Gradients: Counterfactual Feature Attribution for Medical Records
2023 · Jamie Duell, Monika Seisenberger, et al. · IEEE International Conference on Bioinformatics and Biomedicine (BIBM) · 6
Kruskal’s Tree Theorem in a Constructive Theory of Inductive Definitions
2001 · Monika Seisenberger · Springer eBooks · 6
A Tool-Chain for the Verification of Geographic Scheme Data
2023 · Madhusree Banerjee, Victor Cai, et al. · Lecture notes in computer science · 5
Well Quasi-Orders in Computer Science (Dagstuhl Seminar 16031)
2016 · Goubault-Larrecq, Jean, Seisenberger, Monika, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 5
PDF
A Formal Introduction to Batch-Integrated Gradients for Temporal Explanations
2023 · Jamie Duell, Monika Seisenberger, et al. · IEEE International Conference on Tools with Artificial Intelligence (ICTAI) · 4
Works count: 56
Citation count: 420
H-index: 11
I10-index: 13
Year
Topic
Type