Articles dans des revues avec comité de lecture (69)

  1. 10. Douéneau-Tabot, G., Filiot, E., & Gastin, P. (2020). Register transducers are marble transducers. Leibniz international proceedings in informatics, 170, MFCS-2020-29. doi:10.4230/LIPIcs.MFCS.2020.29
  2. 11. Filiot, E., Mazzocchi, N., Raskin, J.-F., Sankaranarayanan, S., & Trivedi, A. (2020). Weighted transducers for robustness verification. Leibniz international proceedings in informatics, 171, 17, 171-1721. doi:10.4230/LIPIcs.CONCUR.2020.17
  3. 12. Dave, V., Filiot, E., Krishna, S. N., & Lhote, N. (2020). Synthesis of computable regular functions of infinite words. Leibniz international proceedings in informatics, 171, 43, 431-4317. doi:10.4230/LIPIcs.CONCUR.2020.43
  4. 13. 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
  5. 14. Exibard, L., Filiot, E., & Reynier, P.-A. (2020). On Computability of Data Word Functions Defined by Transducers. Lecture notes in computer science, 12077 LNCS, 217-236. doi:10.1007/978-3-030-45231-5_12
  6. 15. 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
  7. 16. Filiot, E., Gauwin, O., & Lhote, N. (2019). Logical and Algebraic Characterizations of Rational Transductions. Logical methods in computer science.
  8. 17. 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
  9. 18. Filiot, E., Gauwin, O., & Lhote, N. (2019). Logical and algebraic characterizations of rational transductions. Logical methods in computer science, 15(4), 16:1-16:42. doi:10.23638/LMCS-15(4:16)2019
  10. 19. Exibard, L., Filiot, E., & Reynier, P.-A. (2019). Synthesis of data word transducers. Leibniz international proceedings in informatics, 140, 24. doi:10.4230/LIPIcs.CONCUR.2019.24
  11. 20. Filiot, E., Gauwin, O., Reynier, P.-A., & Servais, F. (2019). Streamability of nested word transductions. Logical methods in computer science, Volume 15, Issue 2. doi:10.23638/LMCS-15(2:1)2019
  12. 21. Dartois, L., Filiot, E., & Talbot, J.-M. (2019). Two-Way Parikh Automata with a Visibly Pushdown Stack (FOSSACS). Lecture notes in computer science. doi:10.1007/978-3-030-17127-8_11

  13. << Précédent 1 2 3 4 5 6 7 8 Suivant >>