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.
Collaborations and top research areas from the last five years
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
-
Julia Bolt
- Faculty of Science, Theoretical Computer Science - PhD Candidate
- Network Institute - PhD Candidate
Person: Academic
-
dr. Jorg 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
-
A Unifying Theory for Graph Transformation
Overbeek, R., 30 Jan 2024, 190 p.Research output: PhD Thesis › PhD-Thesis - Research and graduation internal
Open AccessFile24 Downloads (Pure) -
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
-
A PBPO+ Graph Rewriting Tutorial
Overbeek, R. & Endrullis, J., 1 Apr 2023, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 377, p. 45-63 19 p.Research output: Contribution to Journal › Article › Academic › peer-review
Open Access -
Bootstrapping Dynamic Distance Oracles
Forster, S., Goranci, G., Nazari, Y. & Skarlatos, A., 2023, 31st Annual European Symposium on Algorithms (ESA 2023): [Proceedings]. Li Gortz, I., Farach-Colton, M., Puglisi, S. J. & Herman, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-16 16 p. 50. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 274).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Open Access -
Don't Look UB: Exposing Sanitizer-Eliding Compiler Optimizations
Isemann, R., Giuffrida, C., Bos, H., Van Der Kouwe, E. & Gleissenthall, K. V., 6 Jun 2023, In: Proceedings of the ACM on Programming Languages. 7, PLDI, p. 907-927 21 p., 143.Research output: Contribution to Journal › Article › Academic › peer-review
Open Access
Courses
-
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
-
-
Bringing Domain-Specific Languages Closer to End-Users
Mauricio Verano Merino (Speaker)
30 Jun 2012Activity: Lecture / Presentation › Academic
Prizes
-
Distinguished artifact award at SLE
Verano Merino, Mauricio (Recipient), Beckmann, Tom (Recipient), van der Storm, Tijs (Recipient), Hirschfeld, Robert (Recipient) & Vinju, Jurgen (Recipient), 18 Oct 2021
Prize › Academic
Datasets
-
Superposition for Lambda-Free Higher-Order Logic — Supplementary Material for the Journal Article
Bentkamp, A. (Creator), Blanchette, J. C. (Creator), Cruanes, S. (Creator) & Waldmann, U. (Creator), Zenodo, 2020
DOI: 10.5281/zenodo.3992618, https://zenodo.org/record/3992618
Dataset
-
SAT-Inspired Higher-Order Eliminations
Blanchette, J. C. (Contributor) & Vukmirović, P. (Contributor), Zenodo, 2022
DOI: 10.5281/zenodo.7448169, https://zenodo.org/record/7448169
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
-
SAT-Inspired Higher-Order Eliminations
Blanchette, J. C. (Creator) & Vukmirović, P. (Creator), Zenodo, 2022
DOI: 10.5281/zenodo.6997515, https://zenodo.org/record/6997515
Dataset
-
Superposition for Full Higher-Order Logic
Bentkamp, A. (Creator), Blanchette, J. C. (Creator), Tourret, S. (Creator) & Vukmirovic, P. (Creator), Zenodo, 2021
DOI: 10.5281/zenodo.4534759, https://zenodo.org/record/4534759
Dataset