Articles dans des revues avec comité de lecture (167)
  1. 5. Filiot, E., Gentilini, R., & Raskin, J.-F. (2020). The adversarial Stackelberg value in quantitative games. Leibniz international proceedings in informatics, 168, 127. doi:10.4230/LIPIcs.ICALP.2020.127
  2. 6. Jaiswar, R., Mederos-Henry, F., Dupont, V., Hermans, S., Raskin, J.-F., & Huynen, I. (2020). Inkjet-printed frequency-selective surfaces based on carbon nanotubes for ultra-wideband thin microwave absorbers. Journal of materials science. Materials in electronics, 31(3), 2190-2201. doi:10.1007/s10854-019-02751-6
  3. 7. Filiot, E., Mazzocchi, N., & Raskin, J.-F. (2020). A Pattern Logic for Automata with Outputs. International journal of foundations of computer science, 31(6), 711-748. doi:10.1142/S0129054120410038
  4. 8. Filiot, E., Mazzocchi, N., & Raskin, J.-F. (2019). Decidable weighted expressions with Presburger combinators. Journal of computer and system sciences, 106, 1-22. doi:10.1016/j.jcss.2019.05.005
  5. 9. Le Roux, S., Pauly, A., & Raskin, J.-F. (2018). Minkowski Games. ACM transactions on computational logic, 19(3), 20. doi:10.1145/3230741
  6. 10. Basset, N., Jecker, I. R., Pauly, A., Raskin, J.-F., & Van Den Bogaard, M. (2018). Beyond admissibility: Dominance between chains of strategies. Leibniz international proceedings in informatics, 119, 10. doi:10.4230/LIPIcs.CSL.2018.10
  7. 11. Bruyère, V., Hautem, Q., & Raskin, J.-F. (2018). Parameterized complexity of games with monotonically ordered ω-regular objectives. Leibniz international proceedings in informatics, 118, 29. doi:10.4230/LIPIcs.CONCUR.2018.29
  8. 12. Křetínský, J., Perez, G. A., & Raskin, J.-F. (2018). Learning-based mean-payo optimization in an unknown MDP under omega-regular constraints. Leibniz international proceedings in informatics, 118, 8. doi:10.4230/LIPIcs.CONCUR.2018.8
  9. 13. Filiot, E., Gentilini, R., & Raskin, J.-F. (2018). Rational Synthesis under Imperfect Information. Proceedings - Symposium on Logic in Computer Science,, 138033 422-431. doi:10.1145/3209108.3209164
  10. 14. Filiot, E., Mazzocchi, N., & Raskin, J.-F. (2018). A Pattern Logic for Automata with Outputs. Lecture notes in computer science, 11088, 304-317. doi:10.1007/978-3-319-98654-8_25
  11. 15. Filiot, E., Raskin, J.-F., Reynier, P.-A., Servais, F., & Talbot, J.-M. (2018). Visibly pushdown transducers. Journal of computer and system sciences.
  12. 16. Geeraerts, G., Guha, S., & Raskin, J.-F. (2018). Safe and optimal scheduling of hard and soft tasks. Leibniz international proceedings in informatics, 122, 36, 1-22.
    13. << Précédent 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 Suivant >>