Gerardo Schneider
AuthID: R-00J-7WJ
1
TITLE: 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
AUTHORS: Linassi, Federico; Vide, Sergio; Ferreira, Ana; Schneider, Gerhard; Gambus, Pedro; Kreuzer, Matthias;
PUBLISHED: 2024, SOURCE: JOURNAL OF CLINICAL MONITORING AND COMPUTING
AUTHORS: Linassi, Federico; Vide, Sergio; Ferreira, Ana; Schneider, Gerhard; Gambus, Pedro; Kreuzer, Matthias;
PUBLISHED: 2024, SOURCE: JOURNAL OF CLINICAL MONITORING AND COMPUTING
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Precise Analysis of Memory Consumption using Program Logics
AUTHORS: Gilles Barthe; Mariela Pavlova; Gerardo Schneider;
PUBLISHED: 2005, SOURCE: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany
AUTHORS: Gilles Barthe; Mariela Pavlova; Gerardo Schneider;
PUBLISHED: 2005, SOURCE: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany
INDEXED IN: 
DBLP
DBLP