Workspace and Methodology Management in the Octtools Environment. - Marina Zanella; Paolo Gubian (VLSI, 1991)

Preventive Diagnosis: Definition and Logical Model. - Giovanni Guida; Marina Zanella (AI*IA, 1995)

A conceptual model for design management. - Marina Zanella; Paolo Gubian (Comput. Aided Des., 1996)

Bridging the Gap between Users and Complex Decision Support Systems: the Role of Justification. - Giovanni Guida; Marina Zanella (ICECCS, 1997)

Diagnosis of Active Systems. - Pietro Baroni; Gianfranco Lamperti; Paolo Pogliano; Marina Zanella (ECAI, 1998)

Software Prototyping in Data and Knowledge Engineering - Giovanni Guida; Gianfranco Lamperti; Marina Zanella (Kluwer, 1999)

Diagnosis of Large Active Systems. - Pietro Baroni; Gianfranco Lamperti; Paolo Pogliano; Marina Zanella (Artif. Intell., 1999)

Uncertain Temporal Observations in Diagnosis. - Gianfranco Lamperti; Marina Zanella (ECAI, 2000)

Generation of Diagnostic Knowledge by Discrete-Event Model Compilation. - Gianfranco Lamperti; Marina Zanella (KR, 2000)

On Multisets in Database Systems. - Gianfranco Lamperti; Michele Melchiori; Marina Zanella (WMP, 2000)

Diagnosis of Active Systems by Automata-Based Reasoning Techniques. - Gianfranco Lamperti; Marina Zanella; Paolo Pogliano (Appl. Intell., 2000)

Diagnosis of a class of distributed discrete-event systems. - Pietro Baroni; Gianfranco Lamperti; Paolo Pogliano; Marina Zanella (IEEE Trans. Syst. Man Cybern. Part A, 2000)

Managing uncertainty in diagnosis of acute coronaric ischemia. - Pietro Baroni; Giovanni Guida; Marina Zanella (Artif. Intell. Medicine, 2001)

GART: a tool for experimenting with approximate reasoning models. - Pietro Baroni; Giovanni Guida; Marina Zanella (Expert Syst. Appl., 2001)

Diagnosis of Discrete-Event Systems with Model-Based Prospection Knowledge. - Roberto Garatti; Gianfranco Lamperti; Marina Zanella (ECAI, 2002)

Diagnosis of discrete-event systems from uncertain temporal observations. - Gianfranco Lamperti; Marina Zanella (Artif. Intell., 2002)

EDEN: An Intelligent Software Environment for Diagnosis of Discrete-Event Systems. - Gianfranco Lamperti; Marina Zanella (Appl. Intell., 2003)

Diagnosis of Discrete-Event Systems by Separation of Concerns, Knowledge Compilation, and Reuse. - Gianfranco Lamperti; Marina Zanella (ECAI, 2004)

Dynamic Diagnosis of Active Systems with Fragmented Observations. - Gianfranco Lamperti; Marina Zanella (ICEIS (2), 2004)

Incremental Processing of Temporal Observations in Supervision and Diagnosis of Discrete-Event Systems. - Gianfranco Lamperti; Marina Zanella (ICEIS (2), 2006)

On Processing Temporal Observations in Monitoring of Discrete-Event Systems. - Gianfranco Lamperti; Marina Zanella (ICEIS (Selected Papers), 2006)

Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques. - Gianfranco Lamperti; Marina Zanella (Artif. Intell., 2006)

Incremental processing of temporal observations in Model-Based Reasoning. - Gianfranco Lamperti; Marina Zanella; Davide Zanni (AI Commun., 2007)

A diagnostic environment for automaton networks. - Simone Cerutti; Gianfranco Lamperti; M. Scaroni; Marina Zanella; Davide Zanni (Softw. Pract. Exp., 2007)

Observation-Subsumption Checking in Similarity-Based Diagnosis of Discrete-Event Systems. - Gianfranco Lamperti; Marina Zanella (ECAI, 2008)

Dependable Monitoring of Discrete-Event Systems with Uncertain Temporal Observations. - Gianfranco Lamperti; Marina Zanella (ECAI, 2008)

On Checking Temporal-Observation Subsumption in Similarity-Based Diagnosis of Active Systems. - Gianfranco Lamperti; Federica Vivenzi; Marina Zanella (ICEIS (2), 2008)

Incremental Determinization of Finite Automata in Model-Based Diagnosis of Active Systems. - Gianfranco Lamperti; Marina Zanella; Giovanni Chiodi; Lorenzo Chiodi (KES (1), 2008)

Monotonic Monitoring of Discrete-Event Systems with Uncertain Temporal Observations. - Gianfranco Lamperti; Marina Zanella (ICEIS, 2009)

Diagnosis of Active Systems by Lazy Techniques. - Gianfranco Lamperti; Marina Zanella (ICEIS (2), 2010)

