Articles dans des revues avec comité de lecture (101)
  1. 51. Devillers, R., Klaudel, H., & Peschanski, F. (2010). A Decidable Characterization of a Graphical Pi-calculus with Iterators: 12th International Workshop on Verification of Infinite-State Systems (Infinity’10). Electronic proceedings in theoretical computer science, 39, 47-61. doi:10.4204/EPTCS.39.4
  2. 52. Pommereau, F., Devillers, R., & Klaudel, H. (2009). Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters. Electronic Notes in Theoretical Computer Science, 239(C), 119-129. doi:10.1016/j.entcs.2009.05.034
  3. 53. Devillers, R., Klaudel, H., & Koutny, M. (2008). A compositional Petri net translation of general π-calculus terms. Formal aspects of computing, 20(4-5), 429-450. doi:10.1007/s00165-008-0079-2
  4. 54. Bouroulet, R., Devillers, R., Klaudel, H., Pelz, E., & Pommereau, F. (2008). Modeling and analysis of security protocols using role based specifications and petri nets. Lecture notes in computer science, 5062 LNCS, 72-91. doi:10.1007/978-3-540-68746-7_9
  5. 55. Nélis, V., Goossens, J., Navet, N., Devillers, R., & Milojevic, D. (2008). Power-Aware Real-Time Scheduling upon Identical Multiprocessor Platforms. Proceedings of the IEEE International Conference on Sensor Network, Ubiquitous, and Trustworthy Computing, 209-216. doi:10.1109/SUTC.2008.31
  6. 56. Yartseva, A., Klaudel, H., Devillers, R., & Képès, F. (2007). Incremental and unifying modelling formalism for biological interaction networks. BMC bioinformatics, 8, 433. doi:10.1186/1471-2105-8-433
  7. 57. Yartseva, A., Devillers, R., Klaudel, H., & Képès, F. (2007). From MIN model to ordinary differential equations: in Special Issue: 4th Integrative Bioinformatics Workshop, Gent, Belgium. Journal of integrative bioinformatics, 4(3), 61, 1-12. doi:10.2390/biecoll-jib-2007-61
  8. 58. Devillers, R., & Van Begin, L. (2006). Boundedness undecidability for synchronized nets. Information processing letters, 99(5), 208-214. doi:10.1016/j.ipl.2006.04.009
  9. 59. Devillers, R., Klaudel, H., & Koutny, M. (2006). A Petri Net Semantics of a Simple Process Algebra for Mobility. Electronic Notes in Theoretical Computer Science, 154(3), 71-94. doi:10.1016/j.entcs.2006.05.008
  10. 60. Van Assche, M., Goossens, J., & Devillers, R. (2006). Joint Garbage Collection and Hard Real-Time Scheduling. Journal of embedded computing, 2(3-4), 313-326.
  11. 61. Devillers, R., Klaudel, H., & Koutny, M. (2006). Petri net semantics of the finite π-calculus terms. Fundamenta informaticae, 70(3), 203-226.
  12. 62. Devillers, R., Klaudel, H., & Koutny, M. (2006). A petri net translation of π-calculus terms. Lecture notes in computer science, 4281 LNCS, 138-152.
    13. << Précédent 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 Suivant >>