 | 2011 |
|---|
| 25 |       | Agathe Merceron:
Investigating Usage of Resources in LMS with Specific Association Rules.
EDM 2011: 361-362 |
| 2010 |
|---|
| 24 |  | Ryan Shaun Joazeiro de Baker,
Agathe Merceron,
Philip I. Pavlik Jr.:
Educational Data Mining 2010, The 3rd International Conference on Educational Data Mining, Pittsburgh, PA, USA, June 11-13, 2010. Proceedings
www.educationaldatamining.org 2010 |
| 23 | | André Krüger,
Agathe Merceron,
Benjamin Wolf:
Leichtere Datenanalyse zur Optimierung der Lehre am Beispiel Moodle.
DeLFI 2010: 215-226 |
| 22 | | André Krüger,
Agathe Merceron,
Benjamin Wolf:
A Data Model to Ease Analysis and Mining of Educational Data.
EDM 2010: 131-140 |
| 21 | | André Krüger,
Agathe Merceron,
Benjamin Wolf:
When Data Exploration and Data Mining meet while Analysing Usage Data of a Course.
EDM 2010: 305-306 |
| 20 | | Jörg Desel,
Agathe Merceron:
Vicinity Respecting Homomorphisms for Abstracting System Requirements.
T. Petri Nets and Other Models of Concurrency 4: 1-20 (2010) |
| 2009 |
|---|
| 19 | | Agathe Merceron:
Design patterns to support teaching of automata theory.
ITiCSE 2009: 341 |
| 2008 |
|---|
| 18 | | Agathe Merceron,
Kalina Yacef:
Interestingness Measures for Associations Rules in Educational Data.
EDM 2008: 57-66 |
| 2006 |
|---|
| 17 | | Ahmed Bouajjani,
Agathe Merceron:
Parametric Verification of a Group Membership Algorithm.
TPLP 6(3): 321-353 (2006) |
| 2005 |
|---|
| 16 | | Agathe Merceron,
Kalina Yacef:
Educational Data Mining: a Case Study.
AIED 2005: 467-474 |
| 15 | | Ahmed Bouajjani,
Agathe Merceron:
Parametric Verification of a Group Membership Algorithm
CoRR abs/cs/0505033: (2005) |
| 2002 |
|---|
| 14 | | Ahmed Bouajjani,
Agathe Merceron:
Parametric Verification of a Group Membership Algorithm.
FTRTFT 2002: 311-330 |
| 2001 |
|---|
| 13 | | Agathe Merceron:
Proving "no Cliques" in a Protocol.
ACSC 2001: 134-139 |
| 12 | | David Abraham,
Liz Crawford,
Leanna Lesta,
Agathe Merceron,
Kalina Yacef:
The logic tutor.
ITiCSE 2001: 184 |
| 11 | | Agathe Merceron,
Monika Müllerburg,
G. Michele Pinna:
Specifying and verifying reactive systems in a multi-language environment.
Electr. Notes Theor. Comput. Sci. 62: 244-256 (2001) |
| 10 | | 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 |
|---|
| 9 | | Agathe Merceron,
G. Michele Pinna:
Refinement and Modular Verification with Observers.
APAQS 2000: 216-225 |
| 1998 |
|---|
| 8 | | Agathe Merceron,
Monika Müllerburg,
G. Michele Pinna:
Verifying a Time-Triggered Protocol in a Multi-language Environment.
SAFECOMP 1998: 185-195 |
| 1995 |
|---|
| 7 | | Monika Müllerburg,
Leszek Holenderski,
Olivier Maffeïs,
Agathe Merceron,
Matthew Morley:
Systematic testing and formal verification to validate reactive programs.
Software Quality Journal 4(4): 287-307 (1995) |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page