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