Karl Meinke

	2012
30		Karl Meinke, Muddassar A. Sindhu: An n log n Alogrithm for Deterministic Kripke Structure Minimization CoRR abs/1205.5928: (2012)
	2011
29		Shaolin Hu, Xiaofeng Wang, Karl Meinke, Huajiang Ouyang: Outlier-Tolerant Fitting and Online Diagnosis of Outliers in Dynamic Process Sampling Data Series. AICI (3) 2011: 195-203
28		Karl Meinke, Fei Niu: Learning-Based Testing for Reactive Systems Using Term Rewriting Technology. ICTSS 2011: 97-114
27		Karl Meinke, Muddassar A. Sindhu: Incremental Learning-Based Testing for Reactive Systems. TAP 2011: 134-151
	2010
26		Karl Meinke: CGE: A Sequential Learning Algorithm for Mealy Automata. ICGI 2010: 148-162
25		Karl Meinke, Fei Niu: A Learning-Based Approach to Unit Testing of Numerical Software. ICTSS 2010: 221-235
	2007
24		Shaolin Hu, Karl Meinke, Rushan Chen, Ouyang Huajiang: Iterative Estimators of Parameters in Linear Models with Partially Variant Coefficients. Applied Mathematics and Computer Science 17(2): 179-187 (2007)
	2006
23		Karl Meinke: A Stochastic Theory of Black-Box Software Testing. Essays Dedicated to Joseph A. Goguen 2006: 578-595
	2004
22		Karl Meinke: Automated black-box testing of functional correctness using function approximation. ISSTA 2004: 143-153
	2003
21		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		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		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

Coauthor Index

1	Egon Börger	[10]
2	Rushan Chen	[24]
3	Gilles Dowek	[15]
4	Hugh Glaser	[18]
5	Yuri Gurevich	[10]
6	Michael Hanus	[17]
7	B. M. Hearn	[7]
8	Jan Heering	[11] [15] [17]
9	Shaolin Hu	[24] [29]
10	Ouyang Huajiang (Huajiang Ouyang)	[24] [29]
11	Piotr Kosiuczenko	[14]
12	Bernhard Möller	[11] [15]
13	Tobias Nipkow	[11]
14	Fei Niu	[25] [28]
15	Catuscia Palamidessi	[18]
16	Muddassar A. Sindhu	[27] [30]
17	L. Jason Steggles (L. J. Steggles)	[6] [20]
18	J. V. Tucker (John V. Tucker)	[1]
19	Xiaofeng Wang	[29]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page