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] 127 Treffer
- coq 99 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 92 Treffer
- [phys.astr]physics [physics]/astrophysics [astro-ph] 86 Treffer
- [info]computer science [cs] 50 Treffer
-
45 weitere Werte:
- [spi.tron]engineering sciences [physics]/electronics 42 Treffer
- [sdv]life sciences [q-bio] 23 Treffer
- [spi]engineering sciences [physics] 23 Treffer
- formal proof 21 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 20 Treffer
- [phys]physics [physics] 18 Treffer
- [info.info-es]computer science [cs]/embedded systems 17 Treffer
- [spi.elec]engineering sciences [physics]/electromagnetism 17 Treffer
- [sde]environmental sciences 15 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 14 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 14 Treffer
- coq proof assistant 14 Treffer
- program verification 14 Treffer
- rewriting 14 Treffer
- type theory 14 Treffer
- interactive theorem proving 13 Treffer
- floating-point arithmetic 12 Treffer
- proof assistant 12 Treffer
- separation logic 12 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 11 Treffer
- [info.info-cg]computer science [cs]/computational geometry [cs.cg] 11 Treffer
- [math]mathematics [math] 11 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 10 Treffer
- [info.info-os]computer science [cs]/operating systems [cs.os] 10 Treffer
- [chim]chemical sciences 9 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 9 Treffer
- [math.math-ct]mathematics [math]/category theory [math.ct] 9 Treffer
- formal verification 9 Treffer
- termination 9 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 8 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 8 Treffer
- abstract interpretation 8 Treffer
- automated reasoning 8 Treffer
- bacillus subtilis 8 Treffer
- formal proofs 8 Treffer
- verified compilation 8 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 7 Treffer
- [spi.nano]engineering sciences [physics]/micro and nanotechnologies/microelectronics 7 Treffer
- operational semantics 7 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 6 Treffer
- [info.info-dc]computer science [cs]/distributed 6 Treffer
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 6 Treffer
- [info.info-mc]computer science [cs]/mobile computing 6 Treffer
- [info.info-na]computer science [cs]/numerical analysis [cs.na] 6 Treffer
- [info.info-rb]computer science [cs]/robotics [cs.ro] 6 Treffer
Verlag
- hal ccsd 542 Treffer
- springer 38 Treffer
- acm 35 Treffer
- ieee 21 Treffer
- spie 12 Treffer
-
21 weitere Werte:
- acm press 8 Treffer
- cell press 8 Treffer
- asm international 7 Treffer
- osa 7 Treffer
- school of music, boston university 6 Treffer
- acs 5 Treffer
- schloss dagstuhl--leibniz-zentrum f{\"u}r informatik 5 Treffer
- cham 4 Treffer
- ieee/acm 4 Treffer
- institute of electrical and electronics engineers inc. 4 Treffer
- spie-int soc optical engineering 4 Treffer
- springer nature switzerland 4 Treffer
- acm, new york, ny, usa 3 Treffer
- american institute of physics 3 Treffer
- institute of electrical and electronics engineers 3 Treffer
- elsevier 2 Treffer
- american medical association 1 Treffer
- electronic notes in theoretical computer science 1 Treffer
- eptcs 1 Treffer
- springer berlin heidelberg 1 Treffer
- university of utah 1 Treffer
Publikation
- cpp 2023 - certified programs and proofs ; https://inria.hal.science/hal-03901019 ; cpp 2023 - certified programs and proofs, jan 2023, boston, united states. pp.1-15, ⟨10.1145/3573105.3575676⟩ 4 Treffer
- herbarium university of lethbridge 4 Treffer
- abstrats of papers of the american chemical society ; 248th national meeting of the american-chemical-society (acs) ; https://imt-atlantique.hal.science/hal-01204892 ; 248th national meeting of the american-chemical-society (acs), acs, aug 2014, san franscico, ca, united states. pp.839-envr 3 Treffer
- biophysical journal ; 55. annual meeting of the biophysical-society ; https://hal.science/hal-01190611 ; 55. annual meeting of the biophysical-society, mar 2011, baltimore, maryland, united states. ⟨10.1016/j.bpj.2010.12.1179⟩ 3 Treffer
- cpp 2020 - 9th acm sigplan international conference on certified programs and proofs ; https://hal.science/hal-02333553 ; cpp 2020 - 9th acm sigplan international conference on certified programs and proofs, jan 2020, new orleans, la, united states. ⟨10.1145/3372885.3373831⟩ 3 Treffer
-
6 weitere Werte:
- icse '13 - international conference on software engineering ; https://hal.science/hal-00966078 ; icse '13 - international conference on software engineering, may 2013, san francisco, united states. pp.13-22 ; http://dl.acm.org/citation.cfm?id=2486791 3 Treffer
- istfa 2023: proceedings of the 49th international symposium for testing and failure analysis conference ; istfa 2023 - the 49th international symposium for testing and failure analysis conference ; https://hal.science/hal-04285320 ; istfa 2023 - the 49th international symposium for testing and failure analysis conference, nov 2023, phoenix, united states. pp.483-490, ⟨10.31399/asm.cp.istfa2023p0483⟩ ; https://www.asminternational.org/istfa-2023/ 3 Treffer
- journal of physics. conference series ; 21st international conference on laser spectroscopy - icols 2013 ; https://hal.science/hal-03809030 ; 21st international conference on laser spectroscopy - icols 2013, jun 2013, university of california, berkeley, california, usa, united states. pp.2002, ⟨10.1088/1742-6596/467/1/012002⟩ 3 Treffer
- icsme 2019 - international conference on software maintenance and evolution ; https://inria.hal.science/hal-01951176 ; icsme 2019 - international conference on software maintenance and evolution, sep 2019, cleveland, united states 2 Treffer
- issn: 0018-9499 2 Treffer
- american jewish historical society archives 15 west 16th street, new york, ny 10011, usa 1 Treffer
Geographischer Bezug
555 Treffer
-
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: 13th NASA Formal Methods Symposium (NFM 2021) ; https://hal.science/hal-03176024 ; 13th NASA Formal Methods Symposium (NFM 2021), May 2021, virtual, United States, 2021Online KonferenzZugriff:
-
In: 13th NASA Formal Methods Symposium (NFM 2021) ; https://hal.archives-ouvertes.fr/hal-03176024 ; 13th NASA Formal Methods Symposium (NFM 2021), May 2021, virtual, United States, 2021Online KonferenzZugriff:
-
In: ITP 2019, Interactive Theorem Proving ; https://hal.science/hal-02449191 ; ITP 2019, 2019Online KonferenzZugriff:
-
In: ITP 2019, Interactive Theorem Proving ; https://hal.science/hal-02449191 ; ITP 2019, 2019Online KonferenzZugriff:
-
In: ITP 2019, Interactive Theorem Proving ; https://hal.science/hal-02449191 ; ITP 2019, 2019Online KonferenzZugriff:
-
In: ITP 2019, Interactive Theorem Proving ; https://hal.archives-ouvertes.fr/hal-02449191 ; ITP 2019, 2019Online KonferenzZugriff:
-
In: CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-02422273 ; CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2020, Nouvelle-Orléans, United States. pp.1-15, ⟨10.1145/3372885.3373812⟩, 2020Online KonferenzZugriff:
-
In: CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://hal.inria.fr/hal-02422273 ; CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2020, Nouvelle-Orléans, United States. pp.1-15, ⟨10.1145/3372885.3373812⟩, 2020Online KonferenzZugriff:
-
In: ITP 2019 - 10th International Conference on Interactive Theorem Proving ; https://inria.hal.science/hal-01897468 ; ITP 2019 - 10th International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. ⟨10.4230/LIPIcs.CVIT.2016.23⟩, 2019Online KonferenzZugriff:
-
In: ITP 2019 - 10th International Conference on Interactive Theorem Proving ; https://hal.inria.fr/hal-01897468 ; ITP 2019 - 10th International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. ⟨10.4230/LIPIcs.CVIT.2016.23⟩, 2019Online KonferenzZugriff:
-
In: CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://hal.science/hal-02333553 ; CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2020, New Orleans, 2020Online KonferenzZugriff:
-
In: CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://hal.science/hal-02333553 ; CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2020, New Orleans, 2020Online KonferenzZugriff:
-
In: CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://hal.science/hal-02333553 ; CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2020, New Orleans, 2020Online KonferenzZugriff:
-
In: CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://hal.archives-ouvertes.fr/hal-02333553 ; CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2020, New Orleans, 2020Online KonferenzZugriff:
-
In: CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://hal.science/hal-02333553 ; CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2020, New Orleans, 2020Online KonferenzZugriff:
-
In: Workshop on Formal Techniques for Java-like Programs (FTfJP) ; https://inria.hal.science/hal-04142453 ; Workshop on Formal Techniques for Java-like Programs (FTfJP), Jul 2023, Seatle, WA, United States. ⟨10.1145/3605156.3606450⟩, 2023KonferenzZugriff:
-
In: Workshop on Formal Techniques for Java-like Programs (FTfJP) ; https://inria.hal.science/hal-04142453 ; Workshop on Formal Techniques for Java-like Programs (FTfJP), Jul 2023, Seatle, WA, United States. ⟨10.1145/3605156.3606450⟩, 2023KonferenzZugriff:
-
In: Workshop on Formal Techniques for Java-like Programs (FTfJP) ; https://inria.hal.science/hal-04142453 ; Workshop on Formal Techniques for Java-like Programs (FTfJP), Jul 2023, Seatle, WA, United States. ⟨10.1145/3605156.3606450⟩, 2023KonferenzZugriff: