Zum Inhalt springen

  2. Bondavalli, Andrea [Herausgeber:in]; Brasileiro, Francisco [Sonstige Person, Familie und Körperschaft]; Rajsbaum, Sergio [Sonstige Person, Familie und Körperschaft] ; LADC 3 2007 Morelia

    Dependable computing : third Latin-American symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007 ; 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 [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4746

  5. Rajsbaum, Sergio [Sonstige Person, Familie und Körperschaft] ; Centro de Investigación Cientifica y de Educación Superior de Ensenada

    Seventh Mexican International Conference on Computer Science, 2006 : ENC '06 ; 18 - 22 Sept. 2006, San Luis Potosi, Mexico

    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.

    Los Alamitos, Calif. [u.a.]: IEEE Computer Soc., 2006

  6. Fernandes, Cristina [Herausgeber:in]; Rajsbaum, Sergio [Herausgeber:in] ; Latin-American Algorithms, Graphs and Optimization Symposium 12. 2023 Huatulco

    XII Latin-American Algorithms, Graphs and Optimization Symposium (LAGOS 2023)

    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.

    [Amsterdam]: Elsevier, 2023

    Erschienen in: Procedia computer science ; 223

  7. Castañeda, Armando [Verfasser:in] ; Rajsbaum, Sergio [Sonstige Person, Familie und Körperschaft]; Raynal, Michel [Sonstige Person, Familie und Körperschaft]

    Concurrent data structures: Relaxed Queues and Stacks from Read/Write Operations

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

    [Erscheinungsort nicht ermittelbar]: Opodis, 2020

    Erschienen in: OPODIS: International Conference on Principles of Distributed Systems, 2020 ; (Jan. 2020)

  8. Attiya, Hagit [Verfasser:in] ; Castañeda, Armando [Sonstige Person, Familie und Körperschaft]; Rajsbaum, Sergio [Sonstige Person, Familie und Körperschaft]

    Consensus Potpourri: Locally Solvable Tasks and the Limitations of Valency Arguments

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

    [Erscheinungsort nicht ermittelbar]: Opodis, 2020

    Erschienen in: OPODIS: International Conference on Principles of Distributed Systems, 2020 ; (Jan. 2020)

  10. Chatterjee, Mainak [Verfasser:in] ; Cao, Jian-Nong [Herausgeber:in]; Kothapalli, Kishore [Herausgeber:in]; Rajsbaum, Sergio [Herausgeber:in]

    Distributed Computing and Networking : 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014. 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: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8314

  11. Bondavalli, Andrea [Sonstige Person, Familie und Körperschaft]; Brasileiro, Francisco [Sonstige Person, Familie und Körperschaft]; Rajsbaum, Sergio [Sonstige Person, Familie und Körperschaft]

    Dependable Computing : Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. 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: Springer Berlin Heidelberg, 2007

    Erschienen in: Lecture notes in computer science ; 4746

  13. Goubault, Éric [Verfasser:in]; Ledent, Jérémy [Verfasser:in]; Rajsbaum, Sergio [Verfasser:in] ; Éric Goubault and Jérémy Ledent and Sergio Rajsbaum [Mitwirkende:r]

    A Simplicial Model for KB4_n: Epistemic Logic with Agents That May Die

    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

  16. Attiya, Hagit [Verfasser:in]; Enea, Constantin [Verfasser:in]; Rajsbaum, Sergio [Verfasser:in]; Sokolova, Ana [Verfasser:in] ; Hagit Attiya and Constantin Enea and Sergio Rajsbaum and Ana Sokolova [Mitwirkende:r]

    Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492)

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

  17. Attiya, Hagit [Verfasser:in]; Fraigniaud, Pierre [Verfasser:in]; Paz, Ami [Verfasser:in]; Rajsbaum, Sergio [Verfasser:in] ; Hagit Attiya and Pierre Fraigniaud and Ami Paz and Sergio Rajsbaum [Mitwirkende:r]

    One Step Forward, One Step Back: FLP-Style Proofs and the Round-Reduction Technique for Colorless Tasks

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

  18. Goubault, Éric [Verfasser:in]; Lazić, Marijana [Verfasser:in]; Ledent, Jérémy [Verfasser:in]; Rajsbaum, Sergio [Verfasser:in] ; Éric Goubault and Marijana Lazić and Jérémy Ledent and Sergio Rajsbaum [Mitwirkende:r]

    Wait-Free Solvability of Equality Negation Tasks

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

  19. Esparza, Javier [Verfasser:in]; Fraignaud, Pierre [Verfasser:in]; Muscholl, Anca [Verfasser:in]; Rajsbaum, Sergio [Verfasser:in] ; Javier Esparza and Pierre Fraignaud and Anca Muscholl and Sergio Rajsbaum [Mitwirkende:r]

    Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211)

    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. Rajsbaum, Sergio [Herausgeber:in]; Balliu, Alkida [Herausgeber:in]; Daymude, Joshua J. [Herausgeber:in]; Olivetti, Dennis [Herausgeber:in]

    Structural Information and Communication Complexity : 30th International Colloquium, SIROCCO 2023, Alcalá de Henares, Spain, June 6–9, 2023, Proceedings - [1st ed. 2023.]

    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 Nature Switzerland, 2023. ; Cham: Imprint: Springer, 2023.

    Erschienen in: Lecture Notes in Computer Science ; 13892