Monika Seisenberger

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

Ulrich Berger, Phillip James, Andrew D. Lawrence et al. · Science of Computer Programming · 2017 · 40 citations · Full text

Engineering, Computer Engineering, Systems Engineering +14

Extracting verified decision procedures: DPLL and Resolution

Ulrich Berger, Andrew D. Lawrence, Fredrik Nordvall Forsberg et al. · Logical Methods in Computer Science · 2015 · 33 citations · Full text

Computing, Computer Science, Formal Methods +16

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

Ulrich Berger, Helmut Schwichtenberg, Monika Seisenberger · Journal of Automated Reasoning · 2001 · 32 citations

Computing, Computer Science, Algorithms +6

Proofs, Programs, Processes

Ulrich Berger, Monika Seisenberger · Theory of Computing Systems · 2011 · 24 citations

Fund performance evaluation with explainable artificial intelligence

Veera Raghava Reddy Kovvuri, Hsuan Fu, Xiuyi Fan et al. · Finance research letters · 2023 · 13 citations · Full text

Computing, Computer Science, Finance +17