ALGRES: An Extended Relational Database System for the Specification and Prototyping of Complex Applications. - Filippo Cacace; Stefano Ceri; Stefano Crespi-Reghizzi; Georg Gottlob; Gianfranco Lamperti; Luigi Lavazza; Letizia Tanca; Roberto V. Zicari (CA(i)SE, 1989)

Algres: An Advanced System for Complex Applications. - Stefano Ceri; Stefano Crespi-Reghizzi; Roberto V. Zicari; Gianfranco Lamperti; Luigi Lavazza (IEEE Softw., 1990)

The SOL Object-Oriented Database Language. - Roberto V. Zicari; Filippo Cacace; C. Capelli; A. Galipo; A. Pirovano; A. Romboli; Gianfranco Lamperti (CAiSE, 1992)

Advanced Relational Programming: Mathematics and Its Applications. - Filippo Cacace; Gianfranco Lamperti (Kluwer, 1996)

Event-Based Reasoning for Short Circuit Diagnosis in Power Transmission Networks. - Gianfranco Lamperti; Paolo Pogliano (IJCAI (1), 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)

AMMETH: a methodology for requirements analysis of advanced human-system interfaces. - Giovanni Guida; Gianfranco Lamperti (IEEE Trans. Syst. Man Cybern. Part A, 2000)

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)

Diagnosis of Higher-Order Discrete-Event Systems. - Gianfranco Lamperti; Xiangfu Zhao (CD-ARES, 2013)

Incremental Determinization and Minimization of Finite Acyclic Automata. - Gianfranco Lamperti; Michele Scandale (SMC, 2013)

Specification and Model-Based Diagnosis of Higher-Order Discrete-Event Systems. - Gianfranco Lamperti; Xiangfu Zhao (SMC, 2013)

From diagnosis of active systems to incremental determinization of finite acyclic automata. - Gianfranco Lamperti; Michele Scandale (AI Commun., 2013)

Metrics-Based Incremental Determinization of Finite Automata. - Sergiu I. Balan; Gianfranco Lamperti; Michele Scandale (CD-ARES, 2014)

Incremental Subset Construction Revisited. - Sergiu Iulian Balan; Gianfranco Lamperti; Michele Scandale (IDT/IIMSS/STET, 2014)

Diagnosis of Active Systems by Semantic Patterns. - Gianfranco Lamperti; Xiangfu Zhao (IEEE Trans. Syst. Man Cybern. Syst., 2014)

Diagnosis of Complex Active Systems with Uncertain Temporal Observations. - Gianfranco Lamperti; Xiangfu Zhao (CD-ARES, 2016)

Intelligent Monitoring of Complex Discrete-Event Systems. - Gianfranco Lamperti; Giulio Quarenghi (KES-IDT (1), 2016)

Viable diagnosis of complex active systems. - Gianfranco Lamperti; Xiangfu Zhao (SMC, 2016)

Incremental Determinization of Expanding Automata. - Simone Brognoli; Gianfranco Lamperti; Michele Scandale (Comput. J., 2016)

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

Decremental Subset Construction. - Gianfranco Lamperti; Xiangfu Zhao (KES-IDT (1), 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)

Online Determinization of Large Mutating Automata. - Giovanni Caniato; Gianfranco Lamperti (KES, 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)

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)

Conservative Determinization of Translated Automata by Embedded Subset Construction. - Michele Dusi; Gianfranco Lamperti (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)

Minimal Diagnosis and Diagnosability of Discrete-Event Systems Modeled by Automata. - Xiangfu Zhao; Gianfranco Lamperti; Dantong Ouyang; Xiangrong Tong (Complex., 2020)

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

Temporal determinization of mutating finite automata: Reconstructing or restructuring. - Gianfranco Lamperti (Softw. Pract. Exp., 2020)

Fixing Nondeterminism in Large Discrete-Event Knowledge. - Michele Dusi; Gianfranco Lamperti (KES, 2021)

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)

Looking for Criminal Intents in JavaScript Obfuscated Code. - Federico Cerutti 002; Daniele Barattieri di San Pietro; Francesco Gringoli; Gianfranco Lamperti (KES, 2022)

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)

Quick Subset Construction. - Michele Dusi; Gianfranco Lamperti (Softw. Pract. Exp., 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)

Smart Diagnosis of Active Systems. - Gianfranco Lamperti; Xiangfu Zhao (KES, 2024)

Diagnosis of Active Systems with Candidate Priority. - Gianfranco Lamperti (KES-IDT, 2024)