Zum Inhalt springen

  1. Leeuwen, Jan van [HerausgeberIn]; Muscholl, Anca [Sonstige Person, Familie und Körperschaft]; Peleg, David [Sonstige Person, Familie und Körperschaft]; Pokorny, Jaroslav [Sonstige Person, Familie und Körperschaft]; Rumpe, Bernhard [Sonstige Person, Familie und Körperschaft] ; SOFSEM 36 2010 Spindlermühle

    SOFSEM 2010: theory and practice of computer science : 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2010 ; proceedings

    Bücher
    Schließen

    Merkliste

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

    Berlin; Heidelberg [u.a.]: Springer, 2010

    Erschienen in: Lecture notes in computer science ; 5901

  2. Chaturvedi, Namit [VerfasserIn] ; Thomas, Wolfgang [AkademischeR BetreuerIn]; Muscholl, Anca [AkademischeR BetreuerIn]

    Classifications of Recognizable Infinitary Trace Languages and the Distributed Synthesis Problem

    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.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2015

  3. Muscholl, Anca [VerfasserIn]

    LIPIcs, Volume 152, CSL'20, Complete Volume

    Konferenzberichte
    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 fuer Informatik; LIPIcs - Leibniz International Proceedings in Informatics. 28th EACSL Annual Conference on Computer Science Logic (CSL 2020), 2020

  4. Muscholl, Anca [VerfasserIn]

    Automated Synthesis: a Distributed Viewpoint

    Konferenzberichte
    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 fuer Informatik; LIPIcs - Leibniz International Proceedings in Informatics. 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017), 2018

  5. Muscholl, Anca [VerfasserIn]

    Automated Synthesis: Going Distributed (Invited Talk)

    Konferenzberichte
    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 fuer Informatik; LIPIcs - Leibniz International Proceedings in Informatics. 25th EACSL Annual Conference on Computer Science Logic (CSL 2016), 2016

  6. Muscholl, Anca [VerfasserIn]

    Foundations of Software Science and Computation Structures : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, 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.

    Berlin, Heidelberg: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8412

  7. Fernández, Maribel [HerausgeberIn]; Muscholl, Anca [HerausgeberIn] ; CSL 28. 2020 Barcelona, European Association for Computer Science Logic

    28th EACSL Annual Conference on Computer Science Logic : CSL 2020, January 13-16, 2020, Barcelona, Spain

    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.

    Saarbrücken/Wadern, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, January, 2020

    Erschienen in: Leibniz international proceedings in informatics ; 152

  8. Baschenis, Félix [VerfasserIn] ; Bordeaux [MitwirkendeR]; Muscholl, Anca [MitwirkendeR]

    Minimizing resources for regular word transductions ; Gestion de ressources des transductions régulières sur les mots

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

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

    theses.fr, 2017-12-05

  9. Heussner, Alexander [VerfasserIn] ; Bordeaux 1 [MitwirkendeR]; Muscholl, Anca [MitwirkendeR]

    Vers la vérification de propriétés de sûreté pour des systèmes infinis communicants : décidabilité et raffinement des abstractions

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

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

    theses.fr, 2011-06-27

  10. Muscholl, Anca [VerfasserIn]; Puppis, Gabriele [VerfasserIn]

    Equivalence of Finite-Valued Streaming String Transducers Is Decidable

    Konferenzberichte
    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 fuer Informatik; LIPIcs - Leibniz International Proceedings in Informatics. 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019), 2019

  11. Muscholl, Anca [VerfasserIn]; Puppis, Gabriele [VerfasserIn]

    The Many Facets of String Transducers (Invited Talk)

    Konferenzberichte
    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 fuer Informatik; LIPIcs - Leibniz International Proceedings in Informatics. 36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019), 2019

  12. Bose, Sougata [VerfasserIn] ; Bordeaux [MitwirkendeR]; Muscholl, Anca [MitwirkendeR]; Puppis, Gabriele [MitwirkendeR]

    On decision problems on word transducers with origin semantics ; Sur les problèmes de décision concernant les transducteurs de mots avec la sémantique d'origine

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

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

    theses.fr, 2021-03-12

  13. Köcher, Chris [VerfasserIn] ; Kuske, Dietrich [AkademischeR BetreuerIn]; Muscholl, Anca [AkademischeR BetreuerIn]; Zetzsche, Georg [AkademischeR BetreuerIn] Technische Universität Ilmenau, Universitätsverlag Ilmenau

    Verification of automata with storage mechanisms

    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.

    Ilmenau: Universitätsverlag Ilmenau, 2023 ; Ilmenau: Universitätsbibliothek, 2023

  14. Köcher, Chris [VerfasserIn] ; Muscholl, Anca [AkademischeR BetreuerIn]; Zetzsche, Georg [AkademischeR BetreuerIn]; Kuske, Dietrich [Sonstige Person, Familie und Körperschaft] Ilmenau Media Services

    Verification of Automata with Storage Mechanisms

    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.

    Ilmenau: TU Ilmenau, 2022

  15. Chatzigiannakis, Ioannis [HerausgeberIn]; Indyk, Piotr [HerausgeberIn]; Kuhn, Fabian [HerausgeberIn]; Muscholl, Anca [HerausgeberIn] ; ICALP 44. 2017 Warschau, European Association for Theoretical Computer Science

    44th International Colloquium on Automata, Languages, and Programming : ICALP 2017, Warsaw, Poland, July 10-14, 2017

    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.

    Saarbrücken/Wadern, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, July 2017

    Erschienen in: Leibniz international proceedings in informatics ; 80