( en | de | ru )

 

Disambiguierung von "Rajsbaum, Sergio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492).

, , , und . Dagstuhl Reports, 12 (12): 27-53 (Dezember 2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Sergio Moccia

Sergio Dellavalle

Sergio Scognamillo

Sérgio Campos

Sergio Greco

 

Weitere Publikationen von Autoren mit dem selben Namen

The BG Distributed Simulation Algorithm, , , , und . Distributed Computing, (1997)A lower bound on the number of opinions needed for fault-tolerant decentralized run-time monitoring., , und . J. Appl. Comput. Topol., 4 (1): 141-179 (2020)The topology of look-compute-move robot wait-free algorithms with hard termination., , , und . Distributed Comput., 32 (3): 235-255 (2019)Unison, Canon, and Sluggish Clocks in Networks Controlled by a Synchronizer., und . Math. Syst. Theory, 28 (5): 421-435 (1995)Cycle-pancyclism in tournaments II., und . Graphs Comb., 12 (1): 9-16 (1996)60 Years of Mastering Concurrent Computing through Sequential Thinking., und . SIGACT News, 51 (2): 59-88 (2020)A conjecture on cycle-pancyclism in tournaments., und . Discuss. Math. Graph Theory, 18 (2): 243-251 (1998)Asynchronous Agreement and Its Relation with Error-Correcting Codes., , , und . IEEE Trans. Computers, 56 (7): 865-875 (2007)A topological perspective on distributed network algorithms., , , , , und . Theor. Comput. Sci., (2021)Two-Agent Approximate Agreement from an Epistemic Logic Perspective., , und . Computación y Sistemas, (2022)