Search the dblp DataBase
Agathe Merceron :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Agathe Merceron Proving "no Cliques" in a Protocol. [Citation Graph (0, 0)][DBLP ] ACSC, 2001, pp:134-139 [Conf ] Agathe Merceron , G. Michele Pinna Refinement and Modular Verification with Observers. [Citation Graph (0, 0)][DBLP ] APAQS, 2000, pp:216-225 [Conf ] 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 ] 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 ] 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 ] 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 ] Agathe Merceron Fan processes. [Citation Graph (0, 0)][DBLP ] European Workshop on Applications and Theory of Petri Nets, 1986, pp:181-195 [Conf ] Ahmed Bouajjani , Agathe Merceron Parametric Verification of a Group Membership Algorithm. [Citation Graph (0, 0)][DBLP ] FTRTFT, 2002, pp:311-330 [Conf ] 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 ] 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 ] 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 ] 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 ] Educational Data Mining: a Case Study. [Citation Graph (, )][DBLP ] Leichtere Datenanalyse zur Optimierung der Lehre am Beispiel Moodle. [Citation Graph (, )][DBLP ] The logic tutor. [Citation Graph (, )][DBLP ] Design patterns to support teaching of automata theory. [Citation Graph (, )][DBLP ] Interestingness Measures for Associations Rules in Educational Data. [Citation Graph (, )][DBLP ] When Data Exploration and Data Mining meet while Analysing Usage Data of a Course. [Citation Graph (, )][DBLP ] A Data Model to Ease Analysis and Mining of Educational Data. [Citation Graph (, )][DBLP ] Parametric Verification of a Group Membership Algorithm [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.004secs