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
- 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 AccessFile186 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 AccessFile85 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
Open AccessFile32 Downloads (Pure) -
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
Open AccessFile16 Downloads (Pure) -
Bug Hunting Games to Add Enthusiasm in Software Testing and Programming Classes
Silvis-Cividjian, N., Veltman, J., Buchel, A., Link, E., Kenyon, J. & Oey, M., 2025, 2025 IEEE/ACM 37th International Conference on Software Engineering Education and Training (CSEE&T): [Proceedings]. Institute of Electrical and Electronics Engineers Inc., p. 359-364 6 p. (Software Engineering Education Conference, Proceedings; vol. 2025).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Courses
-
Regularity-Preserving but not Reflecting Encodings
Grabmayer, C. A. (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)
Grabmayer, C. A. (Speaker)
2 Jul 2014Activity: Lecture / Presentation › Academic
-
Maximal Sharing in the Lambda Calculus with Letrec
Grabmayer, C. A. (Speaker)
1 Sept 2014Activity: Lecture / Presentation › Academic
-
Electronic Proceedings in Theoretical Computer Science (Journal)
Luttik, B. (Member of editorial board) & Valencia, F. (Member of editorial board)
2011Activity: Peer review and Editorial work › Editorial work › Academic
Datasets
-
SAT-Inspired Higher-Order Eliminations
Blanchette, J. (Creator) & Vukmirović, P. (Creator), Zenodo, 2022
DOI: 10.5281/zenodo.6997515, https://zenodo.org/record/6997515
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
-
SAT-Inspired Higher-Order Eliminations
Blanchette, J. (Contributor) & Vukmirović, P. (Contributor), Zenodo, 2022
DOI: 10.5281/zenodo.7448169, https://zenodo.org/record/7448169
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
-
SAT-Inspired Eliminations for Superposition
Vukmirovic, P. (Creator), Blanchette, J. (Creator) & Heule, M. J. H. (Creator), Zenodo, 2021
DOI: 10.5281/zenodo.4695128, https://zenodo.org/record/4695128
Dataset / Software: Dataset