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
-
dr. Alexander Bentkamp
- Faculty of Science, Theoretical Computer Science - Visiting Fellow
- Network Institute - Visiting Fellow
- Theoretical Computer Science - Visiting Fellow
Person: Academic
-
dr. Jasmin Christian Blanchette
- Faculty of Science, Theoretical Computer Science - Associate Professor
- Network Institute - Associate Professor
- Theoretical Computer Science - Associate Professor
Person: Academic
-
mr. Wouter Brozius, MSc
- Faculty of Science, Theoretical Computer Science - PhD Candidate
Person: Academic
-
dr. Gabriel Ebner
- Faculty of Science, Theoretical Computer Science - Visiting Fellow
- Network Institute - Visiting Fellow
- Theoretical Computer Science - Visiting Fellow
Person: Academic
Research output
-
A Bi-Directional Extensible Interface Between Lean and Mathematica
Lewis, R. Y. & Wu, M., May 2022, In: Journal of Automated Reasoning. 66, 2, p. 215-238 24 p.Research output: Contribution to Journal › Article › Academic › peer-review
Open Access -
Engineering Language-Parametric End-User Programming Environments for DSLs
Verano Merino, M., 6 Apr 2022, Eindhoven. 290 p.Research output: PhD Thesis › PhD-Thesis – Research and graduation external
Open Access -
Extending a brainiac prover to lambda-free higher-order logic
Vukmirović, P., Blanchette, J., Cruanes, S. & Schulz, S., Feb 2022, In: International Journal on Software Tools for Technology Transfer. 24, 1, p. 67-87 21 p.Research output: Contribution to Journal › Article › Academic › peer-review
Open Access -
A configurator for supervisory controllers of roadside systems
Verbakel, J. J., Vos De Wael, M. E. W., Van De Mortel-Fronczak, J. M., Fokkink, W. J. & Rooda, J. E., 5 Oct 2021, 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE). IEEE Computer Society, p. 784-791 8 p. (IEEE International Conference on Automation Science and Engineering; vol. 2021-August).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
-
A formalization of Dedekind domains and class groups of global fields
Baanen, A., Dahmen, S. R., Narayanan, A. & Di Capriglio, F. A. E. N. M. M., 2021, 12th International Conference on Interactive Theorem Proving (ITP 2021). Cohen, L. & Kaliszyk, C. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 193. p. 1-19 19 p. 5. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 193).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › 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 Sep 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, T. (Recipient), van der Storm, T. (Recipient), Hirschfeld, R. (Recipient) & Vinju, J. (Recipient), 18 Oct 2021
Prize › Academic
Datasets
-
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