Published in: LIPIcs, Volume 279, 34th International Conference on Concurrency Theory (CONCUR 2023)
Jan Martens and Jan Friso Groote. Computing Minimal Distinguishing Hennessy-Milner Formulas is NP-Hard, but Variants are Tractable. In 34th International Conference on Concurrency Theory (CONCUR 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 279, pp. 32:1-32:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{martens_et_al:LIPIcs.CONCUR.2023.32, author = {Martens, Jan and Groote, Jan Friso}, title = {{Computing Minimal Distinguishing Hennessy-Milner Formulas is NP-Hard, but Variants are Tractable}}, booktitle = {34th International Conference on Concurrency Theory (CONCUR 2023)}, pages = {32:1--32:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-299-0}, ISSN = {1868-8969}, year = {2023}, volume = {279}, editor = {P\'{e}rez, Guillermo A. and Raskin, Jean-Fran\c{c}ois}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2023.32}, URN = {urn:nbn:de:0030-drops-190268}, doi = {10.4230/LIPIcs.CONCUR.2023.32}, annote = {Keywords: Distinguishing behaviour, Hennessy-Milner logic, NP-hardness} }
Published in: LIPIcs, Volume 155, 23rd International Conference on Database Theory (ICDT 2020)
Juan L. Reutter. Current Challenges in Graph Databases (Invited Talk). In 23rd International Conference on Database Theory (ICDT 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 155, p. 3:1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{reutter:LIPIcs.ICDT.2020.3, author = {Reutter, Juan L.}, title = {{Current Challenges in Graph Databases}}, booktitle = {23rd International Conference on Database Theory (ICDT 2020)}, pages = {3:1--3:1}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-139-9}, ISSN = {1868-8969}, year = {2020}, volume = {155}, editor = {Lutz, Carsten and Jung, Jean Christoph}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2020.3}, URN = {urn:nbn:de:0030-drops-119272}, doi = {10.4230/LIPIcs.ICDT.2020.3}, annote = {Keywords: Graph databases, Join algorithms, path queries, graph analytics} }
Published in: LIPIcs, Volume 155, 23rd International Conference on Database Theory (ICDT 2020)
Johannes Doleschal, Benny Kimelfeld, Wim Martens, and Liat Peterfreund. Weight Annotation in Information Extraction. In 23rd International Conference on Database Theory (ICDT 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 155, pp. 8:1-8:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{doleschal_et_al:LIPIcs.ICDT.2020.8, author = {Doleschal, Johannes and Kimelfeld, Benny and Martens, Wim and Peterfreund, Liat}, title = {{Weight Annotation in Information Extraction}}, booktitle = {23rd International Conference on Database Theory (ICDT 2020)}, pages = {8:1--8:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-139-9}, ISSN = {1868-8969}, year = {2020}, volume = {155}, editor = {Lutz, Carsten and Jung, Jean Christoph}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2020.8}, URN = {urn:nbn:de:0030-drops-119325}, doi = {10.4230/LIPIcs.ICDT.2020.8}, annote = {Keywords: Information extraction, regular document spanners, weighted automata, provenance semirings, K-relations} }
Published in: LIPIcs, Volume 154, 37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020)
Wim Martens, Matthias Niewerth, and Tina Trautner. A Trichotomy for Regular Trail Queries. In 37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 154, pp. 7:1-7:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{martens_et_al:LIPIcs.STACS.2020.7, author = {Martens, Wim and Niewerth, Matthias and Trautner, Tina}, title = {{A Trichotomy for Regular Trail Queries}}, booktitle = {37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020)}, pages = {7:1--7:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-140-5}, ISSN = {1868-8969}, year = {2020}, volume = {154}, editor = {Paul, Christophe and Bl\"{a}ser, Markus}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2020.7}, URN = {urn:nbn:de:0030-drops-118681}, doi = {10.4230/LIPIcs.STACS.2020.7}, annote = {Keywords: Regular languages, query languages, path queries, graph databases, databases, complexity, trails, simple paths} }
Published in: LIPIcs, Volume 48, 19th International Conference on Database Theory (ICDT 2016)
Serge Abiteboul, Pierre Bourhis, and Victor Vianu. A Formal Study of Collaborative Access Control in Distributed Datalog. In 19th International Conference on Database Theory (ICDT 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 48, pp. 10:1-10:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@InProceedings{abiteboul_et_al:LIPIcs.ICDT.2016.10, author = {Abiteboul, Serge and Bourhis, Pierre and Vianu, Victor}, title = {{A Formal Study of Collaborative Access Control in Distributed Datalog}}, booktitle = {19th International Conference on Database Theory (ICDT 2016)}, pages = {10:1--10:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-002-6}, ISSN = {1868-8969}, year = {2016}, volume = {48}, editor = {Martens, Wim and Zeume, Thomas}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2016.10}, URN = {urn:nbn:de:0030-drops-57794}, doi = {10.4230/LIPIcs.ICDT.2016.10}, annote = {Keywords: Distributed datalog, access control, provenance} }
Published in: Dagstuhl Seminar Proceedings, Volume 6171, Content-Based Retrieval (2006)
Micheline Lesaffre, Marc Leman, and Jean-Pierre Martens. A User-Oriented Approach to Music Information Retrieval. In Content-Based Retrieval. Dagstuhl Seminar Proceedings, Volume 6171, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{lesaffre_et_al:DagSemProc.06171.3, author = {Lesaffre, Micheline and Leman, Marc and Martens, Jean-Pierre}, title = {{A User-Oriented Approach to Music Information Retrieval}}, booktitle = {Content-Based Retrieval}, pages = {1--11}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {6171}, editor = {Tim Crawford and Remco C. Veltkamp}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06171.3}, URN = {urn:nbn:de:0030-drops-6509}, doi = {10.4230/DagSemProc.06171.3}, annote = {Keywords: Semantic description, user studies, music information retrieval} }
Feedback for Dagstuhl Publishing