Evaluation of Titania-Rich Slag Produced from Titaniferous Magnetite Under Fluxless Smelting Conditions von Geldenhuys, I. J., Reynolds, Q. G., Akdogan, G.

Volltext

The right thing to do and the hard thing to do are usually the same thing von Geldenhuys, I J

Volltext

Prediction is difficult von Geldenhuys, I J

Volltext

President's Corner von Geldenhuys, I J

Volltext

The final word with a little help from Whitman von Geldenhuys, IJ

Volltext

Hydrogen-fuelled trucks and inspiration von Geldenhuys, IJ

Volltext

"Making the invisible visible" von Geldenhuys, IJ

Volltext

Benchmarking and Resource Measurement von Beyer, Dirk, Löwe, Stefan, Wendler, Philipp

Volltext

Symbolic Causality Checking Using Bounded Model Checking von Beer, Adrian, Heidinger, Stephan, Kühne, Uwe, Leitner-Fischer, Florian, Leue, Stefan

Volltext

DSVerifier: A Bounded Model Checking Tool for Digital Systems von Ismail, Hussama I., Bessa, Iury V., Cordeiro, Lucas C., de Lima Filho, Eddie B., Chaves Filho, João E.

Volltext

IC-Cut: A Compositional Search Strategy for Dynamic Test Generation von Christakis, Maria, Godefroid, Patrice

Volltext

Runtime Verification of Expected Energy Consumption in Smartphones von Espada, Ana Rosario, del Mar Gallardo, María, Salmerón, Alberto, Merino, Pedro

Volltext

Fast, Dynamically-Sized Concurrent Hash Table von Barnat, J., Ročkai, P., Štill, V., Weiser, J.

Volltext

Directed Model Checking for PROMELA with Relaxation-Based Distance Functions von Andisha, Ahmad Siyar, Wehrle, Martin, Westphal, Bernd

Volltext

On Refinement of Büchi Automata for Explicit Model Checking von Blahoudek, František, Duret-Lutz, Alexandre, Rujbr, Vojtěch, Strejček, Jan

Volltext

Parallel SAT-Based Parameterised Three-Valued Model Checking von Timm, Nils, Gruner, Stefan, Sibanda, Prince

Volltext

ASTRA: A Tool for Abstract Interpretation of Graph Transformation Systems von Backes, Peter, Reineke, Jan

Volltext

Fairway to fractures: Income inequality and violent crime as the driving factors for golf club-related assaults – a case series of 21 compound skull fractures von Grobler, R, Geldenhuys, E M, Vlok, A J

Volltext

Nanoparticle formulation and in vitro efficacy testing of the mitoNEET ligand NL-1 for drug delivery in a brain endothelial model of ischemic reperfusion-injury von Saralkar, Pushkar, Arsiwala, Tasneem, Geldenhuys, Werner J.

Volltext

The Mitochondrial Protein MitoNEET as a Probe for the Allostery of Glutamate Dehydrogenase von Nnatubeugo, Chimere, Johnson, Erica, Gisondi, Sarah, Roland, Felicia, Geldenhuys, Werner J, Menze, Michael A, Konkle, Mary E

Volltext