Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Martin Strecker
Ensuring Correctness of Model Transformations While Remaining Decidable
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
C2PDLS: A Combination of Combinatory and Converse PDL With Substitutions
Related publications
Proving the Correctness of Recursion-Based Automatic Program Transformations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Maximizing Correctness With Minimal User Effort to Learn Data Transformations
Ensuring Global Termination of Partial Deduction While Allowing Flexible Polyvariance
Managing Perceived Conflicts of Interest While Ensuring the Continued Innovation of Medical Technology
Journal of Vascular Surgery
Surgery
Cardiovascular Medicine
Cardiology
Analysis of Directions for Overcoming the Difficulties of Warehousing While Ensuring Logistics Processes
ScienceRise
Decidable Containment of Recursive Queries
Theoretical Computer Science
Computer Science
Theoretical Computer Science
A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Correctness of Incremental Model Synchronization With Triple Graph Grammars
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Evaluation Transformer Model of Reduction and Its Correctness
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
