Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 419 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 247 Treffer
- formal proof 139 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 111 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 96 Treffer
-
45 weitere Werte:
- [info.info-dc]computer science [cs]/distributed 85 Treffer
- and cluster computing [cs.dc] 85 Treffer
- parallel 85 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 84 Treffer
- type theory 79 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 76 Treffer
- proof assistant 69 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 68 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 64 Treffer
- [info]computer science [cs] 59 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 58 Treffer
- coq proof assistant 58 Treffer
- [info.info-es]computer science [cs]/embedded systems 54 Treffer
- floating-point arithmetic 52 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs 49 Treffer
- formal proofs 46 Treffer
- [math.math-ca]mathematics [math]/classical analysis and odes [math.ca] 45 Treffer
- program verification 45 Treffer
- methodes formelles 42 Treffer
- preuve formelle 42 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 40 Treffer
- measure theory 37 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic 35 Treffer
- formalization 35 Treffer
- [math.math-fa]mathematics [math]/functional analysis [math.fa] 33 Treffer
- assistant de preuve 32 Treffer
- essaims de robots mobiles 32 Treffer
- interactive theorem proving 32 Treffer
- phil 32 Treffer
- termination 30 Treffer
- [info.info-cg]computer science [cs]/computational geometry [cs.cg] 29 Treffer
- rewriting 29 Treffer
- [info.info-ia]computer science [cs]/computer aided engineering 28 Treffer
- [info.info-rb]computer science [cs]/robotics [cs.ro] 28 Treffer
- certification 27 Treffer
- automated reasoning 26 Treffer
- lebesgue integration 26 Treffer
- mobile autonomous robots 26 Treffer
- proof assistants 26 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification 25 Treffer
- calculus of inductive constructions 25 Treffer
- dependent types 25 Treffer
- geometry 25 Treffer
- theorie des types 25 Treffer
- [info.info-db]computer science [cs]/databases [cs.db] 24 Treffer
Verlag
- hal ccsd 1.479 Treffer
- springer 131 Treffer
- springer verlag 104 Treffer
- acm 67 Treffer
- logical methods in computer science association 22 Treffer
-
44 weitere Werte:
- elsevier 21 Treffer
- cambridge university press (cup) 17 Treffer
- springer-verlag 16 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik 11 Treffer
- springer international publishing 10 Treffer
- european design and automation association (edaa) \ embedded systems special interest group (emsig) and schloss dagstuhl -- leibniz-zentrum fur informatik gmbh, dagstuhl publishing. 9 Treffer
- springer berlin / heidelberg 9 Treffer
- acm press 8 Treffer
- asdd-almadl 8 Treffer
- institute of electrical and electronics engineers 8 Treffer
- eptcs 7 Treffer
- ieee 7 Treffer
- springer nature switzerland 6 Treffer
- association for computing machinery 5 Treffer
- schloss dagstuhl--leibniz-zentrum fuer informatik 5 Treffer
- cnrs editions 4 Treffer
- dmtcs 4 Treffer
- ieee/acm 4 Treffer
- acm, new york, ny, usa 3 Treffer
- discrete mathematics and theoretical computer science 3 Treffer
- electronic notes in theoretical computer science 3 Treffer
- inria 3 Treffer
- leibniz-zentrum fur informatik 3 Treffer
- schloss dagstuhl - leibniz-zentrum fur informatik 3 Treffer
- world scientific 3 Treffer
- acm sigplan 2 Treffer
- aircc publishing corporation 2 Treffer
- cambridge university press 2 Treffer
- college publications 2 Treffer
- igi global 2 Treffer
- iste press - elsevier 2 Treffer
- oxford university press (oup) 2 Treffer
- polskie towarzystwo matematyczne 2 Treffer
- schloss dagstuhl - leibniz center for informatics 2 Treffer
- schloss dagstuhl--leibniz-zentrum f{\"u}r informatik 2 Treffer
- springer berlin heidelberg 2 Treffer
- springer verlag (germany) 2 Treffer
- easy chair 1 Treffer
- easychair 1 Treffer
- hermann 1 Treffer
- ibfi schloss dagstuhl 1 Treffer
- lavoisier 1 Treffer
- lipics - leibniz international proceedings in informatics. 6th international conference on formal structures for computation and deduction (fscd 2021) 1 Treffer
- open publishing association 1 Treffer
Publikation
- issn: 0168-7433 75 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
- issn: 0960-1295 7 Treffer
- issn: 1432-4350 7 Treffer
- issn: 2199-2002 ; leibniz transactions on embedded systems ; https://hal.science/hal-03901898 ; leibniz transactions on embedded systems, 2022, special issue on distributed hybrid systems, 8 (2), pp.02:1-02:36. ⟨10.4230/lites.8.2.2⟩ 7 Treffer
-
40 weitere Werte:
- issn: 1471-0684 6 Treffer
- issn: 1661-8270 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
- 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
- issn: 1012-2443 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
- https://hal.science/hal-04225130 ; inria sophia antipolis - mediterranee, universite cote d'azur; national institute of advanced industrial science and technology (aist), japan; onera / dtis, universite de toulouse, france. 2023, pp.1-12 4 Treffer
- https://inria.hal.science/hal-04550762 ; rr-9547, inria. 2024, pp.13 4 Treffer
- issn: 1462-7264 4 Treffer
- lics 2012 : logic in computer science ; https://hal.science/hal-00685150 ; lics 2012 : logic in computer science, jun 2012, dubrovnik, croatia. pp.0-0 4 Treffer
- typed lambda calculi and applications ; https://hal.science/hal-01178301 ; typed lambda calculi and applications, 2015, varsovie, poland. pp.226-240, ⟨10.4230/lipics.tlca.2015.226⟩ 4 Treffer
- 5th ifip international conference on theoretical computer science - tcs 2008 ; https://inria.hal.science/inria-00275382 ; 5th ifip international conference on theoretical computer science - tcs 2008, sep 2008, milan, italy. ⟨10.1007/978-0-387-09680-3_24⟩ 3 Treffer
- guangzhou symposium on satisfiability in logic-based modeling ; https://inria.hal.science/inria-00516906 ; guangzhou symposium on satisfiability in logic-based modeling, yuping shen, institute of logic and cognition sun yat-sen university, guangzhou., sep 2010, zuhai, china 3 Treffer
- https://hal.science/hal-00834633 ; [research report] 1560, lri - cnrs, university paris-sud. 2013 3 Treffer
- https://inria.hal.science/hal-03564379 ; [research report] rr-9457, institut national de recherche en informatique et en automatique (inria). 2023, pp.17 3 Treffer
- https://theses.hal.science/tel-01486550 ; logic in computer science [cs.lo]. ecole des mines de nantes, 2016. english. ⟨nnt : 2016emna0298⟩ 3 Treffer
- ijcar 2020 - international joint conference on automated reasoning ; https://inria.hal.science/hal-02463336 ; ijcar 2020 - international joint conference on automated reasoning, jun 2020, paris, france. pp.1-19 3 Treffer
- issn: 0188-7009 3 Treffer
- issn: 1388-3690 3 Treffer
- issn: 1539-9087 3 Treffer
- issn: 1619-1366 3 Treffer
- software & systems modeling ; https://inria.hal.science/hal-03656144 ; software & systems modeling, 2022, ⟨10.1007/s10270-022-01004-1⟩ 3 Treffer
- 19th eacsl annual conference on computer science logic ; https://inria.hal.science/inria-00497404 ; 19th eacsl annual conference on computer science logic, aug 2010, brno, czech republic. pp.529--543, ⟨10.1007/978-3-642-15205-4_40⟩ 2 Treffer
- interactive theorem proving ; https://inria.hal.science/hal-00974721 ; interactive theorem proving, jul 2014, vienna, austria 2 Treffer
- issn: 0039-3215 2 Treffer
- issn: 0890-5401 2 Treffer
- issn: 0955-792x 2 Treffer
- issn: 0956-7968 2 Treffer
- issn: 1433-2779 2 Treffer
- logic in computer science (lics 2010) ; https://inria.hal.science/inria-00497794 ; logic in computer science (lics 2010), jul 2010, edimbourg, united kingdom 2 Treffer
- logics in computer science ; https://hal.science/hal-01319066 ; logics in computer science, may 2016, new york, united states. ⟨10.1145/http://dx.doi.org/10.1145/2933575.2935320⟩ 2 Treffer
- second coq workshop ; https://inria.hal.science/inria-00489412 ; second coq workshop, yves bertot, jul 2010, edinburgh, united kingdom 2 Treffer
- workshop lola 2010, syntax and semantics of low level languages ; https://hal.science/hal-00475210 ; workshop lola 2010, syntax and semantics of low level languages, jul 2010, edinburgh, united kingdom 2 Treffer
- dependable software engineering: theories, tools, and applications ; https://inria.hal.science/hal-01241837 ; xuandong li, zhiming liu, wang yi. dependable software engineering: theories, tools, and applications, 9409, springer, pp.315, 2015, lecture notes in computer science, isbn 978-3-319-25942-0. ⟨10.1007/978-3-319-25942-0⟩ 1 Treffer
- issn: 0169-2968 1 Treffer
- issn: 0752-4072 ; eissn: 2116-5920 1 Treffer
- issn: 1625-7545 1 Treffer
- issn: 2475-1421 ; proceedings of the acm on programming languages ; https://hal.science/hal-03857705 ; proceedings of the acm on programming languages, 2023, proceedings of the acm on programming languages, 7 (popl), pp.74. ⟨10.1145/3571739⟩ 1 Treffer
- 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⟩ 1 Treffer
Sprache
Geographischer Bezug
1.479 Treffer
-
In: https://inria.hal.science/hal-04550762 ; RR-9547, Inria. 2024, pp.13, 2024Online reportZugriff:
-
In: https://inria.hal.science/hal-04550762 ; RR-9547, Inria. 2024, pp.13, 2024Online reportZugriff:
-
In: https://inria.hal.science/hal-04550762 ; RR-9547, Inria. 2024, pp.13, 2024Online reportZugriff:
-
In: https://inria.hal.science/hal-04550762 ; RR-9547, Inria. 2024, pp.13, 2024Online reportZugriff:
-
In: https://inria.hal.science/hal-04511667 ; 2024, 2024Online reportZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science ; 7th Symposium on Working Formal Methods (FROM 2023) ; https://inria.hal.science/hal-04254872 ; 7th Symposium on Working Formal Methods (FROM 2023), Sep 2023, Bucarest, Romania. pp.96 - 109, ⟨10.4204/eptcs.389.8⟩, 2023Online KonferenzZugriff:
-
In: Proceedings of the 25th International Symposium on Formal Methods ; 25th International Symposium on Formal Methods (FM 2023) ; https://inria.hal.science/hal-03889276 ; 25th International Symposium on Formal Methods (FM 2023), Mar 2023, Lübeck, Germany. pp.39--55, ⟨10.1007/978-3-031-27481-7_4⟩ ; https://fm2023.isp.uni-luebeck.de/, 2023Online KonferenzZugriff:
-
In: Proceedings of the 25th International Symposium on Formal Methods ; 25th International Symposium on Formal Methods (FM 2023) ; https://inria.hal.science/hal-03889276 ; 25th International Symposium on Formal Methods (FM 2023), Mar 2023, Lübeck, Germany. pp.39--55, ⟨10.1007/978-3-031-27481-7_4⟩ ; https://fm2023.isp.uni-luebeck.de/, 2023Online KonferenzZugriff:
-
In: Proceedings of the 25th International Symposium on Formal Methods ; 25th International Symposium on Formal Methods (FM 2023) ; https://inria.hal.science/hal-03889276 ; 25th International Symposium on Formal Methods (FM 2023), Mar 2023, Lübeck, Germany. pp.39--55, ⟨10.1007/978-3-031-27481-7_4⟩ ; https://fm2023.isp.uni-luebeck.de/, 2023Online KonferenzZugriff:
-
In: Proceedings of the 25th International Symposium on Formal Methods ; 25th International Symposium on Formal Methods (FM 2023) ; https://inria.hal.science/hal-03889276 ; 25th International Symposium on Formal Methods (FM 2023), Mar 2023, Lübeck, Germany. pp.39--55, ⟨10.1007/978-3-031-27481-7_4⟩ ; https://fm2023.isp.uni-luebeck.de/, 2023Online KonferenzZugriff:
-
In: Proceedings of the 25th International Symposium on Formal Methods ; 25th International Symposium on Formal Methods (FM 2023) ; https://inria.hal.science/hal-03889276 ; 25th International Symposium on Formal Methods (FM 2023), Mar 2023, Lübeck, Germany. pp.39--55, ⟨10.1007/978-3-031-27481-7_4⟩ ; https://fm2023.isp.uni-luebeck.de/, 2023Online KonferenzZugriff:
-
In: CPP 2023 - Certified Programs and Proofs ; https://inria.hal.science/hal-03917948 ; CPP 2023 - Certified Programs and Proofs, Jan 2023, Boston, United States. ⟨10.1145/3573105.3575691⟩ ; https://dl.acm.org/doi/proceedings/10.1145/3573105, 2023Online KonferenzZugriff:
-
In: CPP 2023 - Certified Programs and Proofs ; https://inria.hal.science/hal-03917948 ; CPP 2023 - Certified Programs and Proofs, Jan 2023, Boston, United States. ⟨10.1145/3573105.3575691⟩ ; https://dl.acm.org/doi/proceedings/10.1145/3573105, 2023Online KonferenzZugriff:
-
In: https://inria.hal.science/hal-03564379 ; [Research Report] RR-9457, Institut National de Recherche en Informatique et en Automatique (INRIA). 2023, pp.17, 2023Online reportZugriff:
-
In: https://inria.hal.science/hal-03564379 ; [Research Report] RR-9457, Institut National de Recherche en Informatique et en Automatique (INRIA). 2023, pp.17, 2023Online reportZugriff:
-
In: https://inria.hal.science/hal-03564379 ; [Research Report] RR-9457, Institut National de Recherche en Informatique et en Automatique (INRIA). 2023, pp.17, 2023Online reportZugriff:
-
In: https://inria.hal.science/hal-03564379 ; [Research Report] RR-9457, Institut National de Recherche en Informatique et en Automatique (INRIA). 2023, pp.17, 2023Online reportZugriff:
-
In: https://inria.hal.science/hal-03564379 ; [Research Report] RR-9457, Institut National de Recherche en Informatique et en Automatique (INRIA). 2023, pp.17, 2023Online reportZugriff:
-
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: ITP 2022 - 13th International Conference on Interactive Theorem Proving ; https://inria.hal.science/hal-03596267 ; ITP 2022 - 13th International Conference on Interactive Theorem Proving, Aug 2022, Haifa, Israel, 2022Online KonferenzZugriff: