2 citations · 3 across the 3 of their papers we have counts for
3 papers
Efficient Evaluation of Arbitrary Relational Calculus Queries
Martin Raszyk, David Basin, Srđan Krstić +1
The relational calculus (RC) is a concise, declarative query language. However, existing RC query evaluation approaches are inefficient and often deviate from established algorithm…
From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata
Elisabet Burjons, Fabian Frei, Martin Raszyk
The question whether P equals NP revolves around the discrepancy between active production and mere verification by Turing machines. In this paper, we examine the analogous problem…
Reoptimization of Parameterized Problems
Hans-Joachim Böckenhauer, Elisabet Burjons, Martin Raszyk +1
Parameterized complexity allows us to analyze the time complexity of problems with respect to a natural parameter depending on the problem. Reoptimization looks for solutions or ap…