- 6
- 1
- 1
Jean Goubault-Larrecq
8
Documents
Publications
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 8
- 2
- 5
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 2
- 3
Forward Analysis for WSTS, Part III: Karp-Miller TreesLogical Methods in Computer Science, 2020, 16 (2)
Article dans une revue
hal-03216116v1
|
|
|
Forward analysis for WSTS, part I: completionsMathematical 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 WSTSLogical 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 Trees37th 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
|
|
|
Forward analysis for WSTS, Part I: Completions26th 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 WSTSProceedings 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: CompletionsLeibniz-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 WSTSProceedings 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
|