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

Get full text

Planktonic production and respiration in a subtropical lake dominated by Cyanobacteria by D. Tonetta, R. Laudares-Silva, MM. Petrucio

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