Hendrik Tews

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
Formalizing cut elimination of coalgebraic logics in Coq Lecture Notes in Computer Science	2013-10-04	Paper
Predicate and relation lifting for parametric algebraic specifications	2013-09-11	Paper
Greatest bisimulations for binary methods Electronic Notes in Theoretical Computer Science	2013-08-15	Paper
Formal memory models for the verification of low-level operating-system code Journal of Automated Reasoning	2009-08-31	Paper
Coalgebras for binary methods: Properties of bisimulations and invariants RAIRO. Theoretical Informatics and Applications	2002-01-23	Paper
Coalgebras for binary methods: Properties of bisimulations and invariants RAIRO. Theoretical Informatics and Applications	2002-01-23	Paper
Coalgebras for binary methods: Properties of bisimulations and invariants RAIRO. Theoretical Informatics and Applications	2002-01-23	Paper
The coalgebraic class specification language CCSL Journal of Universal Computer Science	2001-08-13	Paper
scientific article; zbMATH DE number 1497871 (Why is no real title available?)	2001-03-05	Paper

Research outcomes over time

This page was built for person: Hendrik Tews