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