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
Bisimulation
Mathematics
Term
Mathematics
Rewriting
Mathematics
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Profiles
Tim Baanen
- Faculty of Science, Theoretical Computer Science - PhD Candidate
- Network Institute - PhD Candidate
- Theoretical Computer Science - PhD Candidate
Person: Academic
Alexander Bentkamp
- Faculty of Science, Theoretical Computer Science - PhD Candidate
- Network Institute - PhD Candidate
- Theoretical Computer Science - PhD Candidate
Person: Academic
dr. Jasmin Christian Blanchette
- Faculty of Science, Theoretical Computer Science - Assistant Professor
- Network Institute - Assistant Professor
- Theoretical Computer Science - Assistant Professor
Person: Academic
Gabriel Ebner
- Faculty of Science, Theoretical Computer Science - Research Associate
- Network Institute - Research Associate
- Theoretical Computer Science - Research Associate
Person: Academic
drs. 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-368 22 p.Research output: Contribution to Journal › Article › Academic › peer-review
Open Access
Image recognition
Bioinformatics
Computer science
Tensors
Polynomials
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
Confluence of the Chinese Monoid
Endrullis, J. & Klop, J. W., 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Springer Verlag, p. 206-220 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11760 LNCS).Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-review
Confluence
Monoid
Monoids
Diagram
Rewriting
Divide and congruence III: From decomposition of modal formulas to preservation of stability and divergence
Fokkink, W., van Glabbeek, R. & Luttik, B., 1 Oct 2019, In : Information and Computation. 268, p. 1-31 31 p., 104435.Research output: Contribution to Journal › Article › Academic › peer-review
Preservation
Congruence
Divides
Divergence
Semantics
Activities 2000 2015
Regularity-Preserving but not Reflecting Encodings
C.A. Grabmayer (Speaker)9 Jul 2015
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
Maximal Sharing in the Lambda Calculus with Letrec
C.A. Grabmayer (Speaker)1 Sep 2014
Activity: Lecture / Presentation › Academic
Electronic Proceedings in Theoretical Computer Science (Journal)
B. Luttik (Member of editorial board), F. Valencia (Member of editorial board)2011
Activity: Peer review and Editorial work › Editorial work › Academic