E-LIB Suche - Ergebnisse für: Gardy, Patrick

1

Reachability of Patterned Conditional Pushdown Systems:

Li, Xin ; Gardy, Patrick ; Deng, Yu-Xin.
Journal of Computer Science and Technology. 35 (2020) 6 - p. 1295-1311 , 2020

Link: https://doi.org/10.1007/..

2

Dependences in Strategy Logic:

Gardy, Patrick ; Bouyer, Patricia ; Markey, Nicolas
Theory of Computing Systems. 64 (2020) 3 - p. 467-507 , 2020

Link: https://doi.org/10.1007/..

3

Low complexity and large interactions are possible in Strat..:

, In: 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE),

Gardy, Patrick - p. 192-199 , 2019

Link: https://doi.org/10.1109/..

4

Simulations for Multi-Agent Systems with Imperfect Informat..:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

Gardy, Patrick ; Deng, Yuxin - p. 138-153 , 2019

Link: https://doi.org/10.1007/..

5

On the semantics of Strategy Logic:

Bouyer, Patricia ; Gardy, Patrick ; Markey, Nicolas
Information Processing Letters. 116 (2016) 2 - p. 75-79 , 2016

Link: https://doi.org/10.1016/..

6

Dependences in Strategy Logic:

Gardy, Patrick ; Bouyer, Patricia ; Markey, Nicolas
info:eu-repo/semantics/altIdentifier/doi/10.1007/s00224-019-09926-y. , 2020

Link: https://hal.archives-ouv..

7

Dependences in Strategy Logic:

Gardy, Patrick ; Bouyer, Patricia ; Markey, Nicolas
info:eu-repo/semantics/altIdentifier/doi/10.1007/s00224-019-09926-y. , 2020

Link: https://hal.science/hal-..

8

Dependences in Strategy Logic:

Gardy, Patrick ; Bouyer, Patricia ; Markey, Nicolas
info:eu-repo/semantics/altIdentifier/doi/10.1007/s00224-019-09926-y. , 2020

Link: https://hal.science/hal-..

9

Dependences in Strategy Logic:

Gardy, Patrick ; Bouyer, Patricia ; Markey, Nicolas
info:eu-repo/semantics/altIdentifier/doi/10.1007/s00224-019-09926-y. , 2020

Link: https://hal.science/hal-..

10

Dependences in Strategy Logic:

Gardy, Patrick ; Bouyer, Patricia ; Markey, Nicolas
doi:10.4230/LIPIcs.STACS.2018.34. , 2018

Link: https://doi.org/10.4230/..

11

Dependences in Strategy Logic:

Gardy, Patrick ; Bouyer, Patricia ; Markey, Nicolas
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.STACS.2018.34. , 2018

Link: https://hal.science/hal-..

12

Dependences in Strategy Logic:

Gardy, Patrick ; Bouyer, Patricia ; Markey, Nicolas
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.STACS.2018.34. , 2018

Link: https://hal.science/hal-..

13

Dependences in Strategy Logic:

Gardy, Patrick ; Bouyer, Patricia ; Markey, Nicolas
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.STACS.2018.34. , 2018

Link: https://hal.science/hal-..

14

Dependences in Strategy Logic:

Gardy, Patrick ; Bouyer, Patricia ; Markey, Nicolas
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.STACS.2018.34. , 2018

Link: https://hal.archives-ouv..

15

Semantics of Strategy Logic ; Les choix semantiques dans la..:

Gardy, Patrick
NNT: 2017SACLN022. , 2017

Link: https://tel.archives-ouv..