Linear-time Temporal Logic with Event Freezing Functions by Stefano Tonetta

Get full text

Loop summarization using state and transition invariants by Kroening, D, Sharygina, N, Tonetta, S, al., E

Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic by Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta

Get full text

Formalization and Validation of Safety-Critical Requirements by Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta

Get full text

Temporal variation in phytoplankton community in a freshwater coastal lake of southern Brazil by Denise Tonetta, Mauricio Mello Petrucio, Roselane Laudares-Silva

Get full text

Determining the high variability of pCO2 and pO2 in the littoral zone of a subtropical coastal lake by Denise Tonetta, Maria Luiza Schmitz Fontes, Mauricio Mello Petrucio

Get full text

Loop summarization using state and transition invariants by Kroening, D, Sharygina, N, Tonetta, S, Tsitovich, A, Wintersteiger, C

Loop summarization using state and transition invariants. by Kroening, D, Sharygina, N, Tonetta, S, Tsitovich, A, Wintersteiger, C

Avaliação do potencial nutritivo da Macrófita aquática Lemna minor, por meio da análise da composição química e por sua utilização em ração para carpa comum (Cyprinus carpio L.) na... by Álvaro Graeff, Adriano Gonçalves Vianna, Denise Tonetta, Evaldo Nazareno Pruner

Get full text

A first-order logic characterization of safety and co-safety languages by Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta

Get full text

O papel da linhaça como agente redutor de colesterol e perde de peso by Vanessa Tonetta, Bibiana Paula Dambrós, Elisandra Minotto, Nei Carlos Santin

Get full text

Dynamics of planktonic prokaryotes and dissolved carbon in a subtropical coastal lake by Maria Luiza eSchmitz Fontes, Larissa eDalpaz, Denise eTonetta, Regina Vasconcellos Antônio, Maurício ePetrucio

Get full text

Cultivation of human centered artificial intelligence: culturally adaptive thinking in education (CATE) for AI by Yana Samuel, Margaret Brennan-Tonetta, Jim Samuel, Rajiv Kashyap, Vivek Kumar, Sri Krishna Kaashyap, Nishitha Chidipothu, Irawati Anand, Parth Jain

Get full text

ARCH-COMP19 category report: hybrid systems with piecewise constant dynamics by Frehse, G, Abate, A, Adzkiya, D, Becchi, A, Bu, L, Cimatti, A, Giacobbe, M, Griggio, A, Mover, S, Syifa'ul Mufid, M, Riouak, I, Tonetta, S, Zaffanella, E

Distinctive effects of allochthonous and autochthonous organic matter on CDOM spectra in a tropical lake by L. P. M. Brandão, L. P. M. Brandão, L. S. Brighenti, P. A. Staehr, E. Asmala, P. Massicotte, D. Tonetta, F. A. R. Barbosa, D. Pujoni, J. F. Bezerra-Neto

Get full text

Bacterioplankton Activity in a Meso-eutrophic Subtropical Coastal Lagoon by Maria L. Schmitz Fontes, Heloísa Fernandes, Manoela Brandão, Mariana Coutinho Hennemann, Raquel Aparecida Loss, Valdelúcia Maria Alves de Souza Grinevicius, Denise Tonetta, Karina Cesca, Mônica Hessel Silveira, Mara Bedin, Derce Recouvreux, Regina Vasconcellos Antônio

Get full text

