Articles dans des revues avec comité de lecture (167)
  1. 41. 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
  2. 42. Randour, M., Raskin, J.-F., & Sankur, O. (2015). Variations on the stochastic shortest path problem. Lecture notes in computer science, 8931, 1-18.
  3. 43. 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
  4. 44. Filiot, E., Gentilini, R., & Raskin, J.-F. (2015). Quantitative Languages Defined by Functional Automata. Logical methods in computer science, 11(3). doi:10.2168/LMCS-11(3:14)2015
  5. 45. 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
  6. 46. 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
  7. 47. 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
  8. 48. 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
  9. 49. Geeraerts, G., Heussner, A. E., & Raskin, J.-F. (2015). On the Verification of Concurrent, Asynchronous Programs with Waiting Queues. ACM transactions on embedded computing systems, 14(3), 58-1--58-26. doi:10.1145/2700072
  10. 50. Raskin, J.-F., & Sankur, O. (2014). Multiple-environment Markov decision processes. Leibniz international proceedings in informatics, 29, 531-543. doi:10.4230/LIPIcs.FSTTCS.2014.531
  11. 51. Filiot, E., Raskin, J.-F., & Gentilini, R. (2014). Finite-valued weighted automata (FSTTCS'14). Leibniz international proceedings in informatics, 29, 133-145. doi:10.4230/LIPIcs.FSTTCS.2014.133
  12. 52. Hunter, P. W., & Raskin, J.-F. (2014). Quantitative games with interval objectives. Leibniz international proceedings in informatics, 29, 365-377. doi:10.4230/LIPIcs.FSTTCS.2014.365
    13. << Précédent 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 Suivant >>