 | 2009 |
|---|
| 28 |       | Gianfranco Lamperti,
Marina Zanella:
Monotonic Monitoring of Discrete-Event Systems with Uncertain Temporal Observations.
ICEIS 2009: 348-362 |
| 2008 |
|---|
| 27 | | Gianfranco Lamperti,
Marina Zanella:
Observation-Subsumption Checking in Similarity-Based Diagnosis of Discrete-Event Systems.
ECAI 2008: 204-208 |
| 26 | | Gianfranco Lamperti,
Marina Zanella:
Dependable Monitoring of Discrete-Event Systems with Uncertain Temporal Observations.
ECAI 2008: 793-794 |
| 25 |  | Gianfranco Lamperti,
Federica Vivenzi,
Marina Zanella:
On Checking Temporal-Observation Subsumption in Similarity-Based Diagnosis of Active Systems.
ICEIS (2) 2008: 44-53 |
| 24 | | Gianfranco Lamperti,
Marina Zanella,
Giovanni Chiodi,
Lorenzo Chiodi:
Incremental Determinization of Finite Automata in Model-Based Diagnosis of Active Systems.
KES (1) 2008: 362-374 |
| 2007 |
|---|
| 23 | | Gianfranco Lamperti,
Marina Zanella,
Davide Zanni:
Incremental processing of temporal observations in Model-Based Reasoning.
AI Commun. 20(1): 27-37 (2007) |
| 22 | | Simone Cerutti,
Gianfranco Lamperti,
M. Scaroni,
Marina Zanella,
Davide Zanni:
A diagnostic environment for automaton networks.
Softw., Pract. Exper. 37(4): 365-415 (2007) |
| 2006 |
|---|
| 21 | | Gianfranco Lamperti,
Marina Zanella:
Incremental Processing of Temporal Observations in Supervision and Diagnosis of Discrete-Event Systems.
ICEIS (2) 2006: 47-57 |
| 20 | | Gianfranco Lamperti,
Marina Zanella:
On Processing Temporal Observations in Monitoring of Discrete-Event Systems.
ICEIS (Selected Papers) 2006: 135-146 |
| 19 | | Gianfranco Lamperti,
Marina Zanella:
Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques.
Artif. Intell. 170(3): 232-297 (2006) |
| 2004 |
|---|
| 18 | | Gianfranco Lamperti,
Marina Zanella:
Diagnosis of Discrete-Event Systems by Separation of Concerns, Knowledge Compilation, and Reuse.
ECAI 2004: 838-842 |
| 17 | | Gianfranco Lamperti,
Marina Zanella:
Dynamic Diagnosis of Active Systems with Fragmented Observations.
ICEIS (2) 2004: 249-261 |
| 2003 |
|---|
| 16 | | Gianfranco Lamperti,
Marina Zanella:
EDEN: An Intelligent Software Environment for Diagnosis of Discrete-Event Systems.
Appl. Intell. 18(1): 55-77 (2003) |
| 2002 |
|---|
| 15 | | Roberto Garatti,
Gianfranco Lamperti,
Marina Zanella:
Diagnosis of Discrete-Event Systems with Model-Based Prospection Knowledge.
ECAI 2002: 427-431 |
| 14 | | Gianfranco Lamperti,
Marina Zanella:
Diagnosis of discrete-event systems from uncertain temporal observations.
Artif. Intell. 137(1-2): 91-163 (2002) |
| 2000 |
|---|
| 13 | | Gianfranco Lamperti,
Marina Zanella:
Uncertain Temporal Observations in Diagnosis.
ECAI 2000: 151-155 |
| 12 | | Gianfranco Lamperti,
Marina Zanella:
Generation of Diagnostic Knowledge by Discrete-Event Model Compilation.
KR 2000: 333-344 |
| 11 | | Gianfranco Lamperti,
Michele Melchiori,
Marina Zanella:
On Multisets in Database Systems.
WMP 2000: 147-216 |
| 10 | | Gianfranco Lamperti,
Marina Zanella,
Paolo Pogliano:
Diagnosis of Active Systems by Automata-Based Reasoning Techniques.
Appl. Intell. 12(3): 217-237 (2000) |
| 9 | | Giovanni Guida,
Gianfranco Lamperti:
AMMETH: a methodology for requirements analysis of advanced human-system interfaces.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 30(3): 298-321 (2000) |
| 8 | | Pietro Baroni,
Gianfranco Lamperti,
Paolo Pogliano,
Marina Zanella:
Diagnosis of a class of distributed discrete-event systems.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 30(6): 731-752 (2000) |
| 1999 |
|---|
| 7 | | Giovanni Guida,
Gianfranco Lamperti,
Marina Zanella:
Software Prototyping in Data and Knowledge Engineering
Kluwer 1999 |
| 6 | | Pietro Baroni,
Gianfranco Lamperti,
Paolo Pogliano,
Marina Zanella:
Diagnosis of Large Active Systems.
Artif. Intell. 110(1): 135-183 (1999) |
| 1998 |
|---|
| 5 | | Pietro Baroni,
Gianfranco Lamperti,
Paolo Pogliano,
Marina Zanella:
Diagnosis of Active Systems.
ECAI 1998: 274-278 |
| 1997 |
|---|
| 4 | | Gianfranco Lamperti,
Paolo Pogliano:
Event-Based Reasoning for Short Circuit Diagnosis in Power Transmission Networks.
IJCAI (1) 1997: 446-453 |
| 1996 |
|---|
| 3 | | Filippo Cacace,
Gianfranco Lamperti:
Advanced Relational Programming: Mathematics and Its Applications.
Kluwer 1996 |
| 1992 |
|---|
| 2 | | Roberto Zicari,
Filippo Cacace,
C. Capelli,
A. Galipo,
A. Pirovano,
A. Romboli,
Gianfranco Lamperti:
The SOL Object-Oriented Database Language.
CAiSE 1992: 105-127 |
| 1990 |
|---|
| 1 | | Stefano Ceri,
Stefano Crespi-Reghizzi,
Roberto Zicari,
Gianfranco Lamperti,
Luigi Lavazza:
Algres: An Advanced System for Complex Applications.
IEEE Software 7(4): 68-78 (1990) |
