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] 123 Treffer
- coq 96 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 90 Treffer
- [phys.astr]physics [physics]/astrophysics [astro-ph] 87 Treffer
- [info]computer science [cs] 46 Treffer
-
45 weitere Werte:
- [spi.tron]engineering sciences [physics]/electronics 43 Treffer
- [spi]engineering sciences [physics] 24 Treffer
- formal proof 20 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 17 Treffer
- [phys]physics [physics] 17 Treffer
- [sdv]life sciences [q-bio] 17 Treffer
- [spi.elec]engineering sciences [physics]/electromagnetism 17 Treffer
- [info.info-es]computer science [cs]/embedded systems 16 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 14 Treffer
- program verification 14 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 13 Treffer
- [sde]environmental sciences 13 Treffer
- coq proof assistant 13 Treffer
- rewriting 13 Treffer
- type theory 13 Treffer
- interactive theorem proving 12 Treffer
- proof assistant 12 Treffer
- separation logic 12 Treffer
- [info.info-cg]computer science [cs]/computational geometry [cs.cg] 11 Treffer
- [math]mathematics [math] 11 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 10 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
- floating-point arithmetic 10 Treffer
- formal verification 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
- [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
- formal proofs 8 Treffer
- termination 8 Treffer
- [info.info-na]computer science [cs]/numerical analysis [cs.na] 7 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 7 Treffer
- approximation theory 7 Treffer
- automated reasoning 7 Treffer
- bacillus subtilis 7 Treffer
- chebyshev polynomials 7 Treffer
- interval arithmetic 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
Verlag
- hal ccsd 521 Treffer
- springer 38 Treffer
- acm 29 Treffer
- ieee 20 Treffer
- spie 13 Treffer
-
22 weitere Werte:
- acm press 7 Treffer
- cell press 7 Treffer
- osa 7 Treffer
- acs 5 Treffer
- asm international 5 Treffer
- ieee/acm 4 Treffer
- institute of electrical and electronics engineers inc. 4 Treffer
- spie-int soc optical engineering 4 Treffer
- acm, new york, ny, usa 3 Treffer
- american institute of physics 3 Treffer
- electronic notes in theoretical computer science 3 Treffer
- institute of electrical and electronics engineers 3 Treffer
- school of music, boston university 3 Treffer
- cham 2 Treffer
- elsevier 2 Treffer
- schloss dagstuhl--leibniz-zentrum f{\"u}r informatik 2 Treffer
- springer nature switzerland 2 Treffer
- american medical association 1 Treffer
- eptcs 1 Treffer
- l. houbloup 1 Treffer
- springer berlin heidelberg 1 Treffer
- university of utah 1 Treffer
Publikation
- 97. esa annual meeting ; https://hal.inrae.fr/hal-02745899 ; 97. esa annual meeting, ecological society of america (esa). usa., aug 2012, portland (oregon), united states 5 Treffer
- ifcs (international frequency control symposium) ; https://hal.science/hal-03735360 ; ifcs (international frequency control symposium), 2016, new-orleans, usa, united states 5 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/ 5 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⟩ 5 Treffer
- 2014 ieee antennas and propagation society international symposium (apsursi) ; conference apsursi 2014 ; https://hal.sorbonne-universite.fr/hal-01071525 ; conference apsursi 2014, jul 2014, memphis, united states. pp.1049 - 1050, ⟨10.1109/aps.2014.6904851⟩ 4 Treffer
-
27 weitere Werte:
- 2019 joint conference of the ieee international frequency control symposium and european frequency and time forum (eftf/ifc) ; https://hal.science/hal-03786120 ; 2019 joint conference of the ieee international frequency control symposium and european frequency and time forum (eftf/ifc), apr 2019, orlando fl, united states. ⟨10.1109/fcs.2019.8856036⟩ 4 Treffer
- herbarium university of lethbridge 4 Treffer
- ieee ap-s international symposium ; https://hal.science/hal-00355013 ; ieee ap-s international symposium, jul 2008, san diego, united states 4 Treffer
- ieee ap-s international symposium ; https://hal.science/hal-00507098 ; ieee ap-s international symposium, jul 2010, charleston, united states. 4 p 4 Treffer
- ieee international antennas and propagation symposium ; https://hal.science/hal-01113556 ; ieee international antennas and propagation symposium, jun 2003, colombus, united states 4 Treffer
- proceedings of 2007 ieee antennas and propagation society international symposium ; 2007 ieee antennas and propagation society international symposium ; https://hal.science/hal-00176422 ; 2007 ieee antennas and propagation society international symposium, jun 2007, honolulu, united states. pp.5423-5426 4 Treffer
- proceedings of frequency control symposium. ieee international joint conference. 2020. (ifcs-isaf 2020) (and intl symposium on applications of ferroelectrics) ; frequency control symposium. ieee international joint conference. 2020. (ifcs-isaf 2020) (and intl symposium on applications of ferroelectrics) ; https://hal-obspm.ccsd.cnrs.fr/obspm-03986832 ; frequency control symposium. ieee international joint conference. 2020. (ifcs-isaf 2020) (and intl symposium on applications of ferroelectrics), jul 2020, keystone (online), united states. pp.449 4 Treffer
- 10th international conference on interactive theorem proving (itp 2019) ; itp 2019 - tenth international conference on interactive theorem proving ; https://hal.science/hal-02426470 ; itp 2019 - tenth international conference on interactive theorem proving, sep 2019, portland, united states. ⟨10.4230/lipics.itp.2019.28⟩ 3 Treffer
- 11th acm dynamic languages symposium (dls 2015) ; https://inria.hal.science/hal-01238774 ; 11th acm dynamic languages symposium (dls 2015), oct 2015, pittsburgh, united states. ⟨10.1145/2816707.2816710⟩ 3 Treffer
- 2010 ieee international frequency control symposium ; https://hal.science/hal-00510510 ; 2010 ieee international frequency control symposium, jun 2010, newport beach, ca, united states. pp.179-182 3 Treffer
- 2016 ieee international frequency control symposium (ifcs) ; https://cnam.hal.science/hal-02448934 ; 2016 ieee international frequency control symposium (ifcs), may 2016, new orleans, united states. ⟨10.1109/fcs.2016.7563542⟩ 3 Treffer
- 55th ieee nuclear space and radiation effects conference ; https://hal.science/hal-02446823 ; 55th ieee nuclear space and radiation effects conference, jul 2019, san antonio, united states 3 Treffer
- agu fall meeting 2018 ; https://hal.science/hal-02409244 ; agu fall meeting 2018, dec 2018, washington dc, united states 3 Treffer
- agu fall meeting 2018 ; https://hal.science/hal-03534275 ; agu fall meeting 2018, dec 2018, washington, united states 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
- laser resonators, microresonators, and beam control xx ; https://cnam.hal.science/hal-02448864 ; laser resonators, microresonators, and beam control xx, jan 2018, san francisco, united states. pp.22, ⟨10.1117/12.2286316⟩ 3 Treffer
- proceedings conference on lasers and electro-optics cleo 2016 3 Treffer
- proceedings of spie - optical components and materials xviii ; spie opto 2021 - optical components and materials xviii ; https://hal.science/hal-03249744 ; spie opto 2021 - optical components and materials xviii, mar 2021, online, united states. pp.116820f, ⟨10.1117/12.2576045⟩ 3 Treffer
- sp 2023 - 44th ieee symposium on security and privacy ; https://inria.hal.science/hal-04316042 ; sp 2023 - 44th ieee symposium on security and privacy, may 2023, san francisco, united states. pp.2761-2779, ⟨10.1109/sp46215.2023.10179465⟩ 3 Treffer
- 33rd annual ieee international computer software and applications conference ; https://inria.hal.science/inria-00516011 ; 33rd annual ieee international computer software and applications conference, jul 2009, seattle,washington, united states 2 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
- ieee international symposium on antennas and propagation ; https://hal.science/hal-02337386 ; ieee international symposium on antennas and propagation, jul 2018, boston, united states 2 Treffer
- issn: 0018-9499 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
- american jewish historical society archives 15 west 16th street, new york, ny 10011, usa 1 Treffer
- conference on lasers and electro-optics-european quantum electronics conference 2013 ; https://hal.science/hal-03804076 ; conference on lasers and electro-optics-european quantum electronics conference 2013, jun 2013, san jose convention center, san jose, ca, usa, united states 1 Treffer
- quantum sensing and nanophotonic devices xii ; spie opto ; https://hal.science/hal-03804515 ; spie opto, feb 2015, san francisco, united states. ⟨10.1117/12.2083764⟩ 1 Treffer
Sprache
Geographischer Bezug
532 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: 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, 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: 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: