Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 56 Treffer
- [info.info-rb]computer science [cs]/robotics [cs.ro] 42 Treffer
- methodes formelles 34 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 33 Treffer
- essaims de robots mobiles 32 Treffer
-
45 weitere Werte:
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 30 Treffer
- acm: c.: computer systems organization/c.2: computer-communication networks/c.2.4: distributed systems 28 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification 28 Treffer
- assistant de preuve 27 Treffer
- [info.info-cg]computer science [cs]/computational geometry [cs.cg] 26 Treffer
- espace euclidien 22 Treffer
- coq 18 Treffer
- acm: d.: software/d.2: software engineering/d.2.2: design tools and techniques 16 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 15 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.3: formal methods 15 Treffer
- acm: d.: software/d.3: programming languages/d.3.1: formal definitions and theory 14 Treffer
- distributed algorithms 14 Treffer
- proof assistant 14 Treffer
- [info.info-mc]computer science [cs]/mobile computing 13 Treffer
- connexion 12 Treffer
- graphe 12 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 11 Treffer
- pactole 11 Treffer
- preuve formelle 11 Treffer
- program verification 11 Treffer
- [info.info-iu]computer science [cs]/ubiquitous computing 10 Treffer
- automated deduction 10 Treffer
- formal proof 10 Treffer
- mobile autonomous robots 10 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 9 Treffer
- acm: d.: software/d.2: software engineering/d.2.1: requirements/specifications 9 Treffer
- acm: d.: software/d.4: operating systems/d.4.5: reliability 9 Treffer
- acm: f.: theory of computation/f.2: analysis of algorithms and problem complexity 9 Treffer
- acm: c.: computer systems organization/c.2: computer-communication networks 8 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs 8 Treffer
- [info.info-pf]computer science [cs]/performance [cs.pf] 7 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 7 Treffer
- [info.info-es]computer science [cs]/embedded systems 6 Treffer
- assistant a la preuve 6 Treffer
- acm: d.: software/d.1: programming techniques/d.1.3: concurrent programming 5 Treffer
- acm: d.: software/d.2: software engineering/d.2.3: coding tools and techniques 5 Treffer
- asychronous 5 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 4 Treffer
- [info.info-et]computer science [cs]/emerging technologies [cs.et] 4 Treffer
- [info.info-ma]computer science [cs]/multiagent systems [cs.ma] 4 Treffer
- [info.info-mo]computer science [cs]/modeling and simulation 4 Treffer
- [info.info-ia]computer science [cs]/computer aided engineering 3 Treffer
- acm: c.: computer systems organization/c.2: computer-communication networks/c.2.4: distributed systems/c.2.4.1: distributed applications 3 Treffer
- acm: d.: software/d.1: programming techniques 3 Treffer
- acm: d.: software/d.2: software engineering 3 Treffer
Verlag
Publikation
- 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 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
- 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
-
3 weitere Werte:
- 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
- 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
- lecture notes in computer science ; 13th conference on formal methods for open object-based distributed systems (fmoods) / 31th international conference on formal techniques for networked and distributed systems (forte) ; https://inria.hal.science/hal-00647802 ; 13th conference on formal methods for open object-based distributed systems (fmoods) / 31th international conference on formal techniques for networked and distributed systems (forte), jun 2011, reykjavik, iceland. pp.106-120, ⟨10.1007/978-3-642-21461-5_7⟩ ; http://hal.inria.fr/docs/00/64/78/02/pdf/vdcp.pdf 2 Treffer
Sprache
Geographischer Bezug
135 Treffer
-
In: TYPES 2022 : 28th International Conference on Types for Proofs and Programs ; 28th International Conference on Types for Proofs and Programs (TYPES 2022) ; https://hal.science/hal-04245455 ; 28th International Conference on Types for Proofs and Programs (TYPES 2022), Jun 2022, Nantes, France. pp.11:1-11:19, ⟨10.4230/LIPIcs.TYPES.2022.11⟩, 2022Online KonferenzZugriff:
-
In: Leibniz International Proceedings in Informatics (LIPIcs) ; 28th International Conference on Types for Proofs and Programs (TYPES 2022) ; https://hal.science/hal-04245455 ; 28th International Conference on Types for Proofs and Programs (TYPES 2022), Jun 2022, Nantes, France, 2022Online KonferenzZugriff:
-
In: JFLA - Journées francophones des langages applicatifs ; https://hal.inria.fr/hal-00779700 ; JFLA - Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, France, 2013Online KonferenzZugriff:
-
In: Journées Francophones des Langages Applicatifs ; https://hal.science/hal-02302086 ; Journées Francophones des Langages Applicatifs, Jan 2019, Les Rousses, France, 2019Online KonferenzZugriff:
-
In: Journées Francophones des Langages Applicatifs ; https://hal.archives-ouvertes.fr/hal-02302086 ; Journées Francophones des Langages Applicatifs, Jan 2019, Les Rousses, France, 2019Online KonferenzZugriff:
-
In: International Symposium on High-level Parallel Programming and Applications&, HLPP ; https://inria.hal.science/hal-00880533 ; International Symposium on High-level Parallel Programming and Applications&, 2013Online KonferenzZugriff:
-
In: International Symposium on High-level Parallel Programming and Applications&, HLPP ; https://hal.inria.fr/hal-00880533 ; International Symposium on High-level Parallel Programming and Applications&, 2013Online KonferenzZugriff:
-
In: 2017 International Conference on High Performance Computing & Simulation (HPCS) ; https://inria.hal.science/hal-02317110 ; 2017 International Conference on High Performance Computing & Simulation (HPCS), Jul 2017, Genoa, France. IEEE, 108, pp.893-894, 2017KonferenzZugriff:
-
In: 2017 International Conference on High Performance Computing & Simulation (HPCS) ; https://hal.inria.fr/hal-02317110 ; 2017 International Conference on High Performance Computing & Simulation (HPCS), Jul 2017, Genoa, France. pp.893-894, ⟨10.1109/HPCS.2017.140⟩, 2017KonferenzZugriff:
-
In: Interactive Theorem Proving ; https://inria.hal.science/hal-00964061 ; Interactive Theorem Proving, 2014, Vienna, Austria, 2014KonferenzZugriff:
-
In: Interactive Theorem Proving ; https://hal.inria.fr/hal-00964061 ; Interactive Theorem Proving, 2014, Vienna, Austria, 2014KonferenzZugriff:
-
In: Interactive Theorem Proving ; https://inria.hal.science/hal-00964061 ; Interactive Theorem Proving, 2014, Vienna, Austria, 2014KonferenzZugriff:
-
In: First International Symposium on Computing and Networking (CANDAR) ; https://inria.hal.science/hal-00864818 ; First International Symposium on Computing and Networking (CANDAR), 2013, Fukuoka, Japan, 2013KonferenzZugriff:
-
In: First International Symposium on Computing and Networking (CANDAR) ; https://hal.inria.fr/hal-00864818 ; First International Symposium on Computing and Networking (CANDAR), 2013, Fukuoka, Japan, 2013KonferenzZugriff:
-
In: First International Symposium on Computing and Networking (CANDAR) ; https://inria.hal.science/hal-00864818 ; First International Symposium on Computing and Networking (CANDAR), 2013, Fukuoka, Japan, 2013KonferenzZugriff:
-
In: International Conference on High Performance Computing and Simulation (HPCS) ; https://inria.hal.science/hal-00966632 ; International Conference on High Performance Computing and Simulation (HPCS), 2014, Bologna, Italy, 2014KonferenzZugriff:
-
In: International Conference on High Performance Computing and Simulation (HPCS) ; https://hal.inria.fr/hal-00966632 ; International Conference on High Performance Computing and Simulation (HPCS), 2014, Bologna, Italy, 2014KonferenzZugriff:
-
In: International Conference on High Performance Computing and Simulation (HPCS) ; https://inria.hal.science/hal-00966632 ; International Conference on High Performance Computing and Simulation (HPCS), 2014, Bologna, Italy, 2014KonferenzZugriff:
-
In: Proceedings of Symbolic Computation in Software Science (SCSS 2009) ; Symbolic Computation in Software Science (SCSS 2009) ; https://hal.archives-ouvertes.fr/hal-00407990 ; Symbolic Computation in Software Science (SCSS 2009), Sep 2009, Tunisia. To appear, 2009KonferenzZugriff:
-
In: Proceedings of Symbolic Computation in Software Science (SCSS 2009) ; Symbolic Computation in Software Science (SCSS 2009) ; https://hal.science/hal-00407990 ; Symbolic Computation in Software Science (SCSS 2009), Sep 2009, Tunisia. To appear, 2009KonferenzZugriff: