Monika Seisenberger
Orcid: 000000022226386XAffiliations:
 Swansea University, UK
According to our database^{1},
Monika Seisenberger
authored at least 29 papers
between 2000 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on orcid.org
On csauthors.net:
Bibliography
2024
QUCE: The Minimisation and Quantification of PathBased Uncertainty for Generative Counterfactual Explanations.
CoRR, 2024
2023
CoRR, 2023
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2023
Proceedings of the 35th IEEE International Conference on Tools with Artificial Intelligence, 2023
CounterfactualIntegrated Gradients: Counterfactual Feature Attribution for Medical Records.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2023
Proceedings of the Artificial Intelligence in Medicine, 2023
2022
Bull. EATCS, 2022
On Understanding the Influence of Controllable Factors with a Feature Attribution Algorithm: a Medical Case Study.
CoRR, 2022
Safe and Secure Future AIDriven Railway Technologies: Challenges for Formal Methods in Railway.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022
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.
Proceedings of the International Conference on INnovations in Intelligent SysTems and Applications, 2022
2021
CoRR, 2021
CoRR, 2021
2019
J. Log. Comput., 2019
2018
Sci. Comput. Program., 2018
Proceedings of the Legal Knowledge and Information Systems, 2018
2017
Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2013.
Math. Struct. Comput. Sci., 2017
2016
Dagstuhl Reports, 2016
2015
Log. Methods Comput. Sci., 2015
Proceedings of the Formal Techniques for SafetyCritical Systems, 2015
2013
Proceedings of the 19th International Conference on Types for Proofs and Programs, 2013
Proceedings of the Software Engineering and Formal Methods, 2013
2012
Theory Comput. Syst., 2012
Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012
2011
Proceedings of the Algebra and Coalgebra in Computer Science, 2011
2008
Ann. Pure Appl. Log., 2008
2005
Applications of inductive definitions and choice principles to program synthesis.
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.
J. Autom. Reason., 2001
2000
An Inductive Version of NashWilliams' MinimalBadSequence Argument for Higman's Lemma.
Proceedings of the Types for Proofs and Programs, International Workshop, 2000