publis (35664B)
1 Id: amarilli2026tighter 2 Oldid: amarilli2022tighter amarilli2023tighter amarilli2024tighter amarilli2025tighter 3 Title: Tighter Bounds for Query Answering with Guarded TGDs 4 Authors: me michael 5 Url: https://arxiv.org/abs/2212.11362 6 Hal: hal-04871495 7 Main: yes 8 Reviewed: yes 9 Venue: lmcs 10 DOI: none 11 12 Id: amarilli2026shamiltonian 13 Title: The S-Hamiltonian Cycle Problem 14 Authors: me alombardo mikael 15 Url: https://arxiv.org/abs/2602.16532 16 Status: submitted 17 Data: graphs 18 Query: simple 19 20 Id: amarilli2026out 21 Title: Out-of-Order Membership to Regular Languages 22 Authors: me slabbe cpaperman 23 Url: https://arxiv.org/abs/2602.13100 24 Status: submitted 25 Data: words 26 Query: membership 27 28 Id: amarilli2026gray 29 Title: Gray Codes With Constant Delay and Constant Auxiliary Space 30 Authors: me cdavid nfrancis vmarsault mikael ystrozecki 31 Url: https://arxiv.org/abs/2602.11791 32 Status: submitted 33 Data: words 34 Query: enumeration 35 HAL: hal-05570008 36 37 Id: amarilli2026constant 38 Oldid: amarilli2025constant 39 Title: Constant-Time Dynamic Enumeration of Word Infixes in a Regular Language 40 Authors: me sdziadek lsegoufin 41 Url: https://arxiv.org/abs/2602.14748 42 Status: submitted 43 Data: words 44 Query: infixes, enumeration, updates 45 46 Id: amarilli2026complexity 47 Oldid: amarilli2025complexity 48 Title: On the Complexity of Language Membership for Probabilistic Words 49 Authors: me mikael praphael ssalvati 50 Url: https://arxiv.org/abs/2510.08127 51 Venue: stacs2026 52 Reviewed: yes 53 Main: yes 54 DOI: LIPIcs.STACS.2026.5 55 Data: words 56 Query: PQE, CFG 57 Grants: expand 58 Slides: /work/talks/stacs2026/amarilli2026complexity_slides.pdf 59 SlidesAuthor: praphael 60 HAL: hal-05560571 61 62 Id: amarilli2026resilience 63 Title: Resilience for Regular Path Queries: Towards a Complexity Classification 64 Authors: me wgatterbauer nmakhija mikael mmunoz 65 Url: https://arxiv.org/abs/2412.09411 66 Status: submitted 67 Data: graphs 68 Query: optimization 69 ConferenceVersion: amarilli2025resilience 70 71 Id: amarilli2025locality 72 Title: Locality Testing for NFAs is PSPACE-complete 73 Authors: me mikael rdepretto 74 Status: draft 75 Reviewed: no 76 Url: https://arxiv.org/abs/2511.07361 77 Venue: arXiv:2511.07361v1 78 HideCv: yes 79 Type: note 80 Issue: 2025 81 82 Id: amarilli2025approximating 83 Title: Approximating Queries on Probabilistic Graphs 84 Authors: me tvanbremen ogaspard kmeel 85 Url: https://arxiv.org/abs/2309.13287 86 Main: yes 87 Reviewed: yes 88 Venue: lmcs 89 ConferenceVersion: amarilli2024conjunctive 90 Hal: hal-04871474 91 DOI: 10.46298/LMCS-21(4:30)2025 92 Data: graphs 93 Query: PQE, combined, approximation 94 Extra: volume = {21}, number = {4} 95 96 Id: amarilli2025confluence 97 Title: Confluence of the Node-Domination and Edge-Domination Hypergraph Rewrite Rules 98 Authors: me mikael rdepretto 99 Status: draft 100 Reviewed: no 101 Url: https://arxiv.org/abs/2510.09286 102 Venue: arXiv:2510.09286v1 103 HideCv: yes 104 Type: note 105 Issue: 2025 106 107 Id: amarilli2025dynamic 108 Title: Dynamic Membership for Regular Tree Languages 109 Authors: me cbarloy ljachiet cpaperman 110 Url: https://arxiv.org/abs/2504.17536 111 Venue: mfcs2025 112 Reviewed: yes 113 Main: yes 114 HidecV: yes 115 DOI: 10.4230/LIPIcs.MFCS.2025.8 116 Slides: https://www.barloy.name/pdfs/MFCS_barloy.pdf 117 SlidesAuthor: cbarloy 118 Data: trees 119 Query: updates 120 121 Id: amarilli2025linear 122 Title: Linear Time Subsequence and Supersequence Regex Matching 123 Authors: me fmanea tringleb mschmid 124 Url: https://arxiv.org/abs/2504.16288 125 Venue: mfcs2025 126 Reviewed: yes 127 Main: yes 128 DOI: 10.4230/LIPIcs.MFCS.2025.9 129 Slides: /work/talks/mfcs2025/amarilli2025linear_slides.pdf 130 SlidesAuthor: tringleb 131 Data: words 132 Query: boolean 133 134 Id: amarilli2025cutwidth 135 Title: Cutwidth Bounds via Vertex Partitions 136 Authors: me bgroz 137 Status: draft 138 Reviewed: no 139 Url: https://arxiv.org/abs/2504.01574 140 Venue: arXiv:2504.01574v2 141 HideCv: yes 142 Type: note 143 Issue: 2025 144 145 Id: amarilli2025resilience 146 Title: Resilience for Regular Path Queries: Towards a Complexity Classification 147 Authors: me wgatterbauer nmakhija mikael 148 Url: https://dl.acm.org/doi/10.1145/3725245 149 Hal: hal-04871464 150 Venue: pods2025 151 Reviewed: yes 152 Main: yes 153 DOI: 10.1145/3725245 154 Errata: minor 155 Slides: https://gatterbauer.name/download/pods2025-Resilience-Regular-Path-Queries.pdf 156 SlidesAuthor: wgatterbauer 157 Data: graphs 158 Query: optimization 159 PublisherURL: https://dl.acm.org/doi/10.1145/3725245 160 JournalVersion: amarilli2026resilience 161 162 Id: amarilli2025edge 163 Title: Edge-Minimum Walk of Modular Length in Polynomial Time 164 Authors: me bgroz nwein 165 Url: https://arxiv.org/abs/2412.01614 166 PublisherURL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2025.5 167 Venue: itcs2025 168 Reviewed: yes 169 Main: yes 170 DOI: 10.4230/LIPIcs.ITCS.2025.5 171 VideoExternal: https://www.youtube.com/watch?v=OFu5npfFcgs 172 VideoPlatform: Youtube 173 VideoAuthor: nwein 174 Slides: /work/talks/itcs2025/amarilli2025edge_slides.pdf 175 SlidesAuthor: nwein 176 Hal: hal-04871489 177 Data: graphs 178 Query: optimization 179 Extra: volume = {325}, pages = {5:1--5:23}, 180 181 Id: amarilli2024survey 182 Title: Survey of Results on the ModPath and ModCycle Problems 183 Authors: me 184 Status: draft 185 Reviewed: no 186 Url: https://arxiv.org/abs/2409.00770 187 Venue: arXiv:2409.00770v1 188 HideCv: yes 189 Type: note 190 Issue: 2024 191 Code: https://gitlab.com/a3nm/modpath 192 Hal: hal-04871498 193 Data: graphs 194 Query: simple 195 196 Id: amarilli2024tractable 197 Title: Tractable Circuits in Database Theory 198 Authors: me fcapelli 199 Venue: SIGMOD Record Database Principles Column 200 Reviewed: no 201 Main: no 202 URL: https://arxiv.org/abs/2407.01127 203 PublisherURL: https://sigmodrecord.org/2024/06/30/tractable-circuits-in-database-theory/ 204 DOI: 10.1145/3685980.3685982 205 Hal: hal-04871509v1 206 Extra: volume = {53}, number = {2}, pages = {6--20}, 207 208 Id: amarilli2024circus 209 Title: A Circus of Circuits: Connections Between Decision Diagrams, Circuits, and Automata 210 Authors: me marenas ychoi mikael gbroeck bwang 211 Status: draft 212 Url: https://arxiv.org/abs/2404.09674 213 Reviewed: no 214 Venue: arXiv:2404.09674v1 215 HideCv: yes 216 Type: note 217 Issue: 2024 218 Hal: hal-04871512 219 220 Id: amarilli2024non 221 Title: The Non-Cancelling Intersections Conjecture 222 Authors: me mikael dsuciu 223 Status: draft 224 Url: https://arxiv.org/abs/2401.16210 225 Reviewed: no 226 Venue: arXiv:2401.16210v1 227 HideCv: yes 228 Type: note 229 Issue: 2024 230 Hal: hal-04603239 231 232 Id: amarilli2024conjunctive 233 Title: Conjunctive Queries on Probabilistic Graphs: The Limits of Approximability 234 Authors: me tvanbremen kmeel 235 Url: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2024.15 236 Venue: icdt2024 237 Reviewed: yes 238 Main: yes 239 Doi: 10.4230/LIPIcs.ICDT.2024.15 240 Slides: /work/talks/icdt2024/amarilli2024conjunctive_slides.pdf 241 SlidesAuthor: tvanbremen 242 Errata: minor 243 JournalVersion: amarilli2025approximating 244 Hal: hal-04871556 245 Extra: pages = {15:1--15:20}, 246 Data: graphs 247 Query: PQE, combined, approximation 248 249 Id: amarilli2024ranked 250 Title: Ranked Enumeration for MSO on Trees via Knowledge Compilation 251 Authors: me pierreb fcapelli mikael 252 Url: https://arxiv.org/abs/2310.00731 253 Venue: icdt2024 254 Reviewed: yes 255 Main: yes 256 Doi: 10.4230/LIPIcs.ICDT.2024.25 257 HAL: hal-04377344 258 HideCv: yes 259 Slides: /work/talks/icdt2024/amarilli2024ranked_slides.pdf 260 SlidesAuthor: pierreb 261 Extra: pages = {25:1--25:18}, 262 Data: trees 263 Query: enumeration, ranked 264 265 Id: amarilli2024skyline 266 Oldid: amarilli2023skyline 267 Title: Skyline Operators for Document Spanners 268 Authors: me bkimelfeld slabbe smengel 269 Url: https://arxiv.org/abs/2304.06155 270 Venue: icdt2024 271 Reviewed: yes 272 Main: yes 273 Doi: 10.4230/LIPIcs.ICDT.2024.7 274 HideCv: yes 275 Slides: /work/talks/icdt2024/amarilli2024skyline_slides.pdf 276 HAL: hal-04778343 277 Extra: pages = {7:1--7:18}, 278 Data: words 279 Query: spanner, skyline, combined 280 281 Id: amarilli2023locality 282 Oldid: amarilli2021locality 283 Title: Locality and Centrality: The Variety ZG 284 Authors: me cpaperman 285 Main: yes 286 Reviewed: yes 287 Venue: lmcs 288 Url: https://arxiv.org/abs/2102.07724 289 Doi: 10.46298/LMCS-19(4:4)2023 290 Hal: hal-04589443 291 Extra: volume = {19}, number = {4}, 292 293 Id: drien2023query 294 Title: Query-Driven Resolution in Uncertain Databases 295 Authors: odrien mfreiman me yael 296 Reviewed: yes 297 Venue: sigmod2023 298 Url: https://u.cs.biu.ac.il/~amstery/files/drien2023query.pdf 299 DOI: 10.1145/3589325 300 Hal: hal-04871570 301 Extra: volume = {1}, number = {2}, pages = {180:1--180:27}, 302 303 Id: amarilli2023degree 304 Title: Degree-3 Planar Graphs as Topological Minors of Wall Graphs in Polynomial Time 305 Authors: me 306 Reviewed: no 307 Venue: arXiv:2302.03461v3 308 HideCv: yes 309 Url: https://arxiv.org/abs/2302.03461 310 Type: note 311 Issue: 2023 312 313 Id: amarilli2023query 314 Title: Query Evaluation: Enumeration, Maintenance, Reliability 315 Authors: me 316 Reviewed: no 317 HideCv: yes 318 Url: https://theses.hal.science/tel-04065298 319 Type: habilitationthesis 320 School: Institut Polytechnique de Paris 321 SchoolUrl: https://www.ip-paris.fr/ 322 Venue: Habilitation thesis 323 VenueFr: Thèse d'habilitation à diriger des recherches 324 Year: 2023 325 326 Id: amarilli2023enumerating 327 Title: Enumerating Regular Languages with Bounded Delay 328 Authors: me mikael 329 Url: https://arxiv.org/abs/2209.14878 330 Venue: stacs2023 331 Reviewed: yes 332 Main: yes 333 DOI: 10.4230/LIPIcs.STACS.2023.8 334 HAL: hal-03940590 335 Slides: https://mikael-monet.net/slides/stacs2023.pdf 336 SlidesAuthor: mikael 337 Errata: minor 338 Extra: pages = {8:1--8:18}, 339 Data: words 340 Query: enumeration, via_updates 341 342 Id: amarilli2023uniform 343 Title: Uniform Reliability for Unbounded Homomorphism-Closed Graph Queries 344 Authors: me 345 Url: https://arxiv.org/abs/2209.11177 346 Venue: icdt2023 347 Reviewed: yes 348 Main: yes 349 DOI: 10.4230/LIPIcs.ICDT.2023.14 350 Video: /work/talks/icdt2023/amarilli2023uniform_video.mp4 351 Slides: /work/talks/icdt2023/amarilli2023uniform_slides.pdf 352 PublisherURL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2023.14 353 Hal: hal-04871580 354 Extra: pages = {14:1--14:17}, 355 Data: graphs 356 Query: homomorphism_closed, UR 357 358 Id: amarilli2022uniform 359 Title: Uniform Reliability of Self-Join-Free Conjunctive Queries 360 Authors: me bkimelfeld 361 Url: https://arxiv.org/abs/1908.07093 362 Main: yes 363 Reviewed: yes 364 Venue: lmcs 365 ConferenceVersion: amarilli2021uniform 366 DOI: 10.46298/lmcs-18(4:3)2022 367 HAL: hal-03807851 368 Issue: 2022 369 Extra: volume = {18}, number = {4}, 370 Data: relational_db 371 Query: CQ, UR 372 373 Id: amarilli2022weighted 374 Title: Weighted Counting of Matchings in Unbounded-Treewidth Graph Families 375 Authors: me mikael 376 Venue: mfcs2022 377 Reviewed: yes 378 Main: yes 379 Code: https://gitlab.com/Gruyere/supplementary-material-for-Weighted-Counting-of-Matchings/ 380 Url: https://arxiv.org/abs/2205.00851 381 DOI: 10.4230/LIPIcs.MFCS.2022.9 382 Slides: https://mikael-monet.net/slides/amarilli2022weighted-mfcs.pdf 383 SlidesAuthor: mikael 384 HAL: hal-03712197 385 Extra: pages = {9:1--9:15}, 386 Data: graphs 387 Query: matching, PQE 388 389 Id: amarilli2022worst 390 Title: Worst-Case Analysis for Interactive Evaluation of Boolean Provenance 391 Authors: me yael 392 Venue: tapp2022 393 Reviewed: yes 394 Url: https://arxiv.org/abs/2205.04224 395 DOI: 10.1145/3530800.3534538 396 Extra: pages = {6:1--6:8}, 397 Slides: https://u.cs.biu.ac.il/~amstery/files/amarilli2022worst-slides.pdf 398 SlidesAuthor: yael 399 HAL: hal-03712198 400 401 Id: amarilli2022efficient 402 Title: Efficient Enumeration Algorithms for Annotated Grammars 403 Authors: me ljachiet mmunoz criveros 404 Venue: pods2022 405 Reviewed: yes 406 Main: yes 407 Url: https://arxiv.org/abs/2201.00549 408 DOI: 10.1145/3517804.3526232 409 Extra: pages = {291--300}, 410 HAL: hal-03654592 411 Slides: /work/talks/pods2022/amarilli2022efficient_slides.pdf 412 SlidesAuthor: mmunoz 413 VideoExternal: https://youtu.be/oMmDNm-swsM?t=6014 414 VideoPlatform: Youtube 415 VideoAuthor: mmunoz 416 Data: words 417 Query: CFG, enumeration 418 419 Id: amarilli2022when 420 Oldid: amarilli2018whenb amarilli2021when 421 Title: When Can We Answer Queries Using Result-Bounded Data Interfaces? 422 Authors: me michael 423 Url: https://arxiv.org/abs/1810.07822 424 Main: no 425 Reviewed: yes 426 Venue: lmcs 427 ConferenceVersion: amarilli2018when 428 DOI: 10.46298/LMCS-18(2:14)2022 429 Extra: volume = {18}, number = {2}, 430 Issue: 2022 431 HAL: hal-03712199 432 433 Id: amarilli2022dichotomy 434 OldId: amarilli2021dichotomy 435 Title: The Dichotomy of Evaluating Homomorphism-Closed Queries on Probabilistic Graphs 436 Authors: me iceylan 437 Url: https://arxiv.org/abs/1910.02048 438 Main: no 439 Reviewed: yes 440 Venue: lmcs 441 ConferenceVersion: amarilli2020dichotomy 442 DOI: 10.46298/lmcs-18(1:2)2022 443 Extra: volume = {18}, number = {1}, 444 Issue: 2022 445 HAL: hal-03712200 446 Data: graphs 447 Query: PQE, homomorphism_closed 448 449 Id: amarilli2021dynamic 450 Title: Dynamic Membership for Regular Languages 451 Authors: me ljachiet cpaperman 452 Main: yes 453 Reviewed: yes 454 Venue: icalp2021 455 Url: https://arxiv.org/abs/2102.07728 456 Slides: /work/talks/icalp2021/amarilli2021dynamic_slides.pdf 457 Award: Best paper award of ICALP'21 track B 458 AwardFr: Prix du meilleur article à ICALP'21 Track B 459 Video: /work/talks/icalp2021/amarilli2021dynamic_video.mp4 460 VideoExternal: https://www.youtube.com/watch?v=4CydhrOaVQw 461 VideoPlatform: Youtube 462 DOI: 10.4230/LIPIcs.ICALP.2021.116 463 Extra: volume = {198}, pages = {116:1--116:17}, 464 HAL: hal-03466453 465 PublisherURL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2021.116 466 Data: words 467 Query: updates 468 469 Id: drien2021managing 470 Oldid: drien2020managing 471 Title: Managing Consent for Data Access in Shared Databases 472 Authors: odrien me yael 473 Reviewed: yes 474 Venue: icde2021 475 Url: https://u.cs.biu.ac.il/~amstery/files/managingconsent.pdf 476 PublisherURL: https://ieeexplore.ieee.org/document/9458900 477 Type: shortpaper 478 Errata: major 479 DOI: 10.1109/ICDE51399.2021.00182 480 Extra: pages = {1949--1954}, 481 HAL: hal-03712201 482 483 Id: amarilli2021uniform 484 Oldid: amarilli2019model amarilli2020uniform 485 Title: Uniform Reliability of Self-Join-Free Conjunctive Queries 486 Authors: me bkimelfeld 487 Url: https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13725 488 Venue: icdt2021 489 Reviewed: yes 490 Main: no 491 Slides: /work/talks/icdt2021/amarilli2021uniform_slides.pdf 492 Video: /work/talks/icdt2021/amarilli2021uniform_video.mp4 493 VideoExternal: https://peertube.r2.enst.fr/videos/watch/9d7fdea9-6adf-4b6a-933d-6ceaa998f6ad 494 VideoPlatform: PeerTube INFRES 495 VideoLicense: Attribution 496 JournalVersion: amarilli2022uniform 497 DOI: 10.4230/LIPIcs.ICDT.2021.17 498 Extra: volume = {186}, pages = {17:1--17:17}, 499 HAL: hal-03712202 500 Data: relational_db 501 Query: CQ, UR 502 503 Id: amarilli2021constant 504 Oldid: amarilli2020constant 505 Title: Constant-Delay Enumeration for Nondeterministic Document Spanners 506 Authors: me pierreb smengel mniewerth 507 Main: yes 508 Reviewed: yes 509 Venue: tods 510 Url: https://arxiv.org/abs/2003.02576 511 DOI: 10.1145/3436487 512 Extra: volume = {46}, number = {1}, pages = {2:1--2:30}, 513 Issue: 2021 514 ConferenceVersion: amarilli2019constant 515 Code: https://github.com/PoDMR/enum-spanner-rs 516 CodeAuthor: rdupre mniewerth 517 HAL: hal-03402446 518 Data: words 519 Query: spanner, enumeration 520 HideCV: yes 521 522 Id: romero2020computing 523 Title: Computing and Illustrating Query Rewritings on Path Views with Binding Patterns 524 Authors: jromero nicoleta me fabian 525 Venue: cikm2020 526 Reviewed: yes 527 Type: demo 528 Url: https://www.researchgate.net/publication/344881375_Computing_and_Illustrating_Query_Rewritings_on_Path_Views_with_Binding_Patterns 529 Code: https://github.com/Aunsiels/dangie 530 CodeAuthor: jromero 531 Video: /work/talks/cikm2020/romero2020computing_video.mp4 532 VideoExternal: https://dl.acm.org/doi/abs/10.1145/3340531.3417431 533 VideoPlatform: ACM Digital Library 534 VideoAuthor: jromero 535 DOI: 10.1145/3340531.3417431 536 Extra: pages = {3449--3452}, 537 HAL: hal-03108517 538 539 Id: amarilli2020dichotomy 540 Oldid: amarilli2019dichotomy 541 Title: A Dichotomy for Homomorphism-Closed Queries on Probabilistic Graphs 542 Authors: me iceylan 543 Url: https://drops.dagstuhl.de/opus/volltexte/2020/11929/ 544 Venue: icdt2020 545 Reviewed: yes 546 Main: yes 547 Slides: /work/talks/icdt2020/amarilli2020dichotomy_slides.pdf 548 Video: /work/talks/icdt2020/amarilli2020dichotomy_video.mp4 549 VideoExternal: https://av.tib.eu/media/46843 550 VideoPlatform: TIB AV-Portal 551 VideoLicense: CC BY 3.0 Germany 552 Poster: /work/talks/highlights2020/amarilli2020dichotomy_poster.pdf 553 Award: Best paper award of ICDT'20 554 AwardFr: Prix du meilleur article à ICDT'20 555 JournalVersion: amarilli2022dichotomy 556 # AWARD: co-winner of the BDA best published paper award 557 DOI: 10.4230/LIPIcs.ICDT.2020.5 558 Extra: volume = {155}, pages = {5:1--5:20}, 559 HAL: hal-02941907 560 Data: graphs 561 Query: PQE, homomorphism_closed 562 563 Id: romero2020equivalent 564 Title: Equivalent Rewritings on Path Views with Binding Patterns 565 Authors: jromero nicoleta me fabian 566 Reviewed: yes 567 Venue: eswc2020 568 Url: https://arxiv.org/abs/2003.07316 569 Video: /work/talks/eswc2020/Equivalent_Rewritings_on_Path_Views_with_Binding_Patterns_-_ESWC_2020-BEijR0O_gxc.mp4 570 VideoExternal2: https://www.youtube.com/watch?v=BEijR0O_gxc 571 VideoPlatform2: Youtube 572 VideoExternal: https://videolectures.net/eswc2020_romero_paper_106/ 573 VideoPlatform: Videolectures.net 574 VideoAuthor: jromero 575 Slides: /work/talks/eswc2020/romero2020equivalent_slides.pdf 576 VideoAuthor: jromero 577 DOI: 10.1007/978-3-030-49461-2_26 578 Extra: volume = {12123}, pages = {446--462}, 579 HAL: hal-02876611 580 581 Id: amarilli2020finite 582 Oldid: amarilli2016finite amarilli2019finite 583 Title: Finite Open-World Query Answering with Number Restrictions 584 Authors: me michael 585 Main: yes 586 HideCv: yes 587 Reviewed: yes 588 Venue: tocl 589 Issue: 2020 590 Url: https://arxiv.org/abs/2003.02521 591 ConferenceVersion: amarilli2015finite 592 DOI: 10.1145/3365834 593 Extra: volume = {21}, number = {4}, pages = {27:1--27:73}, 594 Issue: 2020 595 HAL: hal-02941917 596 597 Id: amarilli2020connecting 598 Oldid: amarilli2019connecting 599 Title: Connecting Knowledge Compilation Classes and Width Parameters 600 Authors: me fcapelli mikael pierre 601 Main: yes 602 Reviewed: yes 603 Venue: tocs 604 Issue: 2020 605 Url: https://arxiv.org/abs/1811.02944 606 ConferenceVersion: amarilli2018connecting 607 DOI: 10.1007/s00224-019-09930-2 608 Extra: volume = {64}, number = {5}, pages = {861--914}, 609 HAL: hal-02163749 610 HideCv: yes 611 612 Id: shih2019smoothing 613 Oldid: amarilli2019smoothing 614 Title: Smoothing Structured Decomposable Circuits 615 Authors: ashih gbroeck pbeame me 616 Url: https://arxiv.org/abs/1906.00311 617 Main: yes 618 HideCv: yes 619 Reviewed: yes 620 Venue: neurips2019 621 Type: spotlight 622 Slides: /work/talks/neurips2019/shih2019smoothing_slides.pdf 623 SlidesAuthor: ashih 624 Poster: /work/talks/neurips2019/shih2019smoothing_poster.pdf 625 PosterAuthor: ashih 626 DOI: none 627 PublisherURL: https://proceedings.neurips.cc/paper/2019/hash/940392f5f32a7ade1cc201767cf83e31-Abstract.html 628 Extra: pages = {11412--11422}, 629 HAL: hal-02338336 630 631 Id: amarilli2019computing 632 Oldid: amarilli2018computing 633 Title: Computing Possible and Certain Answers over Order-Incomplete Data 634 Authors: me lamine daniel pierre 635 Url: https://arxiv.org/abs/1801.06396 636 Main: no 637 Reviewed: yes 638 Venue: tcs 639 Issue: 2019 640 ConferenceVersion: amarilli2017possible 641 DOI: 10.1016/j.tcs.2019.05.013 642 Extra: volume = {797}, pages = {42--76}, 643 HAL: hal-01891814 644 645 Id: amarilli2019enumeration 646 Title: Enumeration on Trees with Tractable Combined Complexity and Efficient Updates 647 Authors: me pierreb smengel mniewerth 648 Main: no 649 Venue: pods2019 650 Reviewed: yes 651 Errata: major 652 Url: https://arxiv.org/abs/1812.09519 653 Slides: /work/talks/pods2019/amarilli2019enumeration_slides.pdf 654 SlidesAuthor: mniewerth 655 Poster: /work/talks/pods2019/amarilli2019enumeration_poster.pdf 656 PosterAuthor: mniewerth 657 Video: /work/talks/pods2019/Amarilli_Bourhis_Mengel_Niewerth_v1500a128.mp4 658 VideoExternal: https://av.tib.eu/media/42889 659 VideoPlatform: TIB AV-Portal 660 VideoLicense: CC BY 3.0 Germany 661 VideoAuthor: mniewerth 662 DOI: 10.1145/3294052.3319702 663 Extra: pages = {89--103}, 664 HAL: hal-02326243 665 Data: trees 666 Query: enumeration, updates 667 668 Id: amarilli2019constant 669 Oldid: amarilli2018constant 670 JournalVersion: amarilli2021constant 671 Title: Constant-Delay Enumeration for Nondeterministic Document Spanners 672 Authors: me pierreb smengel mniewerth 673 Main: yes 674 Venue: icdt2019 675 Reviewed: yes 676 Url: https://arxiv.org/abs/1807.09320 677 Code: https://github.com/PoDMR/enum-spanner-rs 678 CodeAuthor: rdupre mniewerth 679 Slides: /work/talks/icdt2019/amarilli2019constant_slides.pdf 680 SlidesAuthor: mniewerth 681 Award: Featured in <a href="https://sigmodrecord.org/2020/07/31/constant-delay-enumeration-for-nondeterministic-document-spanners/">ACM SIGMOD Research Highlights</a> 682 AwardFr: Mis en valeur comme <a href="https://sigmodrecord.org/2020/07/31/constant-delay-enumeration-for-nondeterministic-document-spanners/">ACM SIGMOD Research Highlights</a> 683 AwardTex: Featured in ACM SIGMOD Research Highlights 684 AwardTexFr: Mis en valeur comme ACM SIGMOD Research Highlights 685 DOI: 10.4230/LIPIcs.ICDT.2019.22 686 Extra: volume = {127}, pages = {22:1--22:19}, 687 HAL: hal-02338344 hal-03046848 688 Data: words 689 Query: spanner, enumeration 690 691 Id: amarilli2019evaluating 692 Oldid: amarilli2018combined amarilli2018evaluating 693 Title: Evaluating Datalog via Tree Automata and Cycluits 694 Authors: me pierreb mikael pierre 695 Reviewed: yes 696 Venue: tocs 697 Issue: 2019 698 Main: no 699 Url: https://arxiv.org/abs/1808.04663 700 ConferenceVersion: amarilli2017combined 701 DOI: 10.1007/s00224-018-9901-2 702 Extra: volume = {63}, number = {7}, pages = {1620--1678}, 703 HAL: hal-01891811 704 Data: relational_db 705 Query: datalog 706 707 Id: amarilli2018query 708 Oldid: amarilli2017query 709 Title: Query Answering with Transitive and Linear-Ordered Data 710 Authors: me michael pierreb michaelvdb 711 Main: no 712 Venue: jair 713 Reviewed: yes 714 Issue: 2018 715 Url: https://arxiv.org/abs/2202.08555 716 PublisherURL: https://www.jair.org/index.php/jair/article/view/11240 717 ConferenceVersion: amarilli2016query 718 Errata: yes 719 DOI: 10.1613/jair.1.11240 720 Extra: volume = {63}, pages = {191--264}, 721 HAL: hal-02338348 722 723 Id: amarilli2018topological 724 Title: Topological Sorting under Regular Constraints 725 Oldid: amarilli2017dichotomy amarilli2018constrained 726 Authors: me cpaperman 727 Reviewed: yes 728 Venue: icalp2018 729 Main: no 730 Url: https://arxiv.org/abs/1707.04310 731 Slides: /work/talks/icalp2018/amarilli2018topological_slides.pdf 732 DOI: 10.4230/LIPIcs.ICALP.2018.115 733 Extra: volume = {107}, pages = {115:1--115:14}, 734 HAL: hal-01950909 735 Data: DAGs 736 Query: topological_sort 737 738 Id: amarilli2018when 739 Title: When Can We Answer Queries Using Result-Bounded Data Interfaces? 740 Authors: me michael 741 Url: https://arxiv.org/abs/1706.07936 742 Oldid: amarilli2017when 743 Venue: pods2018 744 Reviewed: yes 745 Slides: /work/talks/pods2018/amarilli2018when_slides.pdf 746 Poster: /work/talks/pods2018/amarilli2018when_poster.pdf 747 Video: /work/talks/pods2018/Antoine_Amarilli_Telecom_ParisTech_When_Can_We_Answer_Queries_Using_Result-Bounded_Data-sfAz7Dt5o2Y.mp4 748 VideoExternal: https://www.youtube.com/watch?v=sfAz7Dt5o2Y 749 VideoPlatform: Youtube 750 Errata: major 751 Main: no 752 JournalVersion: amarilli2022when 753 DOI: 10.1145/3196959.3196965 754 Extra: pages = {281--293}, 755 HAL: hal-02079064 756 757 Id: amarilli2018connecting 758 Oldid: amarilli2017connecting 759 Title: Connecting Width and Structure in Knowledge Compilation 760 Authors: me mikael pierre 761 Venue: icdt2018 762 Reviewed: yes 763 Main: no 764 Url: https://arxiv.org/abs/1709.06188 765 Slides: https://mikael-monet.net/slides/amarilli2018connecting.pdf 766 SlidesAuthor: mikael 767 JournalVersion: amarilli2020connecting 768 DOI: 10.4230/LIPIcs.ICDT.2018.6 769 Extra: volume = {98}, pages = {6:1--6:17}, 770 HAL: hal-01851564 hal-01614551 771 Data: relational_db 772 Query: UCQ, PQE, circuits 773 774 Id: amarilli2018enumeration 775 Oldid: amarilli2017enumeration 776 Title: Enumeration on Trees under Relabelings 777 Authors: me pierreb smengel 778 Venue: icdt2018 779 Reviewed: yes 780 Url: https://arxiv.org/abs/1709.06185 781 Poster: /work/talks/icdt2018/amarilli2018enumeration_poster.pdf 782 Slides: /work/talks/icdt2018/amarilli2018enumeration_slides.pdf 783 DOI: 10.4230/LIPIcs.ICDT.2018.5 784 Extra: volume = {98}, pages = {5:1--5:18}, 785 HAL: hal-02412744 786 Data: trees 787 Query: enumeration, updates 788 789 Title: Possible and Certain Answers for Queries over Order-Incomplete Data 790 Id: amarilli2017possible 791 Authors: me lamine daniel pierre 792 Url: https://arxiv.org/abs/1707.07222 793 Oldid: amarilli2016representing 794 Venue: time2017 795 Main: no 796 Reviewed: yes 797 Errata: major 798 Slides: /work/talks/time2017/amarilli2017possible_slides.pdf 799 JournalVersion: amarilli2019computing 800 DOI: 10.4230/LIPIcs.TIME.2017.4 801 Extra: volume = {90}, pages = {4:1--4:19}, 802 HAL: hal-01614571 803 804 Id: amarilli2017circuit 805 Title: A Circuit-Based Approach to Efficient Enumeration 806 Authors: me pierreb ljachiet smengel 807 Venue: icalp2017 808 Reviewed: yes 809 Main: no 810 Url: https://arxiv.org/abs/1702.05589 811 Slides: /work/talks/icalp2017/amarilli2017circuit_slides.pdf 812 DOI: 10.4230/LIPIcs.ICALP.2017.111 813 Extra: volume = {80}, pages = {111:1--111:15}, 814 HAL: hal-01639179 815 PublisherURL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2017.111 816 817 Id: amarilli2017conjunctive 818 Title: Conjunctive Queries on Probabilistic Graphs: Combined Complexity 819 Authors: me mikael pierre 820 Url: https://arxiv.org/abs/1703.03201 821 Venue: pods2017 822 Reviewed: yes 823 Main: no 824 Slides: https://mikael-monet.net/slides/amarilli2017conjunctive.pdf 825 SlidesAuthor: mikael 826 Poster: https://mikael-monet.net/posters/amarilli2017conjunctive.pdf 827 PosterAuthor: mikael 828 DOI: 10.1145/3034786.3056121 829 Extra: pages = {217--232}, 830 HAL: hal-01486634 831 Data: graphs 832 Query: PQE, combined 833 834 Id: amarilli2017combined 835 Title: Combined Tractability of Query Evaluation via Tree Automata and Cycluits 836 Authors: me pierreb mikael pierre 837 Url: https://arxiv.org/abs/1612.04203 838 Venue: icdt2017 839 Reviewed: yes 840 Main: no 841 Slides: https://mikael-monet.net/slides/amarilli2017combined.pdf 842 SlidesAuthor: mikael 843 Poster: https://mikael-monet.net/posters/amarilli2017combined2.pdf 844 PosterAuthor: mikael 845 JournalVersion: amarilli2019evaluating 846 DOI: 10.4230/LIPIcs.ICDT.2017.6 847 Extra: volume = {68}, pages = {6:1--6:19}, 848 HAL: hal-01439309 849 Data: relational_db 850 Query: datalog 851 852 Id: amarilli2017top 853 Title: Top-k Queries on Unknown Values under Order Constraints 854 Authors: me yael tova pierre 855 Url: https://arxiv.org/abs/1701.02634 856 Venue: icdt2017 857 Reviewed: yes 858 Main: no 859 Poster: /work/talks/icdt2017/amarilli2017top_poster.pdf 860 Slides: /work/talks/icdt2017/amarilli2017top_slides.pdf 861 SlidesAuthor: yael 862 PosterAuthor: yael 863 DOI: 10.4230/LIPIcs.ICDT.2017.5 864 Extra: volume = {68}, pages = {5:1--5:18}, 865 HAL: hal-02287482 hal-01439310 866 867 Id: galarraga2017predicting 868 Title: Predicting Completeness in Knowledge Bases 869 Authors: luis simon me fabian 870 Venue: wsdm2017 871 Reviewed: yes 872 Main: no 873 Url: https://arxiv.org/abs/1612.05786 874 Slides: https://luisgalarraga.de/docs/completeness-kbs.pdf 875 Poster: https://luisgalarraga.de/docs/poster-wsdm-v3.pdf 876 PosterAuthor: luis 877 SlidesAuthor: luis 878 DOI: 10.1145/3018661.3018739 879 Extra: pages = {375--383} 880 HAL: hal-01472488 881 882 Id: amarilli2016challenges 883 Title: Challenges for Efficient Query Evaluation on Structured Probabilistic Data 884 Authors: me silviu mikael 885 Url: https://arxiv.org/abs/1607.05538 886 Reviewed: yes 887 HideCv: yes 888 Venue: sum2016 889 Slides: https://mikael-monet.net/slides/challengesNice2016.pdf 890 SlidesAuthor: mikael 891 DOI: 10.1007/978-3-319-45856-4_22 892 Extra: volume = {9858}, pages = {323--330}, 893 HAL: hal-01360167 894 895 Id: amarilli2016failure 896 Title: Failure is Also an Option 897 Authors: me marcb remi david 898 Url: https://zenodo.org/record/50764 899 Venue: tnc2016 900 Reviewed: no 901 DOI: 10.1007/978-3-662-49301-4_11 902 Extra: volume = {9100}, pages = {161--165}, 903 904 Id: amarilli2016query 905 Title: Query Answering with Transitive and Linear-Ordered Data 906 Authors: me michael pierreb michaelvdb 907 Reviewed: yes 908 Url: https://arxiv.org/abs/1607.00813 909 Venue: ijcai2016 910 Slides: https://www.cs.ox.ac.uk/people/michael.vandenboom/slides/IJCAI16-slides.pdf 911 SlidesLong: /work/talks/cedar/amarilli2016query_slides.pdf 912 Poster: https://www.cs.ox.ac.uk/people/michael.vandenboom/slides/IJCAI16-poster.pdf 913 SlidesAuthor: michaelvdb 914 PosterAuthor: michaelvdb 915 JournalVersion: amarilli2018query 916 Errata: yes 917 PublisherURL: https://www.ijcai.org/Abstract/16/131 918 DOI: none 919 Extra: pages = {893--899}, 920 HAL: hal-01413881 921 922 Id: amarilli2016leveraging 923 Title: Leveraging the Structure of Uncertain Data 924 Authors: me 925 Reviewed: no 926 HideCv: yes 927 Url: https://tel.archives-ouvertes.fr/tel-01345836 928 Slides: /work/talks/thesis/amarilli2016leveraging_slides.pdf 929 Type: phdthesis 930 School: Télécom ParisTech 931 SchoolUrl: https://www.telecom-paris.fr/ 932 Venue: PhD thesis 933 VenueFr: Thèse de doctorat 934 Errata: yes 935 Year: 2016 936 # AWARD: co-winner of the Beth dissertation award, winner of the Télécom Paris PhD prize 937 HAL: tel-01345836 938 939 Id: amarilli2016tractable 940 Title: Tractable Lineages on Treelike Instances: Limits and Extensions 941 Authors: me pierreb pierre 942 Url: https://arxiv.org/abs/1604.02761 943 Main: yes 944 Reviewed: yes 945 Venue: pods2016 946 Poster: /work/talks/pods2016/amarilli2016tractable_poster.pdf 947 Slides: /work/talks/pods2016/amarilli2016tractable_slides.pdf 948 OldCV: yes 949 DOI: 10.1145/2902251.2902301 950 Extra: pages = {355--370}, 951 HAL: hal-01336514 952 Errata: yes 953 Data: relational_db 954 Query: PQE, circuits 955 956 Id: tang2016framework 957 Oldid: tang2014framework tang2015framework 958 Issue: 2016 959 Title: A Framework for Sampling-Based XML Data Pricing 960 Authors: ruiming me pierre stephane 961 Url: https://osf.io/m3xcn/ 962 Reviewed: yes 963 Venue: tldks 964 ConferenceVersion: tang2014get 965 DOI: 10.1007/978-3-662-49214-7_4 966 Extra: volume = {24}, pages = {116--138}, 967 HAL: hal-01261958 968 969 Id: amarilli2014minimum 970 Year: 2015 971 Title: Minimum Bayesian Risk Methods for Automatic Speech Recognition 972 Authors: me mehryar cyril 973 Url: amarilli2014minimum.pdf 974 Reviewed: yes 975 Venue: US Patent 9123333 976 VenueShort: US Patent 977 Type: patent 978 MiscEn: <a href="/blog/software_patent_absurdity.html">not an endorsement of software patents</a> 979 MiscFr: <a href="/blog/software_patent_absurdity.html">je ne cautionne pas les brevets logiciels</a> 980 981 Id: amarilli2015possibility 982 Title: Possibility in Probabilistic XML 983 Authors: me 984 Url: https://arxiv.org/abs/1404.3131 985 Reviewed: yes 986 Venue: isi 987 ConferenceVersion: amarilli2014possibility 988 Misc: the <a href="https://web.archive.org/web/20180603070056/http://isi.revuesonline.com/article.jsp?articleId=21609">publisher version</a> is no longer available 989 MiscFr: la <a href="https://web.archive.org/web/20180603070056/http://isi.revuesonline.com/article.jsp?articleId=21609">version éditeur</a> n'est plus disponible 990 DOI: 10.3166/isi.20.5.53-75 991 Extra: number = {5}, pages = {53--75}, 992 Issue: 2015 993 Note: the publisher version is no longer available 994 HAL: hal-01336826 995 996 Id: amarilli2015intensional 997 Title: Intensional Data on the Web 998 Authors: me silviu pierre 999 Url: https://osf.io/mvs8q/ 1000 Venue: sigweb 1001 Issue: Summer 2015 1002 Reviewed: no 1003 Type: newsletter 1004 DOI: 10.1145/2808000.2808004 1005 Extra: pages = {4:1--4:12}, 1006 HAL: hal-01191721 1007 1008 Id: amarilli2015combining 1009 Title: Combining Existential Rules and Description Logics 1010 Authors: me michael 1011 Url: https://arxiv.org/abs/1505.00326 1012 Reviewed: yes 1013 Venue: ijcai2015 1014 Slides: /work/talks/ijcai2015/amarilli2015combining_slides.pdf 1015 SlidesLong: /work/talks/lirmm/amarilli2015combining_slides.pdf 1016 Poster: /work/talks/ijcai_2015/amarilli2015combining_poster.pdf 1017 DOI: none 1018 Extra: pages = {2691--2697}, 1019 HAL: hal-01190601 1020 1021 Id: talaika2015ibex 1022 Title: IBEX: Harvesting Entities from the Web Using Unique Identifiers 1023 Authors: aliaksandr joanna me fabian 1024 Url: https://arxiv.org/abs/1505.00841 1025 Reviewed: yes 1026 Venue: webdb2015 1027 Slides: /work/talks/sigmod2015/talaika2015ibex_slides.pdf 1028 DOI: 10.1145/2767109.2767116 1029 Extra: pages = {13--19}, 1030 HAL: hal-01190629 1031 1032 Id: amarilli2015finite 1033 Title: Finite Open-World Query Answering with Number Restrictions 1034 Authors: me michael 1035 Url: https://arxiv.org/abs/1505.04216 1036 Reviewed: yes 1037 Venue: lics2015 1038 Slides: /work/talks/lics2015/amarilli2015finite_slides.pdf 1039 JournalVersion: amarilli2020finite 1040 DOI: 10.1109/LICS.2015.37 1041 Extra: pages = {305--316}, 1042 HAL: hal-01190580 1043 1044 Id: amarilli2015provenance 1045 Title: Provenance Circuits for Trees and Treelike Instances 1046 Main: yes 1047 Authors: me pierreb pierre 1048 Url: https://arxiv.org/abs/1511.08723 1049 Slides: /work/talks/icalp2015/amarilli2015provenance_slides.pdf 1050 Reviewed: yes 1051 Venue: icalp2015 1052 OldCv: yes 1053 DOI: 10.1007/978-3-662-47666-6_5 1054 Extra: volume = {9135}, pages = {56--68}, 1055 HAL: hal-01178399 1056 Data: trees, treelike 1057 Query: PQE, circuits 1058 1059 Id: amarilli2015structurally 1060 Title: Structurally Tractable Uncertain Data 1061 Authors: me 1062 Url: https://arxiv.org/abs/1507.04955 1063 Reviewed: yes 1064 Venue: sigmodphd2015 1065 Slides: /work/talks/sigmod2015/amarilli2015structurally_slides.pdf 1066 DOI: 10.1145/2744680.2744690 1067 Extra: pages = {39--44}, 1068 HAL: hal-01190610 1069 1070 Id: amarilli2014recent 1071 Title: Recent Topics of Research around the YAGO Knowledge Base 1072 Authors: me luis nicoleta fabian 1073 Url: https://zenodo.org/record/34912 1074 Venue: apweb2014 1075 DOI: 10.1007/978-3-319-11116-2_1 1076 Extra: volume = {8709}, pages = {1--12}, 1077 HAL: hal-01190642 1078 1079 Id: tang2014get 1080 Title: Get a Sample for a Discount: Sampling-Based XML Data Pricing 1081 Authors: ruiming me pierre stephane 1082 Reviewed: yes 1083 Url: https://osf.io/5y84h/ 1084 Venue: dexa2014 1085 Slides: /work/talks/dexa2014/tang2014get_slides.pdf 1086 SlidesAuthor: ruiming 1087 JournalVersion: tang2016framework 1088 DOI: 10.1007/978-3-319-10073-9_3 1089 Extra: volume = {8644}, pages = {20--34}, 1090 HAL: hal-01069820 1091 1092 Id: amarilli2014uncertainty 1093 Title: Uncertainty in Crowd Data Sourcing under Structural Constraints 1094 Authors: me yael tova 1095 Url: https://arxiv.org/abs/1403.0783 1096 Reviewed: yes 1097 Venue: uncrowd2014 1098 Slides: /work/talks/uncrowd/amarilli2014crowdsourcing_slides.pdf 1099 DOI: 10.1007/978-3-662-43984-5_27 1100 Extra: volume = {8505}, pages = {351--359}, 1101 HAL: hal-01190716 1102 1103 Id: amarilli2014possibility 1104 Title: The Possibility Problem for Probabilistic XML 1105 Authors: me 1106 Url: https://ceur-ws.org/Vol-1189/paper_2.pdf 1107 Reviewed: yes 1108 Venue: amw2014 1109 Slides: /work/talks/amw2014/amarilli2014possibility_slides.pdf 1110 JournalVersion: amarilli2015possibility 1111 PublisherURL: https://ceur-ws.org/Vol-1189/paper_2.pdf 1112 DOI: none 1113 Extra: volume = {1189}, 1114 HAL: hal-01190712 1115 1116 Id: amarilli2014complexity 1117 Title: On the Complexity of Mining Itemsets from the Crowd Using Taxonomies 1118 Authors: me yael tova 1119 Url: https://arxiv.org/abs/1312.3248 1120 Reviewed: yes 1121 Venue: icdt2014 1122 Slides: /work/talks/icdt2014/amarilli2014complexity_slides.pdf 1123 DOI: 10.5441/002/icdt.2014.06 1124 Extra: pages = {15--25}, 1125 HAL: hal-00986184 1126 1127 Id: amarilli2013connections 1128 Title: On the Connections between Relational and XML Probabilistic Data Models 1129 Authors: me pierre 1130 Url: https://osf.io/preprints/osf/t6ghw_v1 1131 Reviewed: yes 1132 Venue: bncod2013 1133 Slides: /work/talks/bncod2013/amarilli2013connections_slides.pdf 1134 DOI: 10.1007/978-3-642-39467-6_13 1135 Extra: volume = {7968}, pages = {121--134}, 1136 HAL: hal-00874445 1137 1138 Id: amarilli2012rational 1139 Title: From Rational Number Reconstruction to Set Reconciliation and File Synchronization 1140 Authors: me fabrice florian robin david pablo 1141 Url: https://zenodo.org/record/33991 1142 Venue: tgc2012 1143 DOI: 10.1007/978-3-642-41157-1_1 1144 Extra: volume = {8191}, pages = {1--18}, 1145 1146 Id: amarilli2012advances 1147 Title: Advances in Holistic Ontology Alignment 1148 Authors: me 1149 Reviewed: no 1150 Main: no 1151 HideCv: yes 1152 Url: /work/school/m2/report.pdf 1153 Slides: /work/talks/stage_m2/amarilli2012mpri_slides.pdf 1154 Type: mscthesis 1155 School: Télécom ParisTech 1156 SchoolUrl: https://www.telecom-paris.fr/ 1157 Venue: Master's thesis (internship report) 1158 VenueFr: Rapport de stage de master 1159 1160 Id: oita2012crossfertilizing 1161 Title: Cross-Fertilizing Deep Web Analysis and Ontology Enrichment 1162 Authors: marilena me pierre 1163 Url: https://osf.io/b3fvz/ 1164 Reviewed: yes 1165 Venue: vlds2012 1166 PublisherURL: https://ceur-ws.org/Vol-884/VLDS2012_p05_Oita.pdf 1167 DOI: none 1168 Extra: volume = {884}, pages = {5--8}, 1169 HAL: hal-00737941 1170 1171 Id: amarilli2012proof 1172 Title: A Proof of the Pumping Lemma for Context-Free Languages Through Pushdown Automata 1173 Authors: me marc 1174 Url: https://arxiv.org/abs/1207.2819 1175 Venue: arXiv:1207.2819v1 1176 Reviewed: no 1177 Type: note 1178 Issue: 2012 1179 1180 Id: amarilli2011can2 1181 Title: Can a Program Reverse-Engineer Itself? 1182 Authors: me david pablo emil 1183 Url: https://eprint.iacr.org/2011/497 1184 Venue: imacc2011 1185 DOI: 10.1007/978-3-642-25516-8_1 1186 Extra: volume = {7089}, pages = {1--9}, 1187 1188 Id: amarilli2011can 1189 Title: Can Code Polymorphism Limit Information Leakage? 1190 Authors: me sascha david danielp pablo michaelt 1191 Url: https://eprint.iacr.org/2011/099 1192 Venue: wistp2011 1193 Code: /work/research/amarilli2015can.zip 1194 DOI: 10.1007/978-3-642-21040-2_1 1195 Extra: volume = {6633}, pages = {1--21}, 1196 1197