Zum Inhalt springen

  1. Day, Joel [Verfasser:in] ; Manea, Florin [Sonstige Person, Familie und Körperschaft]

    On the structure of solution sets to regular word equations: Q/A Session E - Paper E4.E

    Videos
    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.

    [Erscheinungsort nicht ermittelbar]: Center for Perspicuous Computing – TRR 248, 2020

    Erschienen in: 47th International Colloquium on Automata, Languages and Programming (ICALP) 2020 ; (Jan. 2020)

  2. Siemer, Stefan [Verfasser:in] ; Manea, Florin [Akademische:r Betreuer:in]; Manea, Florin [Sonstige Person, Familie und Körperschaft]; Damm, Carsten [Sonstige Person, Familie und Körperschaft]; Maneth, Sebastian [Sonstige Person, Familie und Körperschaft]

    Matching Patterns with Variables in Approximate Settings

    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.

    Göttingen: Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2024

  6. Day, Joel D. [Herausgeber:in]; Manea, Florin [Herausgeber:in]

    Developments in Language Theory : 28th International Conference, DLT 2024, Göttingen, Germany, August 12–16, 2024, Proceedings - [1st ed. 2024.]

    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.

    Cham: Springer Nature Switzerland, 2024. ; Cham: Imprint: Springer, 2024.

    Erschienen in: Lecture Notes in Computer Science ; 14791

  7. Manea, Florin [Herausgeber:in]; Simpson, Alex K. [Herausgeber:in] ; CSL 30. 2022 Online

    30th EACSL Annual Conference on Computer Science Logic : CSL 2022, February 14-19, 2022, Göttingen, Germany (virtual conference)

    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.

    Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2022

    Erschienen in: Leibniz international proceedings in informatics ; 216

  9. Siemer, Stefan [Verfasser:in] ; Manea, Florin [Akademische:r Betreuer:in]; Damm, Carsten [Akademische:r Betreuer:in]; Maneth, Sebastian [Akademische:r Betreuer:in]

    Matching patterns with variables in approximate settings

    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.

    Göttingen, 2024

  11. Manea, Florin [Herausgeber:in]; Miller, Russell G. [Herausgeber:in]; Nowotka, Dirk [Herausgeber:in]

    Sailing Routes in the World of Computation : 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings

    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.

    Cham: Springer International Publishing, 2018

    Erschienen in: Lecture notes in computer science ; 1093600

  12. Kari, Jarkko [Herausgeber:in]; Manea, Florin [Herausgeber:in]; Petre, Ion [Herausgeber:in]

    Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings

    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.

    Cham: Springer, 2017

    Erschienen in: Lecture notes in computer science ; 10307

  14. Câmpeanu, Cezar [Herausgeber:in]; Manea, Florin [Herausgeber:in]; Shallit, Jeffrey [Herausgeber:in]

    Descriptional Complexity of Formal Systems : 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

    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.

    Cham: Springer, 2016

    Erschienen in: Lecture notes in computer science ; 9777

  15. Railean, Alexandr [Verfasser:in] ; Reinhardt, Delphine [Akademische:r Betreuer:in]; Fischer-Hübner, Simone [Sonstige Person, Familie und Körperschaft]; Manea, Florin [Sonstige Person, Familie und Körperschaft]; Strecker, Kerstin [Sonstige Person, Familie und Körperschaft]

    Improving IoT device transparency by means of privacy labels

    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.

    Göttingen: Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2022

  17. Manea, Florin [Verfasser:in]; Richardsen, Jonas [Verfasser:in]; Schmid, Markus L. [Verfasser:in] ; Florin Manea and Jonas Richardsen and Markus L. Schmid [Mitwirkende:r]

    Subsequences with Generalised Gap Constraints: Upper and Lower Complexity Bounds

    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.

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