Showing 1 - 20 results of 1,105 for search 'RAJSBAUM, SERGIO' Narrow Search
1
eBook

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

2
Academic Journal
7
eBook

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

8
eBook

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

10
Conference

File Description: application/pdf

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

15
eBook

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

16
eBook

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

17
eBook

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

18
Conference

File Description: application/pdf

19
Book

Contributors: Berenbrink, Petra, Monmege, Benjamin

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