Sergio Rajsbaum

ORCID

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 96

Top Venues

Publications

Carole Delporte-Gallet, Hugues Fauconnier, Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers
Non-negotiating Distributed Computing. SIROCCO (2024)
Armando Castañeda, Sergio Rajsbaum
Recent Advances on Principles of Concurrent Data Structures. Commun. ACM 67 (8) (2024)
Carole Delporte-Gallet, Hugues Fauconnier, Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers
The Computational Power of Distributed Shared-Memory Models with Bounded-Size Registers. PODC (2024)
Hagit Attiya, Armando Castañeda, Sergio Rajsbaum
Locally solvable tasks and the limitations of valency arguments. J. Parallel Distributed Comput. 176 (2023)
Sergio Rajsbaum
A distributed computing perspective of unconditionally secure information transmission in Russian cards problems. Theor. Comput. Sci. 952 (2023)
Eric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum
Simplicial Models for the Epistemic Logic of Faulty Agents. CoRR (2023)
Armando Castañeda, Sergio Rajsbaum, Michel Raynal
Set-Linearizable Implementations from Read/Write Operations: Sets, Fetch &Increment, Stacks and Queues with Multiplicity. Distributed Comput. 36 (2) (2023)
Eric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum
Semi-simplicial Set Models for Distributed Knowledge. CoRR (2023)
Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers
-resilient consensus in arbitrary graphs. Inf. Comput. 292 (2023)
Rodolfo Conde, Sergio Rajsbaum
The Solvability of Consensus in Iterated Models Extended with Safe-Consensus. Theory Comput. Syst. 67 (5) (2023)
Armando Castañeda, Sergio Rajsbaum, Michel Raynal
A Linearizability-based Hierarchy for Concurrent Specifications. Commun. ACM 66 (1) (2023)
Hagit Attiya, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum
One Step Forward, One Step Back: FLP-Style Proofs and the Round-Reduction Technique for Colorless Tasks. CoRR (2023)
Carole Delporte, Hugues Fauconnier, Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers
The Computational Power of Distributed Shared-Memory Models with Bounded-Size Registers. CoRR (2023)
Éric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum
Semi-Simplicial Set Models for Distributed Knowledge. LICS (2023)
Hagit Attiya, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum
One Step Forward, One Step Back: FLP-Style Proofs and the Round-Reduction Technique for Colorless Tasks. DISC (2023)
Sergio Rajsbaum
Distributed Decision Problems: Concurrent Specifications Beyond Binary Relations (Invited Talk). CONCUR (2022)
Éric Goubault, Jérémy Ledent, Sergio Rajsbaum
A Simplicial Model for KB4_n: Epistemic Logic with Agents That May Die. STACS (2022)
Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum
A Speedup Theorem for Asynchronous Computation with Applications to Consensus and Approximate Agreement. CoRR (2022)
Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, David A. Rosenblueth, Corentin Travers
Decentralized Asynchronous Crash-resilient Runtime Verification. J. ACM 69 (5) (2022)
Hugo Rincon Galeana, Sergio Rajsbaum, Ulrich Schmid
Continuous Tasks and the Asynchronous Computability Theorem. ITCS (2022)
Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
-set agreement. Inf. Comput. 285 (Part) (2022)
Jorge Armenta-Segura, Jérémy Ledent, Sergio Rajsbaum
Two-Agent Approximate Agreement from an Epistemic Logic Perspective. Computación y Sistemas 26 (2) (2022)
Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum
A Speedup Theorem for Asynchronous Computation with Applications to Consensus and Approximate Agreement. PODC (2022)
Hagit Attiya, Constantin Enea, Sergio Rajsbaum, Ana Sokolova
Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492). Dagstuhl Reports 12 (12) (2022)
Armando Castañeda, Sergio Rajsbaum, Michel Raynal
A Snapshot-Based Introduction to the Linearizability Hierarchy. NETYS (2022)
Sergio Rajsbaum, Armajac Raventós-Pujol
A Distributed Combinatorial Topology Approach to Arrow's Impossibility Theorem. PODC (2022)
Éric Goubault, Jérémy Ledent, Sergio Rajsbaum
A simplicial complex model for dynamic epistemic logic to study distributed task computability. Inf. Comput. 278 (2021)
Zoe Leyva-Acosta, Eduardo Pascual-Aseff, Sergio Rajsbaum
Information Exchange in the Russian Cards Problem. SSS (2021)
Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers
A topological perspective on distributed network algorithms. Theor. Comput. Sci. 849 (2021)
Hugo Rincon Galeana, Sergio Rajsbaum, Ulrich Schmid
Continuous Tasks and the Chromatic Simplicial Approximation Theorem. CoRR (2021)
Eric Goubault, Jérémy Ledent, Sergio Rajsbaum
: Epistemic Logic with Agents that May Die. CoRR (2021)
Sergio Rajsbaum
A Distributed Computing Perspective of Unconditionally Secure Information Transmission in Russian Cards Problems. SIROCCO (2021)
Carlos López, Sergio Rajsbaum, Michel Raynal, Karla Vargas
Leader Election in Arbitrarily Connected Networks with Process Crashes and Weak Channel Reliability. CoRR (2021)
Hans van Ditmarsch, Éric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum
A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks. J. Log. Algebraic Methods Program. 121 (2021)
Carlos López, Sergio Rajsbaum, Michel Raynal, Karla Vargas
Leader Election in Arbitrarily Connected Networks with Process Crashes and Weak Channel Reliability. NETYS (2021)
Karla Vargas, Sergio Rajsbaum, Michel Raynal
An Eventually Perfect Failure Detector for Networks of Arbitrary Topology Connected with ADD Channels Using Time-To-Live Values. Parallel Process. Lett. 30 (2) (2020)
Sergio Rajsbaum, Michel Raynal
Mastering concurrent computing through sequential thinking. Commun. ACM 63 (1) (2020)
Armando Castañeda, Sergio Rajsbaum, Michel Raynal
Relaxed Queues and Stacks from Read/Write Operations. OPODIS (2020)
Hans van Ditmarsch, Eric Goubault, Jérémy Ledent, Sergio Rajsbaum
Knowledge and simplicial complexes. CoRR (2020)
Sergio Rajsbaum, Michel Raynal, Karla Vargas
Brief Announcement: Leader Election in the ADD Communication Model. SSS (2020)
Elias P. Duarte Jr., Raimundo J. A. Macêdo, Eliane Martins, Sergio Rajsbaum
A tour of dependable computing research in Latin America. Commun. ACM 63 (11) (2020)
Sergio Rajsbaum, Michel Raynal
60 Years of Mastering Concurrent Computing through Sequential Thinking. SIGACT News 51 (2) (2020)
Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum
Communication Complexity of Wait-Free Computability in Dynamic Networks. SIROCCO (2020)
Hagit Attiya, Armando Castañeda, Sergio Rajsbaum
Locally Solvable Tasks and the Limitations of Valency Arguments. CoRR (2020)
Marcos Kiwi, Yoshiharu Kohayakawa, Sergio Rajsbaum, Francisco Rodríguez-Henríquez, Jayme Luiz Szwarcfiter, Alfredo Viola
A perspective on theoretical computer science in Latin America. Commun. ACM 63 (11) (2020)
Armando Castañeda, Sergio Rajsbaum, Michel Raynal
What Can Be Done with Consensus Number One: Relaxed Queues and Stacks. CoRR (2020)
Hagit Attiya, Armando Castañeda, Sergio Rajsbaum
Locally Solvable Tasks and the Limitations of Valency Arguments. OPODIS (2020)
Hagit Attiya, Sergio Rajsbaum
Indistinguishability. Commun. ACM 63 (5) (2020)
Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers
A lower bound on the number of opinions needed for fault-tolerant decentralized run-time monitoring. J. Appl. Comput. Topol. 4 (1) (2020)
Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
k-Immediate Snapshot and x-Set Agreement: How Are They Related? SSS (2020)
Virgílio A. F. Almeida, Gonzalo Navarro, Sergio Rajsbaum
Welcome. Commun. ACM 63 (11) (2020)
Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers, Petr Kuznetsov, Thibault Rieutord
Perfect failure detection with very few bits. Inf. Comput. 275 (2020)
Sergio Rajsbaum
A Distributed Computing Perspective of Unconditionally Secure Information Transmission in Russian Cards Problems. CoRR (2020)
Sergio Rajsbaum, Shmuel Weinberger
Geometric and Topological Methods in Computer Science (special 10th anniversary GETCO conference, 2018). J. Appl. Comput. Topol. 4 (1) (2020)
Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
t-Resilient k-Immediate Snapshot and its Relation with Agreement Problems. CoRR (2020)
Eric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum
A dynamic epistemic logic analysis of the equality negation task. CoRR (2019)
Karla Vargas, Sergio Rajsbaum
An Eventually Perfect Failure Detector for Networks of Arbitrary Topology Connected with ADD Channels Using Time-To-Live Values. DSN (2019)
Manuel Alcantara, Armando Castañeda, David Flores-Peñaloza, Sergio Rajsbaum
The topology of look-compute-move robot wait-free algorithms with hard termination. Distributed Comput. 32 (3) (2019)
Armando Castañeda, Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
Making Local Algorithms Wait-Free: the Case of Ring Coloring. Theory Comput. Syst. 63 (2) (2019)
Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers
Synchronous t-Resilient Consensus in Arbitrary Graphs. SSS (2019)
Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers
A Topological Perspective on Distributed Network Algorithms. SIROCCO (2019)
Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers
A Topological Perspective on Distributed Network Algorithms. CoRR (2019)
Hugo Rincon Galeana, Kyrill Winkler, Ulrich Schmid, Sergio Rajsbaum
A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus. SSS (2019)
Éric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum
A Dynamic Epistemic Logic Analysis of the Equality Negation Task. DaLí (2019)
Éric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum
Wait-Free Solvability of Equality Negation Tasks. DISC (2019)
Armando Castañeda, Sergio Rajsbaum, Matthieu Roy
Convergence and covering on graphs for wait-free robots. J. Braz. Comput. Soc. 24 (1) (2018)
Éric Goubault, Jérémy Ledent, Sergio Rajsbaum
A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability. GandALF (2018)
Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Nayuta Yanagisawa
An Anonymous Wait-Free Weak-Set Object Implementation. NETYS (2018)
Sergio Rajsbaum, Michel Raynal
Mastering Concurrent Computing Through Sequential Thinking: A Half-century Evolution. CoRR (2018)
Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Nayuta Yanagisawa
A Characterization of t-Resilient Colorless Task Anonymous Solvability. SIROCCO (2018)
Yehuda Afek, Idit Keidar, Boaz Patt-Shamir, Sergio Rajsbaum, Ulrich Schmid, Gadi Taubenfeld
2018 Edsger W. Dijkstra Prize in Distributed Computing. PODC (2018)
Javier Esparza, Pierre Fraigniaud, Anca Muscholl, Sergio Rajsbaum
Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211). Dagstuhl Reports 8 (5) (2018)
Armando Castañeda, Sergio Rajsbaum, Michel Raynal
Unifying Concurrent Objects and Distributed Tasks: Interval-Linearizability. J. ACM 65 (6) (2018)
Fernando Benavides, Sergio Rajsbaum
Collapsibility of read/write models using discrete morse theory. J. Appl. Comput. Topol. 1 (3-4) (2018)
Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
Implementing Snapshot Objects on Top of Crash-Prone Asynchronous Message-Passing Systems. IEEE Trans. Parallel Distributed Syst. 29 (9) (2018)
Sergio Rajsbaum, Armando Castañeda, David Flores-Peñaloza, Manuel Alcantara
Fault-Tolerant Robot Gathering Problems on Graphs With Arbitrary Appearing Times. IPDPS (2017)
Maurice Herlihy, Sergio Rajsbaum, Michel Raynal, Julien Stainer
From wait-free to arbitrary concurrent solo executions in colorless distributed computing. Theor. Comput. Sci. 683 (2017)
Armando Castañeda, Sergio Rajsbaum, Michel Raynal
Long-Lived Tasks. NETYS (2017)
Kishore Kothapalli, Sergio Rajsbaum
Preface. Theor. Comput. Sci. 688 (2017)
Eric Goubault, Sergio Rajsbaum
Models of fault-tolerant distributed computation via dynamic epistemic logic. CoRR (2017)
Eric Goubault, Sergio Rajsbaum
A simplicial complex model of dynamic epistemic logic for fault-tolerant distributed computing. CoRR (2017)
Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Nayuta Yanagisawa
A characterization of colorless anonymous t-resilient task computability. CoRR (2017)
Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
Implementing Snapshot Objects on Top of Crash-Prone Asynchronous Message-Passing Systems. ICA3PP (2016)
Armando Castañeda, Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy
Brief Announcement: Asynchronous Coordination with Constraints and Preferences. PODC (2016)
Armando Castañeda, Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy
Asynchronous Coordination Under Preferences and Constraints. SIROCCO (2016)
Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, David A. Rosenblueth, Corentin Travers
Decentralized Asynchronous Crash-Resilient Runtime Verification. CONCUR (2016)
Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers
Minimizing the Number of Opinions for Fault-Tolerant Distributed Decision Using Well-Quasi Orderings. LATIN (2016)
Fernando Benavides, Sergio Rajsbaum
The Read/Write Protocol Complex Is Collapsible. LATIN (2016)
Armando Castañeda, Damien Imbs, Sergio Rajsbaum, Michel Raynal
Generalized Symmetry Breaking Tasks and Nondeterminism in Concurrent Objects. SIAM J. Comput. 45 (2) (2016)
Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
t-Resilient Immediate Snapshot Is Impossible. SIROCCO (2016)
Jingzhe Du, Evangelos Kranakis, Oscar Morales-Ponce, Sergio Rajsbaum
Neighbor Discovery in a Sensor Network with Directional Antennae. Ad Hoc Sens. Wirel. Networks 30 (3-4) (2016)
Armando Castañeda, Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
Making Local Algorithms Wait-Free: The Case of Ring Coloring. SSS (2016)
Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers, Petr Kuznetsov, Thibault Rieutord
Perfect Failure Detection with Very Few Bits. SSS (2016)
Armando Castañeda, Sergio Rajsbaum, Matthieu Roy
Two Convergence Problems for Robots on Graphs. LADC (2016)
Damien Imbs, Sergio Rajsbaum, Michel Raynal, Julien Stainer
Read/write shared memory abstraction on top of asynchronous Byzantine message-passing systems. J. Parallel Distributed Comput. (2016)
Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers
Challenges in Fault-Tolerant Distributed Runtime Verification. ISoLA (2) (2016)
Armando Castañeda, Sergio Rajsbaum, Michel Raynal
Specifying Concurrent Problems: Beyond Linearizability and up to Tasks - (Extended Abstract). DISC (2015)
Damien Imbs, Sergio Rajsbaum, Adrián Valle
Untangling Partial Agreement: Iterated x-consensus Simulations. SSS (2015)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Sergio Rajsbaum
Linear space bootstrap communication schemes. Theor. Comput. Sci. 561 (2015)
Rodolfo Conde, Sergio Rajsbaum
The solvability of consensus in iterated models extended with safe-consensus. CoRR (2015)

Sergio Rajsbaum.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sergio Rajsbaum