 | 2007 |
|---|
| 5 |       | Matteo Baldoni,
Cristina Baroglio,
Elisa Marengo:
Curricula Modeling and Checking.
AI*IA 2007: 471-482 |
| 4 | | Matteo Baldoni,
Cristina Baroglio,
Ingo Brunkhorst,
Elisa Marengo,
Viviana Patti:
Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture.
EC-TEL 2007: 426-431 |
| 3 | | Matteo Baldoni,
Elisa Marengo:
Curriculum Model Checking: Declarative Representation and Verification of Properties.
EC-TEL 2007: 432-437 |
| 2 | | Matteo Baldoni,
Cristina Baroglio,
Giuseppe Berio,
Elisa Marengo:
Declarative representation of curricula models: an LTL- and UML-based approach.
WOA 2007: 34-41 |
| 2006 |
|---|
| 1 | | Matteo Baldoni,
Cristina Baroglio,
Ingo Brunkhorst,
Nicola Henze,
Elisa Marengo,
Viviana Patti:
A Personalization Service for Curriculum Planning.
LWA 2006: 17-20 |
