default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarina Zanella
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c38]Gianfranco Lamperti, Marina Zanella:
Minimalist Diagnosis of Discrete-Event Systems. DX 2024: 12:1-12:20- [c37]Gianfranco Lamperti, Stefano Trerotola, Marina Zanella, Xiangfu Zhao:
Summary of "Sequence-Oriented Diagnosis of Discrete-Event Systems" (Extended Abstract). DX 2024: 34:1-34:2 - 2023
- [j17]Gianfranco Lamperti, Stefano Trerotola, Marina Zanella, Xiangfu Zhao:
Sequence-Oriented Diagnosis of Discrete-Event Systems. J. Artif. Intell. Res. 78: 69-141 (2023) - 2022
- [j16]Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Fault Diagnosis of Discrete-Event Systems from Abstract Observations. Comput. Informatics 41(1): 116-134 (2022) - 2021
- [c36]Gianfranco Lamperti
, Marina Zanella, Xiangfu Zhao:
Diagnosis of Active Systems with Abstract Observability. KES-IDT 2021: 505-517 - [c35]Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Diagnosis of Active Systems with Abstract Observations and Compiled Knowledge. KR 2021: 442-453 - 2020
- [j15]Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Diagnosis of Deep Discrete-Event Systems. J. Artif. Intell. Res. 69: 1473-1532 (2020) - [c34]Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Diagnosis of Temporal Faults in Discrete-Event Systems. ECAI 2020: 632-639 - [c33]Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Temporal-Fault Diagnosis for Critical-Decision Making in Discrete-Event Systems. KES 2020: 521-530 - [c32]Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Explanatory Monitoring of Discrete-Event Systems. KES-IDT 2020: 63-77 - [c31]Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Explanatory Diagnosis of Discrete-Event Systems with Temporal Information and Smart Knowledge-Compilation. KR 2020: 130-140
2010 – 2019
- 2019
- [c30]Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella:
Temporal Diagnosis of Discrete-Event Systems with Dual Knowledge Compilation. CD-MAKE 2019: 333-352 - [c29]Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella:
A Posteriori Diagnosis of Discrete-Event Systems with Symptom Dictionary and Scenarios. IEA/AIE 2019: 325-333 - [c28]Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Escaping Diagnosability and Entering Uncertainty in Temporal Diagnosis of Discrete-Event Systems. IntelliSys (2) 2019: 835-852 - [c27]Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella:
Intelligent Diagnosis of Discrete-Event Systems with Preprocessing of Critical Scenarios. KES-IDT (1) 2019: 109-121 - [c26]Marco Verzeletti, Adi Botea, Marina Zanella:
Repairing Compressed Path Databases on Maps with Dynamic Changes. SOCS 2019: 115-123 - 2018
- [b2]Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Introduction to Diagnosis of Active Systems. Springer 2018, ISBN 978-3-319-92731-2, pp. 1-353 - [c25]Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Knowledge Compilation Techniques for Model-Based Diagnosis of Complex Active Systems. CD-MAKE 2018: 43-64 - [c24]Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Abductive Diagnosis of Complex Active Systems with Compiled Knowledge. KR 2018: 464-473 - 2017
- [c23]Marina Zanella:
Asymmetric Diagnosability Analysis of Discrete-Event Systems. DX 2017: 78-93 - [e1]Marina Zanella, Ingo Pill, Alessandro Cimatti:
28th International Workshop on Principles of Diagnosis (DX'17), Brescia, Italy, September 26-29, 2017. Kalpa Publications in Computing 4, EasyChair 2017 [contents] - 2016
- [j14]Gianfranco Lamperti, Michele Scandale, Marina Zanella:
Determinization and minimization of finite acyclic automata by incremental techniques. Softw. Pract. Exp. 46(4): 513-549 (2016) - [c22]Xingyu Su, Marina Zanella, Alban Grastien:
Diagnosability of Discrete-Event Systems with Uncertain Observations. IJCAI 2016: 1265-1271 - 2014
- [c21]Claudio Landi, Arjan J. C. van Gemund, Marina Zanella:
Heuristics to Increase Observability in Spectrum-based Fault Localization. ECAI 2014: 1053-1054 - [c20]Federico Cerutti, Massimiliano Giacomin, Mauro Vallati, Marina Zanella:
An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation. KR 2014 - 2012
- [j13]Marina Zanella:
Discussion on: "Decentralized Fault Free Model Approach for Fault Detection and Isolation of Discrete Event Systems". Eur. J. Control 18(1): 94-97 (2012) - 2011
- [j12]Gianfranco Lamperti, Marina Zanella:
Monitoring of Active Systems With Stratified Uncertain Observations. IEEE Trans. Syst. Man Cybern. Part A 41(2): 356-369 (2011) - [c19]Gianfranco Lamperti, Marina Zanella:
Context-Sensitive Diagnosis of Discrete-Event Systems. IJCAI 2011: 969-975 - 2010
- [c18]Gianfranco Lamperti, Marina Zanella:
Diagnosis of Active Systems by Lazy Techniques. ICEIS (2) 2010: 171-180
2000 – 2009
- 2009
- [c17]Gianfranco Lamperti, Marina Zanella:
Monotonic Monitoring of Discrete-Event Systems with Uncertain Temporal Observations. ICEIS 2009: 348-362 - 2008
- [c16]Gianfranco Lamperti, Marina Zanella:
Observation-Subsumption Checking in Similarity-Based Diagnosis of Discrete-Event Systems. ECAI 2008: 204-208 - [c15]Gianfranco Lamperti, Marina Zanella:
Dependable Monitoring of Discrete-Event Systems with Uncertain Temporal Observations. ECAI 2008: 793-794 - [c14]Gianfranco Lamperti, Federica Vivenzi, Marina Zanella:
On Checking Temporal-Observation Subsumption in Similarity-Based Diagnosis of Active Systems. ICEIS (2) 2008: 44-53 - [c13]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
- [j11]Gianfranco Lamperti, Marina Zanella, Davide Zanni:
Incremental processing of temporal observations in Model-Based Reasoning. AI Commun. 20(1): 27-37 (2007) - [j10]Simone Cerutti, Gianfranco Lamperti, M. Scaroni, Marina Zanella, Davide Zanni:
A diagnostic environment for automaton networks. Softw. Pract. Exp. 37(4): 365-415 (2007) - 2006
- [j9]Gianfranco Lamperti, Marina Zanella:
Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques. Artif. Intell. 170(3): 232-297 (2006) - [c12]Gianfranco Lamperti, Marina Zanella:
Incremental Processing of Temporal Observations in Supervision and Diagnosis of Discrete-Event Systems. ICEIS (2) 2006: 47-57 - [c11]Gianfranco Lamperti, Marina Zanella:
On Processing Temporal Observations in Monitoring of Discrete-Event Systems. ICEIS (Selected Papers) 2006: 135-146 - 2004
- [c10]Gianfranco Lamperti, Marina Zanella:
Diagnosis of Discrete-Event Systems by Separation of Concerns, Knowledge Compilation, and Reuse. ECAI 2004: 838-842 - [c9]Gianfranco Lamperti, Marina Zanella:
Dynamic Diagnosis of Active Systems with Fragmented Observations. ICEIS (2) 2004: 249-261 - 2003
- [j8]Gianfranco Lamperti, Marina Zanella:
EDEN: An Intelligent Software Environment for Diagnosis of Discrete-Event Systems. Appl. Intell. 18(1): 55-77 (2003) - 2002
- [j7]Gianfranco Lamperti, Marina Zanella:
Diagnosis of discrete-event systems from uncertain temporal observations. Artif. Intell. 137(1-2): 91-163 (2002) - [c8]Roberto Garatti, Gianfranco Lamperti, Marina Zanella:
Diagnosis of Discrete-Event Systems with Model-Based Prospection Knowledge. ECAI 2002: 427-431 - 2001
- [j6]Pietro Baroni, Giovanni Guida, Marina Zanella:
Managing uncertainty in diagnosis of acute coronaric ischemia. Artif. Intell. Medicine 23(2): 129-147 (2001) - [j5]Pietro Baroni, Giovanni Guida, Marina Zanella:
GART: a tool for experimenting with approximate reasoning models. Expert Syst. Appl. 21(1): 15-30 (2001) - 2000
- [j4]Gianfranco Lamperti, Marina Zanella, Paolo Pogliano:
Diagnosis of Active Systems by Automata-Based Reasoning Techniques. Appl. Intell. 12(3): 217-237 (2000) - [j3]Pietro Baroni, Gianfranco Lamperti, Paolo Pogliano, Marina Zanella:
Diagnosis of a class of distributed discrete-event systems. IEEE Trans. Syst. Man Cybern. Part A 30(6): 731-752 (2000) - [c7]Gianfranco Lamperti, Marina Zanella:
Uncertain Temporal Observations in Diagnosis. ECAI 2000: 151-155 - [c6]Gianfranco Lamperti, Marina Zanella:
Generation of Diagnostic Knowledge by Discrete-Event Model Compilation. KR 2000: 333-344 - [c5]Gianfranco Lamperti, Michele Melchiori, Marina Zanella:
On Multisets in Database Systems. WMP 2000: 147-216
1990 – 1999
- 1999
- [b1]Giovanni Guida, Gianfranco Lamperti, Marina Zanella:
Software Prototyping in Data and Knowledge Engineering. Kluwer 1999, ISBN 0-7923-6016-8 - [j2]Pietro Baroni, Gianfranco Lamperti, Paolo Pogliano, Marina Zanella:
Diagnosis of Large Active Systems. Artif. Intell. 110(1): 135-183 (1999) - 1998
- [c4]Pietro Baroni, Gianfranco Lamperti, Paolo Pogliano, Marina Zanella:
Diagnosis of Active Systems. ECAI 1998: 274-278 - 1997
- [c3]Giovanni Guida, Marina Zanella:
Bridging the Gap between Users and Complex Decision Support Systems: the Role of Justification. ICECCS 1997: 229- - 1996
- [j1]Marina Zanella, Paolo Gubian:
A conceptual model for design management. Comput. Aided Des. 28(1): 33-49 (1996) - 1995
- [c2]Giovanni Guida, Marina Zanella:
Preventive Diagnosis: Definition and Logical Model. AI*IA 1995: 347-352 - 1991
- [c1]Marina Zanella, Paolo Gubian:
Workspace and Methodology Management in the Octtools Environment. VLSI 1991: 307-316
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-16 22:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
