Find Research Data

Search in all content

Filters for Datasets

Search concepts
Selected filters

Artifact for Automated Verification of Parallel Nested DFS, TACAS’20

Oortwijn, W. H. M. (Creator), Huisman, M. (Creator), Joosten, S. J. C. (Creator), van de Pol, J. (Creator), 4TU.Centre for Research Data, 2020

Dataset

Optimizing bidirectional impulse turbines for thermoacoustic engines

Timmer, M. A. G. (Creator), 4TU.Centre for Research Data, 5 Sep 2019

Dataset

Software artefact for FIG: the Finite Improbability Generator

Budde, C. E. (Creator), 4TU.Centre for Research Data, 12 May 2020

Dataset

Data underlying the research into Natural Reactive Stepping

Emmens, A. R. (Creator), Prinsen, V. (. (Creator), 4TU.Centre for Research Data, 13 Mar 2020

Dataset