Erik Meineche Schmidt

  1. 2012
  2. Published

    To Dexter - A Tribute from Aarhus. / Schmidt, Erik Meineche; Skyum, Sven; Nielsen, Mogens.

    Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. ed. / Robert L. Constable; Alexandra Silva. Springer, 2012. p. 341 (Lecture Notes in Computer Science, Vol. 7230).

    Research output: Contribution to book/anthology/report/proceedingBook chapterCommunication

  3. 2002
  4. Published

    Algorithm Theory — SWAT 2002 : 8th Scandinavian Workshop on Algorithm Theory Turku, Finland, July 3–5, 2002 Proceedings. / Penttonen, Martti (Editor); Schmidt, Erik Meineche (Editor).

    Springer, 2002. 588 p. (Lecture Notes in Computer Science , Vol. 2368).

    Research output: Book/anthology/dissertation/reportAnthologyResearch

  5. Published

    Experimental Algorithmics : From Algorithm Design to Robust and Efficient Software [Dagstuhl seminar, September 2000]. / Fleischer, Rudolf (Editor); Moret, Bernhard (Editor); Schmidt, Erik Meineche (Editor).

    Berlin : Springer, 2002. 278 p. (Lecture Notes in Computer Science, Vol. 2547).

    Research output: Book/anthology/dissertation/reportAnthologyResearch

  6. 1998
  7. Published

    BRICS and Quantum Information Processing. / Schmidt, Erik Meineche.

    Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998. Proceedings. ed. / Vikraman Arvind; Sundar Ramanujam. Springer, 1998. p. 1050 (Lecture Notes in Computer Science, Vol. 1530).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  8. 1994
  9. Published

    Algorithm Theory — SWAT '94 : 4th Scandinavian Workshop on Algorithm Theory Aarhus, Denmark, July 6–8, 1994 Proceedings. / Schmidt, Erik Meineche (Editor); Skyum, Sven (Editor).

    Springer, 1994. 218 p. (Lecture Notes in Computer Science, Vol. 824).

    Research output: Book/anthology/dissertation/reportAnthologyResearch

  10. 1993
  11. Published

    Layout Construction : A Case Study In Algorithm Engineering. / Frandsen, Gudmund Skovbjerg; Palsberg, Jens; Schmidt, Erik Meineche; Sjøgaard, Steen.

    Department of Computer Science, Aarhus University, 1993.

    Research output: Working paperResearch

  12. 1992
  13. Published

    A New Formalism for Relational Algebra. / Schwartzbach, Michael Ignatieff; Larsen, Kim Skak; Schmidt, Erik Meineche.

    In: Information Processing Letters, Vol. 41, No. 3, 1992, p. 163-168.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  14. 1989
  15. Published

    An Imperative Type Hierarchy with Partial Products. / Schwartzbach, Michael Ignatieff; Schmidt, Erik Meineche.

    Mathematical Foundations of Computer Science 1989: Porabka-Kozubnik, Poland August 28 - September 1, 1989 Proceedings. ed. / A. Kreczmar; G. Mirkowska. Springer, 1989. p. 458-470 (Lecture Notes in Computer Science, Vol. 379).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  16. 1986
  17. Published

    Pascal Semantics by a Combination of Denotational Semantics and High-level Petri Nets. / Jensen, Kurt; Schmidt, Erik Meineche.

    Advances in Petri Nets 1985. ed. / G. Rozenberg. Vol. 222 Springer, 1986. p. 297-329 (Lecture Notes in Computer Science, Vol. 222).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  18. 1982
  19. Published

    Automata, Languages and Programming : Ninth Colloquium Aarhus, Denmark, July 12-16, 1982. / Nielsen, Mogens (Editor); Schmidt, Erik Meineche (Editor).

    Springer, 1982. 611 p. (Lecture Notes in Computer Science, Vol. 140).

    Research output: Book/anthology/dissertation/reportAnthologyResearch

  20. Published

    Las Vegas is better than determinism in VLSI and distributed computing. / Mehlhorn, Kurt; Schmidt, Erik Meineche.

    STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing . Association for Computing Machinery, 1982. p. 330-337.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  21. 1980
  22. Published

    Space-restricted attribute grammars. / Schmidt, Erik Meineche.

    Automata, Languages and Programming: Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980. ed. / Jaco de Bakker; Jan van Leeuwen. Springer, 1980. p. 436-448 (Lecture Notes in Computer Science, Vol. 85).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  23. Published

    Stack Machines and Classes of Nonnested Macro Languages. / Engelfriet, Joost; Schmidt, Erik Meineche; van Leeuwen, Jan.

    In: Association for Computing Machinery. Journal, Vol. 27, No. 1, 1980, p. 96-117.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  24. 1978
  25. Published

    IO and OI. II. / Engelfriet, Joost; Schmidt, Erik Meineche.

    In: Journal of Computer and System Sciences, Vol. 16, No. 1, 1978, p. 67-99.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  26. Published

    The complexity of equivalence and containment for free single variable program schemes. / Fortune, Steven; Hopcroft, John; Schmidt, Erik Meineche.

    Automata, Languages and Programming: Fifth Colloquium, Udine, Italy, July 17–21, 1978. ed. / Giorgio Ausiello; Corrado Böhm. Springer, 1978. p. 227-240 (Lecture Notes in Computer Science, Vol. 62).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  27. 1977
  28. Published

    IO and OI. I. / Engelfriet, Joost; Schmidt, Erik Meineche.

    In: Journal of Computer and System Sciences, Vol. 15, No. 3, 1977, p. 328-353.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  29. Published

    Succinctness of Descriptions of Unambiguous Context-Free Languages. / Schmidt, Erik Meineche; Szymanski, Thomas G.

    In: S I A M Journal on Computing, Vol. 6, No. 3, 1977, p. 547-553.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review