-
1مؤتمر
المؤلفون: Blocher, Marcel, Nedderhut, Nils, Chuprikov, Pavel, Khalili, Ramin, Eugster, Patrick, Wang, Lin
المصدر: IEEE INFOCOM 2024 - IEEE Conference on Computer Communications Computer Communications, IEEE INFOCOM 2024 - IEEE Conference on. :661-670 May, 2024
Relation: IEEE INFOCOM 2024 - IEEE Conference on Computer Communications
-
2كتاب إلكتروني
المؤلفون: Otoni, RodrigoAff9, Blicha, MartinAff9, Aff10, Eugster, PatrickAff9, Sharygina, NatashaAff9
المساهمون: 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, Herber, Paula, editorAff7, Wijs, Anton, editorAff8
المصدر: Integrated Formal Methods : 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings. 14300:62-81
-
3مؤتمر
المؤلفون: Otoni, Rodrigo, Blicha, Martin, Eugster, Patrick, Hyvarinen, Antti E. J., Sharygina, Natasha
المصدر: 2021 58th ACM/IEEE Design Automation Conference (DAC) Design Automation Conference (DAC), 2021 58th ACM/IEEE. :541-546 Dec, 2021
Relation: 2021 58th ACM/IEEE Design Automation Conference (DAC)
-
4مؤتمر
المؤلفون: Blocher, Marcel, Khalili, Ramin, Wang, Lin, Eugster, Patrick
المصدر: IEEE INFOCOM 2020 - IEEE Conference on Computer Communications Computer Communications, IEEE INFOCOM 2020 - IEEE Conference on. :824-833 Jul, 2020
Relation: IEEE INFOCOM 2020 - IEEE Conference on Computer Communications
-
5تقرير
-
6كتاب إلكتروني
المؤلفون: Otoni, RodrigoAff9, Konnov, IgorAff10, Kukovec, JureAff10, Eugster, PatrickAff9, Sharygina, NatashaAff9
المساهمون: 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, Sankaranarayanan, Sriram, editorAff7, Sharygina, Natasha, editorAff8
المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I. 13993:126-144
-
7مؤتمر
المصدر: 2018 IEEE 31st Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2018 IEEE 31st. :31-45 Jul, 2018
Relation: 2018 IEEE 31st Computer Security Foundations Symposium (CSF)
-
8مؤتمر
المؤلفون: Kogan, Kirill, Menikkumbura, Danushka, Petri, Gustavo, Noh, Yangtae, Nikolenko, Sergey, Sirotkin, Alexander, Eugster, Patrick
المصدر: 2017 IEEE 25th International Conference on Network Protocols (ICNP) Network Protocols (ICNP), 2017 IEEE 25th International Conference on. :1-10 Oct, 2017
Relation: 2017 IEEE 25th International Conference on Network Protocols (ICNP)
-
9مؤتمر
المؤلفون: Wang, Weihang, Kwon, Yonghwi, Zheng, Yunhui, Aafer, Yousra, Kim, I-Luk, Lee, Wen-Chuan, Liu, Yingqi, Meng, Weijie, Zhang, Xiangyu, Eugster, Patrick
المصدر: 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) Automated Software Engineering (ASE), 2017 32nd IEEE/ACM International Conference on. :240-251 Oct, 2017
Relation: 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)
-
10تقرير