You are here

Andrea Micheli

Postdoc
  • Phone: 0461314138
  • FBK Povo
Publications
  1. Valentini, Alessandro; Micheli, Andrea; Cimatti, Alessandro,
    Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20),
    AAAI Press,
    vol.34,
    n. 6,
    2020
    , (Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20),
    New York, USA,
    February 7-12, 2020)
  2. Gigante, Nicola; Micheli, Andrea; Montanari, Angelo; Scala, Enrico,
    Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20),
    AAAI Press,
    2020
    , (Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20),
    New York, USA,
    February 7-12, 2020)
  3. Micheli, Andrea; Scala, Enrico,
    Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19),
    AAAI Press,
    2019
    , pp. 7675-
    7682
    , (The Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19),
    Honolulu,Hawaii, USA,
    January 27 – February 1, 2019)
  4. Cashmore, Michael; Cimatti, Alessandro; Magazzeni, Daniele; Micheli, Andrea; Zehtabi, Parisa,
    Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19),
    vol.33,
    2019
    , (Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19),
    Hilton Hawaiian Village, Honolulu, Hawaii, USA,
    January 27 – February 1, 2019)
  5. Cimatti, Alessandro; Minh, Do; Micheli, Andrea; Roveri, Marco; Smith, David E.,
    in «ARTIFICIAL INTELLIGENCE»,
    vol. 256,
    2018
    , pp. 1 -
    34
  6. Micheli, Andrea,
    Disjunctive temporal networks with uncertainty via SMT: Recent results and directions,
    in «INTELLIGENZA ARTIFICIALE»,
    vol. 11,
    n. 2,
    2017
    , pp. 155 -
    178
  7. Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco,
    Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence,
    AAAI Press,
    2017
    , pp. 3547-
    3554
    , (Thirty-First AAAI Conference on Artificial Intelligence,
    San Francisco, California, USA.,
    February 4-9, 2017)
  8. Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco,
    in «ACTA INFORMATICA»,
    2016
    , pp. 1 -
    42
  9. Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco; Griggio, Alberto; Mattarei, Cristian; Micheli, Andrea; Zampedri, Gianni,
    Tools and Algorithms for the Construction and Analysis of Systems,
    Springer Berlin Heidelberg,
    vol.9636,
    2016
    , pp. 533-
    539
    , (Tools and Algorithms for the Construction and Analysis of Systems,
    Eindhoven, The Netherlands,
    2-8 aprile 2016)
  10. Alessandro Cimatti; Andrea Micheli; Marco Roveri,
    Proceedings of the Thirtieth AAAI}Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA,
    2016
    , pp. 3116-
    3122
    , (Thirtieth AAAI}Conference on Artificial Intelligence,
    Phoenix, Arizona, USA,
    February 12-17, 2016)

Pages