Suche in der Hochschulbibliografie

Treffer 1-10 von 33

Sortieren nach: JahrTitelVerfasser/in

Seite 1 von 4
• 
• 

Alle Titel auf dieser Seite auswählen

Ausgewählte Titel exportierenAlle Titel exportieren: [ Export-Format auswählen ]EndNote WebEndNoteRISBibTeXMS ExcelCOinSOK

• 1
  49GBVUOB_ALMA5138188009000350149GBVUOB_ALMA51381880090003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51381880090003501
  Artikel
  CS2 cycling in seawater : dark production and uv light driven consumption

  von Sinikka T. Lennartz ; Heike Simon ; Dennis Booge ; L. Zhou ; Christa Marandino

  2024

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Simon, HeikeLennartz, Sinikka T. ([2019-])

  Enthalten in: Geophysical research letters Hoboken, NJ : Wiley, 1974 51(2024), 5, Seite 1-8 Online-Ressource

  Sprache: Englisch

  >> Volltext
• 2
  49GBVUOB_ALMA5135944965000350149GBVUOB_ALMA51359449650003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51359449650003501
  Artikel
  Integrating Owicki–Gries for C11-Style Memory Models into Isabelle/HOL

  von Sadegh Dalvandi ; Brijesh Dongol ; Simon Doherty ; Heike Wehrheim

  2022

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Wehrheim, Heike

  Enthalten in: Journal of automated reasoning Dordrecht [u.a.] : Springer Science + Business Media B.V., 1985 66(2022), 1, Seite 141-171 Online-Ressource

  Sprache: Englisch

  >> Volltext
• 3
  49GBVUOB_ALMA5134369965000350149GBVUOB_ALMA51343699650003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51343699650003501
  Artikel
  New Microviridae isolated from Sulfitobacter reveals two cosmopolitan subfamilies of single-stranded DNA phages infecting marine and terrestrial Alphaproteobacteria

  von Falk Zucker ; Vera Bischoff ; Eric Olo Ndela ; Benedikt Heyerhoff ; Anja Poehlein ; Heike M. Freese ; Simon Roux ; Meinhard Simon ; Francois Enault ; Cristina Moraru

  2022

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Bischoff, VeraHeyerhoff, Benedikt ([2019-])Simon, MeinhardMoraru, Cristina ([2017-])Zucker, Falk ([2018-])

  Enthalten in: Virus evolution Oxford : Oxford Univ. Press, 2015 8(2022), 2, Seite 1-18

  Sprache: Englisch

  >> Volltext
• 4
  49GBVUOB_ALMA5135944959000350149GBVUOB_ALMA51359449590003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51359449590003501
  Artikel
  Unifying operational weak memory verification : an axiomatic approach

  von Simon Doherty ; Sadegh Dalvandi ; Brijesh Dongol ; Heike Wehrheim

  2022

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Wehrheim, Heike

  Enthalten in: Association for Computing Machinery ACM transactions on computational logic New York, NY : Association for Computing Machinery, 2000 23(2022), 4, Artikel-ID 27, Seite 1-39 Online-Ressource

  Sprache: Englisch

  >> Volltext
• 5
  49GBVUOB_ALMA5135944962000350149GBVUOB_ALMA51359449620003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51359449620003501
  Artikel
  Modularising verification of durable opacity

  von Eleni Bila ; John Derrick ; Simon Doherty ; Brijesh Dongol ; Gerhard Schellhorn ; Heike Wehrheim

  2022

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Wehrheim, Heike

  Umfang: 36 Seiten.

  Enthalten in: Logical methods in computer science Braunschweig : Department of Theoretical Computer Science, Technical University of Braunschweig, 2004 18(2022), 3, Artikel-ID 7 Online-Ressource

  Sprache: Englisch

  >> Volltext
