The Library
Browse by Warwick Author
Up a level |
Jump to: Agence nationale de recherches sur le SIDA (France) (ANRS) | Alan Turing Institute (London, England) | Engineering and Physical Sciences Research Council (EPSRC) | Narodowe Centrum Nauki [National Science Centre] (NCN) | Narodowe Centrum Nauki [Polish National Science Center] | Natural Sciences and Engineering Research Council of Canada (NSERC)
Number of items: 10.
Agence nationale de recherches sur le SIDA (France) (ANRS)
Fijalkow, Nathanael, Gimbert, Hugo, Kelmendi, Edon and Kuperberg, Denis (2017) Stamina : stabilisation nonoids in automata theory. In: 22nd International Conference Implementation and Application of Automata, 27-30 Jun 2017, Universitรฉ Paris-Est Marne-la-Vallรฉe. Published in: Implementation and Application of Automata ISBN 9783319601335. doi:10.1007/978-3-319-60134-2_9 ISSN 0302-9743.
Alan Turing Institute (London, England)
Fijalkow, Nathanael (2017) Profinite techniques for probabilistic automata and the Markov Monoid algorithm. Theoretical Computer Science, 680 . pp. 1-14. doi:10.1016/j.tcs.2017.04.006 ISSN 0304-3975.
Fijalkow, Nathanael, Klin, Bartek and Panangaden, Prakash (2017) Expressiveness of probabilistic modal logics, revisited. In: 44th International Colloquium on Automata, Languages, and Programming, Warsaw, Poland, 10-14 Jul 2017. Published in: 44th International Colloquium on Automata, Languages, and Programming,, 80 105.1-105.12. doi:10.4230/LIPIcs.ICALP.2017.105 ISSN 1868-8969.
Fijalkow, Nathanael, Gimbert, Hugo, Kelmendi, Edon and Kuperberg, Denis (2017) Stamina : stabilisation nonoids in automata theory. In: 22nd International Conference Implementation and Application of Automata, 27-30 Jun 2017, Universitรฉ Paris-Est Marne-la-Vallรฉe. Published in: Implementation and Application of Automata ISBN 9783319601335. doi:10.1007/978-3-319-60134-2_9 ISSN 0302-9743.
Engineering and Physical Sciences Research Council (EPSRC)
Fijalkow, Nathanael (2017) Profinite techniques for probabilistic automata and the Markov Monoid algorithm. Theoretical Computer Science, 680 . pp. 1-14. doi:10.1016/j.tcs.2017.04.006 ISSN 0304-3975.
Fijalkow, Nathanael, Klin, Bartek and Panangaden, Prakash (2017) Expressiveness of probabilistic modal logics, revisited. In: 44th International Colloquium on Automata, Languages, and Programming, Warsaw, Poland, 10-14 Jul 2017. Published in: 44th International Colloquium on Automata, Languages, and Programming,, 80 105.1-105.12. doi:10.4230/LIPIcs.ICALP.2017.105 ISSN 1868-8969.
Fijalkow, Nathanael, Gimbert, Hugo, Kelmendi, Edon and Kuperberg, Denis (2017) Stamina : stabilisation nonoids in automata theory. In: 22nd International Conference Implementation and Application of Automata, 27-30 Jun 2017, Universitรฉ Paris-Est Marne-la-Vallรฉe. Published in: Implementation and Application of Automata ISBN 9783319601335. doi:10.1007/978-3-319-60134-2_9 ISSN 0302-9743.
Narodowe Centrum Nauki [National Science Centre] (NCN)
Fijalkow, Nathanael, Klin, Bartek and Panangaden, Prakash (2017) Expressiveness of probabilistic modal logics, revisited. In: 44th International Colloquium on Automata, Languages, and Programming, Warsaw, Poland, 10-14 Jul 2017. Published in: 44th International Colloquium on Automata, Languages, and Programming,, 80 105.1-105.12. doi:10.4230/LIPIcs.ICALP.2017.105 ISSN 1868-8969.
Narodowe Centrum Nauki [Polish National Science Center]
Czerwiลski, Wojciech, Daviaud, Laure, Fijalkow, Nathanael, Jurdzinski, Marcin, Lazic, Ranko and Parys, Pawel (2019) Universal trees grow inside separating automata : quasi-polynomial lower bounds for parity games. In: ACM-SIAM Symposium on Discrete Algorithms (SODA 2019), California, 6-9 Jan 2019. Published in: Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms pp. 2333-2349. ISBN 9781611975482. doi:10.1137/1.9781611975482.142
Natural Sciences and Engineering Research Council of Canada (NSERC)
Fijalkow, Nathanael, Klin, Bartek and Panangaden, Prakash (2017) Expressiveness of probabilistic modal logics, revisited. In: 44th International Colloquium on Automata, Languages, and Programming, Warsaw, Poland, 10-14 Jul 2017. Published in: 44th International Colloquium on Automata, Languages, and Programming,, 80 105.1-105.12. doi:10.4230/LIPIcs.ICALP.2017.105 ISSN 1868-8969.
This list was generated on Wed Apr 24 10:15:33 2024 BST.