The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Agathe Merceron: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Agathe Merceron
    Proving "no Cliques" in a Protocol. [Citation Graph (0, 0)][DBLP]
    ACSC, 2001, pp:134-139 [Conf]
  2. Agathe Merceron, G. Michele Pinna
    Refinement and Modular Verification with Observers. [Citation Graph (0, 0)][DBLP]
    APAQS, 2000, pp:216-225 [Conf]
  3. Eike Best, Agathe Merceron
    Concurrency axioms and D-continuous posets. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory in Petri Nets, 1984, pp:32-47 [Conf]
  4. Eike Best, Agathe Merceron
    Frozen tokens and D-continuity: A study in relating system properties to process properties. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory in Petri Nets, 1984, pp:48-61 [Conf]
  5. Jörg Desel, Agathe Merceron
    P/T-systems as abstractions of C/E-systems. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory in Petri Nets, 1988, pp:105-127 [Conf]
  6. Jörg Desel, Agathe Merceron
    Vicinity respecting net morphisms. [Citation Graph (0, 0)][DBLP]
    Applications and Theory of Petri Nets, 1989, pp:165-185 [Conf]
  7. Agathe Merceron
    Fan processes. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory of Petri Nets, 1986, pp:181-195 [Conf]
  8. Ahmed Bouajjani, Agathe Merceron
    Parametric Verification of a Group Membership Algorithm. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2002, pp:311-330 [Conf]
  9. Agathe Merceron, Monika Müllerburg, G. Michele Pinna
    Verifying a Time-Triggered Protocol in a Multi-language Environment. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 1998, pp:185-195 [Conf]
  10. Eike Best, Agathe Merceron
    Discreteness, k-density and d-continuity of occurrence nets. [Citation Graph (0, 0)][DBLP]
    Theoretical Computer Science, 1983, pp:73-83 [Conf]
  11. Agathe Merceron, Monika Müllerburg, G. Michele Pinna
    Specifying and verifying reactive systems in a multi-language environment. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
  12. Agathe Merceron, G. Michele Pinna
    Component-based Verification in a Synchronous Setting. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2001, v:11, n:2, pp:181-203 [Journal]

  13. Educational Data Mining: a Case Study. [Citation Graph (, )][DBLP]


  14. Leichtere Datenanalyse zur Optimierung der Lehre am Beispiel Moodle. [Citation Graph (, )][DBLP]


  15. The logic tutor. [Citation Graph (, )][DBLP]


  16. Design patterns to support teaching of automata theory. [Citation Graph (, )][DBLP]


  17. Interestingness Measures for Associations Rules in Educational Data. [Citation Graph (, )][DBLP]


  18. When Data Exploration and Data Mining meet while Analysing Usage Data of a Course. [Citation Graph (, )][DBLP]


  19. A Data Model to Ease Analysis and Mining of Educational Data. [Citation Graph (, )][DBLP]


  20. Parametric Verification of a Group Membership Algorithm [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002