Lock-sensitive reachability analysis for parallel recursive programs with dynamic creation of threads and locks

a graph-based approach

Kenter, Sebastian
2022

On representations attached to semistable vector bundles on Mumford curves

Herz, Gabriel
2005

A description of the Jacobson topology on the spectrum of transformation group C*-algebras by proper actions

Neumann, Katharina
2011

DUNEuro—A software toolbox for forward modeling in bioelectromagnetism

Schrader, Sophie, Westhoff, Andreas, Piastra, Maria Carla, Miinalainen, Tuuli, Pursiainen, Sampsa, Vorwerk, Johannes, Brinck, Heinrich, Wolters, Carsten H., Engwer, Christian
2021

Security Through Safety - An Approach to Information Flow Control Based on Derivation of Safety Properties from a Characterisation of Insecure Behaviour

Nordhoff, Benedikt
2021

Dp-minimal profinite groups and planes in sharply 2-transitiv groups

Clausen, Tim
2020

S 1-actions on 4-manifolds and fixed point homogeneous manifolds of nonnegative curvature

Spindeler, Wolfgang Lorenz
2014

An alternative to Witt vectors

Cuntz, Joachim, Deninger, Christopher
Published in: Münster Journal of Mathematics
2014

Néron-Modelle algebraischer Tori

Brahm, Bernhard
2003

K-theory for ternary structures

Bohle, Dennis
2011

Eine explizite Version der Jacquet-Langlands-Korrespondenz für den dreidimensionalen hyperbolischen Raum

Blex, Christian
2003

Fell bundles and imprimitivity theorems

Kaliszewski, S., Muhly, Paul S., Quiggin, John C., Williams, Dana P.
Published in: Münster Journal of Mathematics
2013

Tensor categorical foundations of algebraic geometry

Brandenburg, Martin
2014

Entropies of algebraic Z d -actions and K-theory

Bräuer, Jonas
2010

Dispersive effects in quantum kinetic equations

The Wigner-Poisson-Fokker-Planck system

Dhamo, Elidon
2006

Modelle und Algorithmen für mobile Datenobjekte und Umgebungen

Blunck, Henrik
2006

Integral models of ℙ¹ and analytic distribution algebras for GL(2)

Patel, Deepam, Schmidt, Tobias, Strauch, Matthias
Published in: Münster Journal of Mathematics
2014

Swapping, tempering and equi-energy sampling on a selection of models in statistical mechanics

Ebbers, Mirko
2010

PRK-Netze (positiv repräsentierende Klassifikationsnetze)

Die Entwicklung eines neuartigen Klassifikationsnetzes für ein überwachtes Training während der Klassifikation

Sprekelmeyer, Ulrich
2004

The extender algebra and vagaries of Σ^2_1 absoluteness

Doebler, Philipp, Schindler, Ralf-Dieter
Published in: Münster Journal of Mathematics
2013