Skip to contents

  1. Aceto, Luca [Editor]; Ingólfsdóttir, Anna [Other] ; 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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg; New York: Springer, 2006

    Published in: Lecture notes in computer science ; 3921

  4. Aceto, Luca [Other]; Ingólfsdóttir, Anna [Other]

    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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

    Published in: Lecture notes in computer science ; 3921

  7. Aceto, Luca [Author]; Castiglioni, Valentina [Author]; Fokkink, Wan [Author]; Ingólfsdóttir, Anna [Author]; Luttik, Bas [Author] ; Luca Aceto and Valentina Castiglioni and Wan Fokkink and Anna Ingólfsdóttir and Bas Luttik [Contributor]

    Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition?

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

  8. Aceto, Luca [Author]; Achilleos, Antonis [Author]; Francalanza, Adrian [Author]; Ingólfsdóttir, Anna [Author]; Lehtinen, Karoliina [Author] ; Luca Aceto and Antonis Achilleos and Adrian Francalanza and Anna Ingólfsdóttir and Karoliina Lehtinen [Contributor]

    The Best a Monitor Can Do

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

  9. Aceto, Luca [Author]; Achilleos, Antonis [Author]; Francalanza, Adrian [Author]; Ingólfsdóttir, Anna [Author] ; Luca Aceto and Antonis Achilleos and Adrian Francalanza and Anna Ingólfsdóttir [Contributor]

    Monitoring for Silent Actions

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

  12. Aceto, Luca [Author]; Castiglioni, Valentina [Author]; Ingólfsdóttir, Anna [Author]; Luttik, Bas [Author]; Pedersen, Mathias Ruggaard [Author] ; Luca Aceto and Valentina Castiglioni and Anna Ingólfsdóttir and Bas Luttik and Mathias Ruggaard Pedersen [Contributor]

    On the Axiomatisability of Parallel Composition: A Journey in the Spectrum

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

  13. Aceto, Luca [Author]; Fábregas, Ignacio [Author]; García-Pérez, Álvaro [Author]; Ingólfsdóttir, Anna [Author]; Ortega-Mallén, Yolanda [Author] ; Luca Aceto and Ignacio Fábregas and Álvaro García-Pérez and Anna Ingólfsdóttir and Yolanda Ortega-Mallén [Contributor]

    Rule Formats for Nominal Process Calculi

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

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

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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer, 2017

    Published in: Lecture notes in computer science ; 10460

  15. Kolesnikov, Vladimir [Author]; Schneider, Thomas [Author]; Hutchison, David [Author]; Aceto, Luca [Author]; Damgård, Ivan Bjerre [Author]; Goldberg, Leslie Ann [Author]; Halldórsson, Magnús M. [Author]; Ingólfsdóttir, Anna [Author]; Kittler, Josef T. [Author]; Kleinberg, Jon M. [Author]; Mattern, Friedemann [Author]; Mitchell, John C. [Author]

    Improved garbled circuit : Free XOR gates and applications

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2008-01-01

    Published in: Automata, languages and programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

  16. Altmann, Kristina [Author]; Jager, Tibor [Author]; Rupp, Andy [Author]; Hutchison, David [Author]; Aceto, Luca [Author]; Damgård, Ivan Bjerre [Author]; Goldberg, Leslie Ann [Author]; Halldórsson, Magnús M. [Author]; Ingólfsdóttir, Anna [Author]; Kittler, Josef T. [Author]; Kleinberg, Jon M. [Author]; Mattern, Friedemann [Author]; Mitchell, John C. [Author]

    On black-box ring extraction and integer factorization

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2008-01-01

    Published in: Automata, languages and programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

  17. Hutchison, David [Other]; Mattern, Friedemann [Other]; Mitchell, John C. [Other]; Naor, Moni [Other]; Nierstrasz, Oscar [Other]; Pandu Rangan, C. [Other]; Steffen, Bernhard [Other]; Sudan, Madhu [Other]; Terzopoulos, Demetri [Other]; Tygar, Doug [Other]; Vardi, Moshe Y. [Other]; Aceto, Luca [Other]; Walukiewicz, Igor [Other]; Weikum, Gerhard [Other]; Damgård, Ivan [Other]; Goldberg, Leslie Ann [Other]; Halldórsson, Magnús M. [Other]; Ingólfsdóttir, Anna [Other]; Kanade, Takeo [Other]; Kittler, Josef [Other]; Kleinberg, Jon [Other]

    Automata, Languages and Programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

    Published in: Lecture notes in computer science ; 5125

  18. Hutchison, David [Other]; Mattern, Friedemann [Other]; Mitchell, John C. [Other]; Naor, Moni [Other]; Nierstrasz, Oscar [Other]; Pandu Rangan, C. [Other]; Steffen, Bernhard [Other]; Sudan, Madhu [Other]; Terzopoulos, Demetri [Other]; Tygar, Doug [Other]; Vardi, Moshe Y. [Other]; Aceto, Luca [Other]; Walukiewicz, Igor [Other]; Weikum, Gerhard [Other]; Damgård, Ivan [Other]; Goldberg, Leslie Ann [Other]; Halldórsson, Magnús M. [Other]; Ingólfsdóttir, Anna [Other]; Kanade, Takeo [Other]; Kittler, Josef [Other]; Kleinberg, Jon [Other]

    Automata, Languages and Programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

    Published in: Lecture notes in computer science ; 5126