Zum Inhalt springen

  1. Day, Joel [VerfasserIn] ; 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

    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 [VerfasserIn] ; Manea, Florin [AkademischeR BetreuerIn]; 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

    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

  3. Manea, Florin [HerausgeberIn]; Nowotka, Dirk [HerausgeberIn]

    Combinatorics on Words : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings - [1st ed. 2015]

    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.

    Cham [u.a.]: Springer, 2015

    Erschienen in: Lecture notes in computer science ; 9304

  4. Manea, Florin [HerausgeberIn]; Simpson, Alex K. [HerausgeberIn] ; 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

    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

  5. Siemer, Stefan [VerfasserIn] ; Manea, Florin [AkademischeR BetreuerIn]; Damm, Carsten [AkademischeR BetreuerIn]; Maneth, Sebastian [AkademischeR BetreuerIn]

    Matching Patterns with Variables in Approximate Settings

    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.

    Göttingen, 2024

  6. Manea, Florin [HerausgeberIn]; Miller, Russell G. [HerausgeberIn]; Nowotka, Dirk [HerausgeberIn]

    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

    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

  7. Câmpeanu, Cezar [HerausgeberIn]; Manea, Florin [HerausgeberIn]; Shallit, Jeffrey [HerausgeberIn]

    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

    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

  8. Kari, Jarkko [HerausgeberIn]; Manea, Florin [HerausgeberIn]; Petre, Ion [HerausgeberIn]

    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

    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

  9. Railean, Alexandr [VerfasserIn] ; Reinhardt, Delphine [AkademischeR BetreuerIn]; 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

    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

  10. Draghici, Andrei [VerfasserIn]; Haase, Christoph [VerfasserIn]; Manea, Florin [VerfasserIn] ; Andrei Draghici and Christoph Haase and Florin Manea [MitwirkendeR]

    Semënov Arithmetic, Affine {VASS}, and String Constraints

    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, 2024

  11. Manea, Florin [VerfasserIn]; Richardsen, Jonas [VerfasserIn]; Schmid, Markus L. [VerfasserIn] ; Florin Manea and Jonas Richardsen and Markus L. Schmid [MitwirkendeR]

    Subsequences with Generalised Gap Constraints: Upper and Lower Complexity Bounds

    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, 2024

  12. Gawrychowski, Paweł [VerfasserIn]; Manea, Florin [VerfasserIn]; Siemer, Stefan [VerfasserIn] ; Paweł Gawrychowski and Florin Manea and Stefan Siemer [MitwirkendeR]

    Matching Patterns with Variables Under Hamming Distance

    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, 2021

  13. Gawrychowski, Paweł [VerfasserIn]; Manea, Florin [VerfasserIn]; Serafin, Radosław [VerfasserIn] ; Paweł Gawrychowski and Florin Manea and Radosław Serafin [MitwirkendeR]

    Fast and Longest Rollercoasters

    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

  14. Day, Joel D. [VerfasserIn]; Manea, Florin [VerfasserIn]; Nowotka, Dirk [VerfasserIn] ; Joel D. Day and Florin Manea and Dirk Nowotka [MitwirkendeR]

    Upper Bounds on the Length of Minimal Solutions to Certain Quadratic Word Equations

    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

  15. Day, Joel D. [VerfasserIn]; Manea, Florin [VerfasserIn]; Nowotka, Dirk [VerfasserIn] ; Joel D. Day and Florin Manea and Dirk Nowotka [MitwirkendeR]

    The Hardness of Solving Simple Word Equations

    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