Hugo Thiemann

Characteristic Formulae (CF) offer a productive, principled approach to generating verification conditions for higher-order… Expand

We generalize the partial derivative automaton to regular expressions with shuffle and study its size in the worst and in the… Expand

This study was designed to examine the effects of Literacy-Based Behavioral Interventions and social stories to improve the work… Expand

Virtual 3D city models provide important information for different aspects of disaster management. In order to ensure the… Expand

Experiments that assign intact groups to treatment conditions are increasingly common in social research. In educational research… Expand

Inhomogeneities are introduced in loop quantum cosmology using regular lattice states, with a kinematical arena similar to that… Expand

Termination analysis is often performed over the abstract domains of monotonicity constraints or of size change graphs. First… Expand

We point out several features of the quantum Hamiltonian constraints recently introduced by Thiemann for Euclidean gravity. In… Expand

It is argued that some approaches to non-perturbative quantum general relativity lack a sensible continuum limit that reproduces… Expand

1This book was published 1986 by the Akademie-Verlag Berlin, Volume 32 in the series “Mathematical Research”; Lector was Dr… Expand