Martin Strecker

From MaRDI portal
Person:1663989

Available identifiers

zbMath Open strecker.martinMaRDI QIDQ1663989

List of research outcomes





PublicationDate of PublicationType
Reasoning formally about database queries and updates2024-03-14Paper
Deciding Extended Modal Logics by Combining State Space Generation and SAT Solving2023-06-30Paper
Interactive and automated proofs for graph transformations2018-09-05Paper
Verifying graph transformation systems with description logics2018-08-24Paper
https://portal.mardi4nfdi.de/entity/Q53694792017-10-17Paper
Ensuring Correctness of Model Transformations While Remaining Decidable2016-12-21Paper
A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs2014-09-15Paper
Modeling and verifying graph transformations in proof assistants2014-01-17Paper
Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction2012-11-08Paper
Verification of the Schorr-Waite Algorithm – From Trees to Graphs2011-05-27Paper
Verification of the Redecoration Algorithm for Triangular Matrices2008-06-03Paper
Verified bytecode verification and type-certifying compilation2004-10-14Paper
https://portal.mardi4nfdi.de/entity/Q48090432004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q44283142003-09-15Paper
https://portal.mardi4nfdi.de/entity/Q45247682001-01-15Paper

Research outcomes over time

This page was built for person: Martin Strecker

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1663989&oldid=6452220"
Powered by MediaWiki