Karl Meinke

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Algebraic semantics of rewriting terms and types Conditional Term Rewriting Systems	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 Higher-Order Algebra, Logic, and Term Rewriting	2019-01-11	Paper
Incremental learning-based testing for reactive systems Tests and Proofs	2011-07-07	Paper
CGE: a sequential learning algorithm for Mealy automata Grammatical Inference: Theoretical Results and Applications	2010-09-10	Paper
Iterative Estimators of Parameters in Linear Models with Partially Variant Coefficients International Journal of Applied Mathematics and Computer Science	2007-09-27	Paper
A Stochastic Theory of Black-Box Software Testing Algebra, Meaning, and Computation	2007-09-07	Paper
Proof theory of higher-order equations: Conservativity, normal forms and term rewriting. Journal of Computer and System Sciences	2003-08-19	Paper
Correctness of dataflow and systolic algorithms using algebras of streams Acta Informatica	2001-12-13	Paper
A completeness theorem for the expressive power of higher-order algebraic specifications Journal of Computer and System Sciences	1999-02-16	Paper
Topological methods for algebraic specification Theoretical Computer Science	1997-02-27	Paper
On the power of higher-order algebraic specification methods Information and Computation	1996-03-19	Paper
A recursive second order initial algebra specification of primitive recursion Acta Informatica	1994-11-23	Paper
scientific article; zbMATH DE number 408803 (Why is no real title available?)	1993-09-06	Paper
Universal algebra in higher types Theoretical Computer Science	1993-01-17	Paper
scientific article; zbMATH DE number 4096757 (Why is no real title available?)	1988-01-01	Paper

Research outcomes over time

This page was built for person: Karl Meinke