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
-
dr. Jörg Endrullis
- Faculty of Science, Theoretical Computer Science - Associate Professor
- Network Institute - Associate Professor
- Theoretical Computer Science - Associate 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
-
dr. Ali Mehrabi
- Faculty of Science, Theoretical Computer Science - Assistant Professor
- Network Institute - Assistant Professor
- Theoretical Computer Science - Assistant Professor
Person: Academic
-
dr. Atze van der Ploeg, MSc
- Faculty of Science, Theoretical Computer Science - Assistant Professor
- Network Institute - Assistant Professor
- Theoretical Computer Science - Assistant Professor
Person: Academic
Research output
-
Uniform Monad Presentations and Graph Quasitoposes
Rosset, A. L. S. T., 28 Apr 2025, 300 p.Research output: PhD Thesis › PhD-Thesis - Research and graduation internal
Open AccessFile19 Downloads (Pure) -
InvisiGuard: Data Integrity for Microcontroller-Based Devices via Hardware-Triggered Write Monitoring
Fang, D., Peng, A., Guan, L., van der Kouwe, E., von Gleissenthal, K., Wang, W., Zhang, Y. & Sun, L., Feb 2025, In: IEEE Transactions on Dependable and Secure Computing. 22, 1, p. 343-358 16 p.Research output: Contribution to Journal › Article › Academic › peer-review
Open AccessFile7 Downloads (Pure) -
Understanding Code Understandability Improvements in Code Reviews
Oliveira, D., Santos, R., De Oliveira, B., Monperrus, M., Castor, F. & Madeiral, F., Jan 2025, In: IEEE Transactions on Software Engineering. 51, 1, p. 14-37 24 p.Research output: Contribution to Journal › Review article › Academic › peer-review
-
A Framework for Model-Based Specification and Verification in Feature-Oriented Software Product Lines
Kanwal, S. & Fokkink, W., 2025, Fundamentals of Software Engineering: 11th IFIP WG 2.2 International Conference, FSEN 2025, Proceedings. Hojjat, H. & Caltais, G. (eds.). Springer Nature, p. 61-79 19 p. (Lecture Notes in Computer Science; vol. 15593 LNCS)(FFSEN: International Conference on Fundamentals of Software Engineering; vol. 2025).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
-
From LTL to Scenarios: Automatic Test Case Generation for Axini Modeling Language
Schröder, M., van der Bijl, M. & Fokkink, W., 2025, Rebeca for Actor Analysis in Action: Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday. Lee, E. A., Reza Mousavi, M. & Talcott, C. (eds.). Springer Nature, p. 236-265 30 p. (Lecture Notes in Computer Science; vol. 15560 LNCS).Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-review
Courses
-
Regularity-Preserving but not Reflecting Encodings
C.A. Grabmayer (Speaker)
9 Jul 2015Activity: 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
-
Maximal Sharing in the Lambda Calculus with Letrec
C.A. Grabmayer (Speaker)
1 Sept 2014Activity: Lecture / Presentation › Academic
-
Theoretical Computer Science (Journal)
Jacobs, B. (Member of editorial board), Niqui, M. (Member of editorial board), Rutten, J. J. M. M. (Member of editorial board) & Silva, A. (Member of editorial board)
2011Activity: Peer review and Editorial work › Editorial work › Academic
Datasets
-
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 / Software: Dataset
-
The Embedding Path Order for Lambda-Free Higher-Order Terms — Supplementary Material
Bentkamp, A. (Creator), Zenodo, 2020
DOI: 10.5281/zenodo.3992684, https://zenodo.org/record/3992684
Dataset / Software: Dataset
-
Superposition for Full Higher-Order Logic
Bentkamp, A. (Creator), Blanchette, J. (Creator), Tourret, S. (Creator) & Vukmirovic, P. (Creator), Zenodo, 2021
DOI: 10.5281/zenodo.4534759, https://zenodo.org/record/4534759
Dataset / Software: Dataset
-
Extending a Brainiac Prover to Lambda-Free Higher-Order Logic -- Evalution Data
Vukmirovivc, P. (Creator), Blanchette, J. (Creator), Schulz, S. (Creator) & Cruanes, S. (Creator), Zenodo, 2020
DOI: 10.5281/zenodo.4045452, https://zenodo.org/record/4045452
Dataset / Software: Dataset
-
Superposition for Lambda-Free Higher-Order Logic — Supplementary Material for the Journal Article
Bentkamp, A. (Creator), Blanchette, J. (Creator), Cruanes, S. (Creator) & Waldmann, U. (Creator), Zenodo, 2020
DOI: 10.5281/zenodo.3992618, https://zenodo.org/record/3992618
Dataset / Software: Dataset