Zum Inhalt springen

  2. Gieseking, Manuel [VerfasserIn] ; Olderog, Ernst-Rüdiger [AkademischeR BetreuerIn]; Finkbeiner, Bernd [AkademischeR BetreuerIn]

    Correctness of data flows in asynchronous distributed systems : model checking and synthesis

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg, [2023]

  3. Langer, Jan [VerfasserIn] ; Heinkel, Ulrich [AkademischeR BetreuerIn]; Heinkel, Ulrich [Sonstige Person, Familie und Körperschaft]; Kunz, Wolfgang [Sonstige Person, Familie und Körperschaft]

    High-Level-Synthese von Operationseigenschaften

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Chemnitz: Universitätsbibliothek Chemnitz; Chemnitz: Universitätsverlag der Technischen Universität Chemnitz, 2011

  6. Nelke, Christoph Matthias [VerfasserIn] ; Vary, Peter [AkademischeR BetreuerIn]; Naylor, Patrick A. [AkademischeR BetreuerIn]

    Wind noise reduction : signal processing concepts

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2016

    Erschienen in: Aachener Beiträge zu digitalen Nachrichtensystemen ; 43

  7. Jasper, Marc [VerfasserIn] ; Steffen, Bernhard [AkademischeR BetreuerIn]; Siegel, Stephen F. [Sonstige Person, Familie und Körperschaft]

    Synthesizing realistic verification tasks

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dortmund: Universitätsbibliothek Dortmund, 2021

  8. Franck, Georg [VerfasserIn]

    Vigilance: Embodied Nowness? On the Relation of Mental Presence to Time and Energy

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Erschienen in: Intellectica. Revue de l'Association pour la Recherche Cognitive ; Vol. 66, n° 2, pp. 125-138

  9. Gieseking, Manuel [VerfasserIn] ; Olderog, Ernst-Rüdiger [AkademischeR BetreuerIn]; Finkbeiner, Bernd [AkademischeR BetreuerIn]

    Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg: BIS der Universität Oldenburg, 2022

  11. Callau Poduje, Ana Claudia [VerfasserIn]; Leimbach, Sören [VerfasserIn]; Haberlandt, Uwe [VerfasserIn]

    Temporal synthesis of long continuous precipitation series for unobserved locations - [published Version]

    Konferenzberichte
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    München : European Geosciences Union, 2017

    Erschienen in: Geophysical Research Abstracts 19 (2017)

  12. Bloem, Roderick [VerfasserIn]; Fey, Görschwin [VerfasserIn]; Greif, Fabian [VerfasserIn]; Könighofer, Robert [VerfasserIn]; Pill, Ingo [VerfasserIn]; Riener, Heinz [VerfasserIn]; Röck, Franz [VerfasserIn] ; Technische Universität Hamburg, Technische Universität Hamburg Institute of Embedded Systems

    Synthesizing adaptive test strategies from temporal logic specifications

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    14 October 2019

    Erschienen in: Formal methods in system design ; 55(2019), 2, Seite 103-135

  13. Niu, Luyao [VerfasserIn]; Ramasubramanian, Bhaskar [VerfasserIn]; Clark, Andrew [VerfasserIn]; Poovendran, Radha [VerfasserIn]

    Robust satisfaction of metric interval temporal logic objectives in adversarial environments

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2023

    Erschienen in: Games ; 14(2023), 2 vom: Apr., Artikel-ID 30, Seite 1-23

  14. Liptzin, Daniel [VerfasserIn]; Boy, Jens [VerfasserIn]; Campbell, John L. [VerfasserIn]; Clarke, Nicholas [VerfasserIn]; Laclau, Jean‐Paul [VerfasserIn]; Godoy, Roberto [VerfasserIn]; Johnson, Sherri L. [VerfasserIn]; Kaiser, Klaus [VerfasserIn]; Likens, Gene E. [VerfasserIn]; Karlsson, Gunilla Pihl [VerfasserIn]; Markewitz, Daniel [VerfasserIn]; Rogora, Michela [VerfasserIn]; Sebestyen, Stephen D. [VerfasserIn]; Shanley, James B. [VerfasserIn]; Vanguelova, Elena [VerfasserIn]; Verstraeten, Arne [VerfasserIn]; Wilcke, Wolfgang [VerfasserIn]; Worrall, Fred [VerfasserIn]; McDowell, William H. [VerfasserIn]

    Spatial and Temporal Patterns in Atmospheric Deposition of Dissolved Organic Carbon - [published Version]

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Hoboken, NJ : Wiley, 2022

    Erschienen in: Global biogeochemical cycles 36 (2022), Nr. 10 ; Global biogeochemical cycles

  15. Brunello, Andrea [VerfasserIn]; Montanari, Angelo [VerfasserIn]; Reynolds, Mark [VerfasserIn] ; Andrea Brunello and Angelo Montanari and Mark Reynolds [MitwirkendeR]

    Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019

  20. Cleland, Elsa E.; Collins, Scott L.; Dickson, Timothy L.; Farrer, Emily C.; Gross, Katherine L.; Gherardi, Laureano A.; Hallett, Lauren M.; Hobbs, Richard J.; Hsu, Joanna S.; Turnbull, Laura; Suding, Katharine N.

    Sensitivity of grassland plant community composition to spatial vs. temporal variation in precipitation

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    ECOLOGICAL SOCIETY OF AMERICA, 2013

    Erschienen in: Ecology