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. Yasamin Nazari, MSc
- Faculty of Science, Theoretical Computer Science - Assistant Professor
- Network Institute - 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) -
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) -
Approximation Algorithms for Optimal Hopsets
Dinitz, M., Koranteng, A. & Nazari, Y., 2025, 52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025) : [Proceedings]. Censor-Hillel, K., Grandoni, F., Ouaknine, J. & Puppis, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-20 20 p. 69. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 334).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Open Access -
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
-
Bringing Domain-Specific Languages Closer to End-Users
Verano Merino, M. (Speaker)
30 Jun 2012Activity: Lecture / Presentation › Academic
Prizes
-
Distinguished artifact award at SLE
Verano Merino, M. (Recipient), Beckmann, T. (Recipient), van der Storm, T. (Recipient), Hirschfeld, R. (Recipient) & Vinju, J. (Recipient), 18 Oct 2021
Prize / Grant: Prize › 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