default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGianfranco Lamperti
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j21]Gianfranco Lamperti, Stefano Trerotola, Marina Zanella, Xiangfu Zhao:
Sequence-Oriented Diagnosis of Discrete-Event Systems. J. Artif. Intell. Res. 78: 69-141 (2023)- [j20]Michele Dusi
, Gianfranco Lamperti:
Quick Subset Construction. Softw. Pract. Exp. 53(11): 2092-2132 (2023) - 2022
- [j19]Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Fault Diagnosis of Discrete-Event Systems from Abstract Observations. Comput. Informatics 41(1): 116-134 (2022) - [c44]Federico Cerutti, Daniele Barattieri di San Pietro, Francesco Gringoli, Gianfranco Lamperti:
Looking for Criminal Intents in JavaScript Obfuscated Code. KES 2022: 867-876 - 2021
- [c43]Michele Dusi, Gianfranco Lamperti:
Fixing Nondeterminism in Large Discrete-Event Knowledge. KES 2021: 407-416 - [c42]Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Diagnosis of Active Systems with Abstract Observability. KES-IDT 2021: 505-517 - [c41]Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Diagnosis of Active Systems with Abstract Observations and Compiled Knowledge. KR 2021: 442-453 - 2020
- [j18]Xiangfu Zhao, Gianfranco Lamperti, Dantong Ouyang, Xiangrong Tong:
Minimal Diagnosis and Diagnosability of Discrete-Event Systems Modeled by Automata. Complex. 2020: 4306261:1-4306261:17 (2020) - [j17]Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Diagnosis of Deep Discrete-Event Systems. J. Artif. Intell. Res. 69: 1473-1532 (2020) - [j16]Gianfranco Lamperti:
Temporal determinization of mutating finite automata: Reconstructing or restructuring. Softw. Pract. Exp. 50(4): 335-367 (2020) - [c40]Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Diagnosis of Temporal Faults in Discrete-Event Systems. ECAI 2020: 632-639 - [c39]Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Temporal-Fault Diagnosis for Critical-Decision Making in Discrete-Event Systems. KES 2020: 521-530 - [c38]Michele Dusi, Gianfranco Lamperti:
Conservative Determinization of Translated Automata by Embedded Subset Construction. KES-IDT 2020: 49-61 - [c37]Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Explanatory Monitoring of Discrete-Event Systems. KES-IDT 2020: 63-77 - [c36]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
- [c35]Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella:
Temporal Diagnosis of Discrete-Event Systems with Dual Knowledge Compilation. CD-MAKE 2019: 333-352 - [c34]Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella:
A Posteriori Diagnosis of Discrete-Event Systems with Symptom Dictionary and Scenarios. IEA/AIE 2019: 325-333 - [c33]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 - [c32]Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella:
Intelligent Diagnosis of Discrete-Event Systems with Preprocessing of Critical Scenarios. KES-IDT (1) 2019: 109-121 - 2018
- [b3]Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Introduction to Diagnosis of Active Systems. Springer 2018, ISBN 978-3-319-92731-2, pp. 1-353 - [c31]Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Knowledge Compilation Techniques for Model-Based Diagnosis of Complex Active Systems. CD-MAKE 2018: 43-64 - [c30]Giovanni Caniato, Gianfranco Lamperti:
Online Determinization of Large Mutating Automata. KES 2018: 59-68 - [c29]Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao:
Abductive Diagnosis of Complex Active Systems with Compiled Knowledge. KR 2018: 464-473 - 2017
- [c28]Gianfranco Lamperti, Xiangfu Zhao:
Decremental Subset Construction. KES-IDT (1) 2017: 22-36 - 2016
- [j15]Simone Brognoli, Gianfranco Lamperti, Michele Scandale:
Incremental Determinization of Expanding Automata. Comput. J. 59(12): 1872-1899 (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) - [c27]Gianfranco Lamperti, Xiangfu Zhao:
Diagnosis of Complex Active Systems with Uncertain Temporal Observations. CD-ARES 2016: 45-62 - [c26]Gianfranco Lamperti, Giulio Quarenghi:
Intelligent Monitoring of Complex Discrete-Event Systems. KES-IDT (1) 2016: 215-229 - [c25]Gianfranco Lamperti, Xiangfu Zhao:
Viable diagnosis of complex active systems. SMC 2016: 457-462 - 2014
- [j13]Gianfranco Lamperti, Xiangfu Zhao:
Diagnosis of Active Systems by Semantic Patterns. IEEE Trans. Syst. Man Cybern. Syst. 44(8): 1028-1043 (2014) - [c24]Sergiu I. Balan, Gianfranco Lamperti, Michele Scandale:
Metrics-Based Incremental Determinization of Finite Automata. CD-ARES 2014: 29-44 - [c23]Sergiu Iulian Balan, Gianfranco Lamperti, Michele Scandale:
Incremental Subset Construction Revisited. IDT/IIMSS/STET 2014: 25-37 - 2013
- [j12]Gianfranco Lamperti, Michele Scandale:
From diagnosis of active systems to incremental determinization of finite acyclic automata. AI Commun. 26(4): 373-393 (2013) - [c22]Gianfranco Lamperti, Xiangfu Zhao:
Diagnosis of Higher-Order Discrete-Event Systems. CD-ARES 2013: 162-177 - [c21]Gianfranco Lamperti, Michele Scandale:
Incremental Determinization and Minimization of Finite Acyclic Automata. SMC 2013: 2250-2257 - [c20]Gianfranco Lamperti, Xiangfu Zhao:
Specification and Model-Based Diagnosis of Higher-Order Discrete-Event Systems. SMC 2013: 2342-2347 - 2011
- [j11]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
- [j10]Gianfranco Lamperti, Marina Zanella, Davide Zanni:
Incremental processing of temporal observations in Model-Based Reasoning. AI Commun. 20(1): 27-37 (2007) - [j9]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
- [j8]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
- [j7]Gianfranco Lamperti, Marina Zanella:
EDEN: An Intelligent Software Environment for Diagnosis of Discrete-Event Systems. Appl. Intell. 18(1): 55-77 (2003) - 2002
- [j6]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 - 2000
- [j5]Gianfranco Lamperti, Marina Zanella, Paolo Pogliano:
Diagnosis of Active Systems by Automata-Based Reasoning Techniques. Appl. Intell. 12(3): 217-237 (2000) - [j4]Giovanni Guida, Gianfranco Lamperti:
AMMETH: a methodology for requirements analysis of advanced human-system interfaces. IEEE Trans. Syst. Man Cybern. Part A 30(3): 298-321 (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
- [b2]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]Gianfranco Lamperti, Paolo Pogliano:
Event-Based Reasoning for Short Circuit Diagnosis in Power Transmission Networks. IJCAI (1) 1997: 446-453 - 1996
- [b1]Filippo Cacace, Gianfranco Lamperti:
Advanced Relational Programming: Mathematics and Its Applications. Mathematics and Its Applications 371, Kluwer 1996, ISBN 0-7923-4081-7 - 1992
- [c2]Roberto V. Zicari, Filippo Cacace, C. Capelli, A. Galipo, A. Pirovano, A. Romboli, Gianfranco Lamperti:
The SOL Object-Oriented Database Language. CAiSE 1992: 105-127 - 1990
- [j1]Stefano Ceri, Stefano Crespi-Reghizzi, Roberto V. Zicari, Gianfranco Lamperti, Luigi Lavazza:
Algres: An Advanced System for Complex Applications. IEEE Softw. 7(4): 68-78 (1990)
1980 – 1989
- 1989
- [c1]Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Georg Gottlob, Gianfranco Lamperti, Luigi Lavazza, Letizia Tanca, Roberto V. Zicari:
ALGRES: An Extended Relational Database System for the Specification and Prototyping of Complex Applications. CA(i)SE 1989
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 2024-06-10 20:26 CEST 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:
