Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMonika Seisenberger
Person information
- affiliation: Swansea University, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2022
[j8]Olga Petrovska, Monika Seisenberger:
Report on BCTCS 2022. Bull. EATCS 137 (2022)- 2019
- [j7]Ulrich Berger, Alison Jones, Monika Seisenberger:
Program extraction applied to monadic parsing. J. Log. Comput. 29(4): 487-518 (2019) - 2018
- [j6]Ulrich Berger, Phillip James, Andrew Lawrence, Markus Roggenbach
, Monika Seisenberger:
Verification of the European Rail Traffic Management System in Real-Time Maude. Sci. Comput. Program. 154: 61-88 (2018) - 2017
- [j5]Hajime Ishihara, Margarita V. Korovina, Arno Pauly, Monika Seisenberger, Dieter Spreen:
Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2013. Math. Struct. Comput. Sci. 27(8): 1285-1286 (2017) - 2015
- [j4]Ulrich Berger, Andrew Lawrence, Fredrik Nordvall Forsberg, Monika Seisenberger:
Extracting verified decision procedures: DPLL and Resolution. Log. Methods Comput. Sci. 11(1) (2015) - 2012
- [j3]Ulrich Berger, Monika Seisenberger:
Proofs, Programs, Processes. Theory Comput. Syst. 51(3): 313-329 (2012) - 2008
- [j2]Monika Seisenberger:
Programs from proofs using classical dependent choice. Ann. Pure Appl. Log. 153(1-3): 97-110 (2008) - 2001
- [j1]Ulrich Berger, Helmut Schwichtenberg, Monika Seisenberger:
The Warshall Algorithm and Dickson's Lemma: Two Examples of Realistic Program Extraction. J. Autom. Reason. 26(2): 205-221 (2001)
Conference and Workshop Papers
- 2023
- [c15]Jamie Andrew Duell, Xiuyi Fan, Hsuan Fu, Monika Seisenberger:
Batch Integrated Gradients: Explanations for Temporal Electronic Health Records. AIME 2023: 120-124 - [c14]Jamie Andrew Duell, Monika Seisenberger, Xiuyi Fan:
Counterfactual-Integrated Gradients: Counterfactual Feature Attribution for Medical Records. BIBM 2023: 2975-2982 - [c13]Jamie Andrew Duell, Monika Seisenberger, Tianlong Zhong, Hsuan Fu, Xiuyi Fan:
A Formal Introduction to Batch-Integrated Gradients for Temporal Explanations. ICTAI 2023: 452-459 - [c12]Madhusree Banerjee, Victor Cai, Sunitha Lakshmanappa, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger, Thomas Werner:
A Tool-Chain for the Verification of Geographic Scheme Data. RSSRail 2023: 211-224 - 2022
- [c11]Veera Raghava Reddy Kovvuri, Siyuan Liu, Monika Seisenberger, Xiuyi Fan, Berndt Müller, Hsuan Fu:
On Understanding the Influence of Controllable Factors with a Feature Attribution Algorithm: a Medical Case Study. INISTA 2022: 1-8 - [c10]Jamie Andrew Duell, Xiuyi Fan, Monika Seisenberger:
Towards Polynomial Adaptive Local Explanations for Healthcare Classifiers. ISMIS 2022: 411-420 - [c9]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:
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. ISoLA (4) 2022: 246-268 - 2018
- [c8]Jay Paul Morgan, Adeline Paiement, Monika Seisenberger, Jane Williams, Adam Wyner:
A Chatbot Framework for the Children's Legal Centre. JURIX 2018: 205-209 - 2015
- [c7]Phillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger:
Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude. FTSCS 2015: 103-120 - 2013
- [c6]Phillip James, Andy Lawrence, Faron Moller, Markus Roggenbach, Monika Seisenberger, Anton Setzer, Karim Kanso, Simon Chadwick:
Verification of Solid State Interlocking Programs. SEFM Workshops 2013: 253-268 - [c5]Ulrich Berger, Monika Seisenberger, Gregory J. M. Woods:
Extracting Imperative Programs from Proofs: In-place Quicksort. TYPES 2013: 84-106 - 2012
- [c4]Andrew Lawrence, Ulrich Berger, Monika Seisenberger:
Extracting a DPLL Algorithm. MFPS 2012: 243-256 - 2011
- [c3]Ulrich Berger, Kenji Miyamoto, Helmut Schwichtenberg, Monika Seisenberger:
Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras. CALCO 2011: 393-399 - 2010
- [c2]Ulrich Berger, Monika Seisenberger:
Proofs, Programs, Processes. CiE 2010: 39-48 - 2000
- [c1]Monika Seisenberger:
An Inductive Version of Nash-Williams' Minimal-Bad-Sequence Argument for Higman's Lemma. TYPES 2000: 233-242
Parts in Books or Collections
- 2005
- [p1]Ulrich Berger, Monika Seisenberger:
Applications of inductive definitions and choice principles to program synthesis. From sets and types to topology and analysis 2005
Informal and Other Publications
- 2024
- [i6]Jamie Andrew Duell, Hsuan Fu, Monika Seisenberger, Xiuyi Fan:
QUCE: The Minimisation and Quantification of Path-Based Uncertainty for Generative Counterfactual Explanations. CoRR abs/2402.17516 (2024) - 2023
- [i5]Ulrich Berger, Monika Seisenberger, Dieter Spreen, Hideki Tsuiki:
Concurrent Gaussian elimination. CoRR abs/2305.10125 (2023) - 2022
- [i4]Veera Raghava Reddy Kovvuri, Siyuan Liu, Monika Seisenberger, Berndt Müller, Xiuyi Fan:
On Understanding the Influence of Controllable Factors with a Feature Attribution Algorithm: a Medical Case Study. CoRR abs/2203.12701 (2022) - 2021
- [i3]Jay Paul Morgan, Adeline Paiement, Arno Pauly, Monika Seisenberger:
Adaptive Neighbourhoods for the Discovery of Adversarial Examples. CoRR abs/2101.09108 (2021) - [i2]Jamie Andrew Duell, Monika Seisenberger, Gert Aarts, Shang-Ming Zhou, Xiuyi Fan:
Towards a Shapley Value Graph Framework for Medical peer-influence. CoRR abs/2112.14624 (2021) - 2016
- [i1]Jean Goubault-Larrecq, Monika Seisenberger, Victor L. Selivanov, Andreas Weiermann:
Well Quasi-Orders in Computer Science (Dagstuhl Seminar 16031). Dagstuhl Reports 6(1): 69-98 (2016)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 02:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
