Location-based Services via IEEE 802.11b Hot Spots. - Carsten Burmeister; Ulrich Killat; Jens Bachmann (MMB, 2004)

An analytical model of rate-adaptive wireless LAN and its simulative verification. - Carsten Burmeister; Ulrich Killat; Jens Bachmann (WMASH, 2005)

TCP over Rate-Adaptive WLAN - An Analytical Model and its Simulative Verification. - Carsten Burmeister; Ulrich Killat; Jens Bachmann (WOWMOM, 2006)

An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA. - Jens Bachmann; Martin Riedl 001; Johann Schuster; Markus Siegle (SOFSEM, 2009)