Gerardo Schneider
AuthID: R-00J-7WJ
1
TÃTULO: Relationships between the qNOX, qCON, burst suppression ratio, and muscle activity index of the CONOX monitor during total intravenous anesthesia: a pilot study Full Text
AUTORES: Linassi, Federico; Vide, Sergio; Ferreira, Ana; Schneider, Gerhard; Gambus, Pedro; Kreuzer, Matthias;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF CLINICAL MONITORING AND COMPUTING
AUTORES: Linassi, Federico; Vide, Sergio; Ferreira, Ana; Schneider, Gerhard; Gambus, Pedro; Kreuzer, Matthias;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF CLINICAL MONITORING AND COMPUTING
INDEXADO EM: 
Scopus 
WOS
Scopus WOS2
TÃTULO: Precise Analysis of Memory Consumption using Program Logics
AUTORES: Gilles Barthe; Mariela Pavlova; Gerardo Schneider;
PUBLICAÇÃO: 2005, FONTE: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany
AUTORES: Gilles Barthe; Mariela Pavlova; Gerardo Schneider;
PUBLICAÇÃO: 2005, FONTE: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany
INDEXADO EM: 
DBLP
DBLP