Theoretical Computer Science

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 level. Dive into details by clicking on the dots or

Anne Baanen
- t.baanen@vu.nl
- Faculty of Science, Theoretical Computer Science - PhD Candidate
- Network Institute - PhD Candidate
- Theoretical Computer Science - PhD Candidate
Person: Academic
Alexander Bentkamp
- a.bentkamp@vu.nl
- Faculty of Science, Theoretical Computer Science - PhD Candidate
- Network Institute - PhD Candidate
- Theoretical Computer Science - PhD Candidate
Person: Academic
dr. Jasmin Christian Blanchette
- j.c.blanchette@vu.nl
- Faculty of Science, Theoretical Computer Science - Assistant Professor
- Network Institute - Assistant Professor
- Theoretical Computer Science - Assistant Professor
Person: Academic
Gabriel Ebner
- g.e.ebner@vu.nl
- Faculty of Science, Theoretical Computer Science - Research Associate
- Network Institute - Research Associate
- Theoretical Computer Science - Research Associate
Person: Academic
drs. J. Endrullis
- j.endrullis@vu.nl
- Faculty of Science, Theoretical Computer Science - Assistant Professor
- Network Institute - Assistant Professor
- Theoretical Computer Science - Assistant Professor
Person: Academic

278 Article
133 Conference contribution
19 Chapter
15 PhD Thesis - Research VU Amsterdam, graduation VU Amsterdam
More

A modular isabelle framework for verifying saturation provers
Tourret, S. & Blanchette, J., Jan 2021, CPP 2021: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs. Hritcu, C. & Popescu, A. (eds.). Association for Computing Machinery, Inc, p. 224-237 14 p.
Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Open Access
Automatically eliminating speculative leaks from cryptographic code with blade
Vassena, M., Disselkoen, C., von Gleissenthall, K., Cauligi, S., Klcl, R. G., Jhala, R., Tullsen, D. & Stefan, D., Jan 2021, In: Proceedings of the ACM on Programming Languages. 5, POPL, p. 1-30 30 p., 49.
Research output: Contribution to Journal › Article › Academic › peer-review

Open Access
Formalizing the ring of witt vectors
Commelin, J. & Lewis, R. Y., Jan 2021, CPP 2021: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs. Hritcu, C. & Popescu, A. (eds.). Association for Computing Machinery, Inc, p. 264-277 14 p.
Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Open Access
Message from the New Editor-in-Chief
Blanchette, J., Feb 2021, In: Journal of Automated Reasoning. 65, 2, p. 155-155 1 p.
Research output: Contribution to Journal › Editorial › Academic › peer-review
A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity
Grabmayer, C. & Fokkink, W., Jul 2020, LICS'20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, p. 465-478 14 p. 3394744. (ACM International Conference Proceeding Series).
Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Open Access
File
7 Downloads (Pure)

30 Membership
17 Lecture / Presentation
10 Editorial work

Regularity-Preserving but not Reflecting Encodings
C.A. Grabmayer (Speaker)
9 Jul 2015
Activity: Lecture / Presentation › Academic
Nested Term Graphs
C.A. Grabmayer (Speaker)
13 Jul 2014
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

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