Articles dans des revues avec comité de lecture (101)
  1. 27. Best, E., Devillers, R., Schlachter, U., & Wimmel, H. (2018). Simultaneous petri net synthesis. Scientific Annals of Computer Science, 28(2), 199-236. doi:10.7561/SACS.2018.2.199
  2. 28. Devillers, R., Erofeev, E., & Hujsa, T. (2018). Synthesis of weighted marked graphs from constrained labelled transition systems. CEUR Workshop Proceedings, 2115, 75-90.
  3. 29. Best, E., & Devillers, R. (2017). Characterisation of the state spaces of marked graph Petri nets. Information and computation, 253(3), 399-410. doi:10.1016/j.ic.2016.06.006
  4. 30. Hujsa, T., & Devillers, R. (2017). On liveness and deadlockability in subclasses of weighted Petri nets. Lecture notes in computer science, 10258 LNCS, 267-287. doi:10.1007/978-3-319-57861-3_16
  5. 31. Best, E., Devillers, R., & Schlachter, U. (2017). A graph-theoretical characterisation of state separation. Lecture notes in computer science, 10139 LNCS, 163-175. doi:10.1007/978-3-319-51963-0_13
  6. 32. Bright, C., Devillers, R., & Shallit, J. (2016). Minimal Elements for the Prime Numbers. Experimental mathematics, 25(3), 321-331. doi:10.1080/10586458.2015.1064048
  7. 33. Devillers, R. (2016). Products of Transition Systems and Additions of Petri Nets. Proceedings (International Conference on Application of Concurrency to System Design), 16, 65-73. doi:10.1109/ACSD.2016.10
  8. 34. Best, E., & Devillers, R. (2016). The power of prime cycles. Lecture notes in computer science, 9698, 59-78. doi:10.1007/978-3-319-39086-4_5
  9. 35. Devillers, R., & Klaudel, H. (2016). Abstraction strategies for computing travelling or looping durations in networks of timed automata. Lecture notes in computer science, 9884, 140-156. doi:10.1007/978-3-319-44878-7_9
  10. 36. Arcile, J., Czachorski, T., Devillers, R., Didier, J.-Y., Klaudel, H., & Rataj, A. (2015). Modelling and analysing mixed reality applications: keynote paper, proceedings of the 4th International Conference on Man-Machine Interactions {ICMMI}. Advances in intelligent systems and computing, 391, 3-17. doi:10.1007/978-3-319-23437-3_1
  11. 37. Best, E., & Devillers, R. (2015). Synthesis of live and bounded persistent systems. Fundamenta informaticae, 140(1), 39-59. doi:10.3233/FI-2015-1244
  12. 38. Arcile, J., Didier, J.-Y., Devillers, R., Klaudel, H., & Rataj, A. (2015). Indefinite waitings in MIRELA systems. In Proceedings 4th International Workshop on Engineering Safety and Security Systems. Electronic proceedings in theoretical computer science, 184, 5-18.
    13. << Précédent 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 Suivant >>