Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Logik in der Informatik

Dr. André Frochaux

wiss. Mitarbeiter - Institut für Informatik - AG Theoretische Informatik


Adresse:

Institut für Informatik
Humboldt-Universität zu Berlin
Unter den Linden 6
D-10099 Berlin


ein Bild
Sitz:

Johann-von-Neumann-Haus
Rudower Chausse 25, Haus III / 4. Etage, Raum 425
D-12489 Berlin-Adlershof

Telefon:

+49 30 2093 41135

E-Mail:

andre.png

Sprechzeiten:

nach Vereinbarung


Lehre

 

 

Publikationen

 

  • A. Frochaux and S. Kleest-Meißner,
    Puzzling over Subsequence-Query Extensions: Disjunction and Generalised Gaps.,
    in AMW 2023: Proceedings of the 15th Alberto Mendelzon Workshop on Foundations of Data Management, Santiago de Chile, Chile, May 22-26, 2023 (Benny Kimelfeld and Maria Vanina Martinez and Renzo Angles, eds.), vol. 3409 of CEUR Workshop Proceedings, CEUR-WS.org, 2023.

    linklogo Link bibtexlogoBibTex
    linklogo Link Full version

  • A. Frochaux and L. Heimberg,
    An Optimal Construction for the Barthelmann-Schwentick Normal Form on Classes of Structures of Bounded Degree,
    CoRR, vol. abs/1810.12077, 2018.

    linklogo Link bibtexlogoBibTex

  • A. Frochaux,
    Static Analysis of Monadic Datalog on Finite Labeled Trees,
    Doctoral Dissertation, Humboldt-Universität zu Berlin, Germany, 2016.

    linklogo Link bibtexlogoBibTex

  • A. Frochaux and N. Schweikardt,
    Monadic Datalog Containment on Trees Using the Descendant-Axis,
    in AMW 2016: Proceedings of the 10th Alberto Mendelzon Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016 (Reinhard Pichler and Altigran Soares da Silva, eds.), vol. 1644 of CEUR Workshop Proceedings, CEUR-WS.org, 2016.

    linklogo Link bibtexlogoBibTex
    linklogo Link Full version

  • A. Frochaux, M. Grohe, and N. Schweikardt,
    Monadic datalog containment on trees,
    in AMW 2014: Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, Cartagena de Indias, Colombia, June 4-6, 2014 (Georg Gottlob and Jorge Pérez, eds.), vol. 1189 of CEUR Workshop Proceedings, CEUR-WS.org, 2014.

    linklogo Link bibtexlogoBibTex
    linklogo Link Full version

  • A. Frochaux and N. Schweikardt,
    A note on monadic datalog on unranked trees,
    CoRR, vol. abs/1310.1316, 2013.

    linklogo Link bibtexlogoBibTex

  • A. Böhm,
    mDatalog - Monadisches Datalog über Bäumen,
    Diplomarbeit, DE, Department of Computer Science, Humboldt-University Berlin/Germany, June 2009.

    bibtexlogoBibTex

  • A. Böhm,
    Ausdrucksstärke von monadischem Datalog über Baumstrukturen,
    Studienarbeit, Humboldt-Universität zu Berlin, 2008.

    bibtexlogoBibTex

 

Vorträge

 

  • 19. September 2018
    6th conference on Highlights of Logic, Games and Automata
    An Optimal Construction for the Barthelmann-Schwentick Normal Form on Classes of Structures of Bounded Degree
    Technische Universität Berlin, Deutschland

  • 16. September 2018
    Colloquium Logicum 2018
    An Optimal Construction for the Barthelmann-Schwentick Normal Form on Classes of Structures of Bounded Degree
    Universität Bayreuth, Deutschland

  • HIGS17.png

    6. Juni 2017
    14. Humboldt Informatik GONG SHOW (HIGS'17)
    (Best Talk Award)
    Statische Analyse rekursiver Anfragen auf Baumstrukturen
    Humboldt-Universität zu Berlin, Deutschland

  • 8. März 2017
    Algorithmic Model Theory Workshop
    Static Analysis of Monadic Datalog on Finite Labeled Trees
    Leibniz Universität Hannover, Deutschland

  • 16. Dezember 2016
    Disputation
    Static Analysis of Monadic Datalog on Finite Labeled Trees
    Humboldt-Universität zu Berlin, Deutschland

  • 10. Juni 2016
    10th Alberto Mendelzon Workshop
    Monadic Datalog Containment on Trees Using the Descendant-Axis
    Panama-City, Panama

  • 5. Juni 2014
    8th Alberto Mendelzon Workshop
    Monadic datalog containment on trees
    Cartagena de Indias, Kolumbien

 

snippets of logic

 

Die snippets sind eine kleine Skriptsammlung zur Veranschaulichung, welche unregelmäßig updates erfahren.