Zum Inhalt springen

  3. Aceto, Luca [VerfasserIn]

    Action refinement in process algebras

    Bücher
    Schließen

    Merkliste

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

    Cambridge: Cambridge University Press, 1992

    Erschienen in: Distinguished Dissertations in Computer Science

  4. Aceto, Luca [HerausgeberIn]; Ingólfsdóttir, Anna [Sonstige Person, Familie und Körperschaft] ; FOSSACS 9 2006 Wien, ETAPS 9 2006 Wien

    Foundations of software science and computation structures : 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - 31, 2006 ; 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; New York: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 3921

  6. Aceto, Luca [VerfasserIn] ; ACM Special Interest Group on Algorithms & Computation Theory

    Proceedings of the 34th Computational Complexity 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.

    Dagstuhl,Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2019

    Erschienen in: ACM Other conferences- ACM Digital Library

  7. Aceto, Luca [VerfasserIn] ; Saraf, Shubhangi [MitwirkendeR] ACM Special Interest Group on Algorithms & Computation Theory

    Proceedings of the 35th Computational Complexity 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.

    Dagstuhl,Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2020

    Erschienen in: ACM Other conferences- ACM Digital Library

  8. Aceto, Luca [VerfasserIn] ; Association for Computing Machinery-Digital Library, ACM Special Interest Group on Logic and Computation

    Proceedings of the 32nd Annual ACMIEEE Symposium on Logic in Computer Science

    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.

    Piscataway, NJ: IEEE Press, 2017

    Erschienen in: ACM Digital Library

  9. Aceto, Luca [VerfasserIn] ; Henzinger, Monika [Sonstige Person, Familie und Körperschaft]; Sgall, Jiří [Sonstige Person, Familie und Körperschaft]

    Automata, Languages and Programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I

    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.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Erschienen in: Lecture notes in computer science ; 6755

  10. Aceto, Luca [VerfasserIn] ; Henzinger, Monika [Sonstige Person, Familie und Körperschaft]; Sgall, Jiří [Sonstige Person, Familie und Körperschaft]

    Automata, Languages and Programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

    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.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Erschienen in: Lecture notes in computer science ; 6756

  11. Aceto, Luca [Sonstige Person, Familie und Körperschaft]; Ingólfsdóttir, Anna [Sonstige Person, Familie und Körperschaft]

    Foundations of Software Science and Computational Structures (vol. # 3921) : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienn

    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.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

    Erschienen in: Lecture notes in computer science ; 3921

  12. Aceto, Luca [HerausgeberIn]; Bacci, Giorgio [HerausgeberIn]; Bacci, Giovanni [HerausgeberIn]; Ingólfsdóttir, Anna [HerausgeberIn]; Legay, Axel [HerausgeberIn]; Mardare, Radu [HerausgeberIn]

    Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

    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 ; 10460

  13. Aceto, Luca [VerfasserIn]; de Frutos Escrig, David [VerfasserIn] ; Luca Aceto and David de Frutos Escrig [MitwirkendeR]

    Front Matter, Table of Contents, Preface, Committees, External Reviewers

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

  15. Aceto, Luca [HerausgeberIn]; Frutos Escrig, David de [HerausgeberIn] ; CONCUR 26. 2015 Madrid

    26th International Conference on Concurrency Theory : CONCUR’15, September 1-4, 2015, Madrid, Spain

    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.

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

    Erschienen in: Leibniz international proceedings in informatics ; 42

  16. Aceto, Luca [VerfasserIn]; Castiglioni, Valentina [VerfasserIn]; Ingólfsdóttir, Anna [VerfasserIn]; Luttik, Bas [VerfasserIn] ; Luca Aceto and Valentina Castiglioni and Anna Ingólfsdóttir and Bas Luttik [MitwirkendeR]

    On the Axiomatisation of Branching Bisimulation Congruence over CCS

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

  17. Aceto, Luca [VerfasserIn]; Castiglioni, Valentina [VerfasserIn]; Fokkink, Wan [VerfasserIn]; Ingólfsdóttir, Anna [VerfasserIn]; Luttik, Bas [VerfasserIn] ; Luca Aceto and Valentina Castiglioni and Wan Fokkink and Anna Ingólfsdóttir and Bas Luttik [MitwirkendeR]

    Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition?

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

  18. Aceto, Luca [VerfasserIn]; Achilleos, Antonis [VerfasserIn]; Francalanza, Adrian [VerfasserIn]; Ingólfsdóttir, Anna [VerfasserIn]; Lehtinen, Karoliina [VerfasserIn] ; Luca Aceto and Antonis Achilleos and Adrian Francalanza and Anna Ingólfsdóttir and Karoliina Lehtinen [MitwirkendeR]

    The Best a Monitor Can Do

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

  19. Aceto, Luca [VerfasserIn]; Achilleos, Antonis [VerfasserIn]; Francalanza, Adrian [VerfasserIn]; Ingólfsdóttir, Anna [VerfasserIn] ; Luca Aceto and Antonis Achilleos and Adrian Francalanza and Anna Ingólfsdóttir [MitwirkendeR]

    Monitoring for Silent Actions

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

  20. Aceto, Luca [VerfasserIn]; Cassar, Ian [VerfasserIn]; Francalanza, Adrian [VerfasserIn]; Ingólfsdóttir, Anna [VerfasserIn] ; Luca Aceto and Ian Cassar and Adrian Francalanza and Anna Ingólfsdóttir [MitwirkendeR]

    On Runtime Enforcement via Suppressions

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