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