| 2008 |
|---|
| 16 | EE | Rosella Gennari,
Ornella Mich:
Evaluation of an intelligent e-tool for deaf children: extended abstract.
ASSETS 2008: 245-246 |
| 15 | EE | Rosella Gennari,
Ornella Mich:
Designing and assessing an intelligent e-tool for deaf children.
IUI 2008: 325-328 |
| 2007 |
|---|
| 14 | EE | Rosella Gennari,
Ornella Mich:
Constraint-Based Temporal Reasoning for E-Learning with LODE.
CP 2007: 90-104 |
| 13 | EE | Rosella Gennari,
Ornella Mich:
E-Learning and Deaf Children: A Logic-Based Web Tool.
ICWL 2007: 312-319 |
| 12 | EE | Rosella Gennari,
Ornella Mich:
LODE : Global Reasoning on E-Stories for Deaf Children.
KES (3) 2007: 678-685 |
| 11 | EE | Mauro Felice,
Tania Di Mascio,
Rosella Gennari:
A Visual Ontology-Driven Interface for a Web Sign Language Dictionary.
WISE Workshops 2007: 429-440 |
| 2006 |
|---|
| 10 | EE | Alexander Lazovik,
Marco Aiello,
Rosella Gennari:
Choreographies: using Constraints to Satisfy Service Requests.
AICT/ICIW 2006: 150 |
| 2005 |
|---|
| 9 | EE | Alexander Lazovik,
Marco Aiello,
Rosella Gennari:
Encoding Requests to Web Service Compositions as Constraints.
CP 2005: 782-786 |
| 8 | EE | Rosella Gennari:
Book review.
Journal of Logic, Language and Information 14(1): 119-122 (2005) |
| 2003 |
|---|
| 7 | EE | Sebastian Brand,
Rosella Gennari,
Maarten de Rijke:
Constraint Programming for Modelling and Solving Modal Satisfability.
CP 2003: 795-800 |
| 6 | EE | Sebastian Brand,
Rosella Gennari,
Maarten de Rijke:
Constraint Methods for Modal Satisfiability.
CSCLP 2003: 66-86 |
| 5 | | Stefano Bistarelli,
Rosella Gennari,
Francesca Rossi:
General Properties and Termination Conditions for Soft Constraint Propagation.
Constraints 8(1): 79-97 (2003) |
| 2001 |
|---|
| 4 | EE | Rosella Gennari:
Translations for Comparing Soft Frameworks.
CP 2001: 764 |
| 2000 |
|---|
| 3 | EE | Stefano Bistarelli,
Rosella Gennari,
Francesca Rossi:
Constraint Propagation for Soft Constraints: Generalization and Termination Conditions.
CP 2000: 83-97 |
| 2 | EE | Rosella Gennari:
Arc Consistency Algorithms via Iterations of Subsumed Functions.
Computational Logic 2000: 358-372 |
| 1 | | Carlos Areces,
Rosella Gennari,
Juan Heguiabehere,
Maarten de Rijke:
Tree-based Heuristics in Modal Theorem Proving.
ECAI 2000: 199-203 |
