10 results for Papacchini,+Fabio

10 results for Papacchini,+Fabio

Export record to excel

File type to download

Beta version
  • Export this record

    Export record to excel

    File type to download

    Beta version
    ArticlesPeer ReviewedFull Text

    Author / Creator:Fisher, Michael ; Cardoso, Rafael C. ; Collins, Emily C. ; Dadswell, Christopher ; Dennis, Louise A. ; Dixon, Clare ; Farrell, Marie ; Ferrando, Angelo ; Huang, Xiaowei ; Jump, Mike ; Kourtis, Georgios ; Lisitsa, Alexei ; Luckcuck, Matt ; Luo, Shan ; Page, Vincent ; Papacchini, Fabio ; Webster, Matt
    Publisher:Basel: MDPI AG
    Journal title:Robotics (Basel), 2021-06, Vol.10 (2), p.67
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.
  • Export this record

    Export record to excel

    File type to download

    Beta version
    ArticlesPeer ReviewedFull Text

    Author / Creator:Papacchini, Fabio ; Nalon, Cláudia ; Hustadt, Ullrich ; Dixon, Clare
    Publisher:Dordrecht: Springer Netherlands
    Journal title:Journal of automated reasoning, 2022-11, Vol.66 (4), p.639-666
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.
  • Export this record

    Export record to excel

    File type to download

    Beta version
    ArticlesPeer ReviewedFull Text

    Author / Creator:Papacchini, Fabio ; Nalon, Cláudia ; Hustadt, Ullrich ; Dixon, Clare
    Publisher:Dordrecht: Springer Netherlands
    Journal title:Journal of automated reasoning, 2022-11, Vol.66 (4), p.1099-1099
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.
  • Export this record

    Export record to excel

    File type to download

    Beta version
    ArticlesFull Text

    Author / Creator:Cardoso, Rafael C ; Ferrando, Angelo ; Papacchini, Fabio ; Askarpour, Mehrnoosh ; Dennis, Louise A
    Publisher:Ithaca: Cornell University Library, arXiv.org
    Journal title:arXiv.org, 2022-07
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.
  • Export this record

    Export record to excel

    File type to download

    Beta version
    ArticlesFull Text

    Author / Creator:Cardoso, Rafael C ; Ferrando, Angelo ; Papacchini, Fabio ; Luckcuck, Matt ; Linker, Sven ; Payne, Terry R
    Publisher:Ithaca: Cornell University Library, arXiv.org
    Journal title:arXiv.org, 2021-10
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.
  • Export this record

    Export record to excel

    File type to download

    Beta version
    ArticlesFull Text

    Author / Creator:Hernich, Andre ; Lutz, Carsten ; Papacchini, Fabio ; Wolter, Frank
    Publisher:Ithaca: Cornell University Library, arXiv.org
    Journal title:arXiv.org, 2018-04
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.
  • Export this record

    Export record to excel

    File type to download

    Beta version
    ArticlesFull Text

    Author / Creator:Linker, Sven ; Papacchini, Fabio ; Sevegnani, Michele
    Publisher:Ithaca: Cornell University Library, arXiv.org
    Journal title:arXiv.org, 2020-07
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.
  • Export this record

    Export record to excel

    File type to download

    Beta version
    ArticlesFull Text

    Author / Creator:Cardoso, Rafael C ; Ferrando, Angelo ; Papacchini, Fabio
    Publisher:Ithaca: Cornell University Library, arXiv.org
    Journal title:arXiv.org, 2020-06
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.
  • Export this record

    Export record to excel

    File type to download

    Beta version
    ArticlesFull Text

    Author / Creator:Zhao, Xingyu ; Osborne, Matt ; Lantair, Jenny ; Robu, Valentin ; Flynn, David ; Huang, Xiaowei ; Fisher, Michael ; Papacchini, Fabio ; Ferrando, Angelo
    Publisher:Ithaca: Cornell University Library, arXiv.org
    Journal title:arXiv.org, 2019-08
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.
  • Export this record

    Export record to excel

    File type to download

    Beta version
    ArticlesFull Text

    Author / Creator:Jung, Jean Christoph ; Papacchini, Fabio ; Wolter, Frank ; Zakharyaschev, Michael
    Publisher:Ithaca: Cornell University Library, arXiv.org
    Journal title:arXiv.org, 2019-04
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.