@Proceedings{amarilli_et_al:OASIcs.Tannen,
title = {{OASIcs, Volume 119, Tannen's Festschrift, Complete Volume}},
booktitle = {The Provenance of Elegance in Computation - Essays Dedicated to Val Tannen},
pages = {1--196},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-320-1},
ISSN = {2190-6807},
year = {2024},
volume = {119},
editor = {Amarilli, Antoine and Deutsch, Alin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Tannen},
URN = {urn:nbn:de:0030-drops-200953},
doi = {10.4230/OASIcs.Tannen},
annote = {Keywords: OASIcs, Volume 119, Tannen's Festschrift, Complete Volume}
}
@InProceedings{amarilli_et_al:OASIcs.Tannen.0,
author = {Amarilli, Antoine and Deutsch, Alin},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {The Provenance of Elegance in Computation - Essays Dedicated to Val Tannen},
pages = {0:i--0:xii},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-320-1},
ISSN = {2190-6807},
year = {2024},
volume = {119},
editor = {Amarilli, Antoine and Deutsch, Alin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Tannen.0},
URN = {urn:nbn:de:0030-drops-200962},
doi = {10.4230/OASIcs.Tannen.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{baldazzi_et_al:OASIcs.Tannen.1,
author = {Baldazzi, Teodoro and Bellomarini, Luigi and Ceri, Stefano and Colombo, Andrea and Gentili, Andrea and Sallinger, Emanuel and Atzeni, Paolo},
title = {{Explaining Enterprise Knowledge Graphs with Large Language Models and Ontological Reasoning}},
booktitle = {The Provenance of Elegance in Computation - Essays Dedicated to Val Tannen},
pages = {1:1--1:20},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-320-1},
ISSN = {2190-6807},
year = {2024},
volume = {119},
editor = {Amarilli, Antoine and Deutsch, Alin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Tannen.1},
URN = {urn:nbn:de:0030-drops-200971},
doi = {10.4230/OASIcs.Tannen.1},
annote = {Keywords: provenance, ontological reasoning, language models, knowledge graphs}
}
@InProceedings{bhaskar_et_al:OASIcs.Tannen.2,
author = {Bhaskar, Siddharth and Lindell, Steven and Weinstein, Scott},
title = {{Traversal-Invariant Characterizations of Logarithmic Space}},
booktitle = {The Provenance of Elegance in Computation - Essays Dedicated to Val Tannen},
pages = {2:1--2:17},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-320-1},
ISSN = {2190-6807},
year = {2024},
volume = {119},
editor = {Amarilli, Antoine and Deutsch, Alin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Tannen.2},
URN = {urn:nbn:de:0030-drops-200984},
doi = {10.4230/OASIcs.Tannen.2},
annote = {Keywords: Model theory, finite model theory, descriptive complexity theory, logarithmic space, graph traversals}
}
@InProceedings{brinke_et_al:OASIcs.Tannen.3,
author = {Brinke, Sophie and Gr\"{a}del, Erich and Mrkonji\'{c}, Lovro and Naaf, Matthias},
title = {{Semiring Provenance in the Infinite}},
booktitle = {The Provenance of Elegance in Computation - Essays Dedicated to Val Tannen},
pages = {3:1--3:26},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-320-1},
ISSN = {2190-6807},
year = {2024},
volume = {119},
editor = {Amarilli, Antoine and Deutsch, Alin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Tannen.3},
URN = {urn:nbn:de:0030-drops-200997},
doi = {10.4230/OASIcs.Tannen.3},
annote = {Keywords: Semiring semantics, first-order logic, semirings with infinitary operations}
}
@InProceedings{buneman_et_al:OASIcs.Tannen.4,
author = {Buneman, Peter and Vansummeren, Stijn},
title = {{Annotation and More Annotation: Some Problems Posed by (and to) Val Tannen}},
booktitle = {The Provenance of Elegance in Computation - Essays Dedicated to Val Tannen},
pages = {4:1--4:8},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-320-1},
ISSN = {2190-6807},
year = {2024},
volume = {119},
editor = {Amarilli, Antoine and Deutsch, Alin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Tannen.4},
URN = {urn:nbn:de:0030-drops-201007},
doi = {10.4230/OASIcs.Tannen.4},
annote = {Keywords: Annotation, provenance, semiring, curated data}
}
@InProceedings{deutsch:OASIcs.Tannen.5,
author = {Deutsch, Alin},
title = {{Chasing Parallelism in Aggregating Graph Queries}},
booktitle = {The Provenance of Elegance in Computation - Essays Dedicated to Val Tannen},
pages = {5:1--5:14},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-320-1},
ISSN = {2190-6807},
year = {2024},
volume = {119},
editor = {Amarilli, Antoine and Deutsch, Alin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Tannen.5},
URN = {urn:nbn:de:0030-drops-201011},
doi = {10.4230/OASIcs.Tannen.5},
annote = {Keywords: Graph Databases, Grouping and Aggregation, Parallel Graph Computation Models, Rewriting, Constraint-based Minimization}
}
@InProceedings{fan_et_al:OASIcs.Tannen.6,
author = {Fan, Wenfei and Liu, Shuhao},
title = {{Fishing Fort: A System for Graph Analytics with ML Prediction and Logic Deduction}},
booktitle = {The Provenance of Elegance in Computation - Essays Dedicated to Val Tannen},
pages = {6:1--6:18},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-320-1},
ISSN = {2190-6807},
year = {2024},
volume = {119},
editor = {Amarilli, Antoine and Deutsch, Alin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Tannen.6},
URN = {urn:nbn:de:0030-drops-201025},
doi = {10.4230/OASIcs.Tannen.6},
annote = {Keywords: graph analytics, data cleaning, association analysis}
}
@InProceedings{gallier:OASIcs.Tannen.7,
author = {Gallier, Jean},
title = {{A Note on Logical PERs and Reducibility. Logical Relations Strike Again!}},
booktitle = {The Provenance of Elegance in Computation - Essays Dedicated to Val Tannen},
pages = {7:1--7:12},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-320-1},
ISSN = {2190-6807},
year = {2024},
volume = {119},
editor = {Amarilli, Antoine and Deutsch, Alin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Tannen.7},
URN = {urn:nbn:de:0030-drops-201033},
doi = {10.4230/OASIcs.Tannen.7},
annote = {Keywords: Typed lambda-calculus, reducibility, logical relations, per’s, strong normalization, Church-Rosser property}
}
@InProceedings{myrtakis_et_al:OASIcs.Tannen.8,
author = {Myrtakis, Nikolaos and Tsamardinos, Ioannis and Christophides, Vassilis},
title = {{AutoML for Explainable Anomaly Detection (XAD)}},
booktitle = {The Provenance of Elegance in Computation - Essays Dedicated to Val Tannen},
pages = {8:1--8:23},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-320-1},
ISSN = {2190-6807},
year = {2024},
volume = {119},
editor = {Amarilli, Antoine and Deutsch, Alin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Tannen.8},
URN = {urn:nbn:de:0030-drops-201049},
doi = {10.4230/OASIcs.Tannen.8},
annote = {Keywords: Anomaly Explanation, Predictive Explanation, Anomaly Interpretation, Explainable AI}
}
@InProceedings{senellart:OASIcs.Tannen.9,
author = {Senellart, Pierre},
title = {{On the Impact of Provenance Semiring Theory on the Design of a Provenance-Aware Database System}},
booktitle = {The Provenance of Elegance in Computation - Essays Dedicated to Val Tannen},
pages = {9:1--9:10},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-320-1},
ISSN = {2190-6807},
year = {2024},
volume = {119},
editor = {Amarilli, Antoine and Deutsch, Alin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Tannen.9},
URN = {urn:nbn:de:0030-drops-201050},
doi = {10.4230/OASIcs.Tannen.9},
annote = {Keywords: provenance, provenance semiring, ProvSQL}
}
@InProceedings{suciu:OASIcs.Tannen.10,
author = {Suciu, Dan},
title = {{Different Differences in Semirings}},
booktitle = {The Provenance of Elegance in Computation - Essays Dedicated to Val Tannen},
pages = {10:1--10:20},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-320-1},
ISSN = {2190-6807},
year = {2024},
volume = {119},
editor = {Amarilli, Antoine and Deutsch, Alin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Tannen.10},
URN = {urn:nbn:de:0030-drops-201062},
doi = {10.4230/OASIcs.Tannen.10},
annote = {Keywords: Semirings, K-relations}
}
@InProceedings{wong:OASIcs.Tannen.11,
author = {Wong, Limsoon},
title = {{An Intensional Expressiveness Gap of Comprehension Syntax}},
booktitle = {The Provenance of Elegance in Computation - Essays Dedicated to Val Tannen},
pages = {11:1--11:13},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-320-1},
ISSN = {2190-6807},
year = {2024},
volume = {119},
editor = {Amarilli, Antoine and Deutsch, Alin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Tannen.11},
URN = {urn:nbn:de:0030-drops-201074},
doi = {10.4230/OASIcs.Tannen.11},
annote = {Keywords: Comprehension syntax, intensional expressive power, limited-mixing lemma}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing