Skip to content

Monika Seisenberger

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

10

Venues

10

Active years

2010–2024

Best venue rank

A*

Where they publish

Papers

10 indexed papers, newest first.

YearVenueTitleAuthors
2024ICDMQUCE: The Minimisation and Quantification of Path-Based Uncertainty for Generative Counterfactual Explanations.Jamie Andrew Duell, Monika Seisenberger, Hsuan Fu, Xiuyi Fan
2023AIMEBatch Integrated Gradients: Explanations for Temporal Electronic Health Records.Jamie Andrew Duell, Xiuyi Fan, Hsuan Fu, Monika Seisenberger
2023ICTAIA Formal Introduction to Batch-Integrated Gradients for Temporal Explanations.Jamie Andrew Duell, Monika Seisenberger, Tianlong Zhong, Hsuan Fu, Xiuyi Fan
2022INISTAOn 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 Mller, Hsuan Fu
2022ISMISTowards Polynomial Adaptive Local Explanations for Healthcare Classifiers.Jamie Andrew Duell, Xiuyi Fan, Monika Seisenberger
2022ISoLASafe 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
2018JURIXA Chatbot Framework for the Children's Legal Centre.Jay Paul Morgan, Adeline Paiement, Monika Seisenberger, Jane Williams, Adam Wyner
2013SEFMVerification of Solid State Interlocking Programs.Phillip James, Andy Lawrence, Faron Moller, Markus Roggenbach, Monika Seisenberger, Anton Setzer, Karim Kanso, Simon Chadwick
2011CALCOMinlog - A Tool for Program Extraction Supporting Algebras and Coalgebras.Ulrich Berger, Kenji Miyamoto, Helmut Schwichtenberg, Monika Seisenberger
2010CiEProofs, Programs, Processes.Ulrich Berger, Monika Seisenberger