Marina Zanella
Orcid: 0000-0003-3896-3913
According to our database1,
Marina Zanella
authored at least 55 papers
between 1991 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
2022
Comput. Informatics, 2022
2021
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
Proceedings of the Intelligent Decision Technologies, 2021
2020
Explanatory Diagnosis of Discrete-Event Systems with Temporal Information and Smart Knowledge-Compilation.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
Proceedings of the Intelligent Decision Technologies, 2020
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
2019
Proceedings of the Twelfth International Symposium on Combinatorial Search, 2019
Intelligent Diagnosis of Discrete-Event Systems with Preprocessing of Critical Scenarios.
Proceedings of the Intelligent Decision Technologies 2019, 2019
Escaping Diagnosability and Entering Uncertainty in Temporal Diagnosis of Discrete-Event Systems.
Proceedings of the Intelligent Systems and Applications, 2019
A Posteriori Diagnosis of Discrete-Event Systems with Symptom Dictionary and Scenarios.
Proceedings of the Advances and Trends in Artificial Intelligence. From Theory to Practice, 2019
Proceedings of the Machine Learning and Knowledge Extraction, 2019
2018
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
Knowledge Compilation Techniques for Model-Based Diagnosis of Complex Active Systems.
Proceedings of the Machine Learning and Knowledge Extraction, 2018
2017
Proceedings of the 28th International Workshop on Principles of Diagnosis (DX'17), 2017
2016
Determinization and minimization of finite acyclic automata by incremental techniques.
Softw. Pract. Exp., 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
2014
An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
2012
Discussion on: "Decentralized Fault Free Model Approach for Fault Detection and Isolation of Discrete Event Systems".
Eur. J. Control, 2012
2011
IEEE Trans. Syst. Man Cybern. Part A, 2011
Proceedings of the IJCAI 2011, 2011
2010
Diagnosis of Active Systems by Lazy Techniques.
Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 2, AIDSS, Funchal, Madeira, Portugal, June 8, 2010
2009
Proceedings of the Enterprise Information Systems, 11th International Conference, 2009
2008
Incremental Determinization of Finite Automata in Model-Based Diagnosis of Active Systems.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2008
On Checking Temporal-Observation Subsumption in Similarity-Based Diagnosis of Active Systems.
Proceedings of the ICEIS 2008, 2008
Dependable Monitoring of Discrete-Event Systems with Uncertain Temporal Observations.
Proceedings of the ECAI 2008, 2008
Observation-Subsumption Checking in Similarity-Based Diagnosis of Discrete-Event Systems.
Proceedings of the ECAI 2008, 2008
2007
AI Commun., 2007
2006
Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques.
Artif. Intell., 2006
Proceedings of the Enterprise Information Systems, 8th International Conference, 2006
Incremental Processing of Temporal Observations in Supervision and Diagnosis of Discrete-Event Systems.
Proceedings of the ICEIS 2006, 2006
2004
Dynamic Diagnosis of Active Systems with Fragmented Observations.
Proceedings of the ICEIS 2004, 2004
Diagnosis of Discrete-Event Systems by Separation of Concerns, Knowledge Compilation, and Reuse.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004
2003
Appl. Intell., 2003
2002
Artif. Intell., 2002
Diagnosis of Discrete-Event Systems with Model-Based Prospection Knowledge.
Proceedings of the 15th European Conference on Artificial Intelligence, 2002
2001
Expert Syst. Appl., 2001
Artif. Intell. Medicine, 2001
2000
IEEE Trans. Syst. Man Cybern. Part A, 2000
Appl. Intell., 2000
Generation of Diagnostic Knowledge by Discrete-Event Model Compilation.
Proceedings of the KR 2000, 2000
Uncertain Temporal Observations in Diagnosis.
Proceedings of the ECAI 2000, 2000
1999
Software Prototyping in Data and Knowledge Engineering
Kluwer, ISBN: 0-7923-6016-8, 1999
1998
Diagnosis of Active Systems.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998
1997
Bridging the Gap between Users and Complex Decision Support Systems: the Role of Justification.
Proceedings of the 3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 1997
1996
1995
Proceedings of the Topics in Artificial Intelligence, 1995
1991
Workspace and Methodology Management in the Octtools Environment.
Proceedings of the VLSI 91, 1991