How can reasoners simplify database querying (and why haven’t they done it yet)? by Benedikt, M

Logic-based perspectives on query reformulation over restricted interfaces by Benedikt, M

Regular Tree Languages Definable in FO and in FOmod by Benedikt, M, Segoufin, L

Embedded finite models beyond research quantifier collapse by Benedikt, M, Hrushovski, E

HOMES: A Higher−Order Mapping Evaluation System by Vu, H, Benedikt, M

From XQuery to Relational Logics by Benedikt, M, Koch, C

Complexity of Higher−Order Queries by Vu, H, Benedikt, M

How Big Must Complete XML Query Languages Be? by Ley, C, Benedikt, M

Generating collection transformations from proofs by Benedikt, M, Pradic, P

Higher−Order Functions and Structured Datatypes by Benedikt, M, Vu, H

TOWARDS A CHARACTERIZATION OF ORDER-INVARIANT QUERIES OVER TAME GRAPHS by Benedikt, M, Segoufin, L

XPath Leashed by Benedikt, M, Koch, C

Limiting until in ordered tree query languages by Benedikt, M, Ley, C

Finite open-world query answering with number restrictions by Amarilli, A, Benedikt, M

Two variable logic with ultimately periodic counting by Benedikt, M, Kostylev, EV, Tan, T

Determinacy and rewriting of functional top–down and MSO tree transformations by Benedikt, M, Engelfriet, J, Maneth, S

Two variable logic with ultimately periodic counting by Benedikt, M, Kostylev, EV, Tan, T

DUBbing cancer: Deubiquitylating enzymes involved in epigenetics, DNA damage and the cell cycle as therapeutic targets by Benedikt M Kessler, Adán Pinto Fernández

Get full text

Changing epidemiology of COVID-19 by Lampl, Benedikt M.J., Salzberger, Bernd

Get full text

Interest and need for continuing medical education in pediatric complementary and integrative medicine: a cross-sectional survey from Switzerland by Benedikt M. Huber, Pierre-Yves Rodondi

Get full text