Suche in der Hochschulbibliografie
Fakultät / Sonst. Einrichtungen
Keine Eingrenzung
Fakultät I - Bildungs- und Sozialwissenschaften
Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Fakultät III - Sprach- und Kulturwissenschaften
Fakultät IV - Human- und Gesellschaftswissenschaften
Fakultät V - Mathematik und Naturwissenschaften
Fakultät VI - Medizin und Gesundheitswissenschaften
Sonstige Einrichtungen
Institut / Einrichtungen
Keine Eingrenzung
Fach / AG / Einrichtung
Keine Eingrenzung
Jahr
Titel
Person
Suchen
Suche nach:
Person = '
Bargmann, Lara
'
Treffer 1-6 von 6
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 1 von 1
Alle Titel auf dieser Seite auswählen
Ausgewählte Titel exportieren
Alle Titel exportieren
:
[ Export-Format auswählen ]
EndNote Web
EndNote
RIS
BibTeX
MS Excel
COinS
OK
Alle Details anzeigen
Ergebnisse eingrenzen
nach Person:
Bargmann, Lara (6)
Dongol, Brijesh (2)
Wehrheim, Heike (6)
1
49GBVUOB_ALMA51375670070003501
49GBVUOB_ALMA51375670070003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51375670070003501
Artikel
Lifting the reasoning level in generic weak memory verification
von
Lara Bargmann ; Heike Wehrheim
2024
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Bargmann, Lara
Enthalten in:
iFM 2023 1st ed. 2024. Cham : Springer Nature Switzerland, 2024 (2024), Seite 175-192 1 Online-Ressource(XIX, 400 p. 122 illus., 67 illus. in color.)
Sprache:
Englisch
>> Volltext
2
49GBVUOB_ALMA51375669950003501
49GBVUOB_ALMA51375669950003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51375669950003501
Artikel
View-based axiomatic reasoning for PSO (extended version)
von
Lara Bargmann ; Heike Wehrheim
2023
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Bargmann, Lara
Weitere Angaben:
Submitted on 19 Jan 2023
Enthalten in:
De.arxiv.org [Erscheinungsort nicht ermittelbar] : Arxiv.org, 1991 (2023) vom: 19. Jan., Seite 1-24 Online-Ressource
Sprache:
Englisch
>> Volltext
3
49GBVUOB_ALMA51375539960003501
49GBVUOB_ALMA51375539960003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51375539960003501
Artikel
View-based axiomatic reasoning for PSO
von
Lara Bargmann ; Heike Wehrheim
2023
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Bargmann, Lara
Enthalten in:
Theoretical Aspects of Software Engineering 1st ed. 2023. Cham : Springer Nature Switzerland, 2023 (2023), Seite 286-304 1 Online-Ressource(X, 366 p. 113 illus., 53 illus. in color.)
Sprache:
Englisch
>> Volltext
4
49GBVUOB_ALMA51375670010003501
49GBVUOB_ALMA51375670010003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51375670010003501
Artikel
Lifting the reasoning level in generic weak memory verification (extended version)
von
Lara Bargmann ; Heike Wehrheim
2023
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Bargmann, Lara
Umfang:
23.
Weitere Angaben:
Submitted on 4 Sep 2023
Enthalten in:
De.arxiv.org [Erscheinungsort nicht ermittelbar] : Arxiv.org, 1991 (2023) vom: 4. Sept. Online-Ressource
Sprache:
Englisch
>> Volltext
5
49GBVUOB_ALMA51375540020003501
49GBVUOB_ALMA51375540020003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51375540020003501
Artikel
Reasoning about promises in weak memory models with event structures
von
Heike Wehrheim ; Lara Bargmann ; Brijesh Dongol
2023
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Bargmann, Lara
Wehrheim, Heike
Enthalten in:
Formal Methods 1st ed. 2023. Cham : Springer International Publishing, 2023 (2023), Seite 282-300 1 Online-Ressource(XVI, 659 p. 1230 illus., 132 illus. in color.)
Sprache:
Englisch
>> Volltext
6
49GBVUOB_ALMA51359449300003501
49GBVUOB_ALMA51359449300003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51359449300003501
Artikel
Reasoning about promises in weak memory models with event structures (Extended Version)
von
Heike Wehrheim ; Lara Bargmann ; Brijesh Dongol
2022
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Bargmann, Lara
Wehrheim, Heike
Enthalten in:
De.arxiv.org [S.l.] : Arxiv.org, 1991 (2022) vom: 29. Nov., Seite 1-38 Online-Ressource
Sprache:
Englisch
>> Volltext
Seite 1 von 1