| 2006 |
|---|
| 23 | EE | Karl Meinke:
A Stochastic Theory of Black-Box Software Testing.
Essays Dedicated to Joseph A. Goguen 2006: 578-595 |
| 2004 |
|---|
| 22 | EE | Karl Meinke:
Automated black-box testing of functional correctness using function approximation.
ISSTA 2004: 143-153 |
| 2003 |
|---|
| 21 | EE | Karl Meinke:
Proof theory of higher-order equations: conservativity, normal forms and term rewriting.
J. Comput. Syst. Sci. 67(1): 127-173 (2003) |
| 2001 |
|---|
| 20 | EE | Karl Meinke,
L. J. Steggles:
Correctness of dataflow and systolic algorithms using algebras of streams.
Acta Inf. 38(1): 45-88 (2001) |
| 2000 |
|---|
| 19 | | Karl Meinke:
Validation and Test Case Generations for MSCs Using A Propositional SAT Solver.
SAM 2000: 203- |
| 1998 |
|---|
| 18 | | Catuscia Palamidessi,
Hugh Glaser,
Karl Meinke:
Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings
Springer 1998 |
| 1997 |
|---|
| 17 | | Michael Hanus,
Jan Heering,
Karl Meinke:
Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, U.K., Spetember 3-5, 1997, Proceedings
Springer 1997 |
| 16 | | Karl Meinke:
A Completeness Theorem for the Expressive Power of Higher-Order Algebraic Specifications.
J. Comput. Syst. Sci. 54(3): 502-519 (1997) |
| 1996 |
|---|
| 15 | | Gilles Dowek,
Jan Heering,
Karl Meinke,
Bernhard Möller:
Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers
Springer 1996 |
| 14 | | Piotr Kosiuczenko,
Karl Meinke:
On the Power of Higher-Order Algebraic Specification Methods.
Inf. Comput. 124(1): 85-101 (1996) |
| 13 | EE | Karl Meinke:
Topological Methods for Algebraic Specification.
Theor. Comput. Sci. 166(1&2): 263-290 (1996) |
| 1995 |
|---|
| 12 | | Karl Meinke:
Higher-Order Equational Logic for Specification, Simulation and Testing.
HOA 1995: 124-143 |
| 1994 |
|---|
| 11 | | Jan Heering,
Karl Meinke,
Bernhard Möller,
Tobias Nipkow:
Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers
Springer 1994 |
| 10 | | Egon Börger,
Yuri Gurevich,
Karl Meinke:
Computer Science Logic, 7th Workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993, Selected Papers
Springer 1994 |
| 9 | | Karl Meinke:
Topological Methods for Algebraic Specification.
COMPASS/ADT 1994: 368-388 |
| 8 | | Karl Meinke:
A Recursive Second Order Initial Algebra Specification of Primitive Recursion.
Acta Inf. 31(4): 329-340 (1994) |
| 1993 |
|---|
| 7 | | B. M. Hearn,
Karl Meinke:
ATLAS: A Typed Language for Algebraic Specification.
HOA 1993: 146-168 |
| 6 | | Karl Meinke,
L. J. Steggles:
Specification and Verification in Higher-Order Algebra: A Case Study of Convolution.
HOA 1993: 189-222 |
| 1992 |
|---|
| 5 | | Karl Meinke:
Algebraic Semantics of Rewriting Terms and Types.
CTRS 1992: 1-20 |
| 4 | | Karl Meinke:
Universal Algebra in Higher Types.
Theor. Comput. Sci. 100(2): 385-417 (1992) |
| 1991 |
|---|
| 3 | | Karl Meinke:
Equational Specification of Abstract Types and Combinators.
CSL 1991: 257-271 |
| 1990 |
|---|
| 2 | | Karl Meinke:
Universal Algebra in Higher Types.
ADT 1990: 185-203 |
| 1988 |
|---|
| 1 | | Karl Meinke,
J. V. Tucker:
The Scope and Limits of Synchronous Concurrent Computation.
Concurrency 1988: 163-180 |
