Search the dblp DataBase

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]