dblp.uni-trier.dewww.uni-trier.de

Agathe Merceron

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2006
16EEAhmed Bouajjani, Agathe Merceron: Parametric Verification of a Group Membership Algorithm. TPLP 6(3): 321-353 (2006)
2005
15 Agathe Merceron, Kalina Yacef: Educational Data Mining: a Case Study. AIED 2005: 467-474
14EEAhmed Bouajjani, Agathe Merceron: Parametric Verification of a Group Membership Algorithm CoRR abs/cs/0505033: (2005)
2002
13EEAhmed Bouajjani, Agathe Merceron: Parametric Verification of a Group Membership Algorithm. FTRTFT 2002: 311-330
2001
12EEAgathe Merceron: Proving "no Cliques" in a Protocol. ACSC 2001: 134-139
11EEDavid Abraham, Liz Crawford, Leanna Lesta, Agathe Merceron, Kalina Yacef: The logic tutor. ITiCSE 2001: 184
10EEAgathe Merceron, Monika Müllerburg, G. Michele Pinna: Specifying and verifying reactive systems in a multi-language environment. Electr. Notes Theor. Comput. Sci. 62: (2001)
9 Agathe Merceron, G. Michele Pinna: Component-based Verification in a Synchronous Setting. International Journal of Software Engineering and Knowledge Engineering 11(2): 181-203 (2001)
2000
8EEAgathe Merceron, G. Michele Pinna: Refinement and Modular Verification with Observers. APAQS 2000: 216-225
1998
7EEAgathe Merceron, Monika Müllerburg, G. Michele Pinna: Verifying a Time-Triggered Protocol in a Multi-language Environment. SAFECOMP 1998: 185-195
1989
6 Jörg Desel, Agathe Merceron: Vicinity respecting net morphisms. Applications and Theory of Petri Nets 1989: 165-185
1988
5 Jörg Desel, Agathe Merceron: P/T-systems as abstractions of C/E-systems. European Workshop on Applications and Theory in Petri Nets 1988: 105-127
1986
4 Agathe Merceron: Fan processes. European Workshop on Applications and Theory of Petri Nets 1986: 181-195
1984
3 Eike Best, Agathe Merceron: Concurrency axioms and D-continuous posets. European Workshop on Applications and Theory in Petri Nets 1984: 32-47
2 Eike Best, Agathe Merceron: Frozen tokens and D-continuity: A study in relating system properties to process properties. European Workshop on Applications and Theory in Petri Nets 1984: 48-61
1983
1 Eike Best, Agathe Merceron: Discreteness, k-density and d-continuity of occurrence nets. Theoretical Computer Science 1983: 73-83

Coauthor Index

1David Abraham [11]
2Eike Best [1] [2] [3]
3Ahmed Bouajjani [13] [14] [16]
4Liz Crawford [11]
5Jörg Desel [5] [6]
6Leanna Lesta [11]
7Monika Müllerburg [7] [10]
8G. Michele Pinna [7] [8] [9] [10]
9Kalina Yacef [11] [15]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)