EasyChair Smart SlideDocs/Log in
Author: Pierre Ganty

This page shows all presentations of this author published in EasyChair Smart Slide.

Computing Reachable Simulations on Transition Systems

Computing Reachable Simulations on Transition Systems

Pierre Ganty, Nicolas Manini and Francesco Ranzato

Language Inclusion Algorithms as Complete Abstract Interpretations

Language Inclusion Algorithms as Complete Abstract Interpretations

Pierre Ganty, Pedro Valero and Francesco Ranzato

Sound up-to techniques and Complete abstract domains

Sound up-to techniques and Complete abstract domains

Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi and Dusko Pavlovic

Presentations in this collection: 3
Copyright © 2002 – 2024 EasyChair