Erik Meineche Schmidt

16 papers A* 4B 1Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2012 — conf
To Dexter - A Tribute from Aarhus.
Logic and Program Semantics
Erik Meineche Schmidt, Mogens Nielsen, Sven Skyum
2002 — ed.
Algorithm Theory - SWAT 2002, 8th Scandinavian Workshop on Algorithm Theory, Turku, Finland, July 3-5, 2002 Proceedings
SWAT
Martti Penttonen, Erik Meineche Schmidt
2002 — ed.
Experimental Algorithmics, From Algorithm Design to Robust and Efficient Software [Dagstuhl seminar, September 2000]
Experimental Algorithmics
Rudolf Fleischer, Bernard M. E. Moret, Erik Meineche Schmidt
1998 — conf
BRICS and Quantum Information Processing.
FSTTCS
Erik Meineche Schmidt
1994 — ed.
Algorithm Theory - SWAT '94, 4th Scandinavian Workshop on Algorithm Theory, Aarhus, Denmark, July 6-8, 1994, Proceedings
SWAT
Erik Meineche Schmidt, Sven Skyum
1992 J jnl
A New Formalism for Relational Algebra.
Inf. Process. Lett.
Kim S. Larsen, Michael I. Schwartzbach, Erik Meineche Schmidt
1989 B conf
An Imperative Type Hierarchy with Partial Products.
MFCS
Erik Meineche Schmidt, Michael I. Schwartzbach
1985 — conf
Pascal semantics by a combination of denotational semantics and high-level Petri nets.
Applications and Theory in Petri Nets
Kurt Jensen, Erik Meineche Schmidt
1982 A* ed.
Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings
ICALP
Mogens Nielsen, Erik Meineche Schmidt
1982 A* conf
Las Vegas Is better than Determinism in VLSI and Distributed Computing (Extended Abstract)
STOC
Kurt Mehlhorn, Erik Meineche Schmidt
1980 A* conf
Space-Restricted Attribute Grammars.
ICALP
Erik Meineche Schmidt
1980 J jnl
Stack Machines and Classes of Nonnested Macro Languages.
J. ACM
Joost Engelfriet, Erik Meineche Schmidt, Jan van Leeuwen
1978 J jnl
IO and OI. II.
J. Comput. Syst. Sci.
Joost Engelfriet, Erik Meineche Schmidt
1978 A* conf
The Complexity of Equivalence and Containment for Free Single Variable Program Schemes.
ICALP
Steven Fortune, John E. Hopcroft, Erik Meineche Schmidt
1977 J jnl
IO and OI. I.
J. Comput. Syst. Sci.
Joost Engelfriet, Erik Meineche Schmidt
1977 J jnl
Succinctness of Descriptions of Unambiguous Context-Free Languages.
SIAM J. Comput.
Erik Meineche Schmidt, Thomas G. Szymanski