Search Results - Comini, Marco

Refine Results
  1. 1
    Teaching automotive suspension design to engineering students: Bridging the gap between CAD and CAE tools through an integrated approach

    Teaching automotive suspension design to engineering students: Bridging the gap between CAD and CAE tools through an integrated approach by Gadola, Marco, Chindamo, Daniel, Legnani, Giovanni, Comini, Marco

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Abstract diagnosis for timed concurrent constraint programs

    Abstract diagnosis for timed concurrent constraint programs by COMINI, MARCO, TITOLO, LAURA, VILLANUEVA, ALICIA

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Abstract Diagnosis for tccp using a Linear Temporal Logic

    Abstract Diagnosis for tccp using a Linear Temporal Logic by COMINI, MARCO, TITOLO, LAURA, VILLANUEVA, ALICIA

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    A program analysis framework for tccp based on abstract interpretation

    A program analysis framework for tccp based on abstract interpretation by Comini, Marco, Gallardo, María-del-Mar, Titolo, Laura, Villanueva, Alicia

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  5. 5
    A Theory of Observables for Logic Programs

    A Theory of Observables for Logic Programs by Comini, Marco, Levi, Giorgio, Meo, Maria Chiara

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    A denotational semantics for PROMELA addressing arbitrary jumps

    A denotational semantics for PROMELA addressing arbitrary jumps by Comini, Marco, María del Mar Gallardo, Villanueva, Alicia

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Abstract interpretation based verification of logic programs

    Abstract interpretation based verification of logic programs by Comini, Marco, Gori, Roberta, Levi, Giorgio, Volpe, Paolo

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  8. 8
    Abstract Diagnosis for tccp using a Linear Temporal Logic

    Abstract Diagnosis for tccp using a Linear Temporal Logic by Comini, Marco, Titolo, Laura, Villanueva, Alicia

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Compositionality properties of SLD-derivations

    Compositionality properties of SLD-derivations by Comini, Marco, Chiara Meo, Maria

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    Preface

    Preface by Comini, Marco, Falaschi, Moreno

    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Towards an Effective Decision Procedure for LTL formulas with Constraints

    Towards an Effective Decision Procedure for LTL formulas with Constraints by Comini, Marco, Titolo, Laura, Villanueva, Alicia

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Abstract Diagnosis for Timed Concurrent Constraint programs

    Abstract Diagnosis for Timed Concurrent Constraint programs by Comini, Marco, Titolo, Laura, Villanueva, Alicia

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Assertion based Inductive Verification Methods for Logic Programs

    Assertion based Inductive Verification Methods for Logic Programs by Comini, Marco, Gori, Roberta, Levi, Giorgio

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  14. 14
    Logic programs as specifications in the inductive verification of logic programs

    Logic programs as specifications in the inductive verification of logic programs by Comini, Marco, Gori, Roberta, Levi, Giorgio

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  15. 15
    Abstract diagnosis

    Abstract diagnosis by Comini, Marco, Levi, Giorgio, Meo, Maria Chiara, Vitiello, Giuliana

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    Abstract Interpretation based Verification of Logic Programs

    Abstract Interpretation based Verification of Logic Programs by Comini, Marco, Gori, Roberta, Levi, Giorgio, Volpe, Paolo

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    The indole motif is essential for the antitrypanosomal activity of N5-substituted paullones

    The indole motif is essential for the antitrypanosomal activity of N5-substituted paullones by Ihnatenko, Irina, Müller, Marco J, Orban, Oliver C F, Lindhof, Jens C, Benítez, Diego, Ortíz, Cecilia, Dibello, Estefanía, Seidl, Leonardo L, Comini, Marcelo A, Kunick, Conrad

    Published in PloS one
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  18. 18
    Branch-like NiO/ZnO heterostructures for VOC sensing

    Branch-like NiO/ZnO heterostructures for VOC sensing by Kaur, Navpreet, Zappa, Dario, Ferroni, Matteo, Poli, Nicola, Campanini, Marco, Negrea, Raluca, Comini, Elisabetta

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  19. 19
    Real-life data on potential drug-drug interactions in patients with chronic hepatitis C viral infection undergoing antiviral therapy with interferon-free DAAs in the PITER Cohort Study

    Real-life data on potential drug-drug interactions in patients with chronic hepatitis C viral infection undergoing antiviral therapy with interferon-free DAAs in the PITER Cohort S... by Kondili, Loreta A, Gaeta, Giovanni Battista, Ieluzzi, Donatella, Zignego, Anna Linda, Monti, Monica, Gori, Andrea, Soria, Alessandro, Raimondo, Giovanni, Filomia, Roberto, Di Leo, Alfredo, Iannone, Andrea, Massari, Marco, Corsini, Romina, Gulminetti, Roberto, Gatti Comini, Alberto, Toniutto, Pierluigi, Dissegna, Denis, Russo, Francesco Paolo, Zanetto, Alberto, Rumi, Maria Grazia, Brancaccio, Giuseppina, Danieli, Elena, Brunetto, Maurizia Rossana, Weimer, Liliana Elena, Quaranta, Maria Giovanna, Vella, Stefano, Puoti, Massimo

    Published in PloS one
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  20. 20
    In vitro activity of cefiderocol against ceftazidime-avibactam susceptible and resistant KPC-producing Enterobacterales: cross-resistance and synergistic effects

    In vitro activity of cefiderocol against ceftazidime-avibactam susceptible and resistant KPC-producing Enterobacterales: cross-resistance and synergistic effects by Bianco, Gabriele, Boattini, Matteo, Comini, Sara, Iannaccone, Marco, Bondi, Alessandro, Cavallo, Rossana, Costa, Cristina

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: