Lara Bargmann
Department für Informatik (» Postanschrift)
Kontakt
Lara Bargmann

Lehrveranstaltungen
Lehrveranstaltungen
Sommersemester 2023
2.01.400
Theoretische Informatik: Logik (V)
2.01.400-a
Theoretische Informatik: Logik (Ü)
2.01.400-b
Theoretische Informatik: Logik (Ü)
2.01.400-c
Theoretische Informatik: Logik (Ü)
2.01.400-d
Theoretische Informatik: Logik (Ü)
Veröffentlichungen
- [inproceedings] bibtex |
Dokument aufrufen
H. Wehrheim, L. Bargmann, und B. Dongol, "Reasoning About Promises in Weak Memory Models with Event Structures" in Proc. Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, 2023.
doi: 10.1007/978-3-031-27481-7_17@inproceedings{DBLP:conf/fm/WehrheimBD23,
author = {Heike Wehrheim and Lara Bargmann and Brijesh Dongol},
editor = {Marsha Chechik and Joost{-}Pieter Katoen and Martin Leucker},
title = {Reasoning About Promises in Weak Memory Models with Event Structures},
booktitle = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck, Germany, March 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14000},
pages = {282--300},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-27481-7\_17},
doi = {10.1007/978-3-031-27481-7\_17},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/WehrheimBD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org} } - [inproceedings] bibtex |
Dokument aufrufen
L. Bargmann und H. Wehrheim, "View-Based Axiomatic Reasoning for PSO" in Proc. Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, 2023.
doi: 10.1007/978-3-031-35257-7_17@inproceedings{DBLP:conf/tase/BargmannW23,
author = {Lara Bargmann and Heike Wehrheim},
editor = {Cristina David and Meng Sun},
title = {View-Based Axiomatic Reasoning for {PSO}},
booktitle = {Theoretical Aspects of Software Engineering - 17th International Symposium, {TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13931},
pages = {286--304},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35257-7\_17},
doi = {10.1007/978-3-031-35257-7\_17},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/BargmannW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org} } - [article] bibtex |
Dokument aufrufen
L. Bargmann und H. Wehrheim, "View-Based Axiomatic Reasoning for PSO (Extended Version)" CoRR, vol. abs/2301.07967, 2023.
doi: 10.48550/arXiv.2301.07967@article{DBLP:journals/corr/abs-2301-07967,
author = {Lara Bargmann and Heike Wehrheim},
title = {View-Based Axiomatic Reasoning for {PSO} (Extended Version)},
journal = {CoRR},
volume = {abs/2301.07967},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.07967},
doi = {10.48550/arXiv.2301.07967},
eprinttype = {arXiv},
eprint = {2301.07967},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-07967.bib},
bibsource = {dblp computer science bibliography, https://dblp.org} } - [article] bibtex |
Dokument aufrufen
L. Bargmann und H. Wehrheim, "Lifting the Reasoning Level in Generic Weak Memory Verification (Extended Version)" CoRR, vol. abs/2309.01433, 2023.
doi: 10.48550/arXiv.2309.01433@article{DBLP:journals/corr/abs-2309-01433,
author = {Lara Bargmann and Heike Wehrheim},
title = {Lifting the Reasoning Level in Generic Weak Memory Verification (Extended Version)},
journal = {CoRR},
volume = {abs/2309.01433},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.01433},
doi = {10.48550/arXiv.2309.01433},
eprinttype = {arXiv},
eprint = {2309.01433},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-01433.bib},
bibsource = {dblp computer science bibliography, https://dblp.org} } - [article] bibtex |
Dokument aufrufen
H. Wehrheim, L. Bargmann, und B. Dongol, "Reasoning about Promises in Weak Memory Models with Event Structures (Extended Version)" CoRR, vol. abs/2211.16330, 2022.
doi: 10.48550/arXiv.2211.16330@article{DBLP:journals/corr/abs-2211-16330,
author = {Heike Wehrheim and Lara Bargmann and Brijesh Dongol},
title = {Reasoning about Promises in Weak Memory Models with Event Structures (Extended Version)},
journal = {CoRR},
volume = {abs/2211.16330},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.16330},
doi = {10.48550/arXiv.2211.16330},
eprinttype = {arXiv},
eprint = {2211.16330},
timestamp = {Fri, 02 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-16330.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
Abschlussarbeiten
- [article] bibtexL. 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] bibtexL. Bargmann, "Euklidische Minima algebrischer Zahlkörper" , 2018.
@Article{Bargmann2018,
author = {Lara Bargmann},
title = {Euklidische Minima algebrischer Zahlkörper},
year = {2018},
}