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

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

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

Theorie und Anwendung optimaler Multiprozesse mit Zustandsbeschränkungen

Christiansen, Bahne
2010

Cohomogeneity one manifolds with positive Euler characteristic

Frank, Philipp
2011

Thinning Operators and Pi 4 -Reflection

Duchhardt, Christoph
2008