Authors: Delporte-Gallet, CaroleAff25, Fauconnier, HuguesAff25, Fraigniaud, PierreAff25, Rajsbaum, SergioAff25, Aff26, Travers, CorentinAff27
Contributors: Goos, Gerhard, Series EditorAff1, Hartmanis, Juris, Founding EditorAff2, van Leeuwen, Jan, Series EditorAff3, Hutchison, David, Editorial Board MemberAff4, Kanade, Takeo, Editorial Board MemberAff5, Kittler, Josef, Editorial Board MemberAff6, Kleinberg, Jon M., Editorial Board MemberAff7, Kobsa, Alfred, Series EditorAff8, Mattern, Friedemann, Editorial Board MemberAff9, Mitchell, John C., Editorial Board MemberAff10, Naor, Moni, Editorial Board MemberAff11, Nierstrasz, Oscar, Series EditorAff12, Pandu Rangan, C., Editorial Board MemberAff13, Sudan, Madhu, Series EditorAff14, Terzopoulos, Demetri, Editorial Board MemberAff15, Tygar, Doug, Editorial Board MemberAff16, Weikum, Gerhard, Series EditorAff17, Vardi, Moshe Y, Series EditorAff18, Bertino, Elisa, Editorial Board MemberAff19, Gao, Wen, Editorial Board MemberAff20, Steffen, Bernhard, Editorial Board MemberAff21, Yung, Moti, Editorial Board MemberAff22, Woeginger, Gerhard, Editorial Board MemberAff23, Emek, Yuval, editorAff24
Superior Title: Structural Information and Communication Complexity : 31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27–29, 2024, Proceedings. 14662:208-225
Authors: Conde, RodolfoAff1, IDs0022402310125z_cor1, Rajsbaum, Sergio
Superior Title: Theory of Computing Systems. 67(5):901-955
Authors: Castañeda, ArmandoAff1, IDs0044602200440y_cor1, Rajsbaum, Sergio, Raynal, MichelAff2, Aff3
Superior Title: Distributed Computing. 36(2):89-106
Authors: CASTAÑEDA, ARMANDO1, RAJSBAUM, SERGIO1, RAYNAL, MICHEL2
Superior Title: Communications of the ACM. Jan2023, Vol. 66 Issue 1, p86-97. 12p. 1 Color Photograph, 7 Diagrams, 5 Charts, 1 Graph.
Subject Terms: *COMPUTER architecture, MULTICORE processors, SEQUENTIAL machine theory
Authors: Castañeda, Armando, Fraigniaud, Pierre, Paz, Ami, Rajsbaum, Sergio, Roy, Matthieu, Travers, Corentin
Superior Title: In Information and Computation June 2023 292
Authors: Castañeda, ArmandoAff9, Rajsbaum, SergioAff9, Raynal, MichelAff10
Contributors: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Koulali, Mohammed-Amine, editorAff7, Mezini, Mira, editorAff8
Superior Title: Networked Systems : 10th International Conference, NETYS 2022, Virtual Event, May 17–19, 2022, Proceedings. 13464:3-15
Authors: Ditmarsch, Hans vanAff17, Goubault, ÉricAff18, Ledent, JérémyAff19, Rajsbaum, SergioAff20
Contributors: Taddeo, Mariarosaria, Editor-in-ChiefAff1, Allo, Patrick, Editorial Board MemberAff2, Baker, Lynne, Advisory EditorAff3, Cohen, Stewart, Advisory EditorAff4, Bogdan, Radu, Advisory EditorAff5, David, Marian, Advisory EditorAff6, Fischer, John, Advisory EditorAff7, Lehrer, Keith, Advisory EditorAff8, Meyerson, Denise, Advisory EditorAff9, Recanati, Francois, Advisory EditorAff10, Sainsbury, Mark, Advisory EditorAff11, Smith, Barry, Advisory EditorAff12, Smith, Nicholas, Advisory EditorAff13, Zagzebski, Linda, Advisory EditorAff14, Lundgren, Björn, editorAff15, Nuñez Hernández, Nancy Abigail, editorAff16
Superior Title: Philosophy of Computing : Themes from IACAP 2019. 143:1-50
Authors: Goubault, Éric, Kniazev, Roman, Ledent, Jérémy, Rajsbaum, Sergio
Subject Terms: Library Science. Information Science
File Description: text
Relation: https://strathprints.strath.ac.uk/88354/1/Goubault_etal_arXiv_2023_Semi_simplicial_set_models_for_distributed_knowledge.pdf; Goubault, Éric and Kniazev, Roman and Ledent, Jérémy and Rajsbaum, Sergio; (2023 ) Semi-simplicial set models for distributed knowledge. In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, USA. ISBN 9798350335873
Authors: Attiya, Hagit, Fraigniaud, Pierre, Paz, Ami, Rajsbaum, Sergio
File Description: application/pdf
Relation: https://dx.doi.org/10.4230/LIPIcs.DISC.2023; https://dx.doi.org/10.1016/S0020-0190(99)00100-3; https://dx.doi.org/10.1145/3313276.3316407; https://dx.doi.org/10.1007/978-3-030-79527-6_6; https://dx.doi.org/10.1145/97444.97701; https://dx.doi.org/10.1016/j.jpdc.2023.02.002; https://dx.doi.org/10.2200/S00551ED1V01Y201311DCT012; https://dx.doi.org/10.1109/FOCS.2019.00037; https://dx.doi.org/10.1016/0196-6774(90)90020-F; https://dx.doi.org/10.1145/167088.167119; https://dx.doi.org/10.1145/259380.259439; https://dx.doi.org/10.1007/PL00008933; https://dx.doi.org/10.1145/3293611.3331611; https://dx.doi.org/10.1145/3465084.3467906; https://dx.doi.org/10.1137/130936828; https://dx.doi.org/10.1109/LADC.2016.21; https://dx.doi.org/10.1007/s00446-003-0091-y
Availability: https://doi.org/10.4230/lipics.disc.2023.410.4230/LIPIcs.DISC.202310.1016/S0020-0190(99)00100-310.1145/3313276.331640710.1007/978-3-030-79527-6_610.1145/97444.9770110.1016/j.jpdc.2023.02.00210.2200/S00551ED1V01Y201311DCT01210.1109/FOCS.2019.0003710.1016/0196-6774(90)90020-F10.1145/167088.16711910.1145/259380.25943910.1007/PL0000893310.1145/3293611.333161110.1145/3465084.346790610.1137/13093682810.1109/LADC.2016.2110.1007/s00446-003-0091-y
Authors: Attiya, Hagit, Enea, Constantin, Rajsbaum, Sergio, Sokolova, Ana
Superior Title: DagRep, Volume 12, Issue 12; ISSN 2192-5283
Subject Terms: automated verification and reasoning, concurrent data structures and transactions, distributed algorithms, large-scale replication
File Description: application/pdf
Authors: Rajsbaum, Sergio
Superior Title: In Theoretical Computer Science 31 March 2023 952
Authors: Delporte, Carole, Fauconnier, Hugues, Fraigniaud, Pierre, Rajsbaum, Sergio, Travers, Corentin
Subject Terms: Computer Science - Distributed, Parallel, and Cluster Computing
Relation: http://arxiv.org/abs/2309.13977
Availability: http://arxiv.org/abs/2309.13977
Superior Title: In Information and Computation May 2022 285 Part B
Authors: López, CarlosAff10, Rajsbaum, SergioAff10, Raynal, MichelAff11, Aff12, Vargas, KarlaAff10
Contributors: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Echihabi, Karima, editorAff8, Meyer, Roland, editorAff9
Superior Title: Networked Systems : 9th International Conference, NETYS 2021, Virtual Event, May 19–21, 2021, Proceedings. 12754:54-70
Authors: Leyva-Acosta, ZoeAff11, Pascual-Aseff, EduardoAff11, Rajsbaum, SergioAff12
Contributors: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Johnen, Colette, editorAff8, Schiller, Elad Michael, editorAff9, Schmid, Stefan, editorAff10
Superior Title: Stabilization, Safety, and Security of Distributed Systems : 23rd International Symposium, SSS 2021, Virtual Event, November 17–20, 2021, Proceedings. 13046:380-394
Authors: Rajsbaum, SergioAff10
Contributors: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Jurdziński, Tomasz, editorAff8, Schmid, Stefan, editorAff9
Superior Title: Structural Information and Communication Complexity : 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings. 12810:277-295
Authors: Galeana, Hugo Rincon, Rajsbaum, Sergio, Schmid, Ulrich
Subject Terms: Wait-free computability, topology, distributed computing, decision tasks, shared memory, Theory of computation → Distributed computing models, Mathematics of computing → Hypergraphs
File Description: application/pdf
Relation: http://link.springer.de/link/service/journals/00446/bibs/1014003/10140127.htm; https://dx.doi.org/10.4230/LIPIcs.ITCS.2022; https://dx.doi.org/10.1016/j.tcs.2014.07.022; https://dx.doi.org/10.1007/s00446-018-0345-3; https://dx.doi.org/10.1145/3212734.3212739; https://dx.doi.org/10.4230/LIPIcs.OPODIS.2020.18; https://dx.doi.org/10.1137/S0097539797330689; https://dx.doi.org/10.1007/s41468-018-0011-7; https://dx.doi.org/10.1145/167088.167119; https://dx.doi.org/10.1145/259380.259439; https://dx.doi.org/10.1007/978-3-030-01325-7_18; https://dx.doi.org/10.1145/3212734.3212762; https://dx.doi.org/10.1145/1536414.1536428; https://dx.doi.org/10.1145/2611462.2611477; https://dx.doi.org/10.1007/978-3-642-17653-1_17; https://dx.doi.org/10.1007/978-3-030-34992-9_25; https://dx.doi.org/10.1093/comjnl/bxl046
Authors: Goubault, Éric, Ledent, Jérémy, Rajsbaum, Sergio
Contributors: Berenbrink, Petra, Monmege, Benjamin
Subject Terms: Electronic computers. Computer science
File Description: text
Relation: https://strathprints.strath.ac.uk/80069/1/Goubault_etal_STACS2022_A_simplicial_model_for_KB4n.pdf; Goubault, Éric and Ledent, Jérémy and Rajsbaum, Sergio; Berenbrink, Petra and Monmege, Benjamin, eds. (2022 ) A simplicial model for KB4n : epistemic logic with agents that may die. In: 39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022). Leibniz International Proceedings in Informatics, LIPIcs, 219 . Schloss Dagstuhl - Leibniz-Zentrum für Informatik, FRA, 33:1--33:20. ISBN 9783959772228
Authors: Rajsbaum, Sergio
Subject Terms: Data processing Computer science
File Description: application/pdf
Relation: urn:nbn:de:0030-drops-170660; https://drops.dagstuhl.de/opus/volltexte/2022/17066/