All Stories

  1. Determinization and minimization of finite acyclic automata by incremental techniques

    Article • Software Practice and Experience, January 2015, Wiley

    Professor Gianfranco Lamperti

  2. Diagnosis of Active Systems by Semantic Patterns

    Article • IEEE Transactions on Systems Man and Cybernetics Systems, August 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Gianfranco Lamperti

  3. Metrics-Based Incremental Determinization of Finite Automata

    Article • January 2014, Springer Science + Business Media

    Professor Gianfranco Lamperti

  4. Incremental Determinization and Minimization of Finite Acyclic Automata

    Article • October 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Gianfranco Lamperti

  5. Specification and Model-Based Diagnosis of Higher-Order Discrete-Event Systems

    Article • October 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Gianfranco Lamperti

  6. Diagnosis of Higher-Order Discrete-Event Systems

    Article • January 2013, Springer Science + Business Media

    Professor Gianfranco Lamperti

  7. Monitoring of Active Systems With Stratified Uncertain Observations

    Article • IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans, March 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Gianfranco Lamperti

  8. english

    Article • January 2010, Scitepress

    Professor Gianfranco Lamperti

  9. Monotonic Monitoring of Discrete-Event Systems with Uncertain Temporal Observations

    Article • January 2009, Springer Science + Business Media

    Professor Gianfranco Lamperti

  10. On Processing Temporal Observations in Monitoring of Discrete-Event Systems

    Article • January 2008, Springer Science + Business Media

    Professor Gianfranco Lamperti

  11. A diagnostic environment for automaton networks

    Article • Software Practice and Experience, January 2007, Wiley

    Professor Gianfranco Lamperti

  12. Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques

    Article • Artificial Intelligence, March 2006, Elsevier

    Professor Gianfranco Lamperti

  13. Active Systems

    Article • January 2003, Springer Science + Business Media

    Professor Gianfranco Lamperti

  14. Diagnosis of Active Systems

    Article • January 2003, Springer Science + Business Media

    Professor Gianfranco Lamperti

  15. Diagnosis of Discrete-Event Systems

    Article • January 2003, Springer Science + Business Media

    Professor Gianfranco Lamperti

  16. Diagnosis of discrete-event systems from uncertain temporal observations

    Article • Artificial Intelligence, May 2002, Elsevier

    Professor Gianfranco Lamperti

  17. On Multisets in Database Systems

    Article • January 2001, Springer Science + Business Media

    Professor Gianfranco Lamperti

  18. Diagnosis of a class of distributed discrete-event systems

    Article • IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans, January 2000, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Gianfranco Lamperti

  19. Diagnosis of large active systems

    Article • Artificial Intelligence, May 1999, Elsevier

    Professor Gianfranco Lamperti

  20. Software Prototyping in Data and Knowledge Engineering

    Article • January 1999, Springer Science + Business Media

    Professor Gianfranco Lamperti

  21. Advanced Relational Programming

    Article • January 1996, Springer Science + Business Media

    Professor Gianfranco Lamperti

  22. Incremental Determinization of Finite Automata in Model-Based Diagnosis of Active Systems

    Article • Springer Science + Business Media

    Professor Gianfranco Lamperti