Context-Sensitive Diagnosis of Discrete-Event Systems. - Gianfranco Lamperti; Marina Zanella (IJCAI, 2011)

Monitoring of Active Systems With Stratified Uncertain Observations. - Gianfranco Lamperti; Marina Zanella (IEEE Trans. Syst. Man Cybern. Part A, 2011)

Discussion on: "Decentralized Fault Free Model Approach for Fault Detection and Isolation of Discrete Event Systems". - Marina Zanella (Eur. J. Control, 2012)

Heuristics to Increase Observability in Spectrum-based Fault Localization. - Claudio Landi; Arjan J. C. van Gemund; Marina Zanella (ECAI, 2014)

An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation. - Federico Cerutti 001; Massimiliano Giacomin; Mauro Vallati; Marina Zanella (KR, 2014)

Diagnosability of Discrete-Event Systems with Uncertain Observations. - Xingyu Su; Marina Zanella; Alban Grastien (IJCAI, 2016)

Determinization and minimization of finite acyclic automata by incremental techniques. - Gianfranco Lamperti; Michele Scandale; Marina Zanella (Softw. Pract. Exp., 2016)

Asymmetric Diagnosability Analysis of Discrete-Event Systems. - Marina Zanella (DX, 2017)

Introduction to Diagnosis of Active Systems - Gianfranco Lamperti; Marina Zanella; Xiangfu Zhao (Springer, 2018)

Knowledge Compilation Techniques for Model-Based Diagnosis of Complex Active Systems. - Gianfranco Lamperti; Marina Zanella; Xiangfu Zhao (CD-MAKE, 2018)

Abductive Diagnosis of Complex Active Systems with Compiled Knowledge. - Gianfranco Lamperti; Marina Zanella; Xiangfu Zhao (KR, 2018)

Temporal Diagnosis of Discrete-Event Systems with Dual Knowledge Compilation. - Nicola Bertoglio; Gianfranco Lamperti; Marina Zanella (CD-MAKE, 2019)

A Posteriori Diagnosis of Discrete-Event Systems with Symptom Dictionary and Scenarios. - Nicola Bertoglio; Gianfranco Lamperti; Marina Zanella (IEA/AIE, 2019)

Escaping Diagnosability and Entering Uncertainty in Temporal Diagnosis of Discrete-Event Systems. - Nicola Bertoglio; Gianfranco Lamperti; Marina Zanella; Xiangfu Zhao (IntelliSys (2), 2019)

Intelligent Diagnosis of Discrete-Event Systems with Preprocessing of Critical Scenarios. - Nicola Bertoglio; Gianfranco Lamperti; Marina Zanella (KES-IDT (1), 2019)

Repairing Compressed Path Databases on Maps with Dynamic Changes. - Marco Verzeletti; Adi Botea; Marina Zanella (SOCS, 2019)

Diagnosis of Temporal Faults in Discrete-Event Systems. - Nicola Bertoglio; Gianfranco Lamperti; Marina Zanella; Xiangfu Zhao (ECAI, 2020)

Temporal-Fault Diagnosis for Critical-Decision Making in Discrete-Event Systems. - Nicola Bertoglio; Gianfranco Lamperti; Marina Zanella; Xiangfu Zhao (KES, 2020)

Explanatory Monitoring of Discrete-Event Systems. - Nicola Bertoglio; Gianfranco Lamperti; Marina Zanella; Xiangfu Zhao (KES-IDT, 2020)

Explanatory Diagnosis of Discrete-Event Systems with Temporal Information and Smart Knowledge-Compilation. - Nicola Bertoglio; Gianfranco Lamperti; Marina Zanella; Xiangfu Zhao (KR, 2020)

Diagnosis of Deep Discrete-Event Systems. - Gianfranco Lamperti; Marina Zanella; Xiangfu Zhao (J. Artif. Intell. Res., 2020)

Diagnosis of Active Systems with Abstract Observability. - Gianfranco Lamperti; Marina Zanella; Xiangfu Zhao (KES-IDT, 2021)

Diagnosis of Active Systems with Abstract Observations and Compiled Knowledge. - Gianfranco Lamperti; Marina Zanella; Xiangfu Zhao (KR, 2021)

Fault Diagnosis of Discrete-Event Systems from Abstract Observations. - Gianfranco Lamperti; Marina Zanella; Xiangfu Zhao (Comput. Informatics, 2022)

Sequence-Oriented Diagnosis of Discrete-Event Systems. - Gianfranco Lamperti; Stefano Trerotola; Marina Zanella; Xiangfu Zhao (J. Artif. Intell. Res., 2023)

Summary of "Sequence-Oriented Diagnosis of Discrete-Event Systems" (Extended Abstract). - Gianfranco Lamperti; Stefano Trerotola; Marina Zanella; Xiangfu Zhao (DX, 2024)

Minimalist Diagnosis of Discrete-Event Systems. - Gianfranco Lamperti; Marina Zanella (DX, 2024)