Research output per year
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.
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
Anne Baanen
- Faculty of Science, Theoretical Computer Science - PhD Candidate
- Network Institute - PhD Candidate
- Theoretical Computer Science - PhD Candidate
Person: Academic
-
mr. Wouter Brozius, MSc
- Faculty of Science, Theoretical Computer Science - PhD Candidate
- Network Institute - PhD Candidate
- Theoretical Computer Science - PhD Candidate
Person: Academic
-
dr. J Endrullis
- Faculty of Science, Theoretical Computer Science - Assistant Professor
- Network Institute - Assistant Professor
- Theoretical Computer Science - Assistant Professor
Person: Academic
-
prof. dr. Wan Fokkink
- Faculty of Science, Theoretical Computer Science - Full Professor
- Network Institute - Full Professor
- Theoretical Computer Science - Full Professor
Person: Academic
-
dr. Klaus Freiherr von Gleissenthal
- Faculty of Science, Theoretical Computer Science - Assistant Professor
- Network Institute - Assistant Professor
- Theoretical Computer Science - Assistant Professor
Person: Academic
Research output
-
Aesop: White-Box Best-First Proof Search for Lean
Limperg, J. & From, A. H., Jan 2023, CPP 2023: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023. Krebbers, R., Traytel, D., Pientka, B. & Zdancewic, S. (eds.). Association for Computing Machinery, Inc, p. 253-266 14 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
-
Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves
Baanen, A., Best, A. J., Coppola, N. & Dahmen, S. R., Jan 2023, CPP 2023: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2023. Krebbers, R., Traytel, D., Pientka, B. & Zdancewic, S. (eds.). Association for Computing Machinery, Inc, p. 47-62 16 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
-
Graph rewriting and relabeling with PBPO+: A unifying theory for quasitoposes
Overbeek, R., Endrullis, J. & Rosset, A., Jun 2023, In: Journal of Logical and Algebraic Methods in Programming. 133, p. 1-25 25 p., 100873.Research output: Contribution to Journal › Article › Academic › peer-review
Open Access -
Mechanical Mathematicians
Bentkamp, A., Blanchette, J., Nummelin, V., Tourret, S., Vukmirović, P. & Waldmann, U., Apr 2023, In: Communications of the ACM. 66, 4, p. 80-90 11 p.Research output: Contribution to Journal › Review article › Academic › peer-review
-
Randomized Testing of Byzantine Fault Tolerant Algorithms
Winter, L. N., Buse, F., De Graaf, D., Von Gleissenthall, K. & Kulahcioglu Ozkan, B., Apr 2023, In: Proceedings of the ACM on Programming Languages. 7, OOPSLA1, p. 757-788 32 p., 101.Research output: Contribution to Journal › Article › Academic › peer-review
Open Access
-
Regularity-Preserving but not Reflecting Encodings
C.A. Grabmayer (Speaker)
9 Jul 2015Activity: Lecture / Presentation › Academic
-
-
Maximal Sharing in the Lambda Calculus with Letrec
C.A. Grabmayer (Speaker)
1 Sept 2014Activity: 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 2014Activity: Lecture / Presentation › Academic
-
Electronic Proceedings in Theoretical Computer Science (Journal)
B. Luttik (Member of editorial board) & F. Valencia (Member of editorial board)
2011Activity: Peer review and Editorial work › Editorial work › Academic
Datasets
-
SAT-Inspired Eliminations for Superposition
Vukmirovic, P. (Creator), Blanchette, J. C. (Creator) & Heule, M. J. H. (Creator), Zenodo, 2021
DOI: 10.5281/zenodo.4695128, https://zenodo.org/record/4695128
Dataset
-
Superposition with Lambdas - Evaluation Data
Bentkamp, A. (Creator), Blanchette, J. C. (Creator), Tourret, S. (Creator), Vukmirovic, P. (Creator) & Waldmann, U. (Creator), Zenodo, 2020
DOI: 10.5281/zenodo.4032970, https://zenodo.org/record/4032970
Dataset
-
Extending a Brainiac Prover to Lambda-Free Higher-Order Logic -- Evalution Data
Vukmirovivc, P. (Creator), Blanchette, J. C. (Creator), Schulz, S. (Creator) & Cruanes, S. (Creator), Zenodo, 2020
DOI: 10.5281/zenodo.4045452, https://zenodo.org/record/4045452
Dataset
-
Superposition for Lambda-Free Higher-Order Logic — Supplementary Material
Bentkamp, A. (Contributor), Cruanes, S. (Contributor), Blanchette, J. C. (Contributor) & Waldmann, U. (Contributor), Unknown Publisher, 30 Jun 2018
DOI: 10.5281/zenodo.3975512, https://zenodo.org/record/3975512
Dataset
-
Superposition for Lambda-Free Higher-Order Logic — Supplementary Material
Bentkamp, A. (Contributor), Blanchette, J. C. (Contributor), Cruanes, S. (Contributor) & Waldmann, U. (Contributor), Zenodo, 2018
DOI: 10.5281/zenodo.3975512, https://zenodo.org/record/3975512
Dataset