Accéder directement au contenu

Jean Goubault-Larrecq

8
Documents

Publications

"alain-finkel"

Forward Analysis for WSTS, Part III: Karp-Miller Trees

Michael Blondin , Alain Finkel , Jean Goubault-Larrecq
Logical Methods in Computer Science, 2020, 16 (2)
Article dans une revue hal-03216116v1
Image document

Forward analysis for WSTS, part I: completions

Alain Finkel , Jean Goubault-Larrecq
Mathematical Structures in Computer Science, 2020, 30 (7), pp.752-832. ⟨10.1017/S0960129520000195⟩
Article dans une revue hal-03186488v1

Forward Analysis for WSTS, Part II: Complete WSTS

Alain Finkel , Jean Goubault-Larrecq
Logical Methods in Computer Science, 2012, 8 (3), ⟨10.2168/LMCS-8(3:28)2012⟩
Article dans une revue hal-03189994v1

Forward Analysis for WSTS, Part III: Karp-Miller Trees

Michael Blondin , Alain Finkel , Jean Goubault-Larrecq
37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Dec 2017, Kanpur, India. ⟨10.4230/LIPIcs.FSTTCS.2017.16⟩
Communication dans un congrès hal-01736704v1
Image document

Forward analysis for WSTS, Part I: Completions

Alain Finkel , Jean Goubault-Larrecq
26th International Symposium on Theoretical Aspects of Computer Science - STACS 2009, Feb 2009, Freiburg, Germany. pp.433-444
Communication dans un congrès inria-00359699v1

The Theory of WSTS: The Case of Complete WSTS

Alain Finkel , Jean Goubault-Larrecq
Proceedings of the 33rd International Conference on Applications and Theory of Petri Nets (PETRI NETS'12), volume 7347 of Lecture Notes in Computer Science, Hamburg, Germany. Springer, pp.3-31, 2012, ⟨10.1007/978-3-642-31131-4_2⟩
Chapitre d'ouvrage hal-03189998v1

Forward Analysis for WSTS, Part I: Completions

Alain Finkel , Jean Goubault-Larrecq
Leibniz-Zentrum für Informatik. Proceedings of the 26th Annual Symposium on Theoretical Aspects of Computer Science (STACS'09), volume 3 of Leibniz International Proceedings in Informatics, Freiburg, Germany., pp.433-444, 2009
Chapitre d'ouvrage hal-03195833v1

Forward Analysis for WSTS, Part II: Complete WSTS

Alain Finkel , Jean Goubault-Larrecq
Proceedings of the 36th International Colloquium on Automata, Languages and Programming (ICALP'09), volume 5556 of Lecture Notes in Computer Science, Rhodes, Greece, July 2009. Springer., pp.188-199, 2009, ⟨10.1007/978-3-642-02930-1_16⟩
Chapitre d'ouvrage hal-03195656v1