Use of immunosuppression and subsequent cancer incidence: cohort study by Naira Khachatryan, Gui-Shuang Ying, James T Rosenbaum, Gary N Holland, Maxwell Pistilli, John H. Kempen, Nisha R Acharya, Debra A Goldstein, John H Kempen, Ebenezer Daniel, Jennifer E Thorne, Careen Y Lowder, Teresa L Liesegang, Eric B Suhler, Grace A Levy-Clarke, Robert B Nussenblatt, Tracy Giles, RUSSELL W READ, Yannek I Leiderman, Craig W Newcomb, Nirali P Bhatt, James P Dunn, Asaf Hanish, Kathy J Helzlsouer, Siddharth S Pujari, Teresa Liesegang, Lucia Sobrin, Hosne Begum, Pichaporn Artornsombudh, Jeanine M Buchanich, Terri L Washington, Charles Stephen Foster, Douglas Alan Jabs, Hatice Nida Sen, Kurt A Dreger, Hosne A Begum, Tonetta D Fitzgerald, Srishti Kothari, Abhishek R Payal, Sapna S Gangaputra, Roje Oktay Kaçmaz, Armin Maghsoudlou, Hilkiah K Suga, Clara M Pak, Hilkiah K. Suga, John Caccaviello, C. Stephen Foster, R. Oktay Kaçmaz, Siddharth S. Pujari, Abhishek Payal, Jennifer E. Thorne, Douglas A. Jabs, Kurt A. Dreger, James P. Dunn, Sapna S. Gangaputra, Eric B. Suhler, James T. Rosenbaum, H. Nida Sen, Grace A. Levy-Clarke, Robert B. Nussenblatt, Nirali P. Bhatt, Tonetta D. Fitzgerald, Kathy J. Helzlsouer, Marshall M. Joffe, Jeanine M. Buchanich, Terri L. Washington, Careen Y. Lowder, Gary N. Holland, Nisha R. Acharya, Yannek I. Liederman, Jie Debra A. Goldstein, Debra A. Goldstein, Jie (Jessica) Sun, Russell W. Read, Glenn J. Jaffe, Paul A. Latkany, Janet L. Davis, Sunir J. Garg

Get full text

Management of pregnancy in autoimmune rheumatic diseases: maternal disease course, gestational and neonatal outcomes and use of medications in the prospectiveItalian P-RHEUM.it stu... by Carlo Alberto Scirè, Alessandra Bortoluzzi, Andrea Doria, Micaela Fredi, Marcello Govoni, Chiara Tani, Angela Tincani, Maurizio Cutolo, Marta Mosca, Florenzo Iannone, Elena Elefante, Margherita Zen, Maddalena Larosa, Paola Conigliaro, Maria Sole Chimenti, Veronica Codullo, Cecilia Nalli, Veronique Ramoni, Carlomaurizio Montecucco, Marco Taglietti, Valentina Picerno, Greta Carrara, Laura Andreoli, Chiara Marvisi, Carlo Salvarani, Serena Guiducci, Antonio Luca Brucato, Franco Franceschini, Giandomenico Sebastiani, Marta Tonello, Silvia Bellando-Randone, Dina Zucchi, Giovanna Cuomo, Maria Letizia Urban, Maria Gerosa, Ettore Silvagni, Elisa Bellis, Francesca Bellisai, Alessandra Milanesi, Patrizia Rovere-Querini, Ariela Hoxha, Salvatore D'Angelo, Sonia Zatti, Emanuele Bizzi, Gianpiero Landolfi, Bernd Raffeiner, Leonardo Santo, Teresa Del Ross, Maria Stefania Cutro, Giulia Pazzola, Oscar Massimiliano Epis, Sara Benedetti, Maria Favaro, Antonia Calligaro, Annamaria Iuliano, Sabrina Gori, Francesca Crisafulli, Matteo Filippini, Maria Chiara Gerardi, Maria Grazia Lazzaroni, Cecilia Beatrice Chighizola, Laura Trespidi, Maria Chiara Ditto, Cristina Zanardini, Roberta Erra, Melissa Padovan, Irene Mattioli, Davide Rozza, Claudia Lomater, Daniele Lini, Valentina Canti, Rebecca De Lorenzo, Francesca Ruffilli, Giulia Carrea, Ludovica Cavallo, Alessandra Zambon, Claudia Barison, Francesca Serale, Paolo Semeraro, Chiara Loardi, Rossana Orabona, Francesca Ramazzotto, Giulia Fontana, Giorgia Gozzoli, Paola Bizioli, Roberto Felice Caporali, Manuela Wally Ossola, Beatrice Maranini, Danila Morano, Rosita Verteramo, Maria Grazia Anelli, Marlea Lavista, Anna Abbruzzese, Carlo Giuseppe Fasano, Teresa Carbone, Angela Anna Padula, Giuseppina Comitini, Giuseppina Di Raimondo, Clizia Gagliardi, Gloria Crepaldi, Estrella Garcia Gonzalez, Anna Paola Pata, Martina Zerbinati, Sara Tonetta

Get full text