Articles dans des revues avec comité de lecture (31)
  1. 1. Abdulla, P. A., Delzanno, G., & Van Begin, L. (2011). A classification of the expressive power of well-structured transition systems. Information and computation, 209(3), 248-279. doi:10.1016/j.ic.2010.11.003
  2. 2. Van Begin, L., & Delzanno, G. (2010). On the verification of membrane systems with dynamic structure. Natural computing, 9(4), 795-818. doi:10.1007/s11047-010-9214-0
  3. 3. Geeraerts, G., Raskin, J.-F., & Van Begin, L. (2010). On the efficient computation of the minimal coverability set of petri nets. International journal of foundations of computer science, 21(2), 135-165. doi:10.1142/S0129054110007180
  4. 4. Ganty, P., Geeraerts, G., Raskin, J.-F., & Van Begin, L. (2010). Le problème de couverture pour les réseaux de Petri: résultats classiques et développements récents. TSI. Technique et science informatiques, 28(9), 1107-1142.
  5. 5. Geeraerts, G., Raskin, J.-F., & Van Begin, L. (2010). On the efficient computation of the coverability set of Petri nets. International journal of foundations of computer science, 21(2), 135-165.
  6. 6. Abdulla, P. A., Delzanno, G., & Van Begin, L. (2009). On the qualitative analysis of conformon P systems. Lecture notes in computer science, 5391 LNCS, 78-94. doi:10.1007/978-3-540-95885-7_6
  7. 7. Abdulla, P. A., Delzanno, G., & Van Begin, L. (2009). A language-based comparison of extensions of petri nets with and without whole-place operations. Lecture notes in computer science, 5457, 71-82. doi:10.1007/978-3-642-00982-2_6
  8. 8. Massart, T., Meuter, C., & Van Begin, L. (2008). On the complexity of partial order trace model checking. Information processing letters, 106(3), 120-126. doi:10.1016/j.ipl.2007.10.013
  9. 9. Ganty, P., Raskin, J.-F., & Van Begin, L. (2008). From many places to few: Automatic abstraction refinement for petri nets. Fundamenta informaticae, 88(3), 275-305.
  10. 10. Delzanno, G., & Van Begin, L. (2008). A biologically inspired model with fusion and clonation of membranes. Lecture notes in computer science, 5204 LNCS, 64-82. doi:10.1007/978-3-540-85194-3_8
  11. 11. Geeraerts, G., Raskin, J.-F., & Van Begin, L. (2007). Well-structured languages. Acta informatica, 44(3-4), 249-288. doi:10.1007/s00236-007-0050-3
  12. 12. Ganty, P., Raskin, J.-F., & Van Begin, L. (2007). From many places to few: Automatic abstraction refinement for Petri nets. Lecture notes in computer science, 4546 LNCS, 124-143.
    13. << Précédent 1 2 3 4 Suivant >>