Articles dans des revues avec comité de lecture (69)
  1. 22. Filiot, E., Gauwin, O., Lhote, N., & Muscholl, A. (2018). On canonical models for rational functions over infinite words. Leibniz international proceedings in informatics, 122, 30. doi:10.4230/LIPIcs.FSTTCS.2018.30
  2. 23. Filiot, E., Gauwin, O., Lhote, N., & Muscholl, A. (2018). On Canonical Models for Rational Functions over Infinite Words (FSTTCS'18). Leibniz international proceedings in informatics.
  3. 24. Dartois, L., Filiot, E., & Lhote, N. (2018). Logics for word transductions with synthesis. Proceedings - Symposium on Logic in Computer Science, 295-304. doi:10.1145/3209108.3209181
  4. 25. 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
  5. 26. 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
  6. 27. Filiot, E., Raskin, J.-F., Reynier, P.-A., Servais, F., & Talbot, J.-M. (2018). Visibly pushdown transducers. Journal of computer and system sciences.
  7. 28. Filiot, E., Maneth, S., Reynier, P.-A., & Talbot, J.-M. (2018). Decision problems of tree transducers with origin. Information and computation, 261(Part), 311-335. doi:10.1016/j.ic.2018.02.011
  8. 29. Jecker, I. R., & Filiot, E. (2018). Multi-Sequential Word Relations. International journal of foundations of computer science, 29(2), 271-296. doi:10.1142/S0129054118400075
  9. 30. Filiot, E., Jecker, I. R., Lhote, N., Perez, G. A., & Raskin, J.-F. (2017). On delay and regret determinization of max-plus automata. Proceedings - Symposium on Logic in Computer Science., 8005096. doi:10.1109/LICS.2017.8005096
  10. 31. Chatterjee, K., Doyen, L., Filiot, E., & Raskin, J.-F. (2017). Doomsday equilibria for omega-regular games. Information and computation, 254(2), 296-315. doi:10.1016/j.ic.2016.10.012
  11. 32. Bruyère, V., Filiot, E., Randour, M., & Raskin, J.-F. (2017). Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games. Information and computation, 254(2), 259-295. doi:10.1016/j.ic.2016.10.011
  12. 33. Filiot, E., Mazzocchi, N., & Raskin, J.-F. (2017). Decidable weighted expressions with presburger combinators. Lecture notes in computer science, 10472 LNCS, 243-256. doi:10.1007/978-3-662-55751-8_20
    13. << Précédent 1 2 3 4 5 6 7 8 Suivant >>