Articles dans des revues avec comité de lecture (185)
  1. 53. Bruyère, V., Hautem, Q., & Raskin, J.-F. (2016). On the complexity of heterogeneous multidimensional quantitative games. Leibniz international proceedings in informatics, 59, 11. doi:10.4230/LIPIcs.CONCUR.2016.11
  2. 54. Bozianu, R., Filiot, E., Gentilini, R., & Raskin, J.-F. (2016). The Complexity of Rational Synthesis (ICALP'16). Automata, languages and programming, 14.
  3. 55. Chechik, M., & Raskin, J.-F. (2016). Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016 held as part of the european joint conferences on theory and practice of software, ETAPS 2016 Eindhoven, The Netherlands, April 2-8, 2016 proceedings. Lecture notes in computer science, 9636, 7-8. doi:10.1007/978-3-662-49674-9
  4. 56. Brihaye, T., Bruyère, V., Meunier, N., & Raskin, J.-F. (2015). Weak subgame perfect equilibria and their application to quantitative reachability. Leibniz international proceedings in informatics, 41, 504-518. doi:10.4230/LIPIcs.CSL.2015.504
  5. 57. Brenguier, R., Raskin, J.-F., & Sankur, O. (2015). Assume-admissible synthesis. Leibniz international proceedings in informatics, 42, 100-113. doi:10.4230/LIPIcs.CONCUR.2015.100
  6. 58. Clemente, L., & Raskin, J.-F. (2015). Multidimensional beyond worst-case and almost-sure problems for mean-payoff objectives. Proceedings - Symposium on Logic in Computer Science, 2015-July, 7174887, 257-268. doi:10.1109/LICS.2015.33
  7. 59. Velner, Y., Chatterjee, K., Doyen, L., Henzinger, T. A., Rabinovich, A., & Raskin, J.-F. (2015). The complexity of multi-mean-payoff and multi-energy games. Information and computation, 241, 177-196. doi:10.1016/j.ic.2015.03.001
  8. 60. Geeraerts, G., Heussner, A. E., Praveen, S. M., & Raskin, J.-F. (2015). omega-Petri Nets: Algorithms and Complexity. Fundamenta informaticae, 137(1), 29-60. doi:10.3233/FI-2015-1169
  9. 61. Brenguier, R., & Raskin, J.-F. (2015). Pareto curves of multidimensional Mean-Payoff games. Lecture notes in computer science, 9207, 251-267. doi:10.1007/978-3-319-21668-3_15
  10. 62. Randour, M., Raskin, J.-F., & Sankur, O. (2015). Percentile queries in multi-dimensional markov decision processes. Lecture notes in computer science, 9206, 123-139. doi:10.1007/978-3-319-21690-4_8
  11. 63. Henzinger, T. A., & Raskin, J.-F. (2015). The equivalence problem for finite automata: technical perspective. Communications of the ACM, 58(2), 86. doi:10.1145/2701001
  12. 64. Chatterjee, K., Doyen, L., Randour, M., & Raskin, J.-F. (2015). Looking at mean-payoff and total-payoff through windows. Information and computation, 242, 25-52. doi:10.1016/j.ic.2015.03.010
    13. << Précédent 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 Suivant >>