Works by Cimatti, A.


Results: 133
    1
    2
    3
    4
    5

    Dynamic controllability via Timed Game Automata.

    Published in:
    Acta Informatica, 2016, v. 53, n. 6-8, p. 681, doi. 10.1007/s00236-016-0257-2
    By:
    • Cimatti, Alessandro;
    • Hunsberger, Luke;
    • Micheli, Andrea;
    • Posenato, Roberto;
    • Roveri, Marco
    Publication type:
    Article
    6
    7

    SYMBOLIC IMPLEMENTATION OF ALTERNATING AUTOMATA.

    Published in:
    International Journal of Foundations of Computer Science, 2007, v. 18, n. 4, p. 727, doi. 10.1142/S0129054107004942
    By:
    • BLOEM, RODERICK;
    • CIMATTI, ALESSANDRO;
    • PILL, INGO;
    • ROVERI, MARCO
    Publication type:
    Article
    8

    The mathematics of varistors.

    Published in:
    European Journal of Applied Mathematics, 2017, v. 28, n. 2, p. 208, doi. 10.1017/S0956792516000218
    By:
    • CIMATTI, GIOVANNI
    Publication type:
    Article
    9
    10
    11

    P-stable abstractions of hybrid systems.

    Published in:
    Software & Systems Modeling, 2024, v. 23, n. 2, p. 403, doi. 10.1007/s10270-023-01145-x
    By:
    • Becchi, Anna;
    • Cimatti, Alessandro;
    • Zaffanella, Enea
    Publication type:
    Article
    12
    13
    14
    15
    16

    Old galaxies in the young Universe.

    Published in:
    Nature, 2004, v. 430, n. 6996, p. 184, doi. 10.1038/nature02668
    By:
    • Cimatti, A.;
    • Daddi, E.;
    • Renzini, A.;
    • Cassata, P.;
    • Vanzella, E.;
    • Pozzetti, L.;
    • Cristiani, S.;
    • Fontana, A.;
    • Rodighiero, G.;
    • Mignoli, M.;
    • Zamorani, G.
    Publication type:
    Article
    17

    A Chiara.

    Published in:
    2022
    By:
    • Cimatti, Felice
    Publication type:
    Film/TV Criticism and Review
    18
    19

    ANOMALOUS AORTIC ORIGIN OF THE LEFT CORONARY ARTERY.

    Published in:
    Medicina (Buenos Aires), 2023, v. 83, n. 1, p. 153
    By:
    • MRAD, SEBASTIÁN;
    • BELLIA, SEBASTIÁN;
    • CIMATTI, ANA;
    • PABLO DE BRAHI, JUAN;
    • IAMEVO, RAFAEL;
    • PALACIOS, ALEJANDRO;
    • PANNO, MERCEDES
    Publication type:
    Article
    20
    21
    22

    SPACE: the spectroscopic all-sky cosmic explorer.

    Published in:
    Experimental Astronomy, 2009, v. 23, n. 1, p. 39, doi. 10.1007/s10686-008-9096-7
    By:
    • Cimatti, A.;
    • Robberto, M.;
    • Baugh, C.;
    • Beckwith, S. V. W.;
    • Content, R.;
    • Daddi, E.;
    • De Lucia, G.;
    • Garilli, B.;
    • Guzzo, L.;
    • Kauffmann, G.;
    • Lehnert, M.;
    • Maccagni, D.;
    • Martínez-Sansigre, A.;
    • Pasian, F.;
    • Reid, I. N.;
    • Rosati, P.;
    • Salvaterra, R.;
    • Stiavelli, M.;
    • Wang, Y.;
    • Osorio, M.
    Publication type:
    Article
    23
    24

    A Many-Sorted Natural Deduction.

    Published in:
    Computational Intelligence, 1998, v. 14, n. 1, p. 134, doi. 10.1111/0824-7935.00058
    By:
    • Cimatti, A.;
    • Giunchiglia, F.;
    • Weyhrauch, R. W.
    Publication type:
    Article
    25
    26
    27
    28

    Tuning of a Vertical Spin Valve with a Monolayer of Single Molecule Magnets.

    Published in:
    Advanced Functional Materials, 2017, v. 27, n. 42, p. n/a, doi. 10.1002/adfm.201703600
    By:
    • Cucinotta, Giuseppe;
    • Poggini, Lorenzo;
    • Pedrini, Alessandro;
    • Bertani, Federico;
    • Cristiani, Nicola;
    • Torelli, Martina;
    • Graziosi, Patrizio;
    • Cimatti, Irene;
    • Cortigiani, Brunetto;
    • Otero, Edwige;
    • Ohresser, Philippe;
    • Sainctavit, Philippe;
    • Dediu, Alek;
    • Dalcanale, Enrico;
    • Sessoli, Roberta;
    • Mannini, Matteo
    Publication type:
    Article
    29
    30
    31
    32
    33
    34
    35
    36
    37
    38
    39
    40

    RNA editing of Filamin A pre‐mRNA regulates vascular contraction and diastolic blood pressure.

    Published in:
    EMBO Journal, 2018, v. 37, n. 19, p. 1, doi. 10.15252/embj.201694813
    By:
    • Jain, Mamta;
    • Mann, Tomer D.;
    • Stulić, Maja;
    • Rao, Shailaja P.;
    • Kirsch, Andrijana;
    • Pullirsch, Dieter;
    • Strobl, Xué;
    • Rath, Claus;
    • Reissig, Lukas;
    • Moreth, Kristin;
    • Klein‐Rodewald, Tanja;
    • Bekeredjian, Raffi;
    • Gailus‐Durner, Valerie;
    • Fuchs, Helmut;
    • Hrabě de Angelis, Martin;
    • Pablik, Eleonore;
    • Cimatti, Laura;
    • Martin, David;
    • Zinnanti, Jelena;
    • Graier, Wolfgang F.
    Publication type:
    Article
    41
    42

    Deleuze and Italian Thought.

    Published in:
    Deleuze & Guattari Studies, 2019, v. 13, n. 4, p. 495, doi. 10.3366/dlgs.2019.0375
    By:
    • Cimatti, Felice
    Publication type:
    Article
    43
    44
    45
    46

    Primary epithelioid angiosarcoma of the thyroid: A case report.

    Published in:
    Cytopathology, 2021, v. 32, n. 4, p. 519, doi. 10.1111/cyt.12954
    By:
    • Bravaccini, Sara;
    • Caprara, Licia;
    • Cortecchia, Stefania;
    • De Lillo, Margherita;
    • Lega, Stefania;
    • Poli, Francesca;
    • Tasca, Ignazio;
    • Vacirca, Anna;
    • Cimatti, Maria Chiara;
    • Tumedei, Maria Maddalena;
    • Ravaioli, Sara;
    • Puccetti, Maurizio
    Publication type:
    Article
    47
    48
    49
    50