Hendrik Tews

Available identifiers

zbMath Open tews.hendrikMaRDI QIDQ835771

List of research outcomes

Publication	Date of Publication	Type
Formalizing Cut Elimination of Coalgebraic Logics in Coq	2013-10-04	Paper
Predicate and relation lifting for parametric algebraic specifications	2013-09-11	Paper
Greatest bisimulations for binary methods	2013-08-15	Paper
Formal memory models for the verification of low-level operating-system code	2009-08-31	Paper
Coalgebras for binary methods: Properties of bisimulations and invariants	2002-01-23	Paper
The coalgebraic class specification language CCSL	2001-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4499302	2001-03-05	Paper

Research outcomes over time

This page was built for person: Hendrik Tews