Jeu de parité (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Jeu de parité" in French language version.

refsWebsite

Global rank French rank

13doi.org

2^nd place

3^rd place

7springer.com

274^th place

223^rd place

3issn.org

57^th place

4^th place

3acm.org

1,185^th place

1,318^th place

2arxiv.org

69^th place

232^nd place

1sciencedirect.com

149^th place

80^th place

1ieee.org

652^nd place

741^st place

1jstor.org

26^th place

110^th place

acm.org

dl.acm.org

Cristian S. Calude, Sanjay Jain, Bakhadyr Khoussainov et Wei Li, « Deciding parity games in quasipolynomial time », Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, ACM,‎ 19 juin 2017, p. 252–263 (ISBN 9781450345286, DOI 10.1145/3055399.3055409, lire en ligne, consulté le 12 février 2018)
Marcin Jurdzinski, « Small Progress Measures for Solving Parity Games », Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2000), Springer-Verlag,‎ 1^er février 2000, p. 290–301 (ISBN 3540671412, lire en ligne, consulté le 2 mai 2018)
Orna Kupferman et Moshe Y. Vardi, « Weak alternating automata are not that weak », ACM Transactions on Computational Logic (TOCL), vol. 2, n^o 3,‎ 1^er juillet 2001, p. 408–429 (ISSN 1529-3785, DOI 10.1145/377978.377993, lire en ligne, consulté le 2 mai 2018)

arxiv.org

Gijs Kant et Jaco van de Pol, « Generating and Solving Symbolic Parity Games », Electronic Proceedings in Theoretical Computer Science, vol. 159,‎ 1^er août 2014, p. 2–14 (ISSN 2075-2180, DOI 10.4204/EPTCS.159.2, lire en ligne, consulté le 2 mai 2018)
Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger et Veronika Loitzenbauer, « Improved Set-based Symbolic Algorithms for Parity Games », arXiv:1706.04889 [cs],‎ 15 juin 2017 (lire en ligne, consulté le 2 mai 2018)

doi.org

dx.doi.org

(en) Júlia Zappe, Automata Logics, and Infinite Games, Springer, Berlin, Heidelberg, coll. « Lecture Notes in Computer Science », 2002 (ISBN 3540363874, DOI 10.1007/3-540-36387-4_10, lire en ligne), p. 171–184
(en) Daniel Kirsten, Automata Logics, and Infinite Games, Springer, Berlin, Heidelberg, coll. « Lecture Notes in Computer Science », 2002 (ISBN 3540363874, DOI 10.1007/3-540-36387-4_9, lire en ligne), p. 153–167
(en) « Deciding the winner in parity games is in UP ∩ co-UP », Information Processing Letters, vol. 68, n^o 3,‎ 15 novembre 1998, p. 119–124 (ISSN 0020-0190, DOI 10.1016/S0020-0190(98)00150-1, lire en ligne, consulté le 12 février 2018)
(en) Hartmut Klauck, Automata Logics, and Infinite Games, Springer, Berlin, Heidelberg, coll. « Lecture Notes in Computer Science », 2002 (ISBN 3540363874, DOI 10.1007/3-540-36387-4_7, lire en ligne), p. 107–129
Cristian S. Calude, Sanjay Jain, Bakhadyr Khoussainov et Wei Li, « Deciding parity games in quasipolynomial time », Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, ACM,‎ 19 juin 2017, p. 252–263 (ISBN 9781450345286, DOI 10.1145/3055399.3055409, lire en ligne, consulté le 12 février 2018)
W Zielonka, « Infinite Games on Finitely Coloured Graphs with Applications to Automata on Infinite Trees », Theor. Comput. Sci., vol. 200, n^os 1–2,‎ 1998, p. 135–183 (DOI 10.1016/S0304-3975(98)00009-7)
Orna Kupferman et Moshe Y. Vardi, « Weak alternating automata are not that weak », ACM Transactions on Computational Logic (TOCL), vol. 2, n^o 3,‎ 1^er juillet 2001, p. 408–429 (ISSN 1529-3785, DOI 10.1145/377978.377993, lire en ligne, consulté le 2 mai 2018)
(en) Antonio Di Stasio, Aniello Murano, Giuseppe Perelli et Moshe Y. Vardi, « Solving Parity Games Using an Automata-Based Algorithm », Implementation and Application of Automata, Springer, Cham, lecture Notes in Computer Science,‎ 19 juillet 2016, p. 64–76 (ISBN 9783319409450, DOI 10.1007/978-3-319-40946-7_6, lire en ligne, consulté le 2 mai 2018)
(en) Edmund M. Clarke, William Klieber, Miloš Nováček et Paolo Zuliani, Tools for Practical Software Verification, Springer, Berlin, Heidelberg, coll. « Lecture Notes in Computer Science », 2012 (ISBN 9783642357459 et 9783642357466, DOI 10.1007/978-3-642-35746-6_1, lire en ligne), p. 1–30
(en) Marco Bakera, Stefan Edelkamp, Peter Kissmann et Clemens D. Renner, « Solving μ-Calculus Parity Games by Symbolic Planning », Model Checking and Artificial Intelligence, Springer, Berlin, Heidelberg, lecture Notes in Computer Science,‎ 21 juillet 2008, p. 15–33 (ISBN 9783642004308, DOI 10.1007/978-3-642-00431-5_2, lire en ligne, consulté le 2 mai 2018)
Gijs Kant et Jaco van de Pol, « Generating and Solving Symbolic Parity Games », Electronic Proceedings in Theoretical Computer Science, vol. 159,‎ 1^er août 2014, p. 2–14 (ISSN 2075-2180, DOI 10.4204/EPTCS.159.2, lire en ligne, consulté le 2 mai 2018)
(en) Doron Bustan, Orna Kupferman et Moshe Y. Vardi, « A Measured Collapse of the Modal μ-Calculus Alternation Hierarchy », STACS 2004, Springer, Berlin, Heidelberg, lecture Notes in Computer Science,‎ 25 mars 2004, p. 522–533 (ISBN 9783540212362, DOI 10.1007/978-3-540-24749-4_46, lire en ligne, consulté le 2 mai 2018)
Donald A. Martin, « Borel Determinacy », Annals of Mathematics, vol. 102, n^o 2,‎ 1975, p. 363–371 (DOI 10.2307/1971035, lire en ligne, consulté le 12 février 2018)

