Skip to contents

  1. Artale, Alessandro [Author]; Mazzullo, Andrea [Author]; Ozaki, Ana [Author]

    Finite vs. Infinite Traces in Temporal Logics

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2020

    Published in: Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis (2. : 2020 : Online): 2nd Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis, September 25, 2020 ; (2020), Seite 23-27

  3. Artale, Alessandro [Author]; Mazzullo, Andrea [Author]; Ozaki, Ana [Author]

    Do you need infinite time?

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Bolzano, Italy: KRDB Research Centre for Knowledge and Data, Faculty of Computer Science, Free University of Bozen-Bolzano, June 01, 2019

    Published in: KRDB Research Centre technical report ; KRDB 19, 01

  4. Artale, Alessandro [Author]; Geatti, Luca [Author]; Gigante, Nicola [Author]; Mazzullo, Andrea [Author]; Montanari, Angelo [Author] ; Alessandro Artale and Luca Geatti and Nicola Gigante and Andrea Mazzullo and Angelo Montanari [Contributor]

    LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023

  5. Calvanese, Diego [Author]; Gianola, Alessandro [Author]; Mazzullo, Andrea [Author]; Montali, Marco [Author]

    SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results)

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2021

    Published in: International Workshop on Description Logics (34. : 2021 : Bratislava; Online): DL 2021: Description Logics 2021 ; 2021

  6. Artale, Alessandro [Author]; Mazzullo, Andrea [Author]; Ozaki, Ana [Author]; Wolter, Frank [Author]

    On Free Description Logics with Definite Descriptions

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2020

    Published in: International Workshop on Description Logics (33. : 2020 : Online): DL 2020: Description Logics 2020 ; 2020

  7. Artale, Alessandro [Author]; Jung, Jean Christoph [Author]; Mazzullo, Andrea [Author]; Ozaki, Ana [Author]; Wolter, Frank [Author]

    Living without beth and craig : explicit definitions and interpolants in description logics with nominals (extended abstract)

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2020

    Published in: International Workshop on Description Logics (33. : 2020 : Online): DL 2020: Description Logics 2020 ; 2020

  12. Attili, Anna-Rita; Iacoucci, Cristina; Serri, Evelina; Cuteri, Vincenzo; Cantalamessa, Andrea; Linardi, Martina; Rifici, Claudia; Mazzullo, Giuseppe; Rossi, Giacomo; Galosi, Livio; Tambella, Adolfo Maria

    Antibacterial Properties of Canine Platelet-Rich Plasma and Other Non-Transfusional Hemo-Components: An in vitro Study

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Frontiers Media SA, 2021

    Published in: Frontiers in Veterinary Science

  13. Conti, Eugenia; Sgandurra, Giuseppina; De Nicola, Giacomo; Biagioni, Tommaso; Boldrini, Silvia; Bonaventura, Eleonora; Buchignani, Bianca; Della Vecchia, Stefania; Falcone, Francesca; Fedi, Caterina; Gazzillo, Marisa; Marinella, Gemma; Mazzullo, Cristina; Micomonaco, Jessica; Pantalone, Gloria; Salvati, Andrea; Sesso, Gianluca; Simonelli, Valerio; Tolomei, Greta; Troiano, Irene; Cioni, Giovanni; Masi, Gabriele; Muratori, Filippo; Milone, Annarita;

    Behavioural and Emotional Changes during COVID-19 Lockdown in an Italian Paediatric Population with Neurologic and Psychiatric Disorders

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    MDPI AG, 2020

    Published in: Brain Sciences