Dominik D. Freydenberger

Orcid: 0000-0001-5088-0067

Affiliations:
  • Loughborough University, UK
  • Bayreuth University (former)


According to our database1, Dominik D. Freydenberger authored at least 27 papers between 2005 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Research Report: Parsing with the Logic FC.
Proceedings of the 2025 IEEE Security and Privacy, 2025

Characterization and Decidability of FC-Definable Regular Languages.
Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 2025

FC-Datalog as a Framework for Efficient String Querying.
Proceedings of the 28th International Conference on Database Theory, 2025

2024
Generalized Core Spanner Inexpressibility via Ehrenfeucht-Fraïssé Games for FC.
Proc. ACM Manag. Data, 2024

2023
Languages Generated by Conjunctive Query Fragments of FC[REG].
Proceedings of the Developments in Language Theory - 27th International Conference, 2023

2022
Splitting Spanner Atoms: A Tool for Acyclic Core Spanners.
Proceedings of the 25th International Conference on Database Theory, 2022

2021
The Theory of Concatenation over Finite Models.
Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

2020
Dynamic Complexity of Document Spanners.
Proceedings of the 23rd International Conference on Database Theory, 2020

2019
Finite models and the theory of concatenation.
CoRR, 2019

Complexity Bounds for Relational Algebra over Document Spanners.
Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2019

2018
Joining Extractions of Regular Expressions.
Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2018

2017
Deterministic Regular Expressions with Back-References.
Proceedings of the 34th Symposium on Theoretical Aspects of Computer Science, 2017

A Logic for Document Spanners.
Proceedings of the 20th International Conference on Database Theory, 2017

2016
Document Spanners: From Expressive Power to Decision Problems.
Proceedings of the 19th International Conference on Database Theory, 2016

2015
Testing k-binomial equivalence.
CoRR, 2015

2013
Fast learning of restricted regular expressions and DTDs.
Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

2011
Inclusion of pattern languages and related problems.
PhD thesis, 2011

Weakly Unambiguous Morphisms.
Proceedings of the 28th International Symposium on Theoretical Aspects of Computer Science, 2011

Extended Regular Expressions: Succinctness and Decidability.
Proceedings of the 28th International Symposium on Theoretical Aspects of Computer Science, 2011

Inclusion of Pattern Languages and Related Problems.
Proceedings of the Ausgezeichnete Informatikdissertationen 2011, 2011

Expressiveness and Static Analysis of Extended Conjunctive Regular Path Queries.
Proceedings of the 5th Alberto Mendelzon International Workshop on Foundations of Data Management, 2011

2010
Inclusion Problems for Patterns with a Bounded Number of Variables.
Proceedings of the Developments in Language Theory, 14th International Conference, 2010

Inferring Descriptive Generalisations of Formal Languages.
Proceedings of the COLT 2010, 2010

2009
Existence and Nonexistence of Descriptive Patterns.
Proceedings of the Developments in Language Theory, 13th International Conference, 2009

2008
Bad News on Decision Problems for Patterns.
Proceedings of the Developments in Language Theory, 12th International Conference, 2008

2007
The Unambiguity of Segmented Morphisms.
Proceedings of the Developments in Language Theory, 11th International Conference, 2007

2005
Unambiguous Morphic Images of Strings.
Proceedings of the Developments in Language Theory, 9th International Conference, 2005


  Loading...