Zum Inhalt springen

  1. Aceto, Luca [VerfasserIn]; Caltais, Georgiana [VerfasserIn]; Goriac, Eugen-Ioan [VerfasserIn]; Ingolfsdottir, Anna [VerfasserIn]

    PREG Axiomatizer : A Ground Bisimilarity Checker for GSOS with Predicates

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

    KOPS - The Institutional Repository of the University of Konstanz, 2011

  2. Aceto, Luca [VerfasserIn]; Caltais, Georgiana [VerfasserIn]; Goriac, Eugen-Ioan [VerfasserIn]; Anna Ingólfsdóttir [VerfasserIn]

    PREG Axiomatizer : A Ground Bisimilarity Checker for GSOS with Predicates

    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.

    Konstanz: KOPS Universität Konstanz, 2011

  3. Aceto, Luca [VerfasserIn]; Baeten, Jos [VerfasserIn]; Bouyer-Decitre, Patricia [VerfasserIn]; Hermanns, Holger [VerfasserIn]; Silva, Alexandra [VerfasserIn] ; Luca Aceto and Jos Baeten and Patricia Bouyer-Decitre and Holger Hermanns and Alexandra Silva [MitwirkendeR]

    CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper)

    Aufsätze
    Online ansehen
    Schließen

    Zugang

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

  4. Aceto, Luca [VerfasserIn]; Castiglioni, Valentina [VerfasserIn]; Ingólfsdóttir, Anna [VerfasserIn]; Luttik, Bas [VerfasserIn]; Pedersen, Mathias Ruggaard [VerfasserIn] ; Luca Aceto and Valentina Castiglioni and Anna Ingólfsdóttir and Bas Luttik and Mathias Ruggaard Pedersen [MitwirkendeR]

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

    Aufsätze
    Online ansehen
    Schließen

    Zugang

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

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

    Rule Formats for Nominal Process Calculi

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    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

  6. Faust, Sebastian [VerfasserIn]; Pietrzak, Krzysztof [VerfasserIn]; Venturi, Daniele [VerfasserIn]; Aceto, Luca [VerfasserIn]; Henzinger, Monika [VerfasserIn]; Sgall, Jiří [VerfasserIn]

    Tamper-proof circuits : how to trade leakage for tamper-resilience

    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.

    2011-01-01

    Erschienen in: Automata, languages and programming : ICALP

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

    Improved garbled circuit : Free XOR gates and applications

    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.

    2008-01-01

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

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

    On black-box ring extraction and integer factorization

    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.

    2008-01-01

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

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

    Automata, Languages and Programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, 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, 2008

    Erschienen in: Lecture notes in computer science ; 5125

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

    Automata, Languages and Programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, 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, 2008

    Erschienen in: Lecture notes in computer science ; 5126