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

a graph-based approach

Kenter, Sebastian
2022

Mathematische Zeitschriften und Wettbewerbe für Kinder und Jugendliche

Förderung für Talentierte und Interessierte über Grenzen hinweg

2022

Connected algebraic groups acting on Fano fibrations over P¹

Blanc, Jérémy, Floris, Enrica
Published in: Münster Journal of Mathematics
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

Investieren in ETFs – Eine digitalgestützte Modellierungsaufgabe für den Mathematikunterricht

Wiehe, Katharina, Quarder, Jascha
2024

The stable rank of diagonal ASH algebras and crossed products by minimal homeomorphisms

Alboiu, Mihai, Lutley, James
Published in: Münster Journal of Mathematics
2022

C*-algebras from partial isometric representations of LCM semigroups

Starling, Charles, Tolich, Ilija
Published in: Münster Journal of Mathematics
2022

Locally normal subgroups and ends of locally compact Kac–Moody groups

Caprace, Pierre-Emmanuel, Marquis, Timothée, Reid, Colin D.
Published in: Münster Journal of Mathematics
2022

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

Clausen, Tim
2020

On extension of rigid analytic objects

Lütkebohmert, Werner
Published in: Münster Journal of Mathematics
2022

Bordism and projective space bundles

Führing, Sven
Published in: Münster Journal of Mathematics
2022

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

Spindeler, Wolfgang Lorenz
2014

Vernetzung von schulischer und universitärer Mathematik in der Lehramtsausbildung für die Sekundarstufe I

Eine qualitative Studie zu schulbezogenem Fachwissen anhand der Konzepte "Äquivalenz" und "Iteration"

Schlotterer, Adrian
2022

Random walk and Fibonacci matrices

Uem, Theo van
Published in: Münster Journal of Mathematics
2022

Reducibility of low-dimensional Poincaré duality spaces

Land, Markus
Published in: Münster Journal of Mathematics
2022

Problemorientierter Geometrieunterricht

Problemfelder für den Geometrieunterricht der Schuljahre 5 bis 10

Graumann, Günter
2022

Néron-Modelle algebraischer Tori

Brahm, Bernhard
2003

Twisted spin cobordism

Hebestreit, Fabian
2014

K-theory for ternary structures

Bohle, Dennis
2011