Projects per year
Fingerprint
- 1 Similar Profiles
Projects
- 1 Finished
-
IBO2015: International Biology Olympiad
Lindberg, A. B. (Project manager), Olesen, J. M. (Project manager), Bilgrav-Nielsen, K. (Project coordinator), Jakobsen, S. L. (Participant), Nielsen, N. (Project coordinator), Schmidt, E. M. (Award holder) & Holbech, Aarhus Universitet, J. (Participant)
03/01/2011 → 31/12/2015
Project: Research
File
-
To Dexter - A Tribute from Aarhus
Schmidt, E. M., Skyum, S. & Nielsen, M., 2012, Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. Constable, R. L. & Silva, A. (eds.). Springer, p. 341 1 p. (Lecture Notes in Computer Science, Vol. 7230).Research output: Contribution to book/anthology/report/proceeding › Book chapter › Communication
-
Algorithm Theory — SWAT 2002: 8th Scandinavian Workshop on Algorithm Theory Turku, Finland, July 3–5, 2002 Proceedings
Penttonen, M. (Editor) & Schmidt, E. M. (Editor), 2002, Springer. 588 p. (Lecture Notes in Computer Science, Vol. 2368).Research output: Book/anthology/dissertation/report › Anthology › Research
-
Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software [Dagstuhl seminar, September 2000]
Fleischer, R. (Editor), Moret, B. (Editor) & Schmidt, E. M. (Editor), 2002, Berlin: Springer. 278 p. (Lecture Notes in Computer Science, Vol. 2547).Research output: Book/anthology/dissertation/report › Anthology › Research
-
BRICS and Quantum Information Processing
Schmidt, E. M., 1998, Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998. Proceedings. Arvind, V. & Ramanujam, S. (eds.). Springer, p. 1050 1 p. (Lecture Notes in Computer Science, Vol. 1530).Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
-
Algorithm Theory — SWAT '94: 4th Scandinavian Workshop on Algorithm Theory Aarhus, Denmark, July 6–8, 1994 Proceedings
Schmidt, E. M. (Editor) & Skyum, S. (Editor), 1994, Springer. 218 p. (Lecture Notes in Computer Science, Vol. 824).Research output: Book/anthology/dissertation/report › Anthology › Research