Research Output per year
Fingerprint Dive into the research topics where Theoretical Computer Science is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.
Semantics
Engineering & Materials Science
Specifications
Engineering & Materials Science
Algebra
Engineering & Materials Science
Equivalence
Mathematics
Axiomatization
Mathematics
Term Rewriting
Mathematics
Bisimulation
Mathematics
Rewriting
Mathematics
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Profiles
Alexander Bentkamp
- Faculty of Science, Theoretical Computer Science - Standard PhD Candidate
- Network Institute - Standard PhD Candidate
- Theoretical Computer Science - Standard PhD Candidate
Person: Academic
Jasmin Christian Blanchette
- Faculty of Science, Theoretical Computer Science - Assistant Professor
- Network Institute - Assistant Professor
- Theoretical Computer Science - Assistant Professor
Person: Academic
J. Endrullis
- Faculty of Science, Theoretical Computer Science - Assistant Professor
- Network Institute - Assistant Professor
- Theoretical Computer Science - Assistant Professor
Person: Academic
Research Output 1993 2019
A formal proof of Hensel's lemma over the p-adic integers
Lewis, R. Y., 14 Jan 2019, CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019. Mahboubi, A. (ed.). Association for Computing Machinery, Inc, p. 15-26 12 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Number theory
Polynomials
A Formal Proof of the Expressiveness of Deep Learning
Bentkamp, A., Blanchette, J. C. & Klakow, D., Aug 2019, In : Journal of Automated Reasoning. 63, 2, p. 347-368Research output: Contribution to Journal › Article › Academic › peer-review
A verified prover based on ordered resolution
Schlichtkrull, A., Blanchette, J. C. & Traytel, D., 14 Jan 2019, CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019. Mahboubi, A. (ed.). Association for Computing Machinery, Inc, p. 152-165 14 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Specifications
Extending a brainiac prover to lambda-free higher-order logic
Vukmirović, P., Blanchette, J. C., Cruanes, S. & Schulz, S., 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings - Part 1. Zhang, L. & Vojnar, T. (eds.). Springer Verlag, Vol. 1. p. 192-210 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11427 LNCS).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Higher-order Logic
Data structures
Algorithms and Data Structures
Higher Order
Theorem proving
Formalizing the metatheory of logical calculi and automatic provers in Isabelle/HOL (invited talk)
Blanchette, J. C., 14 Jan 2019, CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019. Mahboubi, A. (ed.). Association for Computing Machinery, Inc, p. 1-13 13 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Activities 2000 2015
Regularity-Preserving but not Reflecting Encodings
C.A. Grabmayer (Speaker)9 Jul 2015
Activity: Lecture / Presentation › Academic
Maximal Sharing in the Lambda Calculus with Letrec
C.A. Grabmayer (Speaker)1 Sep 2014
Activity: Lecture / Presentation › Academic
hogere orde en erste orde (ter ere van het afscheid van Vincent van Oostrom van de Universiteit Utrecht)
C.A. Grabmayer (Speaker)2 Jul 2014
Activity: Lecture / Presentation › Academic
Theoretical Computer Science (Journal)
B. Jacobs (Member of editorial board), M. Niqui (Member of editorial board), J.J.M.M. Rutten (Member of editorial board), A. Silva (Member of editorial board)2011
Activity: Peer review and Editorial work › Editorial work › Academic