Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 202 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 200 Treffer
- [info.info-rb]computer science [cs]/robotics [cs.ro] 97 Treffer
- [info.info-pf]computer science [cs]/performance [cs.pf] 66 Treffer
- [info.info-cg]computer science [cs]/computational geometry [cs.cg] 58 Treffer
-
45 weitere Werte:
- [info.info-mc]computer science [cs]/mobile computing 57 Treffer
- [info]computer science [cs] 55 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 54 Treffer
- acm: c.: computer systems organization/c.2: computer-communication networks/c.2.4: distributed systems 54 Treffer
- [info.info-cc]computer science [cs]/computational complexity [cs.cc] 49 Treffer
- [info.info-iu]computer science [cs]/ubiquitous computing 42 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 41 Treffer
- methodes formelles 34 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification 32 Treffer
- essaims de robots mobiles 32 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 28 Treffer
- acm: f.: theory of computation/f.2: analysis of algorithms and problem complexity 24 Treffer
- assistant de preuve 24 Treffer
- distributed algorithms 23 Treffer
- espace euclidien 22 Treffer
- acm: d.: software/d.4: operating systems/d.4.5: reliability 21 Treffer
- acm: d.: software/d.2: software engineering/d.2.2: design tools and techniques 20 Treffer
- acm: c.: computer systems organization/c.2: computer-communication networks 19 Treffer
- blockchain 18 Treffer
- [info.info-ia]computer science [cs]/computer aided engineering 17 Treffer
- acm: c.: computer systems organization/c.2: computer-communication networks/c.2.2: network protocols 17 Treffer
- acm: d.: software/d.4: operating systems/d.4.5: reliability/d.4.5.2: fault-tolerance 16 Treffer
- fault tolerance 16 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 14 Treffer
- acm: d.: software/d.3: programming languages/d.3.1: formal definitions and theory 14 Treffer
- proof assistant 14 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.3: formal methods 12 Treffer
- connexion 12 Treffer
- graphe 12 Treffer
- auto-stabilisation 11 Treffer
- coq 11 Treffer
- pactole 11 Treffer
- preuve formelle 11 Treffer
- program verification 11 Treffer
- self-stabilization 11 Treffer
- automated deduction 10 Treffer
- exploration 10 Treffer
- formal proof 10 Treffer
- mobile autonomous robots 10 Treffer
- [info.info-es]computer science [cs]/embedded systems 9 Treffer
- acm: d.: software/d.1: programming techniques/d.1.3: concurrent programming 9 Treffer
- acm: d.: software/d.2: software engineering/d.2.1: requirements/specifications 9 Treffer
- dynamic systems 9 Treffer
- protocol 9 Treffer
- [info.info-gt]computer science [cs]/computer science and game theory [cs.gt] 8 Treffer
Verlag
- hal ccsd 527 Treffer
- springer 154 Treffer
- ieee 50 Treffer
- acm 32 Treffer
- springer international publishing 22 Treffer
-
12 weitere Werte:
- springer nature switzerland 10 Treffer
- springer-verlag 9 Treffer
- ieee computer society 8 Treffer
- acm new york, ny, usa 6 Treffer
- acm press 6 Treffer
- schloss dagstuhl--leibniz-zentrum fuer informatik 6 Treffer
- springer, cham 6 Treffer
- schloss dagstuhl 5 Treffer
- schloss dagstuhl -- leibniz-zentrum fur informatik 4 Treffer
- schloss dagstuhl--leibniz-zentrum fur informatik 3 Treffer
- springer, cham. 2 Treffer
- laas / cnrs 1 Treffer
Publikation
- stabilization, safety, and security of distributed systems. sss 2021 ; https://hal.sorbonne-universite.fr/hal-03425768 ; stabilization, safety, and security of distributed systems. sss 2021, nov 2021, online, sweden. pp.469-473, ⟨10.1007/978-3-030-91081-5_31⟩ 8 Treffer
- 7th international conference on networked systems (netys 2019) ; https://hal.science/hal-02115599 ; 7th international conference on networked systems (netys 2019), jun 2019, marrakech, morocco. pp.93-09, ⟨10.1007/978-3-030-31277-0_7⟩ 7 Treffer
- algotel 2022 - 24emes rencontres francophones sur les aspects algorithmiques des telecommunications ; https://hal.science/hal-03651152 ; algotel 2022 - 24emes rencontres francophones sur les aspects algorithmiques des telecommunications, may 2022, saint-remy-les-chevreuse, france 6 Treffer
- algotel 2019 - 21emes rencontres francophones sur les aspects algorithmiques des telecommunications ; https://hal.science/hal-02115611 ; algotel 2019 - 21emes rencontres francophones sur les aspects algorithmiques des telecommunications, jun 2019, saint laurent de la cabrerisse, france. pp.1-4 ; https://www.irit.fr/algotel2019/ 5 Treffer
- algotel 2020 - 22emes rencontres francophones sur les aspects algorithmiques des telecommunications ; https://hal.science/hal-02871295 ; algotel 2020 - 22emes rencontres francophones sur les aspects algorithmiques des telecommunications, sep 2020, lyon, france 5 Treffer
-
15 weitere Werte:
- algotel 2021 - 23emes rencontres francophones sur les aspects algorithmiques des telecommunications ; https://hal.science/hal-03219933 ; algotel 2021 - 23emes rencontres francophones sur les aspects algorithmiques des telecommunications, 2021, la rochelle, france 5 Treffer
- proceedings of avocs 2017 ; formal methods for industrial critical systems and automated verification of critical systems (fmics/avocs) ; https://hal.sorbonne-universite.fr/hal-01549942 ; formal methods for industrial critical systems and automated verification of critical systems (fmics/avocs), sep 2017, turin, italy. pp.165-181, ⟨10.1007/978-3-319-67113-0_11⟩ ; https://easychair.org/cfp/fmics-avocs2017 5 Treffer
- stabilization, safety, and security of distributed systems. sss 2018. ; https://hal.science/hal-01937420 ; stabilization, safety, and security of distributed systems. sss 2018., xavier defago, toshimitsu masuzawa, koichi wada, nov 2018, tokyo, japan. pp.404-408, ⟨10.1007/978-3-030-03232-6_29⟩ 5 Treffer
- ppopp 2019 - 24th acm sigplan annual symposium on principles and practice of parallel programming ; https://hal.science/hal-01988364 ; ppopp 2019 - 24th acm sigplan annual symposium on principles and practice of parallel programming, feb 2019, washington dc, united states. acm, 24th acm sigplan annual symposium on principles and practice of parallel programming, pp.1-2, ⟨10.1145/3293883.3303705⟩ 4 Treffer
- spaa 2019 - 31st acm symposium on parallelism in algorithms and architectures ; https://cnrs.hal.science/hal-02380364 ; spaa 2019 - 31st acm symposium on parallelism in algorithms and architectures, jun 2019, phoenix, arizona, united states. pp.349-358, ⟨10.1145/3323165.3323183⟩ 4 Treffer
- international symposium on stabilization, safety, and security of distributed systems ; https://hal.sorbonne-universite.fr/hal-00930267 ; international symposium on stabilization, safety, and security of distributed systems, nov 2013, osaka, japan. pp.178-190, ⟨10.1007/978-3-319-03089-0_13⟩ 3 Treffer
- nbis 2011 - 14th international conference on network-based information systems ; https://inria.hal.science/hal-00649294 ; nbis 2011 - 14th international conference on network-based information systems, sep 2011, tirana, albania. pp.318-324, ⟨10.1109/nbis.2011.55⟩ 3 Treffer
- networked systems ; 8th international conference on networked systems - netys 2020 ; https://hal.sorbonne-universite.fr/hal-02979574 ; 8th international conference on networked systems - netys 2020, jun 2020, marrakech, morocco. pp.60-76, ⟨10.1007/978-3-030-67087-0_5⟩ 3 Treffer
- proceedings of srds 2017 ; 36th ieee symposium on reliable distributed systems (srds 2017) ; https://hal.sorbonne-universite.fr/hal-01549931 ; 36th ieee symposium on reliable distributed systems (srds 2017), sep 2017, hong kong, china 3 Treffer
- 15emes rencontres francophones sur les aspects algorithmiques des telecommunications (algotel) ; https://hal.science/hal-00817123 ; 15emes rencontres francophones sur les aspects algorithmiques des telecommunications (algotel), may 2013, pornic, france. pp.1-4 2 Treffer
- opodis 2010 - 14th international conference on principles of distributed systems ; https://inria.hal.science/inria-00627771 ; opodis 2010 - 14th international conference on principles of distributed systems, dec 2010, tozeur, tunisia. pp.83-86, ⟨10.1007/978-3-642-17653-1_7⟩ 2 Treffer
- 25th international conference on principles of distributed systems (opodis 2021) ; opodis 2021 - 25th international conference on principles of distributed systems ; https://hal.sorbonne-universite.fr/hal-03592615 ; opodis 2021 - 25th international conference on principles of distributed systems, dec 2021, strasbourg, france. pp.9:1--9:17, ⟨10.4230/lipics.opodis.2021.9⟩ 1 Treffer
- international symposium on stabilization, safety, and security of distributed systems ; https://hal.sorbonne-universite.fr/hal-00934161 ; international symposium on stabilization, safety, and security of distributed systems, oct 2012, toronto, canada. pp.64-76, ⟨10.1007/978-3-642-33536-5_7⟩ 1 Treffer
- stabilization, safety, and security of distributed systems ; https://hal.sorbonne-universite.fr/hal-03026512 ; stabilization, safety, and security of distributed systems, nov 2020, austin, united states. pp.45-59, ⟨10.1007/978-3-030-64348-5_4⟩ 1 Treffer
- stabilization, safety, and security of distributed systems. sss 2021 ; https://hal.sorbonne-universite.fr/hal-03425761 ; stabilization, safety, and security of distributed systems. sss 2021, nov 2021, online, sweden. pp.273-288, ⟨10.1007/978-3-030-91081-5_18⟩ 1 Treffer
Sprache
Geographischer Bezug
527 Treffer
-
In: JOBIM ; https://uca.hal.science/hal-03716631 ; JOBIM, Jul 2022, Rennes, France. ; https://jobim2022.sciencesconf.org/, 2022Online KonferenzZugriff:
-
In: JOBIM ; https://uca.hal.science/hal-03716631 ; JOBIM, Jul 2022, Rennes, France. ; https://jobim2022.sciencesconf.org/, 2022Online KonferenzZugriff:
-
In: JOBIM ; https://uca.hal.science/hal-03716631 ; JOBIM, Jul 2022, Rennes, France. ; https://jobim2022.sciencesconf.org/, 2022Online KonferenzZugriff:
-
In: Proceedings of the Central European Conference on Information and Intelligents Systems. 34th International Scientific Conference CECIIS ; Central European Conference on Information and Intelligent Systems. CECIIS 2023 ; https://hal.science/hal-04256875 ; Central European Conference on Information and Intelligent Systems. CECIIS 2023, Faculty of Organization and Informatics. University of Zagreb, Sep 2023, Dubrovnik, Croatia. pp.509-515 ; https://ceciis.foi.hr/, 2023Online KonferenzZugriff:
-
In: Proceedings of the Central European Conference on Information and Intelligents Systems. 34th International Scientific Conference CECIIS ; Central European Conference on Information and Intelligent Systems. CECIIS 2023 ; https://hal.science/hal-04256875 ; Central European Conference on Information and Intelligent Systems. CECIIS 2023, Faculty of Organization and Informatics. University of Zagreb, Sep 2023, Dubrovnik, Croatia. pp.509-515 ; https://ceciis.foi.hr/, 2023Online KonferenzZugriff:
-
In: AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-04085127 ; AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2023, Cargese, France, 2023Online KonferenzZugriff:
-
In: AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-04086366 ; AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2023, Cargese, France, 2023Online KonferenzZugriff:
-
In: AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-04085127 ; AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2023, Cargese, France, 2023Online KonferenzZugriff:
-
In: AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-04086366 ; AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2023, Cargese, France, 2023Online KonferenzZugriff:
-
In: Advanced Information Networking and Applications ; 38th International Conference on Advanced Information Networking and Applications (AINA-2024) ; https://hal.sorbonne-universite.fr/hal-04572422 ; 38th International Conference on Advanced Information Networking and Applications (AINA-2024), Apr 2024, Kitakyūshū, Japan. pp.213-224, ⟨10.1007/978-3-031-57853-3_18⟩, 2024KonferenzZugriff:
-
In: AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-03651261 ; AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2022, Saint-Rémy-Lès-Chevreuse, France, 2022Online KonferenzZugriff:
-
In: AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-03651152 ; AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2022, Saint-Rémy-Lès-Chevreuse, France, 2022Online KonferenzZugriff:
-
In: AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-03651152 ; AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2022, Saint-Rémy-Lès-Chevreuse, France, 2022Online KonferenzZugriff:
-
In: AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-03651152 ; AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2022, Saint-Rémy-Lès-Chevreuse, France, 2022Online KonferenzZugriff:
-
In: AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-03651261 ; AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2022, Saint-Rémy-Lès-Chevreuse, France, 2022Online KonferenzZugriff:
-
In: AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-03651152 ; AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2022, Saint-Rémy-Lès-Chevreuse, France, 2022Online KonferenzZugriff:
-
In: AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-03651261 ; AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2022, Saint-Rémy-Lès-Chevreuse, France, 2022Online KonferenzZugriff:
-
In: AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications ; https://hal.science/hal-03657365 ; AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2022, Saint-Rémy-Lès-Chevreuse, France, 2022Online KonferenzZugriff:
-
In: IEEE International Conference on Communications (ICC) ; https://hal.science/hal-03287777 ; IEEE International Conference on Communications (ICC), May 2022, Seoul, South Korea. pp.2297-2302, ⟨10.1109/ICC45855.2022.9839064⟩, 2022Online KonferenzZugriff:
-
In: SLICES Workshop at International Federation for Information Processing (IFIP) Networking 2022 Conference ; https://hal.science/hal-03768160 ; SLICES Workshop at International Federation for Information Processing (IFIP) Networking 2022 Conference, Jun 2022, Catania, Italy. pp.1-5, ⟨10.23919/IFIPNetworking55013.2022.9829758⟩, 2022Online KonferenzZugriff: