dblp.uni-trier.dewww.uni-trier.de

Karl Meinke

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
23EEKarl Meinke: A Stochastic Theory of Black-Box Software Testing. Essays Dedicated to Joseph A. Goguen 2006: 578-595
2004
22EEKarl Meinke: Automated black-box testing of functional correctness using function approximation. ISSTA 2004: 143-153
2003
21EEKarl Meinke: Proof theory of higher-order equations: conservativity, normal forms and term rewriting. J. Comput. Syst. Sci. 67(1): 127-173 (2003)
2001
20EEKarl 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)
13EEKarl 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

Coauthor Index

1Egon Börger [10]
2Gilles Dowek [15]
3Hugh Glaser [18]
4Yuri Gurevich [10]
5Michael Hanus [17]
6B. M. Hearn [7]
7Jan Heering [11] [15] [17]
8Piotr Kosiuczenko [14]
9Bernhard Möller [11] [15]
10Tobias Nipkow [11]
11Catuscia Palamidessi [18]
12L. Jason Steggles (L. J. Steggles) [6] [20]
13J. V. Tucker (John V. Tucker) [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)