Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Fauconnier, Hugues
173  Ergebnisse:
Personensuche X
?
1

Non-negotiating Distributed Computing:

, In: Structural Information and Communication Complexity; Lecture Notes in Computer Science,
Delporte-Gallet, Carole ; Fauconnier, Hugues ; Fraigniaud, Pierre.. - p. 208-225 , 2024
Link: https://doi.org/10.1007/..
 
?
2

The Computational Power of Distributed Shared-Memory Models..:

, In: Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing,
Delporte-Gallet, Carole ; Fauconnier, Hugues ; Fraigniaud, Pierre.. - p. 310-320 , 2024
Link: https://dl.acm.org/doi/1..
 
?
3

Optimal algorithms for synchronous Byzantine k-set agreemen:

Delporte-Gallet, Carole ; Fauconnier, Hugues ; Raynal, Michel.
Theoretical Computer Science.  973 (2023)  - p. 114098 , 2023
Link: https://doi.org/10.1016/..
 
?
4

Distributed computability: Relating k-immediate snapshot an..:

Delporte, Carole ; Fauconnier, Hugues ; Rajsbaum, Sergio.
Information and Computation.  285 (2022)  - p. 104815 , 2022
Link: https://doi.org/10.1016/..
 
?
5

When is Recoverable Consensus Harder Than Consensus?:

, In: Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing,
Delporte-Gallet, Carole ; Fatourou, Panagiota ; Fauconnier, Hugues. - p. 198-208 , 2022
Link: https://dl.acm.org/doi/1..
 
?
6

Optimal Algorithms for Synchronous Byzantine k-Set Agreemen:

, In: Lecture Notes in Computer Science; Stabilization, Safety, and Security of Distributed Systems,
Delporte-Gallet, Carole ; Fauconnier, Hugues ; Raynal, Michel. - p. 178-192 , 2022
Link: https://doi.org/10.1007/..
 
?
7

A TLA+ Formal Proof of a Cross-Chain Swap:

, In: 23rd International Conference on Distributed Computing and Networking,
Nehaï, Zeinab ; Bobot, François ; Tucci-Piergiovanni, Sara.. - p. 148-159 , 2022
Link: https://dl.acm.org/doi/1..
 
?
8

Byzantine k-Set Agreement:

, In: Networked Systems; Lecture Notes in Computer Science,
Delporte-Gallet, Carole ; Fauconnier, Hugues ; Safir, Mouna - p. 183-191 , 2021
Link: https://doi.org/10.1007/..
 
?
9

On the weakest information on failures to solve mutual excl..:

Delporte-Gallet, Carole ; Fauconnier, Hugues ; Raynal, Michel
Journal of Parallel and Distributed Computing.  153 (2021)  - p. 110-118 , 2021
Link: https://doi.org/10.1016/..
 
?
10

The assignment problem:

Delporte-Gallet, Carole ; Fauconnier, Hugues ; Gafni, Eli.
Theoretical Computer Science.  886 (2021)  - p. 13-26 , 2021
Link: https://doi.org/10.1016/..
 
?
11

k-Immediate Snapshot and x-Set Agreement: How Are They Rela..:

, In: Lecture Notes in Computer Science; Stabilization, Safety, and Security of Distributed Systems,
Delporte, Carole ; Fauconnier, Hugues ; Rajsbaum, Sergio. - p. 97-112 , 2020
Link: https://doi.org/10.1007/..
 
?
12

Communication Complexity of Wait-Free Computability in Dyna..:

, In: Structural Information and Communication Complexity; Lecture Notes in Computer Science,
Delporte-Gallet, Carole ; Fauconnier, Hugues ; Rajsbaum, Sergio - p. 291-309 , 2020
Link: https://doi.org/10.1007/..
 
?
13

Editorial, special issue of NETYS 2015:

Bouajjani, Ahmed ; Fauconnier, Hugues
Computing.  101 (2019)  9 - p. 1225-1226 , 2019
Link: https://doi.org/10.1007/..
 
?
14

An Anonymous Wait-Free Weak-Set Object Implementation:

, In: Networked Systems; Lecture Notes in Computer Science,
Delporte-Gallet, Carole ; Fauconnier, Hugues ; Rajsbaum, Sergio. - p. 141-156 , 2019
Link: https://doi.org/10.1007/..
 
?
15

Towards Synthesis of Distributed Algorithms with SMT Solver:

, In: Networked Systems; Lecture Notes in Computer Science,
Delporte-Gallet, Carole ; Fauconnier, Hugues ; Jurski, Yan.. - p. 200-216 , 2019
Link: https://doi.org/10.1007/..
 
1-15