Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny

Position paper: Inland waterways classification for South America: Core concepts and initial proposals

A Review of Methods to Increase the Availability of Wind Turbine Generator Systems

Establishing a national 3D geo-data model for building data compliant to CityGML: Case of Turkey

Levendige winkelgebieden in balans

Expert judgment in life-cycle degradation and maintenance modelling for steel bridges

Ein gefährdetes Kulturgut: Neue Perspektiven für die Konservierung von Goldleder in den Niederlanden

Building Simplification using Offset Curves obtained from the Straight Skeleton

Information Asymmetry, Lease Incentives, and the Role of Advisors in the Market for Commercial Real Estate

The Netherlands: Households that have difficulty with making ends meet: after the crisis

Modelling the impact of a national minimum wage in South Africa: Are general equilibrium models fit for purpose?

Is Higher Education Economically Unsustainable?: An Exploration of Factors that Undermine Sustainability Assessments of Higher Education

De rol van landelijke dagbladen in het debat over rekeningrijden en kilometerprijs

Hidden mediator roles of university spin-offs in Triple Helix networks

Living Labs as boundary-spanners between Triple Helix actors

Verkeer en gezondheid: een conceptueel model en onderzoeksagenda

A new methodology for the reduction of vibrational kinetics in non-equilibrium microwave plasma: Application to CO₂ dissociation

Wees voorbereid op het onverwachte: Adaptief vermogen is in disruptieve economie de sleutel tot succes

A new horizon: Using heat to measure distance in high performance metrology solutions

Towards an effective reduction of intensity noise in laser diodes