• 6
  49GBVUOB_ALMA5131208883000350149GBVUOB_ALMA51312088830003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51312088830003501
  Artikel
  Cross-shore and depth zonations in bacterial diversity are linked to age and source of dissolved organic matter across the intertidal area of a sandy beach

  von Julius Degenhardt ; Julian Merder ; Benedikt Heyerhoff ; Heike Simon ; Bert Engelen ; Hannelore Waska

  2021

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Heyerhoff, Benedikt ([2019-])Simon, HeikeEngelen, Bert ([2001-])Waska, Hannelore ([2012-])Degenhardt, Julius

  Enthalten in: Microorganisms Basel : MDPI, 2013 9(2021), 8, Artikel-ID 1720, Seite 1-18 Online-Ressource

  Sprache: Englisch

  >> Volltext
• 7
  49GBVUOB_ALMA5129803149000350149GBVUOB_ALMA51298031490003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51298031490003501
  Artikel
  Molecular traits of dissolved organic matter in the subterranean estuary of a high-energy beach : indications of sources and sinks

  von Hannelore Waska ; Heike Simon ; Soeren Ahmerkamp ; Janek Greskowiak ; Janis Ahrens ; Stephan L. Seibert ; Kai Schwalfenberg ; Oliver Zielinski ; Thorsten Dittmar

  2021

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Simon, HeikeGreskowiak, Janek ([2010-])Ahrens, Janis ([2016-])Seibert, Stephan L. ([2015-])Schwalfenberg, KaiZielinski, OliverDittmar, Thorsten ([2008-])Waska, Hannelore ([2012-])

  Enthalten in: Frontiers in Marine Science Lausanne : Frontiers Media, 2014 8(2021), Artikel-ID 607083, Seite 1-17 Online-Ressource

  Sprache: Englisch

  >> Volltext
• 8
  49GBVUOB_ALMA5133730940000350149GBVUOB_ALMA51337309400003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51337309400003501
  Artikel
  Brief announcement: On strong observational refinement and forward simulation

  von John Derrick ; Simon Doherty ; Brijesh Dongol ; Gerhard Schellhorn ; Heike Wehrheim

  2021

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Wehrheim, Heike

  Enthalten in: 35th International Symposium on Distributed Computing (DISC 2021) Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2021 (2021), Artikel-ID 55, Seite 1-4 1 Online-Ressource

  Sprache: Englisch

  >> Volltext
• 9
  49GBVUOB_ALMA5133757234000350149GBVUOB_ALMA51337572340003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51337572340003501
  Artikel
  On strong observational refinement and forward simulation

  von John Derrick ; Simon Doherty ; Brijesh Dongol ; Gerhard Schellhorn ; Heike Wehrheim

  2021

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Wehrheim, Heike

  Enthalten in: De.arxiv.org [S.l.] : Arxiv.org, 1991 (2021) vom: 30. Juli, Seite 1-10 Online-Ressource

  Sprache: Englisch

  >> Volltext
• 10
  49GBVUOB_ALMA5129316800000350149GBVUOB_ALMA51293168000003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51293168000003501
  Artikel
  Genomic, metabolic and phenotypic variability shapes ecological differentiation and intraspecies interactions of Alteromonas macleodii

  von Hanna Koch ; Nora Germscheid ; Heike M. Freese ; Beatriz Elizabeth Noriega Ortega ; Dominik Lücking ; Martine Berger ; Galaxy Qiu ; Ezequiel M. Marzinelli ; Alexandra H. Campbell ; Peter D. Steinberg ; Jörg Overmann ; Thorsten Dittmar ; Meinhard Simon ; Matthias Wietz

  2020

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Noriega Ortega, Beatriz Elizabeth ([2014-])Berger, MartineOvermann, Jörg ([-2000])Dittmar, Thorsten ([2008-])Simon, MeinhardWietz, Matthias ([2012-])Koch, Hanna

  Umfang: 14.

  Enthalten in: Scientific reports [London] : Macmillan Publishers Limited, part of Springer Nature, 2011 Volume 10 (2020), Artikel-Nummer 809, 14 Seiten Online-Ressource

  Sprache: Englisch

  >> Volltext