Personal information

Websites & social links

Professional webpage

Countries

Spain

Activities

Collapse all

Education and qualifications (1)

Université Libre de Bruxelles: Bruxelles, BE

2004-09 to 2007-09-28 | PhD (Département d'Informatique)
Education
Source: Self-asserted source
Pierre Ganty

Works (8)

Learning the State Machine Behind a Modal Text Editor: The (Neo)Vim Case Study

2025 | Book chapter
DOI: 10.1007/978-3-031-66149-5_9
Contributors: Pierre Ganty
Source: check_circle
Crossref

The Reachable Simulation Problem

ACM Transactions on Computational Logic
2025-03-17 | Journal article
DOI: 10.1145/3723172
Contributors: Pierre Ganty; Nicolas Manini; Francesco Ranzato
Source: check_circle
Crossref

A Uniform Framework for Language Inclusion Problems

2024 | Book chapter
DOI: 10.1007/978-3-031-56222-8_9
Contributors: Kyveli Doveri; Pierre Ganty; Chana Weil-Kennedy
Source: check_circle
Crossref

Computing Reachable Simulations on Transition Systems

2024 | Book chapter
DOI: 10.1007/978-3-031-72621-7_3
Contributors: Pierre Ganty; Nicolas Manini; Francesco Ranzato
Source: check_circle
Crossref

Correction to: A Uniform Framework for Language Inclusion Problems

2024 | Book chapter
DOI: 10.1007/978-3-031-56222-8_17
Contributors: Kyveli Doveri; Pierre Ganty; Chana Weil-Kennedy
Source: check_circle
Crossref

Antichains Algorithms for the Inclusion Problem Between $$\omega $$-VPL

2023 | Book chapter
DOI: 10.1007/978-3-031-30823-9_15
Contributors: Kyveli Doveri; Pierre Ganty; Luka Hadži-Đokić
Source: check_circle
Crossref

FORQ-Based Language Inclusion Formal Testing

2022 | Book chapter
DOI: 10.1007/978-3-031-13188-2_6
Contributors: Kyveli Doveri; Pierre Ganty; Nicolas Mazzocchi
Source: check_circle
Crossref

Language Inclusion Algorithms as Complete Abstract Interpretations

2019 | Book chapter
DOI: 10.1007/978-3-030-32304-2_8
Contributors: Pierre Ganty; Francesco Ranzato; Pedro Valero
Source: check_circle
Crossref
How many people are using ORCID?