Minlog-A Tool for Program Extraction Supporting Algebras and Coalgebras U Berger, K Miyamoto, H Schwichtenberg, M Seisenberger Algebra and Coalgebra in Computer Science, LNCS 6859, 393-399, 2011 | 59* | 2011 |
The Warshall algorithm and Dickson's lemma: Two examples of realistic program extraction U Berger, H Schwichtenberg, M Seisenberger Journal of Automated Reasoning 26, 205-221, 2001 | 58 | 2001 |
Verification of solid state interlocking programs P James, A Lawrence, F Moller, M Roggenbach, M Seisenberger, ... Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops …, 2014 | 47 | 2014 |
Proofs, Programs, Processes U Berger, M Seisenberger Theory of Computing Systems 51, 313-329, 2012 | 47 | 2012 |
Proofs, Programs, Processes U Berger, M Seisenberger Lecture Notes in Computer Science 6158, 39-48, 2010 | 47 | 2010 |
On the constructive content of proofs M Seisenberger lmu, 2003 | 44 | 2003 |
Verification of the european rail traffic management system in real-time maude U Berger, P James, A Lawrence, M Roggenbach, M Seisenberger Science of Computer Programming 154, 61-88, 2018 | 39 | 2018 |
Some good ideas from the disciplinary commons S Fincher, DJ Barnes, P Bibby, J Bown, V Bush, P Campbell, Q Cutts, ... Proceedings of 7th Annual Conference of the Higher Education Academy for …, 2006 | 16 | 2006 |
Extracting verified decision procedures: DPLL and resolution U Berger, A Lawrence, FN Forsberg, M Seisenberger Logical Methods in Computer Science 11, 2015 | 15 | 2015 |
Programs from proofs using classical dependent choice M Seisenberger Annals of Pure and Applied Logic 153 (1-3), 97-110, 2008 | 15 | 2008 |
An Inductive Version of Nash-Williams’ Minimal-Bad-Sequence Argument for Higman’s Lemma M Seisenberger Types for Proofs and Programs, Lecture Notes in Computer Science 2277, 724-725, 2002 | 15 | 2002 |
A chatbot framework for the children's Legal centre J Morgan, A Paiement, M Seisenberger, J Williams, A Wyner Legal knowledge and information systems, 205-209, 2018 | 14 | 2018 |
Verification of Railway Interlockings in Scade A Lawrence, M Seisenberger AVOCS 10, 112-114, 2011 | 13 | 2011 |
Kruskal's tree theorem in a constructive theory of inductive definitions M Seisenberger Reuniting the Antipodes–Constructive and Nonstandard Views of the Continuum …, 2001 | 13 | 2001 |
Towards safety analysis of ERTMS/ETCS level 2 in real-time maude P James, A Lawrence, M Roggenbach, M Seisenberger Formal Techniques for Safety-Critical Systems: 4th International Workshop …, 2016 | 12 | 2016 |
Applications of inductive definitions and choice principles to program synthesis U Berger, M Seisenberger Oxford Logic Guides 48, 137-148, 2005 | 12 | 2005 |
Higman’s lemma and its computational content H Schwichtenberg, M Seisenberger, F Wiesnet Advances in proof theory, 353-375, 2016 | 10 | 2016 |
On understanding the influence of controllable factors with a feature attribution algorithm: a medical case study VRR Kovvuri, S Liu, M Seisenberger, X Fan, B Müller, H Fu 2022 International Conference on INnovations in Intelligent SysTems and …, 2022 | 8 | 2022 |
Well quasi-orders in computer science (dagstuhl seminar 16031) J Goubault-Larrecq, M Seisenberger, V Selivanov, A Weiermann Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2016 | 7 | 2016 |
Laboratory exams in first programming courses Q Cutts, DJ Barnes, P Bibby, J Bown, V Bush, P Campbell, S Fincher, ... Proceedings of 7th Annual Conference of the Higher Education Academy for …, 2006 | 7 | 2006 |