Department für Informatik

Formale Methoden

Lara Bargmann

Department für Informatik (» Postanschrift)

Kontakt

Ulhornsweg 84 - Raum A02 3-339

Lara Bargmann

Lehrveranstaltungen

Lehrveranstaltungen

Wintersemester 2026 / 2027

2.01.401 Grundlagen der Theoretischen Informatik

2.01.401a Grundlagen der Theoretischen Informatik (Ü)

2.01.401b Grundlagen der Theoretischen Informatik (Ü)

2.01.401c Grundlagen der Theoretischen Informatik (Ü)

2.01.401d Grundlagen der Theoretischen Informatik (Ü)

2.01.401e Grundlagen der Theoretischen Informatik (Ü)

2.01.401f Grundlagen der Theoretischen Informatik (Ü)

2.01.801-B Forschungsseminar Formale Methoden

Sommersemester 2026

2.01.490 Seminar: Concurrency Verification

2.01.801-B Forschungsseminar Formale Methoden

Veröffentlichungen

Abschlussarbeiten

[article] bibtex
L. Bargmann, "Euklidische Zahlringe - Über einen Satz von P.J. Weinberger." 2021.
@Article{Bargmann2021, author = {Lara Bargmann}, title = {Euklidische Zahlringe - Über einen Satz von P.J. Weinberger}, year = {2021}, }
[article] bibtex
L. Bargmann, "Euklidische Minima algebrischer Zahlkörper." 2018.
@Article{Bargmann2018, author = {Lara Bargmann}, title = {Euklidische Minima algebrischer Zahlkörper}, year = {2018}, }

(Stand: 24.06.2026) | Kurz-URL:Shortlink: https://uol.de/p84628