Person:671656

Available identifiers

zbMath Open meinke.karlMaRDI QIDQ671656

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Karl Meinke