Hauptinhalt
Topinformationen
Education Working Group Remote Sensing and Digital Image Analysis
Dr. rer. nat. Thomas Jarmer
Lehrveranstaltungen
Sommersemester 2025
Wintersemester 2024/25
Sommersemester 2024
Wintersemester 2023/24
Dipl.-Inform. Alexander Bothe

Institut für Informatik Wachsbleiche 27 49090 Osnabrück |
|
Raum: | 73/E09 |
Telefon: | +49 541 969-2487 |
Fax: | +49 541 969-2799 |
E-Mail: | bothe@uos.de |
Homepage: | https://sys.cs.uos.de/bothe/ |
PC membership test
- IFIP WG 1.3 Foundations of systems specification (member, chair 2010-2015)
- WADT, CALCO (member of steering committees, co-chair 2010-2015)
- CoFI: Common Framework Initiative for Algebraic Specification and Development (chair of steering committee)
- PhD Summer School: Logics of Formal Software Specification Languages Slides: CASL CASL tutorial HasCASL CoCASL SB-CASL HetCASL
- FLIRTS group: Formalisms, Logics, Institutions - Representing, Translating, Structuring (coordinator)
Eigene Kategorie 2
Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua. At vero eos et accusam et justo duo dolores et ea rebum. Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet.
Research interests
- Bewegungsmodellierung
- Radio Frequency Identification (RFID)
- Internet der Dinge
- Drahtlose Sensornetzwerke
Teaching
Wintersemester 2020/21
Name | VNR | Link |
---|---|---|
Praktikum Rechnernetze
|
6.652 | Details |
Sommersemester 2020
Name | VNR | Link |
---|---|---|
Praktikum Verteilte Systeme
|
6.662 | Details |
Wintersemester 2019/20
Name | VNR | Link |
---|---|---|
Praktikum Rechnernetze
Play, Assess, Cooperate - Modeling Agile Networks (PACMAN) |
6.658 | Details |
Sommersemester 2019
Name | VNR | Link |
---|---|---|
Praktikum Rechnernetze
|
6.652 | Details |
Sommersemester 2018
Name | VNR | Link |
---|---|---|
IT- und Netzwerksicherheit
|
6.626 | Details |
Masterseminar Verteilte Systeme
|
6.692 | Details |
Praktikum IT- und Netzwerksicherheit
|
6.658 | Details |
Seminar Rechnernetze
|
6.686 | Details |
Wintersemester 2017/18
Name | VNR | Link |
---|---|---|
Betriebssysteme und Rechnernetze
|
6.608 | Details |
Praktikum Rechnernetze
|
6.656 | Details |
Projektgruppe: Transport for IoT-based Command and Control (TRICC)
|
6.670 | Details |
Sommersemester 2017
Name | VNR | Link |
---|---|---|
Projektgruppe: Transport for IoT-based Command and Control (TRICC)
|
6.670 | Details |
Wintersemester 2016/17
Name | VNR | Link |
---|---|---|
IT- und Netzwerksicherheit
|
6.626 | Details |
Masterseminar Verteilte Systeme
|
6.692 | Details |
Praktikum Verteilte Systeme
|
6.652 | Details |
Seminar Verteilte Systeme
|
6.682 | Details |
Sommersemester 2016
Name | VNR | Link |
---|---|---|
Betriebssysteme und Rechnernetze
|
6.606 | Details |
Praktikum Rechnernetze
|
6.656 | Details |
Projektgruppe: Unterwasser-Netzwerke
|
6.670 | Details |
Seminar Rechnernetze
|
6.684 | Details |
Wintersemester 2015/16
Name | VNR | Link |
---|---|---|
Masterseminar Verteilte Systeme
|
6.692 | Details |
Masterseminar Verteilte Systeme in der Landwirtschaft
|
6.698 | Details |
Praktikum Verteilte Systeme
|
6.652 | Details |
Rechnernetze und deren Leistungsbewertung
|
6.626 | Details |
Seminar Verteilte Systeme
|
6.682 | Details |
Sommersemester 2015
Name | VNR | Link |
---|---|---|
Betriebssysteme und Rechnernetze
|
6.606 | Details |
Masterseminar Mobilkommunikation
|
6.694 | Details |
Praktikum Rechnernetze
|
6.652 | Details |
Seminar Rechnernetze
|
6.682 | Details |
Wintersemester 2014/15
Name | VNR | Link |
---|---|---|
Masterseminar Verteilte Systeme
|
6.692 | Details |
Mobilkommunikation
|
6.626 | Details |
Praktikum Verteilte Systeme
|
6.652 | Details |
Seminar Verteilte Systeme
|
6.682 | Details |
Sommersemester 2014
Name | VNR | Link |
---|---|---|
Betriebssysteme Kompakt
|
6.605 | Details |
Betriebssysteme und Rechnernetze
|
6.604 | Details |
Masterseminar Rechnernetze
|
6.690 | Details |
Praktikum Rechnernetze
|
6.652 | Details |
Rechnernetze Kompakt
|
6.606 | Details |
Seminar Bewegungsmodellierung
|
6.680 | Details |
Seminar Rechnernetze
|
6.682 | Details |
Wintersemester 2013/14
Name | VNR | Link |
---|---|---|
Drahtlose Netze und Leistungsbewertung in Netzen
|
6.606 | Details |
Masterseminar Rechnernetze
|
6.694 | Details |
Praktikum Vernetzte Systeme
|
6.652 | Details |
Projektgruppe: Heterogeneous OPportunistic Systems (HOPS)
|
6.670 | Details |
Security for Industrial Control Systems
|
6.626 | Details |
Seminar Vernetzte Systeme
|
6.680 | Details |
Sommersemester 2013
Name | VNR | Link |
---|---|---|
Masterseminar Verteilte Systeme
|
6.690 | Details |
Praktikum Verteilte Systeme
|
6.656 | Details |
Projektgruppe: Heterogeneous OPportunistic Systems (HOPS)
|
6.670 | Details |
Rechnernetze
|
6.616 | Details |
Seminar IT-Sicherheit
|
6.680 | Details |
Wintersemester 2012/13
Name | VNR | Link |
---|---|---|
Betriebssysteme
|
6.606 | Details |
Masterseminar Rechnernetze
|
6.696 | Details |
Praktikum Rechnernetze
|
6.652 | Details |
Seminar Rechnernetze
|
6.680 | Details |
Sommersemester 2012
Name | VNR | Link |
---|---|---|
Rechnernetze
|
6.614 | Details |