Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSergio Rajsbaum
Person information
- affiliation: National Autonomous University of Mexico, Mexico City, Mexico
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2013
[b2]Maurice Herlihy, Dmitry N. Kozlov, Sergio Rajsbaum:
Distributed Computing Through Combinatorial Topology. Morgan Kaufmann 2013, ISBN 978-0-12-404578-1- 1990
- [b1]Sergio Rajsbaum:
On the performance of distributed networks controlled by a simple synchronizer. Technion - Israel Institute of Technology, Israel, 1990
Journal Articles
- 2023
- [j104]Armando Castañeda, Sergio Rajsbaum, Michel Raynal:
A Linearizability-based Hierarchy for Concurrent Specifications. Commun. ACM 66(1): 86-97 (2023) - [j103]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): 89-106 (2023) - [j102]Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers:
Synchronous t-resilient consensus in arbitrary graphs. Inf. Comput. 292: 105035 (2023) - [j101]Hagit Attiya, Armando Castañeda, Sergio Rajsbaum:
Locally solvable tasks and the limitations of valency arguments. J. Parallel Distributed Comput. 176: 28-40 (2023) - [j100]Rodolfo Conde, Sergio Rajsbaum:
The Solvability of Consensus in Iterated Models Extended with Safe-Consensus. Theory Comput. Syst. 67(5): 901-955 (2023) - [j99]Sergio Rajsbaum:
A distributed computing perspective of unconditionally secure information transmission in Russian cards problems. Theor. Comput. Sci. 952: 113761 (2023) - 2022
- [j98]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) - [j97]Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal:
Distributed computability: Relating k-immediate snapshot and x-set agreement. Inf. Comput. 285(Part): 104815 (2022) - [j96]Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, David A. Rosenblueth, Corentin Travers:
Decentralized Asynchronous Crash-resilient Runtime Verification. J. ACM 69(5): 34:1-34:31 (2022) - 2021
- [j95]Éric Goubault, Jérémy Ledent, Sergio Rajsbaum:
A simplicial complex model for dynamic epistemic logic to study distributed task computability. Inf. Comput. 278: 104597 (2021) - [j94]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: 100662 (2021) - [j93]Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers:
A topological perspective on distributed network algorithms. Theor. Comput. Sci. 849: 121-137 (2021) - 2020
- [j92]Sergio Rajsbaum, Michel Raynal:
Mastering concurrent computing through sequential thinking. Commun. ACM 63(1): 78-87 (2020) - [j91]Hagit Attiya, Sergio Rajsbaum:
Indistinguishability. Commun. ACM 63(5): 90-99 (2020) - [j90]Virgílio A. F. Almeida, Gonzalo Navarro, Sergio Rajsbaum:
Welcome. Commun. ACM 63(11): 42-44 (2020) - [j89]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): 96-101 (2020) - [j88]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): 102-107 (2020) - [j87]Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers, Petr Kuznetsov, Thibault Rieutord:
Perfect failure detection with very few bits. Inf. Comput. 275: 104604 (2020) - [j86]Sergio Rajsbaum, Shmuel Weinberger:
Geometric and Topological Methods in Computer Science (special 10th anniversary GETCO conference, 2018). J. Appl. Comput. Topol. 4(1): 1-2 (2020) - [j85]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): 141-179 (2020) - [j84]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): 2050006:1-2050006:23 (2020) - [j83]Sergio Rajsbaum, Michel Raynal:
60 Years of Mastering Concurrent Computing through Sequential Thinking. SIGACT News 51(2): 59-88 (2020) - 2019
- [j82]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): 235-255 (2019) - [j81]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): 344-365 (2019) - 2018
- [j80]Armando Castañeda, Sergio Rajsbaum, Michel Raynal:
Unifying Concurrent Objects and Distributed Tasks: Interval-Linearizability. J. ACM 65(6): 45:1-45:42 (2018) - [j79]Fernando Benavides, Sergio Rajsbaum:
Collapsibility of read/write models using discrete morse theory. J. Appl. Comput. Topol. 1(3-4): 365-396 (2018) - [j78]Armando Castañeda, Sergio Rajsbaum, Matthieu Roy:
Convergence and covering on graphs for wait-free robots. J. Braz. Comput. Soc. 24(1): 1:1-1:15 (2018) - [j77]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): 2033-2045 (2018) - 2017
- [j76]Maurice Herlihy, Sergio Rajsbaum, Michel Raynal, Julien Stainer:
From wait-free to arbitrary concurrent solo executions in colorless distributed computing. Theor. Comput. Sci. 683: 1-21 (2017) - [j75]Kishore Kothapalli, Sergio Rajsbaum:
Preface. Theor. Comput. Sci. 688: 1 (2017) - 2016
- [j74]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): 261-286 (2016) - [j73]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. 93-94: 1-9 (2016) - [j72]Armando Castañeda, Damien Imbs, Sergio Rajsbaum, Michel Raynal:
Generalized Symmetry Breaking Tasks and Nondeterminism in Concurrent Objects. SIAM J. Comput. 45(2): 379-414 (2016) - 2015
- [j71]Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Sergio Rajsbaum:
Linear space bootstrap communication schemes. Theor. Comput. Sci. 561: 122-133 (2015) - 2014
- [j70]Armando Castañeda, Maurice Herlihy, Sergio Rajsbaum:
An Equivariance Theorem with Applications to Renaming. Algorithmica 70(2): 171-194 (2014) - 2013
- [j69]Maurice Herlihy, Sergio Rajsbaum:
The topology of distributed adversaries. Distributed Comput. 26(3): 173-192 (2013) - [j68]Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers:
Locality and checkability in wait-free computing. Distributed Comput. 26(4): 223-242 (2013) - [j67]Sergio Rajsbaum, Michel Raynal, Panagiota Fatourou:
An Introductory Tutorial to Concurrency-Related Distributed Recursion. Bull. EATCS 111 (2013) - [j66]Maurice Herlihy, Sergio Rajsbaum, Michel Raynal:
Power and limits of distributed computing shared memory models. Theor. Comput. Sci. 509: 3-24 (2013) - 2012
- [j65]Armando Castañeda, Sergio Rajsbaum:
New combinatorial topology bounds for renaming: The upper bound. J. ACM 59(1): 3:1-3:49 (2012) - [j64]Maurice Herlihy, Sergio Rajsbaum, Michel Raynal:
Computability in distributed computing: a Tutorial. SIGACT News 43(3): 88-110 (2012) - 2011
- [j63]Armando Castañeda, Sergio Rajsbaum, Michel Raynal:
The renaming problem in shared memory systems: An introduction. Comput. Sci. Rev. 5(3): 229-251 (2011) - [j62]Paul C. Attie, Rachid Guerraoui, Petr Kuznetsov, Nancy A. Lynch, Sergio Rajsbaum:
The impossibility of boosting distributed service resilience. Inf. Comput. 209(6): 927-950 (2011) - [j61]Sergio Rajsbaum, Jorge Urrutia:
Some problems in distributed computational geometry. Theor. Comput. Sci. 412(41): 5760-5770 (2011) - 2010
- [j60]Yehuda Afek, Eli Gafni, Sergio Rajsbaum, Michel Raynal, Corentin Travers:
The k-simultaneous consensus problem. Distributed Comput. 22(3): 185-195 (2010) - [j59]Armando Castañeda, Sergio Rajsbaum:
New combinatorial topology bounds for renaming: the lower bound. Distributed Comput. 22(5-6): 287-301 (2010) - [j58]Florent Becker, Sergio Rajsbaum, Ivan Rapaport, Eric Rémila:
Average long-lived binary consensus: Quantifying the stabilizing role played by memory. Theor. Comput. Sci. 411(14-15): 1558-1566 (2010) - 2008
- [j57]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers:
On the computability power and the robustness of set agreement-oriented failure detector classes. Distributed Comput. 21(3): 201-222 (2008) - [j56]Sergio Rajsbaum, Michel Raynal, Corentin Travers:
An impossibility about failure detectors in the iterated immediate snapshot model. Inf. Process. Lett. 108(3): 160-164 (2008) - [j55]Yefim Dinitz, Shlomo Moran, Sergio Rajsbaum:
Bit complexity of breaking and achieving symmetry in chains and rings. J. ACM 55(1): 3:1-3:28 (2008) - [j54]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers:
The Combined Power of Conditions and Information on Failures to Solve Asynchronous Set Agreement. SIAM J. Comput. 38(4): 1574-1601 (2008) - 2007
- [j53]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers:
From omega to Omega: A simple bounded quiescent reliable broadcast-based transformation. J. Parallel Distributed Comput. 67(1): 125-129 (2007) - [j52]Lior Davidovitch, Shlomi Dolev, Sergio Rajsbaum:
Stability of Multivalued Continuous Consensus. SIAM J. Comput. 37(4): 1057-1076 (2007) - [j51]Sergio Rajsbaum:
Introduction. SIGACT News 38(3): 55 (2007) - [j50]Roy Friedman, Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal:
Asynchronous Agreement and Its Relation with Error-Correcting Codes. IEEE Trans. Computers 56(7): 865-875 (2007) - 2006
- [j49]Roberto De Prisco, Sergio Rajsbaum:
Algorithmic problems in distributed systems. Comput. Networks 50(10): 1581-1582 (2006) - [j48]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal:
Synchronous condition-based consensus. Distributed Comput. 18(5): 325-343 (2006) - [j47]Sergio Rajsbaum:
ACM SIGACT news distributed computing column 22. SIGACT News 37(2): 50-56 (2006) - [j46]Sergio Rajsbaum:
ACM SIGACT news distributed computing column 24. SIGACT News 37(4): 58-84 (2006) - [j45]Ricardo Marcelín-Jiménez, Sergio Rajsbaum, Brett Stevens:
Cyclic Storage for Fault-Tolerant Distributed Executions. IEEE Trans. Parallel Distributed Syst. 17(9): 1028-1036 (2006) - 2005
- [j44]Sergio Rajsbaum:
Introduction. Distributed Comput. 17(4): 291 (2005) - [j43]Constantinos Georgiou, Evangelos Kranakis, Ricardo Marcelín-Jiménez, Sergio Rajsbaum, Jorge Urrutia:
Distributed Dynamic Storage in Wireless Networks. Int. J. Distributed Sens. Networks 1(3&4): 355-371 (2005) - [j42]Sergio Rajsbaum, Elisa Viso:
Object-oriented algorithm analysis and design with Java. Sci. Comput. Program. 54(1): 25-47 (2005) - [j41]Sergio Rajsbaum:
ACM SIGACT news distributed computing column 19. SIGACT News 36(3): 41-50 (2005) - [j40]Sergio Rajsbaum:
ACM SIGACT news distributed computing column 20. SIGACT News 36(4): 36-46 (2005) - 2004
- [j39]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy:
Condition-based consensus solvability: a hierarchy of conditions and efficient protocols. Distributed Comput. 17(1): 1-20 (2004) - [j38]Sergio Rajsbaum:
ACM SIGACT news distributed computing column 15. SIGACT News 35(3): 46-57 (2004) - [j37]Sergio Rajsbaum:
ACM SIGACT news distributed computing column 16. SIGACT News 35(4): 38 (2004) - [j36]Sergio Rajsbaum:
Larry Stockmeyer: 1948-2004. SIGACT News 35(4): 39 (2004) - [j35]Juan A. Garay, Sergio Rajsbaum:
Preface. Theor. Comput. Sci. 321(1): 1-3 (2004) - 2003
- [j34]Hagit Attiya, Sergio Rajsbaum:
Introduction. Distributed Comput. 16(2-3): 69-70 (2003) - [j33]Idit Keidar, Sergio Rajsbaum:
A simple proof of the uniform consensus synchronous lower bound. Inf. Process. Lett. 85(1): 47-52 (2003) - [j32]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal:
Conditions on input vectors for consensus solvability in asynchronous distributed systems. J. ACM 50(6): 922-954 (2003) - [j31]Shlomi Dolev, Sergio Rajsbaum:
Stability of long-lived consensus. J. Comput. Syst. Sci. 67(1): 26-45 (2003) - [j30]Yefim Dinitz, Shlomo Moran, Sergio Rajsbaum:
Exact communication costs for consensus and leader in a tree. J. Discrete Algorithms 1(2): 167-183 (2003) - [j29]Sergio Rajsbaum:
ACM SIGACT news distributed computing column 11. SIGACT News 34(2): 42-57 (2003) - [j28]Sergio Rajsbaum:
ACM SIGACT News distributed computing column 12. SIGACT News 34(3): 40-61 (2003) - [j27]Sergio Rajsbaum:
ACM SIGACT news distributed computing column 13. SIGACT News 34(4): 53-56 (2003) - [j26]Maurice Herlihy, Sergio Rajsbaum:
A classification of wait-free loop agreement tasks. Theor. Comput. Sci. 291(1): 55-77 (2003) - 2002
- [j25]Yoram Moses, Sergio Rajsbaum:
A Layered Analysis of Consensus. SIAM J. Comput. 31(4): 989-1021 (2002) - [j24]Hagit Attiya, Sergio Rajsbaum:
The Combinatorial Structure of Wait-Free Solvable Tasks. SIAM J. Comput. 31(4): 1286-1313 (2002) - [j23]Sergio Rajsbaum:
ACM SIGACT news Distributed Computing Column 6. SIGACT News 33(1): 46-53 (2002) - [j22]Sergio Rajsbaum:
ACM SIGACT news distributed computing column 7. SIGACT News 33(2): 48-51 (2002) - [j21]Sergio Rajsbaum:
ACM SIGACT news distributed computing column 8. SIGACT News 33(3): 50 (2002) - [j20]Sergio Rajsbaum:
ACM SIGACT news distributed computing column 9. SIGACT News 33(4): 37-54 (2002) - 2001
- [j19]Elizabeth Borowsky, Eli Gafni, Nancy A. Lynch, Sergio Rajsbaum:
The BG distributed simulation algorithm. Distributed Comput. 14(3): 127-146 (2001) - [j18]Sergio Rajsbaum:
ACM SIGACT news distributed computing column 2. SIGACT News 32(1): 32 (2001) - [j17]Sergio Rajsbaum:
ACM SIGACT News distributed computing column 3. SIGACT News 32(2): 44-45 (2001) - [j16]Idit Keidar, Sergio Rajsbaum:
On the cost of fault-tolerant consensus when there are no faults: preliminary version. SIGACT News 32(2): 45-63 (2001) - [j15]Sergio Rajsbaum:
Distributed Computing. SIGACT News 32(3): 53-62 (2001) - [j14]Sergio Rajsbaum:
ACM SIGACT news distributed computing column 5. SIGACT News 32(4): 34-58 (2001) - 2000
- [j13]Maurice Herlihy, Sergio Rajsbaum:
Algebraic spans. Math. Struct. Comput. Sci. 10(4): 549-573 (2000) - [j12]Sergio Rajsbaum:
Principles of distributed computing: an exciting challenge. SIGACT News 31(4): 52-61 (2000) - 1998
- [j11]Hortensia Galeana-Sánchez, Sergio Rajsbaum:
A conjecture on cycle-pancyclism in tournaments. Discuss. Math. Graph Theory 18(2): 243-251 (1998) - [j10]Shimon Even, Gene Itkis, Sergio Rajsbaum:
On Mixed Connectivity Certificates. Theor. Comput. Sci. 203(2): 253-269 (1998) - 1997
- [j9]Hortensia Galeana-Sánchez, Sergio Rajsbaum:
Cycle-pancyclism in tournaments III. Graphs Comb. 13(1): 57-63 (1997) - [j8]Shimon Even, Sergio Rajsbaum:
The Use of a Synchronizer Yields the Maximum Computation Rate in Distributed Networks. Theory Comput. Syst. 30(5): 447-474 (1997) - 1996
- [j7]Hortensia Galeana-Sánchez, Sergio Rajsbaum:
Cycle-pancyclism in tournaments II. Graphs Comb. 12(1): 9-16 (1996) - [j6]Hagit Attiya, Amir Herzberg, Sergio Rajsbaum:
Optimal Clock Synchronization under Different Delay Assumptions. SIAM J. Comput. 25(2): 369-389 (1996) - 1995
- [j5]Hortensia Galeana-Sánchez, Sergio Rajsbaum:
Cycle-pancyclism in tournaments I. Graphs Comb. 11(3): 233-243 (1995) - [j4]Shimon Even, Sergio Rajsbaum:
Unison, Canon, and Sluggish Clocks in Networks Controlled by a Synchronizer. Math. Syst. Theory 28(5): 421-435 (1995) - 1994
- [j3]Sergio Rajsbaum:
Upper and Lower Bounds for Stochastic Marked Graphs. Inf. Process. Lett. 49(6): 291-295 (1994) - [j2]John D. Garofalakis, Paul G. Spirakis, Basil Tampakas, Sergio Rajsbaum:
Tentative and Definite Distributed Computations: An Optimistic Approach to Network Synchronization. Theor. Comput. Sci. 128(1&2): 63-74 (1994) - [j1]Sergio Rajsbaum, Moshe Sidi:
On the Performance of Synchronized Programs in Distributed Networks with Random Processing Times and Transmission Delays. IEEE Trans. Parallel Distributed Syst. 5(9): 939-950 (1994)
Conference and Workshop Papers
- 2023
- [c128]Éric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum:
Semi-Simplicial Set Models for Distributed Knowledge. LICS 2023: 1-13 - [c127]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: 4:1-4:23 - 2022
- [c126]Sergio Rajsbaum:
Distributed Decision Problems: Concurrent Specifications Beyond Binary Relations (Invited Talk). CONCUR 2022: 3:1-3:13 - [c125]Hugo Rincon Galeana, Sergio Rajsbaum, Ulrich Schmid:
Continuous Tasks and the Asynchronous Computability Theorem. ITCS 2022: 73:1-73:27 - [c124]Armando Castañeda, Sergio Rajsbaum, Michel Raynal:
A Snapshot-Based Introduction to the Linearizability Hierarchy. NETYS 2022: 3-15 - [c123]Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum:
A Speedup Theorem for Asynchronous Computation with Applications to Consensus and Approximate Agreement. PODC 2022: 460-470 - [c122]Sergio Rajsbaum, Armajac Raventós-Pujol:
A Distributed Combinatorial Topology Approach to Arrow's Impossibility Theorem. PODC 2022: 471-481 - [c121]Éric Goubault, Jérémy Ledent, Sergio Rajsbaum:
A Simplicial Model for KB4_n: Epistemic Logic with Agents That May Die. STACS 2022: 33:1-33:20 - 2021
- [c120]Carlos López, Sergio Rajsbaum, Michel Raynal, Karla Vargas:
Leader Election in Arbitrarily Connected Networks with Process Crashes and Weak Channel Reliability. NETYS 2021: 54-70 - [c119]Sergio Rajsbaum:
A Distributed Computing Perspective of Unconditionally Secure Information Transmission in Russian Cards Problems. SIROCCO 2021: 277-295 - [c118]Zoe Leyva-Acosta, Eduardo Pascual-Aseff, Sergio Rajsbaum:
Information Exchange in the Russian Cards Problem. SSS 2021: 380-394 - 2020
- [c117]Armando Castañeda, Sergio Rajsbaum, Michel Raynal:
Relaxed Queues and Stacks from Read/Write Operations. OPODIS 2020: 13:1-13:19 - [c116]Hagit Attiya, Armando Castañeda, Sergio Rajsbaum:
Locally Solvable Tasks and the Limitations of Valency Arguments. OPODIS 2020: 18:1-18:16 - [c115]Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum:
Communication Complexity of Wait-Free Computability in Dynamic Networks. SIROCCO 2020: 291-309 - [c114]Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal:
k-Immediate Snapshot and x-Set Agreement: How Are They Related? SSS 2020: 97-112 - [c113]Sergio Rajsbaum, Michel Raynal, Karla Vargas:
Brief Announcement: Leader Election in the ADD Communication Model. SSS 2020: 229-234 - 2019
- [c112]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: 264-275 - [c111]Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers:
A Topological Perspective on Distributed Network Algorithms. SIROCCO 2019: 3-18 - [c110]Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers:
Synchronous t-Resilient Consensus in Arbitrary Graphs. SSS 2019: 53-68 - [c109]Hugo Rincon Galeana, Kyrill Winkler, Ulrich Schmid, Sergio Rajsbaum:
A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus. SSS 2019: 307-322 - [c108]Éric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum:
A Dynamic Epistemic Logic Analysis of the Equality Negation Task. DaLí 2019: 53-70 - [c107]Éric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum:
Wait-Free Solvability of Equality Negation Tasks. DISC 2019: 21:1-21:16 - 2018
- [c106]Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Nayuta Yanagisawa:
An Anonymous Wait-Free Weak-Set Object Implementation. NETYS 2018: 141-156 - [c105]Yehuda Afek, Idit Keidar, Boaz Patt-Shamir, Sergio Rajsbaum, Ulrich Schmid, Gadi Taubenfeld:
2018 Edsger W. Dijkstra Prize in Distributed Computing. PODC 2018: 1 - [c104]Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Nayuta Yanagisawa:
A Characterization of t-Resilient Colorless Task Anonymous Solvability. SIROCCO 2018: 178-192 - [c103]Éric Goubault, Jérémy Ledent, Sergio Rajsbaum:
A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability. GandALF 2018: 73-87 - 2017
- [c102]Sergio Rajsbaum, Armando Castañeda, David Flores-Peñaloza, Manuel Alcantara:
Fault-Tolerant Robot Gathering Problems on Graphs With Arbitrary Appearing Times. IPDPS 2017: 493-502 - [c101]Armando Castañeda, Sergio Rajsbaum, Michel Raynal:
Long-Lived Tasks. NETYS 2017: 439-454 - 2016
- [c100]Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, David A. Rosenblueth, Corentin Travers:
Decentralized Asynchronous Crash-Resilient Runtime Verification. CONCUR 2016: 16:1-16:15 - [c99]Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal:
Implementing Snapshot Objects on Top of Crash-Prone Asynchronous Message-Passing Systems. ICA3PP 2016: 341-355 - [c98]Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers:
Challenges in Fault-Tolerant Distributed Runtime Verification. ISoLA (2) 2016: 363-370 - [c97]Armando Castañeda, Sergio Rajsbaum, Matthieu Roy:
Two Convergence Problems for Robots on Graphs. LADC 2016: 81-90 - [c96]Fernando Benavides, Sergio Rajsbaum:
The Read/Write Protocol Complex Is Collapsible. LATIN 2016: 179-191 - [c95]Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers:
Minimizing the Number of Opinions for Fault-Tolerant Distributed Decision Using Well-Quasi Orderings. LATIN 2016: 497-508 - [c94]Armando Castañeda, Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy:
Brief Announcement: Asynchronous Coordination with Constraints and Preferences. PODC 2016: 299-301 - [c93]Armando Castañeda, Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy:
Asynchronous Coordination Under Preferences and Constraints. SIROCCO 2016: 111-126 - [c92]Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal:
t-Resilient Immediate Snapshot Is Impossible. SIROCCO 2016: 177-191 - [c91]Armando Castañeda, Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal:
Making Local Algorithms Wait-Free: The Case of Ring Coloring. SSS 2016: 109-125 - [c90]Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers, Petr Kuznetsov, Thibault Rieutord:
Perfect Failure Detection with Very Few Bits. SSS 2016: 154-169 - 2015
- [c89]Damien Imbs, Sergio Rajsbaum, Adrián Valle:
Untangling Partial Agreement: Iterated x-consensus Simulations. SSS 2015: 139-155 - [c88]Armando Castañeda, Sergio Rajsbaum, Michel Raynal:
Specifying Concurrent Problems: Beyond Linearizability and up to Tasks - (Extended Abstract). DISC 2015: 420-435 - 2014
- [c87]Maurice Herlihy, Sergio Rajsbaum, Michel Raynal, Julien Stainer:
Computing in the Presence of Concurrent Solo Executions. LATIN 2014: 214-225 - [c86]Pierre Fraigniaud, Sergio Rajsbaum, Matthieu Roy, Corentin Travers:
The Opinion Number of Set-Agreement. OPODIS 2014: 155-170 - [c85]Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers:
On the Number of Opinions Needed for Fault-Tolerant Run-Time Monitoring in Distributed Systems. RV 2014: 92-107 - [c84]Damien Imbs, Sergio Rajsbaum, Michel Raynal, Julien Stainer:
Reliable Shared Memory Abstraction on Top of Asynchronous Byzantine Message-Passing Systems. SIROCCO 2014: 37-53 - [c83]Rodolfo Conde, Sergio Rajsbaum:
The Complexity Gap between Consensus and Safe-Consensus - (Extended Abstract). SIROCCO 2014: 68-82 - [c82]Pierre Fraigniaud, Eli Gafni, Sergio Rajsbaum, Matthieu Roy:
Automatically Adjusting Concurrency to the Level of Synchrony. DISC 2014: 1-15 - 2013
- [c81]Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Sergio Rajsbaum:
Linear Space Bootstrap Communication Schemes. ICDCN 2013: 363-377 - [c80]Armando Castañeda, Sergio Rajsbaum, Michel Raynal:
Agreement via Symmetry Breaking: On the Structure of Weak Subconsensus Tasks. IPDPS 2013: 1147-1158 - [c79]Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Sergio Rajsbaum:
Black Art: Obstruction-Free k-set Agreement with |MWMR registers| < |proccesses|. NETYS 2013: 28-41 - 2012
- [c78]Rifat Sipahi, Ricardo G. Hahn, Manuel Quevedo, Sergio Rajsbaum, Manuel A. Duarte Mermou, Victor (Young-il) Kwon:
Keynote speakers. CCE 2012: 1-13 - [c77]Armando Castañeda, Maurice Herlihy, Sergio Rajsbaum:
An Equivariance Theorem with Applications to Renaming. LATIN 2012: 133-144 - [c76]Armando Castañeda, Damien Imbs, Sergio Rajsbaum, Michel Raynal:
Renaming Is Weaker Than Set Agreement But for Perfect Renaming: A Map of Sub-consensus Tasks. LATIN 2012: 145-156 - [c75]Armando Castañeda, Sergio Rajsbaum, Michel Raynal:
Brief announcement: there are plenty of tasks weaker than perfect renaming and stronger than set agreement. PODC 2012: 97-98 - [c74]Maurice Herlihy, Sergio Rajsbaum:
Simulations and reductions for colorless tasks. PODC 2012: 253-260 - 2011
- [c73]Sergio Rajsbaum, Michel Raynal:
A Theory-Oriented Introduction to Wait-Free Synchronization Based on the Adaptive Renaming Problem. AINA 2011: 356-363 - [c72]Jingzhe Du, Evangelos Kranakis, Oscar Morales-Ponce, Sergio Rajsbaum:
Neighbor Discovery in a Sensor Network with Directional Antennae. ALGOSENSORS 2011: 57-71 - [c71]Damien Imbs, Sergio Rajsbaum, Michel Raynal:
The universe of symmetry breaking tasks. PODC 2011: 287-288 - [c70]Sergio Rajsbaum, Michel Raynal:
A Survey on Some Recent Advances in Shared Memory Models. SIROCCO 2011: 17-28 - [c69]Damien Imbs, Sergio Rajsbaum, Michel Raynal:
The Universe of Symmetry Breaking Tasks. SIROCCO 2011: 66-77 - [c68]Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers:
Locality and Checkability in Wait-Free Computing. DISC 2011: 333-347 - 2010
- [c67]Sergio Rajsbaum:
Iterated Shared Memory Models. LATIN 2010: 407-416 - [c66]Eli Gafni, Sergio Rajsbaum:
Distributed Programming with Tasks. OPODIS 2010: 205-218 - [c65]Maurice Herlihy, Sergio Rajsbaum:
The topology of shared-memory adversaries. PODC 2010: 105-113 - [c64]Eli Gafni, Sergio Rajsbaum:
Recursion in Distributed Computing. SSS 2010: 362-376 - [c63]Maurice Herlihy, Sergio Rajsbaum:
Concurrent Computing and Shellable Complexes. DISC 2010: 109-123 - [c62]Armando Castañeda, Sergio Rajsbaum:
An Inductive-style Procedure for Counting Monochromatic Simplexes of Symmetric Subdivisions with Applications to Distributed Computing. GETCO 2010: 13-27 - [c61]Rodolfo Conde, Sergio Rajsbaum:
An Introduction to the Topological Theory of Distributed Computing with Safe-consensus. GETCO 2010: 29-51 - 2009
- [c60]Antonio Fernández Anta, Sergio Rajsbaum, Corentin Travers:
Brief announcement: weakest failure detectors via an egg-laying simulation. PODC 2009: 290-291 - 2008
- [c59]Sergio Rajsbaum, Michel Raynal, Corentin Travers:
The Iterated Restricted Immediate Snapshot Model. COCOON 2008: 487-497 - [c58]Armando Castañeda, Sergio Rajsbaum:
New combinatorial topology upper and lower bounds for renaming. PODC 2008: 295-304 - [c57]Florent Becker, Sergio Rajsbaum, Ivan Rapaport, Eric Rémila:
Average Binary Long-Lived Consensus: Quantifying the Stabilizing Role Played by Memory. SIROCCO 2008: 48-60 - 2007
- [c56]Alejandro Cornejo, Sergio Rajsbaum, Michel Raynal, Corentin Travers:
Failure detectors are schedulers. PODC 2007: 308-309 - 2006
- [c55]Achour Mostéfaoui, Michel Raynal, Corentin Travers, Sergio Rajsbaum:
From Failure Detectors with Limited Scope Accuracy to System-wide Leadership. AINA (1) 2006: 81-86 - [c54]Pierre Fraigniaud, David Ilcinkas, Sergio Rajsbaum, Sébastien Tixeuil:
The Reduced Automata Technique for Graph Exploration Space Lower Bounds. Essays in Memory of Shimon Even 2006: 1-26 - [c53]Yehuda Afek, Eli Gafni, Sergio Rajsbaum, Michel Raynal, Corentin Travers:
Simultaneous Consensus Tasks: A Tighter Characterization of Set-Consensus. ICDCN 2006: 331-341 - [c52]Eli Gafni, Sergio Rajsbaum, Michel Raynal, Corentin Travers:
The Committee Decision Problem. LATIN 2006: 502-514 - [c51]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers:
Irreducibility and additivity of set agreement-oriented failure detector classes. PODC 2006: 153-162 - [c50]Evangelos Kranakis, Danny Krizanc, Sergio Rajsbaum:
Mobile Agent Rendezvous: A Survey. SIROCCO 2006: 1-9 - [c49]Eli Gafni, Sergio Rajsbaum, Maurice Herlihy:
Subconsensus Tasks: Renaming Is Weaker Than Set Agreement. DISC 2006: 329-338 - 2005
- [c48]Paul C. Attie, Rachid Guerraoui, Petr Kouznetsov, Nancy A. Lynch, Sergio Rajsbaum:
The Impossibility of Boosting Distributed Service Resilience. ICDCS 2005: 39-48 - [c47]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal:
The combined power of conditions and failure detectors to solve asynchronous set agreement. PODC 2005: 179-188 - [c46]Pierre Fraigniaud, David Ilcinkas, Sergio Rajsbaum, Sébastien Tixeuil:
Space Lower Bounds for Graph Exploration via Reduced Automata. SIROCCO 2005: 140-154 - [c45]Eli Gafni, Sergio Rajsbaum:
Musical Benches. DISC 2005: 63-77 - 2004
- [c44]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal:
Brief announcement: the synchronous condition-based consensus hierarchy. PODC 2004: 399 - [c43]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal:
The Synchronous Condition-Based Consensus Hierarchy. DISC 2004: 1-15 - [c42]Lior Davidovitch, Shlomi Dolev, Sergio Rajsbaum:
Stability of Multi-Valued Continuous Consensus. GETCO@DISC 2004: 23-38 - [c41]Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle:
An Axiomatic Approach to Computing the Connectivity of Synchronous and Asynchronous Systems. GETCO@DISC 2004: 79-102 - 2003
- [c40]Roy Friedman, Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal:
Using Error-Correcting Codes to Solve Distributed Agreement Problems: A Future Direction in Distributed Computing? Future Directions in Distributed Computing 2003: 17-21 - [c39]Idit Keidar, Sergio Rajsbaum:
Open Questions on Consensus Performance in Well-Behaved Runs. Future Directions in Distributed Computing 2003: 35-39 - [c38]Ricardo Marcelín-Jiménez, Rolando Esquivel-Villafana, Sergio Rajsbaum:
A Flexible Simulator for Distributed Algorithms. ENC 2003: 176-181 - [c37]Ricardo Marcelín-Jiménez, Sergio Rajsbaum:
Cyclic Strategies for Balanced and Fault-Tolerant Distributed Storage. LADC 2003: 214-233 - [c36]Idit Keidar, Sergio Rajsbaum:
On the Cost of Fault-Tolerant Consensus When There Are No Faults - A Tutorial. LADC 2003: 366-368 - [c35]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy:
A Hierarchy of Conditions for Asynchronous Interactive Consistency. PaCT 2003: 130-140 - [c34]Sergio Rajsbaum, Elisa Viso:
A case for OO -- Java -- in teaching algorithm analysis. PPPJ 2003: 79-83 - [c33]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal:
Using Conditions to Expedite Consensus in Synchronous Distributed Systems. DISC 2003: 249-263 - 2002
- [c32]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal:
A Versatile and Modular Consensus Protoco. DSN 2002: 364-373 - [c31]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal:
Asynchronous interactive consistency and its relation with error-correcting codes. PODC 2002: 253 - [c30]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy:
Condition-Based Protocols for Set Agreement Problems. DISC 2002: 48-62 - [c29]Roy Friedman, Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal:
Distributed Agreement and Its Relation with Error-Correcting Codes. DISC 2002: 63-87 - 2001
- [c28]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy:
A hierarchy of conditions for consensus solvability. PODC 2001: 151-160 - [c27]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy:
Efficient Condition-Based Consensus. SIROCCO 2001: 275-292 - [c26]Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal:
Conditions on input vectors for consensus solvability in asynchronous distributed systems. STOC 2001: 153-162 - [c25]Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle:
A New Synchronous Lower Bound for Set Agreement. DISC 2001: 136-150 - 2000
- [c24]Shlomi Dolev, Sergio Rajsbaum:
Stability of long-lived consensus (extended abstract). PODC 2000: 309-318 - [c23]Yefim Dinitz, Shlomo Moran, Sergio Rajsbaum:
Exact communication costs for consensus and leader in a tree. SIROCCO 2000: 63-77 - [c22]Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle:
An Overview of Synchronous Message-Passing and Topology. GETCO 2000: 1-17 - 1999
- [c21]Maurice Herlihy, Sergio Rajsbaum:
New Perspectives in Distributed Computing. MFCS 1999: 170-186 - [c20]Sergio Rajsbaum, Jorge Urrutia:
Some Problems in Distributed Computational Geometry. SIROCCO 1999: 223-248 - [c19]Yefim Dinitz, Shlomo Moran, Sergio Rajsbaum:
Bit Complexity of Breaking and Achieving Symmetry in Chains and Rings (Extended Abstract). STOC 1999: 265-274 - 1998
- [c18]Yoram Moses, Sergio Rajsbaum:
The Unified Structure of Consensus: A Layered Analysis Approach. PODC 1998: 123-132 - [c17]Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle:
Unifying Synchronous and Asynchronous Message-Passing Models. PODC 1998: 133-142 - [c16]Maurice Herlihy, Sergio Rajsbaum:
A Wait-Free Classification of Loop Agreement Tasks. DISC 1998: 175-185 - 1997
- [c15]Maurice Herlihy, Sergio Rajsbaum:
The Decidability of Distributed Decision Tasks (Extended Abstract). STOC 1997: 589-598 - 1996
- [c14]Nancy A. Lynch, Sergio Rajsbaum:
On the Borowsky-Gafni Simulation Algorithm. ISTCS 1996: 4-15 - [c13]Nancy A. Lynch, Sergio Rajsbaum:
On the Borowsky-Gafni Simulation Algorithm (Abstract). PODC 1996: 57 - [c12]Maurice Herlihy, Sergio Rajsbaum:
On the Decidability of Distributed Decision Tasks (Brief Announcement). PODC 1996: 279 - [c11]Hagit Attiya, Sergio Rajsbaum:
The Combinatorial Structure of Wait-free Solvable Tasks (Extended Abstract). WDAG 1996: 322-343 - 1995
- [c10]Shimon Even, Gene Itkis, Sergio Rajsbaum:
On Mixed Connectivity Certificates (Extended Abstract). ESA 1995: 1-16 - [c9]Maurice Herlihy, Sergio Rajsbaum:
Algebraic Spans (Preliminary Version). PODC 1995: 90-99 - 1994
- [c8]Maurice Herlihy, Sergio Rajsbaum:
Set Consensus Using Arbitrary Objects (Preliminary Version). PODC 1994: 324-333 - [c7]Boaz Patt-Shamir, Sergio Rajsbaum:
A theory of clock synchronization (extended abstract). STOC 1994: 810-819 - 1993
- [c6]Hagit Attiya, Amir Herzberg, Sergio Rajsbaum:
Optimal Clock Synchronization under Different Delay Assumptions (Preliminary Version). PODC 1993: 109-120 - 1992
- [c5]John D. Garofalakis, Sergio Rajsbaum, Paul G. Spirakis, Basil Tampakas:
Tentative and Definite Distributed Computations: An Optimistic Approach to Network Synchronization. WDAG 1992: 110-119 - 1991
- [c4]Sergio Rajsbaum:
Stochastic Marked Graphs. PNPM 1991: 95-101 - [c3]Yossi Malka, Sergio Rajsbaum:
Analysis of Distributed Algorithms based on Recurrence Relations (Preliminary Version). WDAG 1991: 242-253 - 1990
- [c2]Shimon Even, Sergio Rajsbaum:
The Use of a Synchronizer Yields Maximum Computation Rate in Distributed Networks (Extended Abstract). STOC 1990: 95-105 - [c1]Sergio Rajsbaum, Moshe Sidi:
On the Average Performance of Synchronized Programs in Distributed Networks (Preliminary Version). WDAG 1990: 102-121
Parts in Books or Collections
- 1995
- [p1]Maurice Herlihy, Sergio Rajsbaum:
Algebraic Topology and Distributed Computing: A Primer. Computer Science Today 1995: 203-217
Editorship
- 2023
- [e6]Cristina G. Fernandes, Sergio Rajsbaum:
Proceedings of the XII Latin-American Algorithms, Graphs and Optimization Symposium, LAGOS 2023, Huatulco, Mexico, September 18-22, 2023. Procedia Computer Science 223, Elsevier 2023 [contents] - [e5]Sergio Rajsbaum, Alkida Balliu, Joshua J. Daymude, Dennis Olivetti:
Structural Information and Communication Complexity - 30th International Colloquium, SIROCCO 2023, Alcalá de Henares, Spain, June 6-9, 2023, Proceedings. Lecture Notes in Computer Science 13892, Springer 2023, ISBN 978-3-031-32732-2 [contents] - 2014
- [e4]Mainak Chatterjee, Jiannong Cao, Kishore Kothapalli, Sergio Rajsbaum:
Distributed Computing and Networking - 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014. Proceedings. Lecture Notes in Computer Science 8314, Springer 2014, ISBN 978-3-642-45248-2 [contents] - 2007
- [e3]Andrea Bondavalli, Francisco Vilar Brasileiro, Sergio Rajsbaum:
Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings. Lecture Notes in Computer Science 4746, Springer 2007, ISBN 978-3-540-75293-6 [contents] - 2003
- [e2]Elizabeth Borowsky, Sergio Rajsbaum:
Proceedings of the Twenty-Second ACM Symposium on Principles of Distributed Computing, PODC 2003, Boston, Massachusetts, USA, July 13-16, 2003. ACM 2003, ISBN 1-58113-708-7 [contents] - 2002
- [e1]Sergio Rajsbaum:
LATIN 2002: Theoretical Informatics, 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings. Lecture Notes in Computer Science 2286, Springer 2002, ISBN 3-540-43400-3 [contents]
Reference Works
- 2016
- [r3]Sergio Rajsbaum:
Distributed Algorithms for Minimum Spanning Trees. Encyclopedia of Algorithms 2016: 572-574 - 2008
- [r2]Sergio Rajsbaum:
Distributed Algorithms for Minimum Spanning Trees. Encyclopedia of Algorithms 2008 - 2007
- [r1]Evangelos Kranakis, Danny Krizanc, Sergio Rajsbaum:
Computing with Mobile Agents in Distributed Networks. Handbook of Parallel Computing 2007
Informal and Other Publications
- 2023
- [i25]Eric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum:
Semi-simplicial Set Models for Distributed Knowledge. CoRR abs/2303.14976 (2023) - [i24]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 abs/2308.04213 (2023) - [i23]Carole Delporte, Hugues Fauconnier, Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers:
The Computational Power of Distributed Shared-Memory Models with Bounded-Size Registers. CoRR abs/2309.13977 (2023) - [i22]Eric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum:
Simplicial Models for the Epistemic Logic of Faulty Agents. CoRR abs/2311.01351 (2023) - 2022
- [i21]Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum:
A Speedup Theorem for Asynchronous Computation with Applications to Consensus and Approximate Agreement. CoRR abs/2206.05356 (2022) - [i20]Hagit Attiya, Constantin Enea, Sergio Rajsbaum, Ana Sokolova:
Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492). Dagstuhl Reports 12(12): 27-53 (2022) - 2021
- [i19]Carlos López, Sergio Rajsbaum, Michel Raynal, Karla Vargas:
Leader Election in Arbitrarily Connected Networks with Process Crashes and Weak Channel Reliability. CoRR abs/2105.02972 (2021) - [i18]Eric Goubault, Jérémy Ledent, Sergio Rajsbaum:
A Simplicial Model for KB4n: Epistemic Logic with Agents that May Die. CoRR abs/2108.10293 (2021) - [i17]Hugo Rincon Galeana, Sergio Rajsbaum, Ulrich Schmid:
Continuous Tasks and the Chromatic Simplicial Approximation Theorem. CoRR abs/2109.01439 (2021) - 2020
- [i16]Hans van Ditmarsch, Eric Goubault, Jérémy Ledent, Sergio Rajsbaum:
Knowledge and simplicial complexes. CoRR abs/2002.08863 (2020) - [i15]Armando Castañeda, Sergio Rajsbaum, Michel Raynal:
What Can Be Done with Consensus Number One: Relaxed Queues and Stacks. CoRR abs/2005.05427 (2020) - [i14]Sergio Rajsbaum:
A Distributed Computing Perspective of Unconditionally Secure Information Transmission in Russian Cards Problems. CoRR abs/2009.13644 (2020) - [i13]Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal:
t-Resilient k-Immediate Snapshot and its Relation with Agreement Problems. CoRR abs/2010.00096 (2020) - [i12]Hagit Attiya, Armando Castañeda, Sergio Rajsbaum:
Locally Solvable Tasks and the Limitations of Valency Arguments. CoRR abs/2011.10436 (2020) - 2019
- [i11]Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers:
A Topological Perspective on Distributed Network Algorithms. CoRR abs/1907.03565 (2019) - [i10]Eric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum:
A dynamic epistemic logic analysis of the equality negation task. CoRR abs/1909.03263 (2019) - 2018
- [i9]Sergio Rajsbaum, Michel Raynal:
Mastering Concurrent Computing Through Sequential Thinking: A Half-century Evolution. CoRR abs/1812.06011 (2018) - [i8]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): 60-79 (2018) - 2017
- [i7]Eric Goubault, Sergio Rajsbaum:
A simplicial complex model of dynamic epistemic logic for fault-tolerant distributed computing. CoRR abs/1703.11005 (2017) - [i6]Eric Goubault, Sergio Rajsbaum:
Models of fault-tolerant distributed computation via dynamic epistemic logic. CoRR abs/1704.07883 (2017) - [i5]Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Nayuta Yanagisawa:
A characterization of colorless anonymous t-resilient task computability. CoRR abs/1712.04393 (2017) - 2015
- [i4]Rodolfo Conde, Sergio Rajsbaum:
The solvability of consensus in iterated models extended with safe-consensus. CoRR abs/1505.01259 (2015) - [i3]Armando Castañeda, Michel Raynal, Sergio Rajsbaum:
Specifying Concurrent Problems: Beyond Linearizability. CoRR abs/1507.00073 (2015) - [i2]Fernando Benavides, Sergio Rajsbaum:
The read/write protocol complex is collapsible. CoRR abs/1512.05427 (2015) - 2011
- [i1]Armando Castañeda, Maurice Herlihy, Sergio Rajsbaum:
An Equivariance Theorem with Applications to Renaming (Preliminary Version). CoRR abs/1102.4946 (2011)
Coauthor Index
Carole Delporte-Gallet
aka: Carole Delporte
aka: Carole Delporte
Eric Goubault
aka: Éric Goubault
aka: Éric Goubault
[j104] [j103] [j97] [j92] [j84] [j83] [j81] [j80] [j77] [j76] [j73] [j72] [j67] [j66] [j64] [j63] [j60] [j57] [j56] [j54] [j53] [j50] [j48] [j39] [j32] [c124] [c120] [c117] [c114] [c113] [c101] [c99] [c92] [c91] [c88] [c87] [c84] [c80] [c76] [c75] [c73] [c71] [c70] [c69] [c59] [c56] [c55] [c53] [c52] [c51] [c47] [c44] [c43] [c40] [c35] [c33] [c32] [c31] [c30] [c29] [c28] [c27] [c26] [i19] [i15] [i13] [i9] [i3]
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-02-29 23:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
