Zum Inhalt springen

  1. Aceto, Luca [Herausgeber:in]; 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
    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; New York: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 3921

  3. Aceto, Luca [Verfasser:in]; Caltais, Georgiana [Verfasser:in]; Goriac, Eugen-Ioan [Verfasser:in]; Anna Ingólfsdóttir [Verfasser:in]

    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

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

  5. Ingólfsdóttir, Anna [Sonstige Person, Familie und Körperschaft]; Mishra, Bud [Sonstige Person, Familie und Körperschaft]; Nielson, Hanne Riis [Sonstige Person, Familie und Körperschaft]

    Transactions on Computational Systems Biology VII

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

  6. Aceto, Luca [Verfasser:in]; Castiglioni, Valentina [Verfasser:in]; Ingólfsdóttir, Anna [Verfasser:in]; Luttik, Bas [Verfasser:in] ; Luca Aceto and Valentina Castiglioni and Anna Ingólfsdóttir and Bas Luttik [Mitwirkende:r]

    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

  7. Aceto, Luca [Verfasser:in]; Castiglioni, Valentina [Verfasser:in]; Fokkink, Wan [Verfasser:in]; Ingólfsdóttir, Anna [Verfasser:in]; Luttik, Bas [Verfasser:in] ; Luca Aceto and Valentina Castiglioni and Wan Fokkink and Anna Ingólfsdóttir and Bas Luttik [Mitwirkende:r]

    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

  8. Aceto, Luca [Verfasser:in]; Achilleos, Antonis [Verfasser:in]; Francalanza, Adrian [Verfasser:in]; Ingólfsdóttir, Anna [Verfasser:in]; Lehtinen, Karoliina [Verfasser:in] ; Luca Aceto and Antonis Achilleos and Adrian Francalanza and Anna Ingólfsdóttir and Karoliina Lehtinen [Mitwirkende:r]

    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

  9. Aceto, Luca [Verfasser:in]; Achilleos, Antonis [Verfasser:in]; Francalanza, Adrian [Verfasser:in]; Ingólfsdóttir, Anna [Verfasser:in] ; Luca Aceto and Antonis Achilleos and Adrian Francalanza and Anna Ingólfsdóttir [Mitwirkende:r]

    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

  10. Aceto, Luca [Verfasser:in]; Cassar, Ian [Verfasser:in]; Francalanza, Adrian [Verfasser:in]; Ingólfsdóttir, Anna [Verfasser:in] ; Luca Aceto and Ian Cassar and Adrian Francalanza and Anna Ingólfsdóttir [Mitwirkende:r]

    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

  11. Aceto, Luca [Verfasser:in]; Caltais, Georgiana [Verfasser:in]; Goriac, Eugen-Ioan [Verfasser:in]; Ingolfsdottir, Anna [Verfasser:in]

    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

  12. Aceto, Luca [Verfasser:in]; Castiglioni, Valentina [Verfasser:in]; Ingólfsdóttir, Anna [Verfasser:in]; Luttik, Bas [Verfasser:in]; Pedersen, Mathias Ruggaard [Verfasser:in] ; Luca Aceto and Valentina Castiglioni and Anna Ingólfsdóttir and Bas Luttik and Mathias Ruggaard Pedersen [Mitwirkende:r]

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

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

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

    Rule Formats for Nominal Process Calculi

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

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

    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

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

    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

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

    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

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

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

  20. Ingólfsdóttir, Anna

    Computer Science Logic: Weak semantics based on lighted button pressing experiments : An alternative characterization of the readiness semantics : An alternative characterization of the readiness semantics

    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.

    Springer Berlin Heidelberg, 1997

    Erschienen in: Computer Science Logic (1997), Seite 226-243