Zum Inhalt springen

  1. Schwammberger, Maike [VerfasserIn] ; Olderog, Ernst-Rüdiger [AkademischeR BetreuerIn]; Larsen, Kim Guldstrand [AkademischeR BetreuerIn]

    Distributed controllers for provably safe, live and fair autonomous car manoeuvres in urban traffic

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Oldenburg, [2020]

  2. Larsen, Kim G. [VerfasserIn]; Bodlaender, Hans L. [VerfasserIn]; Raskin, Jean-Francois [VerfasserIn] ; Kim G. Larsen and Hans L. Bodlaender and Jean-Francois Raskin [MitwirkendeR]

    LIPIcs, Volume 83, MFCS'17, Complete Volume

    Aufsätze
    Online ansehen
    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, 2017

  3. Bacci, Giovanni [VerfasserIn]; Bacci, Giorgio [VerfasserIn]; Larsen, Kim G. [VerfasserIn]; Mardare, Radu [VerfasserIn] ; Giovanni Bacci and Giorgio Bacci and Kim G. Larsen and Radu Mardare [MitwirkendeR]

    On the Metric-Based Approximate Minimization of Markov Chains

    Aufsätze
    Online ansehen
    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, 2017

  4. Bacci, Giorgio [VerfasserIn]; Bacci, Giovanni [VerfasserIn]; G. Larsen, Kim [VerfasserIn]; Mardare, Radu [VerfasserIn] ; Giorgio Bacci and Giovanni Bacci and Kim G. Larsen and Radu Mardare [MitwirkendeR]

    Complete Axiomatization for the Bisimilarity Distance on Markov Chains

    Aufsätze
    Online ansehen
    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, 2016

  5. Doyen, Laurent [VerfasserIn]; Juhl, Line [VerfasserIn]; Larsen, Kim G. [VerfasserIn]; Markey, Nicolas [VerfasserIn]; Shirmohammadi, Mahsa [VerfasserIn] ; Laurent Doyen and Line Juhl and Kim G. Larsen and Nicolas Markey and Mahsa Shirmohammadi [MitwirkendeR]

    Synchronizing Words for Weighted and Timed Automata

    Aufsätze
    Online ansehen
    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, 2014

  6. Brinksma, Ed [VerfasserIn] ; Cleaveland, W. Rance [Sonstige Person, Familie und Körperschaft]; Larsen, Kim G. [Sonstige Person, Familie und Körperschaft]; Margaria-Steffen, Tiziana [Sonstige Person, Familie und Körperschaft]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]

    Tools and Algorithms for the Construction and Analysis of Systems : First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1995

    Erschienen in: Lecture notes in computer science ; 1019

  7. Bacci, Giorgio [VerfasserIn]; Bacci, Giovanni [VerfasserIn]; Larsen, Kim G. [VerfasserIn]; Mardare, Radu [VerfasserIn]; Tang, Qiyi [VerfasserIn]; van Breugel, Franck [VerfasserIn] ; Giorgio Bacci and Giovanni Bacci and Kim G. Larsen and Radu Mardare and Qiyi Tang and Franck van Breugel [MitwirkendeR]

    Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

    Aufsätze
    Online ansehen
    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

  8. Bønneland, Frederik Meyer [VerfasserIn]; Jensen, Peter Gjøl [VerfasserIn]; Larsen, Kim G. [VerfasserIn]; Muñiz, Marco [VerfasserIn]; Srba, Jiří [VerfasserIn] ; Frederik Meyer Bønneland and Peter Gjøl Jensen and Kim G. Larsen and Marco Muñiz and Jiří Srba [MitwirkendeR]

    Partial Order Reduction for Reachability Games

    Aufsätze
    Online ansehen
    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

  9. Brauer, Jörg [VerfasserIn]; Hansen, René Rydhof [VerfasserIn]; Kowalewski, Stefan [VerfasserIn]; Larsen, Kim G. [VerfasserIn]; Olesen, Mads Chr. [VerfasserIn] ; Jörg Brauer and René Rydhof Hansen and Stefan Kowalewski and Kim G. Larsen and Mads Chr. Olesen [MitwirkendeR]

    Adaptable Value-Set Analysis for Low-Level Code

    Aufsätze
    Online ansehen
    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, 2012

  10. Schwammberger, Maike [VerfasserIn] ; Olderog, Ernst-Rüdiger [AkademischeR BetreuerIn]; Larsen, Kim Guldstrand [AkademischeR BetreuerIn]

    Distributed controllers for provably safe, live and fair autonomous car manoeuvres in urban traffic

    Bücher
    Online ansehen
    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, 2020

  11. Bilgram, Alexander [VerfasserIn]; Jensen, Peter G. [VerfasserIn]; Jørgensen, Kenneth Mølbjerg [VerfasserIn]; Larsen, Kim Guldstrand [VerfasserIn]; Mikučionis, Marius [VerfasserIn]; Muñiz Rodríguez, Marco Antonio [VerfasserIn]; Poulsen, Danny B. [VerfasserIn]; Taankvist, Peter [VerfasserIn]

    An investigation of safe and near-optimal strategies for prevention of Covid-19 exposure using stochastic hybrid models and machine learning

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    2022

    Erschienen in: Decision analytics journal ; 5(2022) vom: Dez., Artikel-ID 100141, Seite 1-11

  12. Ashok, Pranav [VerfasserIn] ; Křetínský, Jan [AkademischeR BetreuerIn]; Guldstrand Larsen R, Kim [Sonstige Person, Familie und Körperschaft]; Althoff, Matthias [Sonstige Person, Familie und Körperschaft]; Křetínský, Jan [Sonstige Person, Familie und Körperschaft]

    A Learning Twist on Controllers: Synthesis via Partial Exploration and Concise Representations

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    München: Universitätsbibliothek der TU München, 2021

  13. Agerby, Axel Komponist; Brandt, Steffen Komponist; Faber, Phillip Komponist; Gyldmark, Sven Komponist; Harder, Egil Komponist; Larsen, Kim Komponist; Mortensen, Otto Komponist; Nielsen, Carl Komponist; Ring, Oluf Komponist; Schierbeck, Poul Komponist; Sebastian, Komponist ; Danish National Girls Choir

    Vocal and Choral Music (Danish) - RING, O. / SCHIERBECK, P. / NIELSEN, C. (Rosendahl, Kolstrup, Højen, Danish National Girls Choir, P. Faber)

    Audios
    Online ansehen
    Schließen

    Merkliste

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

    Dacapo CD, 180501

    Erschienen in: Dacapo CD

  14. Brooker, Gary Komponist; Christopher, Johnny Komponist; Clapton, Eric Komponist; Henley, Don Komponist; James, Mark Komponist; John, Elton Komponist; Larsen, Kim Komponist; Lennon, John Komponist; Page, Jimmy Komponist; Thompson, Wayne Komponist ; Kontra Quartet

    NORGE, Kaare: Morning Has Broken

    Audios
    Online ansehen
    Schließen

    Merkliste

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

    Warner Classics - Parlophone, 120521

    Erschienen in: Warner Classics - Parlophone

  15. Thompson, Luke R. [VerfasserIn]; Sanders, Jon G. [VerfasserIn]; McDonald, Daniel [VerfasserIn]; Amir, Amnon [VerfasserIn]; Ladau, Joshua [VerfasserIn]; Locey, Kenneth J. [VerfasserIn]; Prill, Robert J. [VerfasserIn]; Tripathi, Anupriya [VerfasserIn]; Gibbons, Sean M. [VerfasserIn]; Ackermann, Gail [VerfasserIn]; Navas-Molina, Jose A. [VerfasserIn]; Janssen, Stefan [VerfasserIn]; Kopylova, Evguenia [VerfasserIn]; Vázquez-Baeza, Yoshiki [VerfasserIn]; González, Antonio [VerfasserIn]; Morton, James T. [VerfasserIn]; Mirarab, Siavash [VerfasserIn]; Zech Xu, Zhenjiang [VerfasserIn]; Jiang, Lingjing [VerfasserIn]; Haroon, Mohamed F. [VerfasserIn]; Kanbar, Jad [VerfasserIn]; Zhu, Qiyun [VerfasserIn]; Jin Song, Se [VerfasserIn]; Kosciolek, Tomasz [VerfasserIn]; [...]

    A communal catalogue reveals Earth’s multiscale microbial diversity

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Nature Research, 2017-11-23

  16. Larsen, Kim G.

    Proceedings of the Third Workshop on Formal Integrated Development Environment : Verification, Optimization, Performance Analysis and Synthesis of Cyber-Physical Systems : Verification, Optimization, Performance Analysis and Synthesis of Cyber-Physical Systems

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Open Publishing Association, 2017

    Erschienen in: Electronic Proceedings in Theoretical Computer Science