Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Marina Zanella
@article{DBLP:journals/jair/LampertiTZZ23,
author = {Gianfranco Lamperti and
Stefano Trerotola and
Marina Zanella and
Xiangfu Zhao},
title = {Sequence-Oriented Diagnosis of Discrete-Event Systems},
journal = {J. Artif. Intell. Res.},
volume = {78},
pages = {69--141},
year = {2023},
url = {https://doi.org/10.1613/jair.1.14630},
doi = {10.1613/JAIR.1.14630},
timestamp = {Tue, 10 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/LampertiTZZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/LampertiZZ22,
author = {Gianfranco Lamperti and
Marina Zanella and
Xiangfu Zhao},
title = {Fault Diagnosis of Discrete-Event Systems from Abstract Observations},
journal = {Comput. Informatics},
volume = {41},
number = {1},
pages = {116--134},
year = {2022},
url = {https://doi.org/10.31577/cai\_2022\_1\_116},
doi = {10.31577/CAI\_2022\_1\_116},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cai/LampertiZZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesidt/LampertiZZ21,
author = {Gianfranco Lamperti and
Marina Zanella and
Xiangfu Zhao},
editor = {Ireneusz Czarnowski and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Diagnosis of Active Systems with Abstract Observability},
booktitle = {Intelligent Decision Technologies - Proceedings of the 13th {KES-IDT}
2021 Conference, Virtual Event, June 14-16, 2021},
series = {Smart Innovation, Systems and Technologies},
volume = {238},
pages = {505--517},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-981-16-2765-1\_42},
doi = {10.1007/978-981-16-2765-1\_42},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kesidt/LampertiZZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LampertiZZ21,
author = {Gianfranco Lamperti and
Marina Zanella and
Xiangfu Zhao},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {Diagnosis of Active Systems with Abstract Observations and Compiled
Knowledge},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {442--453},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/42},
doi = {10.24963/KR.2021/42},
timestamp = {Wed, 03 Nov 2021 12:46:57 +0100},
biburl = {https://dblp.org/rec/conf/kr/LampertiZZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/LampertiZZ20,
author = {Gianfranco Lamperti and
Marina Zanella and
Xiangfu Zhao},
title = {Diagnosis of Deep Discrete-Event Systems},
journal = {J. Artif. Intell. Res.},
volume = {69},
pages = {1473--1532},
year = {2020},
url = {https://doi.org/10.1613/jair.1.12171},
doi = {10.1613/JAIR.1.12171},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/LampertiZZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BertoglioLZZ20,
author = {Nicola Bertoglio and
Gianfranco Lamperti and
Marina Zanella and
Xiangfu Zhao},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {Diagnosis of Temporal Faults in Discrete-Event Systems},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {632--639},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200148},
doi = {10.3233/FAIA200148},
timestamp = {Fri, 09 Apr 2021 18:50:05 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BertoglioLZZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/BertoglioLZZ20,
author = {Nicola Bertoglio and
Gianfranco Lamperti and
Marina Zanella and
Xiangfu Zhao},
editor = {Matteo Cristani and
Carlos Toro and
Cecilia Zanni{-}Merk and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Temporal-Fault Diagnosis for Critical-Decision Making in Discrete-Event
Systems},
booktitle = {Knowledge-Based and Intelligent Information {\&} Engineering Systems:
Proceedings of the 24th International Conference KES-2020, Virtual
Event, 16-18 September 2020},
series = {Procedia Computer Science},
volume = {176},
pages = {521--530},
publisher = {Elsevier},
year = {2020},
url = {https://doi.org/10.1016/j.procs.2020.08.054},
doi = {10.1016/J.PROCS.2020.08.054},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/kes/BertoglioLZZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesidt/BertoglioLZZ20,
author = {Nicola Bertoglio and
Gianfranco Lamperti and
Marina Zanella and
Xiangfu Zhao},
editor = {Ireneusz Czarnowski and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Explanatory Monitoring of Discrete-Event Systems},
booktitle = {Intelligent Decision Technologies - Proceedings of the 12th {KES}
International Conference on Intelligent Decision Technologies {(KES-IDT}
2020), Split, Croatia, 17-19 June, 2020},
series = {Smart Innovation, Systems and Technologies},
volume = {193},
pages = {63--77},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-981-15-5925-9\_6},
doi = {10.1007/978-981-15-5925-9\_6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kesidt/BertoglioLZZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BertoglioLZZ20,
author = {Nicola Bertoglio and
Gianfranco Lamperti and
Marina Zanella and
Xiangfu Zhao},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Explanatory Diagnosis of Discrete-Event Systems with Temporal Information
and Smart Knowledge-Compilation},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {130--140},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/14},
doi = {10.24963/KR.2020/14},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BertoglioLZZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdmake/BertoglioLZ19,
author = {Nicola Bertoglio and
Gianfranco Lamperti and
Marina Zanella},
editor = {Andreas Holzinger and
Peter Kieseberg and
A Min Tjoa and
Edgar R. Weippl},
title = {Temporal Diagnosis of Discrete-Event Systems with Dual Knowledge Compilation},
booktitle = {Machine Learning and Knowledge Extraction - Third {IFIP} {TC} 5, {TC}
12, {WG} 8.4, {WG} 8.9, {WG} 12.9 International Cross-Domain Conference,
{CD-MAKE} 2019, Canterbury, UK, August 26-29, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11713},
pages = {333--352},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29726-8\_21},
doi = {10.1007/978-3-030-29726-8\_21},
timestamp = {Tue, 29 Dec 2020 18:40:27 +0100},
biburl = {https://dblp.org/rec/conf/cdmake/BertoglioLZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/BertoglioLZ19,
author = {Nicola Bertoglio and
Gianfranco Lamperti and
Marina Zanella},
editor = {Franz Wotawa and
Gerhard Friedrich and
Ingo Pill and
Roxane Koitz{-}Hristov and
Moonis Ali},
title = {A Posteriori Diagnosis of Discrete-Event Systems with Symptom Dictionary
and Scenarios},
booktitle = {Advances and Trends in Artificial Intelligence. From Theory to Practice
- 32nd International Conference on Industrial, Engineering and Other
Applications of Applied Intelligent Systems, {IEA/AIE} 2019, Graz,
Austria, July 9-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11606},
pages = {325--333},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22999-3\_29},
doi = {10.1007/978-3-030-22999-3\_29},
timestamp = {Fri, 05 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ieaaie/BertoglioLZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intellisys/BertoglioLZZ19,
author = {Nicola Bertoglio and
Gianfranco Lamperti and
Marina Zanella and
Xiangfu Zhao},
editor = {Yaxin Bi and
Rahul Bhatia and
Supriya Kapoor},
title = {Escaping Diagnosability and Entering Uncertainty in Temporal Diagnosis
of Discrete-Event Systems},
booktitle = {Intelligent Systems and Applications - Proceedings of the 2019 Intelligent
Systems Conference, IntelliSys 2019, London, UK, September 5-6, 2019,
Volume 2},
series = {Advances in Intelligent Systems and Computing},
volume = {1038},
pages = {835--852},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29513-4\_62},
doi = {10.1007/978-3-030-29513-4\_62},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/intellisys/BertoglioLZZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesidt/BertoglioLZ19,
author = {Nicola Bertoglio and
Gianfranco Lamperti and
Marina Zanella},
editor = {Ireneusz Czarnowski and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Intelligent Diagnosis of Discrete-Event Systems with Preprocessing
of Critical Scenarios},
booktitle = {Intelligent Decision Technologies 2019 - Proceedings of the 11th {KES}
International Conference on Intelligent Decision Technologies {(KES-IDT}
2019), Volume 1, Malta, June 17-19, 2019},
series = {Smart Innovation, Systems and Technologies},
volume = {142},
pages = {109--121},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-981-13-8311-3\_10},
doi = {10.1007/978-981-13-8311-3\_10},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kesidt/BertoglioLZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/VerzelettiBZ19,
author = {Marco Verzeletti and
Adi Botea and
Marina Zanella},
editor = {Pavel Surynek and
William Yeoh},
title = {Repairing Compressed Path Databases on Maps with Dynamic Changes},
booktitle = {Proceedings of the Twelfth International Symposium on Combinatorial
Search, {SOCS} 2019, Napa, California, 16-17 July 2019},
pages = {115--123},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/socs.v10i1.18509},
doi = {10.1609/SOCS.V10I1.18509},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/VerzelettiBZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/LampertiZZ18,
author = {Gianfranco Lamperti and
Marina Zanella and
Xiangfu Zhao},
title = {Introduction to Diagnosis of Active Systems},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92733-6},
doi = {10.1007/978-3-319-92733-6},
isbn = {978-3-319-92731-2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/LampertiZZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdmake/LampertiZZ18,
author = {Gianfranco Lamperti and
Marina Zanella and
Xiangfu Zhao},
editor = {Andreas Holzinger and
Peter Kieseberg and
A Min Tjoa and
Edgar R. Weippl},
title = {Knowledge Compilation Techniques for Model-Based Diagnosis of Complex
Active Systems},
booktitle = {Machine Learning and Knowledge Extraction - Second {IFIP} {TC} 5,
{TC} 8/WG 8.4, 8.9, {TC} 12/WG 12.9 International Cross-Domain Conference,
{CD-MAKE} 2018, Hamburg, Germany, August 27-30, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11015},
pages = {43--64},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99740-7\_4},
doi = {10.1007/978-3-319-99740-7\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdmake/LampertiZZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LampertiZZ18,
author = {Gianfranco Lamperti and
Marina Zanella and
Xiangfu Zhao},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {Abductive Diagnosis of Complex Active Systems with Compiled Knowledge},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {464--473},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/17984},
timestamp = {Tue, 09 Feb 2021 08:33:51 +0100},
biburl = {https://dblp.org/rec/conf/kr/LampertiZZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dx/Zanella17,
author = {Marina Zanella},
editor = {Marina Zanella and
Ingo Pill and
Alessandro Cimatti},
title = {Asymmetric Diagnosability Analysis of Discrete-Event Systems},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17), Brescia,
Italy, September 26-29, 2017},
series = {Kalpa Publications in Computing},
volume = {4},
pages = {78--93},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/6lc2},
doi = {10.29007/6LC2},
timestamp = {Sun, 15 Aug 2021 10:46:48 +0200},
biburl = {https://dblp.org/rec/conf/dx/Zanella17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dx/2017,
editor = {Marina Zanella and
Ingo Pill and
Alessandro Cimatti},
title = {28th International Workshop on Principles of Diagnosis (DX'17), Brescia,
Italy, September 26-29, 2017},
series = {Kalpa Publications in Computing},
volume = {4},
publisher = {EasyChair},
year = {2017},
url = {http://www.easychair.org/publications/volume/DX17},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dx/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/LampertiSZ16,
author = {Gianfranco Lamperti and
Michele Scandale and
Marina Zanella},
title = {Determinization and minimization of finite acyclic automata by incremental
techniques},
journal = {Softw. Pract. Exp.},
volume = {46},
number = {4},
pages = {513--549},
year = {2016},
url = {https://doi.org/10.1002/spe.2309},
doi = {10.1002/SPE.2309},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/LampertiSZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SuZG16,
author = {Xingyu Su and
Marina Zanella and
Alban Grastien},
editor = {Subbarao Kambhampati},
title = {Diagnosability of Discrete-Event Systems with Uncertain Observations},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {1265--1271},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/183},
timestamp = {Tue, 20 Aug 2019 16:19:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SuZG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/LandiGZ14,
author = {Claudio Landi and
Arjan J. C. van Gemund and
Marina Zanella},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {Heuristics to Increase Observability in Spectrum-based Fault Localization},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {1053--1054},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-1053},
doi = {10.3233/978-1-61499-419-0-1053},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/LandiGZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CeruttiGVZ14,
author = {Federico Cerutti and
Massimiliano Giacomin and
Mauro Vallati and
Marina Zanella},
editor = {Chitta Baral and
Giuseppe De Giacomo and
Thomas Eiter},
title = {An {SCC} Recursive Meta-Algorithm for Computing Preferred Labellings
in Abstract Argumentation},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
July 20-24, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7974},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/CeruttiGVZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejcon/Zanella12,
author = {Marina Zanella},
title = {Discussion on: "Decentralized Fault Free Model Approach for Fault
Detection and Isolation of Discrete Event Systems"},
journal = {Eur. J. Control},
volume = {18},
number = {1},
pages = {94--97},
year = {2012},
url = {https://doi.org/10.1016/S0947-3580(12)70530-7},
doi = {10.1016/S0947-3580(12)70530-7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ejcon/Zanella12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/LampertiZ11,
author = {Gianfranco Lamperti and
Marina Zanella},
title = {Monitoring of Active Systems With Stratified Uncertain Observations},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {A}},
volume = {41},
number = {2},
pages = {356--369},
year = {2011},
url = {https://doi.org/10.1109/TSMCA.2010.2069096},
doi = {10.1109/TSMCA.2010.2069096},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/LampertiZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LampertiZ11,
author = {Gianfranco Lamperti and
Marina Zanella},
editor = {Toby Walsh},
title = {Context-Sensitive Diagnosis of Discrete-Event Systems},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {969--975},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-167},
doi = {10.5591/978-1-57735-516-8/IJCAI11-167},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LampertiZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/LampertiZ10,
author = {Gianfranco Lamperti and
Marina Zanella},
editor = {Joaquim Filipe and
Jos{\'{e}} Cordeiro},
title = {Diagnosis of Active Systems by Lazy Techniques},
booktitle = {{ICEIS} 2010 - Proceedings of the 12th International Conference on
Enterprise Information Systems, Volume 2, AIDSS, Funchal, Madeira,
Portugal, June 8 - 12, 2010},
pages = {171--180},
publisher = {SciTePress},
year = {2010},
timestamp = {Mon, 03 Jan 2011 21:29:54 +0100},
biburl = {https://dblp.org/rec/conf/iceis/LampertiZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/LampertiZ09,
author = {Gianfranco Lamperti and
Marina Zanella},
editor = {Joaquim Filipe and
Jos{\'{e}} Cordeiro},
title = {Monotonic Monitoring of Discrete-Event Systems with Uncertain Temporal
Observations},
booktitle = {Enterprise Information Systems, 11th International Conference, {ICEIS}
2009, Milan, Italy, May 6-10, 2009. Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {24},
pages = {348--362},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01347-8\_30},
doi = {10.1007/978-3-642-01347-8\_30},
timestamp = {Tue, 16 Aug 2022 23:04:29 +0200},
biburl = {https://dblp.org/rec/conf/iceis/LampertiZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/LampertiZ08,
author = {Gianfranco Lamperti and
Marina Zanella},
editor = {Malik Ghallab and
Constantine D. Spyropoulos and
Nikos Fakotakis and
Nikolaos M. Avouris},
title = {Observation-Subsumption Checking in Similarity-Based Diagnosis of
Discrete-Event Systems},
booktitle = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence,
Patras, Greece, July 21-25, 2008, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {178},
pages = {204--208},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-891-5-204},
doi = {10.3233/978-1-58603-891-5-204},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/LampertiZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/LampertiZ08a,
author = {Gianfranco Lamperti and
Marina Zanella},
editor = {Malik Ghallab and
Constantine D. Spyropoulos and
Nikos Fakotakis and
Nikolaos M. Avouris},
title = {Dependable Monitoring of Discrete-Event Systems with Uncertain Temporal
Observations},
booktitle = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence,
Patras, Greece, July 21-25, 2008, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {178},
pages = {793--794},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-891-5-793},
doi = {10.3233/978-1-58603-891-5-793},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/LampertiZ08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/LampertiVZ08,
author = {Gianfranco Lamperti and
Federica Vivenzi and
Marina Zanella},
editor = {Jos{\'{e}} Cordeiro and
Joaquim Filipe},
title = {On Checking Temporal-Observation Subsumption in Similarity-Based Diagnosis
of Active Systems},
booktitle = {{ICEIS} 2008 - Proceedings of the Tenth International Conference on
Enterprise Information Systems, Volume AIDSS, Barcelona, Spain, June
12-16, 2008},
pages = {44--53},
year = {2008},
timestamp = {Tue, 08 Sep 2009 16:03:44 +0200},
biburl = {https://dblp.org/rec/conf/iceis/LampertiVZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/LampertiZCC08,
author = {Gianfranco Lamperti and
Marina Zanella and
Giovanni Chiodi and
Lorenzo Chiodi},
editor = {Ignac Lovrek and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Incremental Determinization of Finite Automata in Model-Based Diagnosis
of Active Systems},
booktitle = {Knowledge-Based Intelligent Information and Engineering Systems, 12th
International Conference, {KES} 2008, Zagreb, Croatia, September 3-5,
2008, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {5177},
pages = {362--374},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85563-7\_48},
doi = {10.1007/978-3-540-85563-7\_48},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kes/LampertiZCC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/LampertiZZ07,
author = {Gianfranco Lamperti and
Marina Zanella and
Davide Zanni},
title = {Incremental processing of temporal observations in Model-Based Reasoning},
journal = {{AI} Commun.},
volume = {20},
number = {1},
pages = {27--37},
year = {2007},
url = {http://content.iospress.com/articles/ai-communications/aic394},
timestamp = {Fri, 15 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/LampertiZZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/CeruttiLSZZ07,
author = {Simone Cerutti and
Gianfranco Lamperti and
M. Scaroni and
Marina Zanella and
Davide Zanni},
title = {A diagnostic environment for automaton networks},
journal = {Softw. Pract. Exp.},
volume = {37},
number = {4},
pages = {365--415},
year = {2007},
url = {https://doi.org/10.1002/spe.773},
doi = {10.1002/SPE.773},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/CeruttiLSZZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LampertiZ06,
author = {Gianfranco Lamperti and
Marina Zanella},
title = {Flexible diagnosis of discrete-event systems by similarity-based reasoning
techniques},
journal = {Artif. Intell.},
volume = {170},
number = {3},
pages = {232--297},
year = {2006},
url = {https://doi.org/10.1016/j.artint.2005.08.002},
doi = {10.1016/J.ARTINT.2005.08.002},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/LampertiZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/LampertiZ06,
author = {Gianfranco Lamperti and
Marina Zanella},
editor = {Yannis Manolopoulos and
Joaquim Filipe and
Panos Constantopoulos and
Jos{\'{e}} Cordeiro},
title = {Incremental Processing of Temporal Observations in Supervision and
Diagnosis of Discrete-Event Systems},
booktitle = {{ICEIS} 2006 - Proceedings of the Eighth International Conference
on Enterprise Information Systems: Databases and Information Systems
Integration, Paphos, Cyprus, May 23-27, 2006},
pages = {47--57},
year = {2006},
timestamp = {Thu, 02 Feb 2017 12:53:45 +0100},
biburl = {https://dblp.org/rec/conf/iceis/LampertiZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/LampertiZ06a,
author = {Gianfranco Lamperti and
Marina Zanella},
editor = {Yannis Manolopoulos and
Joaquim Filipe and
Panos Constantopoulos and
Jos{\'{e}} Cordeiro},
title = {On Processing Temporal Observations in Monitoring of Discrete-Event
Systems},
booktitle = {Enterprise Information Systems, 8th International Conference, {ICEIS}
2006, Paphos, Cyprus, May 23-27, 2006, Revised Selected Papers},
series = {Lecture Notes in Business Information Processing},
volume = {3},
pages = {135--146},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-77581-2\_9},
doi = {10.1007/978-3-540-77581-2\_9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceis/LampertiZ06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/LampertiZ04,
author = {Gianfranco Lamperti and
Marina Zanella},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
Lorenza Saitta},
title = {Diagnosis of Discrete-Event Systems by Separation of Concerns, Knowledge
Compilation, and Reuse},
booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,
ECAI'2004, including Prestigious Applicants of Intelligent Systems,
{PAIS} 2004, Valencia, Spain, August 22-27, 2004},
pages = {838--842},
publisher = {{IOS} Press},
year = {2004},
timestamp = {Fri, 11 May 2018 12:42:30 +0200},
biburl = {https://dblp.org/rec/conf/ecai/LampertiZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/LampertiZ04,
author = {Gianfranco Lamperti and
Marina Zanella},
title = {Dynamic Diagnosis of Active Systems with Fragmented Observations},
booktitle = {{ICEIS} 2004, Proceedings of the 6th International Conference on Enterprise
Information Systems, Porto, Portugal, April 14-17, 2004},
pages = {249--261},
year = {2004},
timestamp = {Thu, 02 Feb 2017 12:56:49 +0100},
biburl = {https://dblp.org/rec/conf/iceis/LampertiZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apin/LampertiZ03,
author = {Gianfranco Lamperti and
Marina Zanella},
title = {{EDEN:} An Intelligent Software Environment for Diagnosis of Discrete-Event
Systems},
journal = {Appl. Intell.},
volume = {18},
number = {1},
pages = {55--77},
year = {2003},
url = {https://doi.org/10.1023/A:1020974704946},
doi = {10.1023/A:1020974704946},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apin/LampertiZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LampertiZ02,
author = {Gianfranco Lamperti and
Marina Zanella},
title = {Diagnosis of discrete-event systems from uncertain temporal observations},
journal = {Artif. Intell.},
volume = {137},
number = {1-2},
pages = {91--163},
year = {2002},
url = {https://doi.org/10.1016/S0004-3702(02)00123-6},
doi = {10.1016/S0004-3702(02)00123-6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/LampertiZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GarattiLZ02,
author = {Roberto Garatti and
Gianfranco Lamperti and
Marina Zanella},
editor = {Frank van Harmelen},
title = {Diagnosis of Discrete-Event Systems with Model-Based Prospection Knowledge},
booktitle = {Proceedings of the 15th European Conference on Artificial Intelligence,
ECAI'2002, Lyon, France, July 2002},
pages = {427--431},
publisher = {{IOS} Press},
year = {2002},
timestamp = {Mon, 03 Jan 2022 07:50:19 +0100},
biburl = {https://dblp.org/rec/conf/ecai/GarattiLZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/artmed/BaroniGZ01,
author = {Pietro Baroni and
Giovanni Guida and
Marina Zanella},
title = {Managing uncertainty in diagnosis of acute coronaric ischemia},
journal = {Artif. Intell. Medicine},
volume = {23},
number = {2},
pages = {129--147},
year = {2001},
url = {https://doi.org/10.1016/S0933-3657(01)00081-1},
doi = {10.1016/S0933-3657(01)00081-1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/artmed/BaroniGZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/BaroniGZ01,
author = {Pietro Baroni and
Giovanni Guida and
Marina Zanella},
title = {{GART:} a tool for experimenting with approximate reasoning models},
journal = {Expert Syst. Appl.},
volume = {21},
number = {1},
pages = {15--30},
year = {2001},
url = {https://doi.org/10.1016/S0957-4174(01)00022-7},
doi = {10.1016/S0957-4174(01)00022-7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eswa/BaroniGZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apin/LampertiZP00,
author = {Gianfranco Lamperti and
Marina Zanella and
Paolo Pogliano},
title = {Diagnosis of Active Systems by Automata-Based Reasoning Techniques},
journal = {Appl. Intell.},
volume = {12},
number = {3},
pages = {217--237},
year = {2000},
url = {https://doi.org/10.1023/A:1008319108717},
doi = {10.1023/A:1008319108717},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apin/LampertiZP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/BaroniLPZ00,
author = {Pietro Baroni and
Gianfranco Lamperti and
Paolo Pogliano and
Marina Zanella},
title = {Diagnosis of a class of distributed discrete-event systems},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {A}},
volume = {30},
number = {6},
pages = {731--752},
year = {2000},
url = {https://doi.org/10.1109/3468.895897},
doi = {10.1109/3468.895897},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/BaroniLPZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/LampertiZ00,
author = {Gianfranco Lamperti and
Marina Zanella},
editor = {Werner Horn},
title = {Uncertain Temporal Observations in Diagnosis},
booktitle = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial
Intelligence, Berlin, Germany, August 20-25, 2000},
pages = {151--155},
publisher = {{IOS} Press},
year = {2000},
timestamp = {Mon, 30 Jun 2003 10:55:01 +0200},
biburl = {https://dblp.org/rec/conf/ecai/LampertiZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LampertiZ00,
author = {Gianfranco Lamperti and
Marina Zanella},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Generation of Diagnostic Knowledge by Discrete-Event Model Compilation},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {333--344},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/kr/LampertiZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wmp/LampertiMZ00,
author = {Gianfranco Lamperti and
Michele Melchiori and
Marina Zanella},
editor = {Cristian Calude and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {On Multisets in Database Systems},
booktitle = {Multiset Processing, Mathematical, Computer Science, and Molecular
Computing Points of View [Workshop on Multiset Processing, {WMP} 2000,
Curtea de Arges, Romania, August 21-25, 2000]},
series = {Lecture Notes in Computer Science},
volume = {2235},
pages = {147--216},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45523-X\_9},
doi = {10.1007/3-540-45523-X\_9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wmp/LampertiMZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/kl/GuidaLZ99,
author = {Giovanni Guida and
Gianfranco Lamperti and
Marina Zanella},
title = {Software Prototyping in Data and Knowledge Engineering},
publisher = {Kluwer},
year = {1999},
isbn = {0-7923-6016-8},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/kl/GuidaLZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BaroniLPZ99,
author = {Pietro Baroni and
Gianfranco Lamperti and
Paolo Pogliano and
Marina Zanella},
title = {Diagnosis of Large Active Systems},
journal = {Artif. Intell.},
volume = {110},
number = {1},
pages = {135--183},
year = {1999},
url = {https://doi.org/10.1016/S0004-3702(99)00019-3},
doi = {10.1016/S0004-3702(99)00019-3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BaroniLPZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BaroniLPZ98,
author = {Pietro Baroni and
Gianfranco Lamperti and
Paolo Pogliano and
Marina Zanella},
editor = {Henri Prade},
title = {Diagnosis of Active Systems},
booktitle = {13th European Conference on Artificial Intelligence, Brighton, UK,
August 23-28 1998, Proceedings.},
pages = {274--278},
publisher = {John Wiley and Sons},
year = {1998},
timestamp = {Wed, 31 Jul 2019 08:45:03 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BaroniLPZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/GuidaZ97,
author = {Giovanni Guida and
Marina Zanella},
title = {Bridging the Gap between Users and Complex Decision Support Systems:
the Role of Justification},
booktitle = {3rd {IEEE} International Conference on Engineering of Complex Computer
Systems {(ICECCS} '97), 8-12 September 1997, Lake Como, Italy},
pages = {229},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.1997.10001},
doi = {10.1109/ICECCS.1997.10001},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/GuidaZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cad/ZanellaG96,
author = {Marina Zanella and
Paolo Gubian},
title = {A conceptual model for design management},
journal = {Comput. Aided Des.},
volume = {28},
number = {1},
pages = {33--49},
year = {1996},
url = {https://doi.org/10.1016/0010-4485(95)00033-X},
doi = {10.1016/0010-4485(95)00033-X},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cad/ZanellaG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/GuidaZ95,
author = {Giovanni Guida and
Marina Zanella},
editor = {Marco Gori and
Giovanni Soda},
title = {Preventive Diagnosis: Definition and Logical Model},
booktitle = {Topics in Artificial Intelligence, 4th Congress of the Italian Association
for Artificial Intelligence, AI*IA'95, Florence, Italy, October 11-13,
1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {992},
pages = {347--352},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60437-5\_34},
doi = {10.1007/3-540-60437-5\_34},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/GuidaZ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsi/ZanellaG91,
author = {Marina Zanella and
Paolo Gubian},
editor = {Arne Halaas and
Peter B. Denyer},
title = {Workspace and Methodology Management in the Octtools Environment},
booktitle = {{VLSI} 91, Proceedings of the {IFIP} {TC10/WG} 10.5 International
Conference on Very Large Scale Integration, Edinburgh, Scotland, 20-22
August, 1991},
series = {{IFIP} Transactions},
volume = {{A-1}},
pages = {307--316},
publisher = {North-Holland},
year = {1991},
timestamp = {Fri, 02 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vlsi/ZanellaG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2023-12-19 23:04 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:
