Martin Strecker

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
Reasoning formally about database queries and updates	2024-03-14	Paper
Deciding Extended Modal Logics by Combining State Space Generation and SAT Solving Artificial Intelligence and Symbolic Computation	2023-06-30	Paper
Interactive and automated proofs for graph transformations Mathematical Structures in Computer Science	2018-09-05	Paper
Verifying graph transformation systems with description logics	2018-08-24	Paper
Proving correctness of logically decorated graph rewriting systems	2017-10-17	Paper
Ensuring correctness of model transformations while remaining decidable Theoretical Aspects of Computing – ICTAC 2016	2016-12-21	Paper
A Hoare-like calculus using the \(\mathrm{SROIQ}^{\sigma }\) logic on transformations of graphs Lecture Notes in Computer Science	2014-09-15	Paper
Modeling and verifying graph transformations in proof assistants Electronic Notes in Theoretical Computer Science	2014-01-17	Paper
Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction FM 2012: Formal Methods	2012-11-08	Paper
Verification of the Schorr-Waite algorithm -- from trees to graphs Logic-Based Program Synthesis and Transformation	2011-05-27	Paper
Verification of the Redecoration Algorithm for Triangular Matrices Lecture Notes in Computer Science	2008-06-03	Paper
Verified bytecode verification and type-certifying compilation The Journal of Logic and Algebraic Programming	2004-10-14	Paper
scientific article; zbMATH DE number 2090288 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 1980940 (Why is no real title available?)	2003-09-15	Paper
scientific article; zbMATH DE number 1552510 (Why is no real title available?)	2001-01-15	Paper

Research outcomes over time

This page was built for person: Martin Strecker