commit b095c2da93f3f88f2404c6118522f6e98543bb37
parent a5afeb6b88ea41df4e96ee291ebb630a15c53787
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Sat, 25 Oct 2025 13:27:22 +0200
thematic annotations on publications
Diffstat:
| publis | | | 62 | ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ |
1 file changed, 62 insertions(+), 0 deletions(-)
diff --git a/publis b/publis
@@ -14,6 +14,8 @@ Title: On the Complexity of Language Membership for Probabilistic Words
Authors: me mikael praphael ssalvati
Url: https://arxiv.org/abs/2510.08127
Status: submitted
+Data: words
+Query: PQE, CFG
Id: amarilli2025approximating
Title: Approximating Queries on Probabilistic Graphs
@@ -25,6 +27,8 @@ Venue: lmcs
ConferenceVersion: amarilli2024conjunctive
Hal: hal-04871474
DOI: none
+Data: graphs
+Query: PQE, combined, approximation
Id: amarilli2025tighter
Oldid: amarilli2022tighter amarilli2023tighter amarilli2024tighter
@@ -39,6 +43,8 @@ Title: Constant-Time Dynamic Enumeration of Word Infixes in a Regular Language
Authors: me sdziadek lsegoufin
Url: none
Status: draft
+Data: words
+Query: infixes, enumeration, updates
Id: amarilli2025dynamic
Title: Dynamic Membership for Regular Tree Languages
@@ -51,6 +57,8 @@ HidecV: yes
DOI: 10.4230/LIPIcs.MFCS.2025.8
Slides: https://www.barloy.name/pdfs/MFCS_barloy.pdf
SlidesAuthor: cbarloy
+Data: trees
+Query: updates
Id: amarilli2025linear
Title: Linear Time Subsequence and Supersequence Regex Matching
@@ -62,6 +70,8 @@ Main: yes
DOI: 10.4230/LIPIcs.MFCS.2025.9
Slides: /work/talks/mfcs2025/amarilli2025linear_slides.pdf
SlidesAuthor: tringleb
+Data: words
+Query: boolean
Id: amarilli2025cutwidth
Title: Cutwidth Bounds via Vertex Partitions
@@ -86,6 +96,8 @@ DOI: none
Errata: minor
Slides: https://gatterbauer.name/download/pods2025-Resilience-Regular-Path-Queries.pdf
SlidesAuthor: wgatterbauer
+Data: graphs
+Query: optimization
Id: amarilli2025edge
Title: Edge-Minimum Walk of Modular Length in Polynomial Time
@@ -102,6 +114,8 @@ VideoAuthor: nwein
Slides: /work/talks/itcs2025/amarilli2025edge_slides.pdf
SlidesAuthor: nwein
Hal: hal-04871489
+Data: graphs
+Query: optimization
Id: amarilli2024survey
Title: Survey of Results on the ModPath and ModCycle Problems
@@ -115,6 +129,8 @@ Type: note
Issue: 2024
Code: https://gitlab.com/a3nm/modpath
Hal: hal-04871498
+Data: graphs
+Query: simple
Id: amarilli2024tractable
Title: Tractable Circuits in Database Theory
@@ -166,6 +182,8 @@ Errata: minor
JournalVersion: amarilli2025approximating
Hal: hal-04871556
Extra: pages = {15:1--15:20},
+Data: graphs
+Query: PQE, combined, approximation
Id: amarilli2024ranked
Title: Ranked Enumeration for MSO on Trees via Knowledge Compilation
@@ -180,6 +198,8 @@ HideCv: yes
Slides: /work/talks/icdt2024/amarilli2024ranked_slides.pdf
SlidesAuthor: pierreb
Extra: pages = {25:1--25:18},
+Data: trees
+Query: enumeration, ranked
Id: amarilli2024skyline
Oldid: amarilli2023skyline
@@ -194,6 +214,8 @@ HideCv: yes
Slides: /work/talks/icdt2024/amarilli2024skyline_slides.pdf
HAL: hal-04778343
Extra: pages = {7:1--7:18},
+Data: words
+Query: spanner, skyline, combined
Id: amarilli2023locality
Oldid: amarilli2021locality
@@ -253,6 +275,8 @@ Slides: https://mikael-monet.net/slides/stacs2023.pdf
SlidesAuthor: mikael
Errata: minor
Extra: pages = {8:1--8:18},
+Data: words
+Query: enumeration, via_updates
Id: amarilli2023uniform
Title: Uniform Reliability for Unbounded Homomorphism-Closed Graph Queries
@@ -267,6 +291,8 @@ Slides: /work/talks/icdt2023/amarilli2023uniform_slides.pdf
PublisherURL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2023.14
Hal: hal-04871580
Extra: pages = {14:1--14:17},
+Data: graphs
+Query: homomorphism_closed, UR
Id: amarilli2022uniform
Title: Uniform Reliability of Self-Join-Free Conjunctive Queries
@@ -280,6 +306,8 @@ DOI: 10.46298/lmcs-18(4:3)2022
HAL: hal-03807851
Issue: 2022
Extra: volume = {18}, number = {4},
+Data: relational_db
+Query: CQ, UR
Id: amarilli2022weighted
Title: Weighted Counting of Matchings in Unbounded-Treewidth Graph Families
@@ -294,6 +322,8 @@ Slides: https://mikael-monet.net/slides/amarilli2022weighted-mfcs.pdf
SlidesAuthor: mikael
HAL: hal-03712197
Extra: pages = {9:1--9:15},
+Data: graphs
+Query: matching, PQE
Id: amarilli2022worst
Title: Worst-Case Analysis for Interactive Evaluation of Boolean Provenance
@@ -322,6 +352,8 @@ SlidesAuthor: mmunoz
VideoExternal: https://youtu.be/oMmDNm-swsM?t=6014
VideoPlatform: Youtube
VideoAuthor: mmunoz
+Data: words
+Query: CFG, enumeration
Id: amarilli2022when
Oldid: amarilli2018whenb amarilli2021when
@@ -350,6 +382,8 @@ DOI: 10.46298/lmcs-18(1:2)2022
Extra: volume = {18}, number = {1},
Issue: 2022
HAL: hal-03712200
+Data: graphs
+Query: PQE, homomorphism_closed
Id: amarilli2021dynamic
Title: Dynamic Membership for Regular Languages
@@ -368,6 +402,8 @@ DOI: 10.4230/LIPIcs.ICALP.2021.116
Extra: volume = {198}, pages = {116:1--116:17},
HAL: hal-03466453
PublisherURL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2021.116
+Data: words
+Query: updates
Id: drien2021managing
Oldid: drien2020managing
@@ -400,6 +436,8 @@ JournalVersion: amarilli2022uniform
DOI: 10.4230/LIPIcs.ICDT.2021.17
Extra: volume = {186}, pages = {17:1--17:17},
HAL: hal-03712202
+Data: relational_db
+Query: CQ, UR
Id: amarilli2021constant
Oldid: amarilli2020constant
@@ -416,6 +454,8 @@ ConferenceVersion: amarilli2019constant
Code: https://github.com/PoDMR/enum-spanner-rs
CodeAuthor: rdupre mniewerth
HAL: hal-03402446
+Data: words
+Query: spanner, enumeration
Id: romero2020computing
Title: Computing and Illustrating Query Rewritings on Path Views with Binding Patterns
@@ -455,6 +495,8 @@ JournalVersion: amarilli2022dichotomy
DOI: 10.4230/LIPIcs.ICDT.2020.5
Extra: volume = {155}, pages = {5:1--5:20},
HAL: hal-02941907
+Data: graphs
+Query: PQE, homomorphism_closed
Id: romero2020equivalent
Title: Equivalent Rewritings on Path Views with Binding Patterns
@@ -558,6 +600,8 @@ VideoAuthor: mniewerth
DOI: 10.1145/3294052.3319702
Extra: pages = {89--103},
HAL: hal-02326243
+Data: trees
+Query: enumeration, updates
Id: amarilli2019constant
Oldid: amarilli2018constant
@@ -579,6 +623,8 @@ AwardTexFr: Mis en valeur comme ACM SIGMOD Research Highlights
DOI: 10.4230/LIPIcs.ICDT.2019.22
Extra: volume = {127}, pages = {22:1--22:19},
HAL: hal-02338344 hal-03046848
+Data: words
+Query: spanner, enumeration
Id: amarilli2019evaluating
Oldid: amarilli2018combined amarilli2018evaluating
@@ -593,6 +639,8 @@ ConferenceVersion: amarilli2017combined
DOI: 10.1007/s00224-018-9901-2
Extra: volume = {63}, number = {7}, pages = {1620--1678},
HAL: hal-01891811
+Data: relational_db
+Query: datalog
Id: amarilli2018query
Oldid: amarilli2017query
@@ -622,6 +670,8 @@ Slides: /work/talks/icalp2018/amarilli2018topological_slides.pdf
DOI: 10.4230/LIPIcs.ICALP.2018.115
Extra: volume = {107}, pages = {115:1--115:14},
HAL: hal-01950909
+Data: DAGs
+Query: topological_sort
Id: amarilli2018when
Title: When Can We Answer Queries Using Result-Bounded Data Interfaces?
@@ -656,6 +706,8 @@ JournalVersion: amarilli2020connecting
DOI: 10.4230/LIPIcs.ICDT.2018.6
Extra: volume = {98}, pages = {6:1--6:17},
HAL: hal-01851564 hal-01614551
+Data: relational_db
+Query: UCQ, PQE, circuits
Id: amarilli2018enumeration
Oldid: amarilli2017enumeration
@@ -669,6 +721,8 @@ Slides: /work/talks/icdt2018/amarilli2018enumeration_slides.pdf
DOI: 10.4230/LIPIcs.ICDT.2018.5
Extra: volume = {98}, pages = {5:1--5:18},
HAL: hal-02412744
+Data: trees
+Query: enumeration, updates
Title: Possible and Certain Answers for Queries over Order-Incomplete Data
Id: amarilli2017possible
@@ -712,6 +766,8 @@ PosterAuthor: mikael
DOI: 10.1145/3034786.3056121
Extra: pages = {217--232},
HAL: hal-01486634
+Data: graphs
+Query: PQE, combined
Id: amarilli2017combined
Title: Combined Tractability of Query Evaluation via Tree Automata and Cycluits
@@ -728,6 +784,8 @@ JournalVersion: amarilli2019evaluating
DOI: 10.4230/LIPIcs.ICDT.2017.6
Extra: volume = {68}, pages = {6:1--6:19},
HAL: hal-01439309
+Data: relational_db
+Query: datalog
Id: amarilli2017top
Title: Top-k Queries on Unknown Values under Order Constraints
@@ -830,6 +888,8 @@ DOI: 10.1145/2902251.2902301
Extra: pages = {355--370},
HAL: hal-01336514
Errata: yes
+Data: relational_db
+Query: PQE, circuits
Id: tang2016framework
Oldid: tang2014framework tang2015framework
@@ -931,6 +991,8 @@ OldCv: yes
DOI: 10.1007/978-3-662-47666-6_5
Extra: volume = {9135}, pages = {56--68},
HAL: hal-01178399
+Data: trees, treelike
+Query: PQE, circuits
Id: amarilli2015structurally
Title: Structurally Tractable Uncertain Data