ieee.org

ieeexplore.ieee.org

(en-US) « Graph-Based Algorithms for Boolean Function Manipulation - IEEE Journals & Magazine », sur ieeexplore.ieee.org (consulté le 2 mai 2018)

issn.org

portal.issn.org

(en) « Deciding the winner in parity games is in UP ∩ co-UP », Information Processing Letters, vol. 68, n^o 3,‎ 15 novembre 1998, p. 119–124 (ISSN 0020-0190, DOI 10.1016/S0020-0190(98)00150-1, lire en ligne, consulté le 12 février 2018)
Orna Kupferman et Moshe Y. Vardi, « Weak alternating automata are not that weak », ACM Transactions on Computational Logic (TOCL), vol. 2, n^o 3,‎ 1^er juillet 2001, p. 408–429 (ISSN 1529-3785, DOI 10.1145/377978.377993, lire en ligne, consulté le 2 mai 2018)
Gijs Kant et Jaco van de Pol, « Generating and Solving Symbolic Parity Games », Electronic Proceedings in Theoretical Computer Science, vol. 159,‎ 1^er août 2014, p. 2–14 (ISSN 2075-2180, DOI 10.4204/EPTCS.159.2, lire en ligne, consulté le 2 mai 2018)

jstor.org

Donald A. Martin, « Borel Determinacy », Annals of Mathematics, vol. 102, n^o 2,‎ 1975, p. 363–371 (DOI 10.2307/1971035, lire en ligne, consulté le 12 février 2018)

sciencedirect.com

(en) « Deciding the winner in parity games is in UP ∩ co-UP », Information Processing Letters, vol. 68, n^o 3,‎ 15 novembre 1998, p. 119–124 (ISSN 0020-0190, DOI 10.1016/S0020-0190(98)00150-1, lire en ligne, consulté le 12 février 2018)

springer.com

link.springer.com

(en) Júlia Zappe, Automata Logics, and Infinite Games, Springer, Berlin, Heidelberg, coll. « Lecture Notes in Computer Science », 2002 (ISBN 3540363874, DOI 10.1007/3-540-36387-4_10, lire en ligne), p. 171–184
(en) Daniel Kirsten, Automata Logics, and Infinite Games, Springer, Berlin, Heidelberg, coll. « Lecture Notes in Computer Science », 2002 (ISBN 3540363874, DOI 10.1007/3-540-36387-4_9, lire en ligne), p. 153–167
(en) Hartmut Klauck, Automata Logics, and Infinite Games, Springer, Berlin, Heidelberg, coll. « Lecture Notes in Computer Science », 2002 (ISBN 3540363874, DOI 10.1007/3-540-36387-4_7, lire en ligne), p. 107–129
(en) Antonio Di Stasio, Aniello Murano, Giuseppe Perelli et Moshe Y. Vardi, « Solving Parity Games Using an Automata-Based Algorithm », Implementation and Application of Automata, Springer, Cham, lecture Notes in Computer Science,‎ 19 juillet 2016, p. 64–76 (ISBN 9783319409450, DOI 10.1007/978-3-319-40946-7_6, lire en ligne, consulté le 2 mai 2018)
(en) Edmund M. Clarke, William Klieber, Miloš Nováček et Paolo Zuliani, Tools for Practical Software Verification, Springer, Berlin, Heidelberg, coll. « Lecture Notes in Computer Science », 2012 (ISBN 9783642357459 et 9783642357466, DOI 10.1007/978-3-642-35746-6_1, lire en ligne), p. 1–30
(en) Marco Bakera, Stefan Edelkamp, Peter Kissmann et Clemens D. Renner, « Solving μ-Calculus Parity Games by Symbolic Planning », Model Checking and Artificial Intelligence, Springer, Berlin, Heidelberg, lecture Notes in Computer Science,‎ 21 juillet 2008, p. 15–33 (ISBN 9783642004308, DOI 10.1007/978-3-642-00431-5_2, lire en ligne, consulté le 2 mai 2018)
(en) Doron Bustan, Orna Kupferman et Moshe Y. Vardi, « A Measured Collapse of the Modal μ-Calculus Alternation Hierarchy », STACS 2004, Springer, Berlin, Heidelberg, lecture Notes in Computer Science,‎ 25 mars 2004, p. 522–533 (ISBN 9783540212362, DOI 10.1007/978-3-540-24749-4_46, lire en ligne, consulté le 2 mai 2018)