The SCEAS System
| |||||||

## 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 | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |