Karl Meinke

Available identifiers

Publication	Date of Publication	Type
Algebraic semantics of rewriting terms and types	2023-03-09	Paper
Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries	2022-11-09	Paper
Higher-order equational logic for specification, simulation and testing	2019-01-11	Paper
Incremental Learning-Based Testing for Reactive Systems	2011-07-07	Paper
CGE: A Sequential Learning Algorithm for Mealy Automata	2010-09-10	Paper
Iterative Estimators of Parameters in Linear Models with Partially Variant Coefficients	2007-09-27	Paper
A Stochastic Theory of Black-Box Software Testing	2007-09-07	Paper
Proof theory of higher-order equations: Conservativity, normal forms and term rewriting.	2003-08-19	Paper
Correctness of dataflow and systolic algorithms using algebras of streams	2001-12-13	Paper
A completeness theorem for the expressive power of higher-order algebraic specifications	1999-02-16	Paper
Topological methods for algebraic specification	1997-02-27	Paper
On the power of higher-order algebraic specification methods	1996-03-19	Paper
A recursive second order initial algebra specification of primitive recursion	1994-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q4202948	1993-09-06	Paper
Universal algebra in higher types	1993-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q3823121	1988-01-01	Paper

This page was built for person: Karl Meinke