Theoretical Computer Science

Rogers: Writing Verified Programs for Computational Storage
Clausen, M. T., 2026, 148 p.
Research output: Theses › PhD thesis

File
#SAT-Algorithms for Classes of Threshold Circuits Based on Probabilistic Rank
Limaye, N., Srinivasan, A. & Srinivasan, S., 20 Aug 2025, 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 1-18 18 p. (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 345).
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access
A Combinatorial Proof of Universal Optimality for Computing a Planar Convex Hull.
van der Hoog, I., Rotenberg, E. & Rutschmann, D., 2025, Annual European Symposium on Algorithms (ESA 2025). Vol. 351. p. 102:1-102:13 13 p.
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Open Access

Best demonstration award
Lopez, H. A. (Recipient), Marquard, M. (Recipient), Muttenthaler, L. (Recipient) & Strømsted, R. (Recipient), 30 Oct 2019
Prize: Prizes, scholarships, distinctions
Best Paper Award: Best Paper at ICALP 2014, Track A: Algorithms, Complexity and Games
Husfeldt, T. (Recipient), 9 Jul 2014
Prize: Prizes, scholarships, distinctions
Best Paper Award at IPEC 2022
Bodlaender, H. (Recipient), Groenland, C. (Recipient), Jacob, H. (Recipient), Jaffke, L. (Recipient) & Thomé de Lima, P. (Recipient), 2022
Prize: Prizes, scholarships, distinctions

9 Organisation and participation in conference
5 Organisation and participation in workshop, seminar, course
4 Lecture and oral contribution
2 Membership in review committee
More
- 1 Editor of Research journal
- 1 Other (prizes, external teaching and other activities) - Prizes, scholarships, distinctions

18th International Conference on Extending Database Technology
Silvestri, F. (Participant)
23 Mar 2015 → 27 Mar 2015
Activity: Participating in or organising an event types › Organisation and participation in conference
2019 Annual Conference of the North American Chapter of the Association for Computational Linguistics
Schluter, N. (Other (please specify))
1 Sept 2018 → 30 Jun 2019
Activity: Participating in or organising an event types › Organisation and participation in conference
23rd European Symposium on Algorithms
Silvestri, F. (Member of Programme Committee)
2015
Activity: Participating in or organising an event types › Organisation and participation in conference

Fingerprint