Items where author is "Ganty, Pierre"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 5.

Presentation at Congress or Conference

Ganty, Pierre and Gutiérrez Viedma, Elena and Valero Mejía, Pedro (2019). A congruence-based perspective on automata minimization algorithms. In: "44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)", 26-30 Aug 2019, Aachen, Alemania. ISBN 978-3-95977-117-7. pp.. https://doi.org/10.4230/LIPIcs.MFCS.2019.50.

Ganty, Pierre and Ranzato, Francesco and Valero Mejía, Pedro (2019). Language inclusion algorithms as complete abstract interpretations. In: "26th International Symposium (SAS 2019)", 8-11 Oct 2019, Oporto, Portugal. ISBN 978-3-030-32304-2. pp. 140-161. https://doi.org/10.1007/978-3-030-32304-2.

Ganty, Pierre and Valero Mejía, Pedro (2019). Regular expression searching on compressed text. In: "Data Compression Conference (DCC 2019)", 26-29 Mar 2019, Snowbird, USA. ISBN 978-1-7281-0657-1. pp. 528-737. https://doi.org/10.1109/DCC.2019.00061.

Ganty, Pierre and Gutiérrez Viedma, Elena (2018). The Parikh property for weighted Context-Free Grammars. In: "38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2018)", 11-13 Dic 2018, Ahmedabad, India. ISBN 978-3-95977-093-4. pp. 495-514. https://doi.org/10.4230/LIPIcs.FSTTCS.2018.32.

Ganty, Pierre and Köpf, Boris and Valero Mejía, Pedro (2016). A language-theoretic view on network protocols. In: "15th International Symposium, ATVA 2017", 03-06 Oct 2017, Pune, India. ISBN 978-3-319-68167-2. pp. 363-379. https://doi.org/10.1007/978-3-319-68167-2 24.

  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM