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

Marina Zanella

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

2009
29EEGianfranco Lamperti, Marina Zanella: Monotonic Monitoring of Discrete-Event Systems with Uncertain Temporal Observations. ICEIS 2009: 348-362
2008
28EEGianfranco Lamperti, Marina Zanella: Observation-Subsumption Checking in Similarity-Based Diagnosis of Discrete-Event Systems. ECAI 2008: 204-208
27EEGianfranco Lamperti, Marina Zanella: Dependable Monitoring of Discrete-Event Systems with Uncertain Temporal Observations. ECAI 2008: 793-794
26 Gianfranco Lamperti, Federica Vivenzi, Marina Zanella: On Checking Temporal-Observation Subsumption in Similarity-Based Diagnosis of Active Systems. ICEIS (2) 2008: 44-53
25EEGianfranco 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
24EEGianfranco Lamperti, Marina Zanella, Davide Zanni: Incremental processing of temporal observations in Model-Based Reasoning. AI Commun. 20(1): 27-37 (2007)
23EESergio Cerutti, Gianfranco Lamperti, M. Scaroni, Marina Zanella, Davide Zanni: A diagnostic environment for automaton networks. Softw., Pract. Exper. 37(4): 365-415 (2007)
2006
22 Gianfranco Lamperti, Marina Zanella: Incremental Processing of Temporal Observations in Supervision and Diagnosis of Discrete-Event Systems. ICEIS (2) 2006: 47-57
21EEGianfranco Lamperti, Marina Zanella: On Processing Temporal Observations in Monitoring of Discrete-Event Systems. ICEIS (Selected Papers) 2006: 135-146
20EEGianfranco Lamperti, Marina Zanella: Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques. Artif. Intell. 170(3): 232-297 (2006)
2004
19 Gianfranco Lamperti, Marina Zanella: Diagnosis of Discrete-Event Systems by Separation of Concerns, Knowledge Compilation, and Reuse. ECAI 2004: 838-842
18 Gianfranco Lamperti, Marina Zanella: Dynamic Diagnosis of Active Systems with Fragmented Observations. ICEIS (2) 2004: 249-261
2003
17 Gianfranco Lamperti, Marina Zanella: EDEN: An Intelligent Software Environment for Diagnosis of Discrete-Event Systems. Appl. Intell. 18(1): 55-77 (2003)
2002
16 Roberto Garatti, Gianfranco Lamperti, Marina Zanella: Diagnosis of Discrete-Event Systems with Model-Based Prospection Knowledge. ECAI 2002: 427-431
15EEGianfranco Lamperti, Marina Zanella: Diagnosis of discrete-event systems from uncertain temporal observations. Artif. Intell. 137(1-2): 91-163 (2002)
2001
14 Pietro Baroni, Giovanni Guida, Marina Zanella: Managing uncertainty in diagnosis of acute coronaric ischemia. Artificial Intelligence in Medicine 23(2): 129-147 (2001)
13EEPietro Baroni, Giovanni Guida, Marina Zanella: GART: a tool for experimenting with approximate reasoning models. Expert Syst. Appl. 21(1): 15-30 (2001)
2000
12 Gianfranco Lamperti, Marina Zanella: Uncertain Temporal Observations in Diagnosis. ECAI 2000: 151-155
11 Gianfranco Lamperti, Marina Zanella: Generation of Diagnostic Knowledge by Discrete-Event Model Compilation. KR 2000: 333-344
10EEGianfranco Lamperti, Michele Melchiori, Marina Zanella: On Multisets in Database Systems. WMP 2000: 147-216
9 Gianfranco Lamperti, Marina Zanella, Paolo Pogliano: Diagnosis of Active Systems by Automata-Based Reasoning Techniques. Appl. Intell. 12(3): 217-237 (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
6EEPietro 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
4EEGiovanni Guida, Marina Zanella: Bridging the Gap between Users and Complex Decision Support Systems: the Role of Justification. ICECCS 1997: 229-
1996
3EEMarina Zanella, Paolo Gubian: A conceptual model for design management. Computer-Aided Design 28(1): 33-49 (1996)
1995
2 Giovanni Guida, Marina Zanella: Preventive Diagnosis: Definition and Logical Model. AI*IA 1995: 347-352
1991
1 Marina Zanella, Paolo Gubian: Workspace and Methodology Management in the Octtools Environment. VLSI 1991: 307-316

Coauthor Index

1Pietro Baroni [5] [6] [8] [13] [14]
2Sergio Cerutti [23]
3Giovanni Chiodi [25]
4Lorenzo Chiodi [25]
5Roberto Garatti [16]
6Paolo Gubian [1] [3]
7Giovanni Guida [2] [4] [7] [13] [14]
8Gianfranco Lamperti [5] [6] [7] [8] [9] [10] [11] [12] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29]
9Michele Melchiori [10]
10Paolo Pogliano [5] [6] [8] [9]
11M. Scaroni [23]
12Federica Vivenzi [26]
13Davide Zanni [23] [24]

Colors in the list of coauthors

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