Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 573 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 346 Treffer
- formal proof 193 Treffer
- proof assistant 183 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 179 Treffer
-
45 weitere Werte:
- 02 engineering and technology 169 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 168 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 166 Treffer
- computer science 150 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 142 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 131 Treffer
- 01 natural sciences 131 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 126 Treffer
- type theory 125 Treffer
- 020207 software engineering 111 Treffer
- 0102 computer and information sciences 110 Treffer
- 010201 computation theory & mathematics 110 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 104 Treffer
- computer 96 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 93 Treffer
- computer.software_genre 88 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 86 Treffer
- [info.info-dc]computer science [cs]/distributed 86 Treffer
- and cluster computing [cs.dc] 86 Treffer
- parallel 86 Treffer
- programming language 86 Treffer
- [info]computer science [cs] 85 Treffer
- computer science - logic in computer science 85 Treffer
- fos: computer and information sciences 84 Treffer
- [info.info-lo] computer science [cs]/logic in computer science [cs.lo] 82 Treffer
- logic in computer science (cs.lo) 77 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 75 Treffer
- mathematical proof 75 Treffer
- coq proof assistant 71 Treffer
- mathematics 70 Treffer
- [info.info-es]computer science [cs]/embedded systems 68 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs 66 Treffer
- floating-point arithmetic 66 Treffer
- 020201 artificial intelligence & image processing 64 Treffer
- formal proofs 61 Treffer
- computer science::logic in computer science 59 Treffer
- program verification 57 Treffer
- [math.math-ca]mathematics [math]/classical analysis and odes [math.ca] 56 Treffer
- software 55 Treffer
- formalization 54 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 53 Treffer
- formal verification 51 Treffer
- preuve formelle 51 Treffer
- theoretical computer science 51 Treffer
- methodes formelles 50 Treffer
Verlag
- hal ccsd 1.885 Treffer
- springer 131 Treffer
- springer verlag 105 Treffer
- acm 74 Treffer
- springer international publishing 25 Treffer
-
45 weitere Werte:
- logical methods in computer science association 22 Treffer
- elsevier 21 Treffer
- cambridge university press (cup) 17 Treffer
- springer-verlag 16 Treffer
- springer berlin heidelberg 12 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik 11 Treffer
- arxiv 9 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
- ieee 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
- schloss dagstuhl - leibniz-zentrum fur informatik 6 Treffer
- springer nature switzerland 6 Treffer
- association for computing machinery 5 Treffer
- open publishing association 5 Treffer
- schloss dagstuhl--leibniz-zentrum fuer informatik 5 Treffer
- association for computing machinery (acm) 4 Treffer
- cnrs editions 4 Treffer
- dmtcs 4 Treffer
- ieee/acm 4 Treffer
- springer science and business media llc 4 Treffer
- world scientific 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
- igi global 3 Treffer
- inria 3 Treffer
- leibniz-zentrum fur informatik 3 Treffer
- acm sigplan 2 Treffer
- aircc publishing corporation 2 Treffer
- cambridge university press 2 Treffer
- college publications 2 Treffer
- iste press - elsevier 2 Treffer
- oxford university press (oup) 2 Treffer
- polskie towarzystwo matematyczne 2 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany 2 Treffer
- centre pour la communication scientifique directe (ccsd) 1 Treffer
- elsevier b.v. 1 Treffer
- episciences.org 1 Treffer
- published by elsevier b.v. 1 Treffer
- springer netherlands 1 Treffer
- university of bologna 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
-
45 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
- electronic proceedings in theoretical computer science 4 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
- journal of automated reasoning 3 Treffer
- proceedings of the acm on programming languages 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
- annals of mathematics and artificial intelligence 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
- 2008 21st ieee computer security foundations symposium 1 Treffer
- 2013 15th international symposium on symbolic and numeric algorithms for scientific computing 1 Treffer
- acm sigplan notices 1 Treffer
- acm transactions on embedded computing systems 1 Treffer
- computational geometry 1 Treffer
- electronic notes in theoretical computer science 1 Treffer
- logical methods in computer science 1 Treffer
- proceedings of the joint meeting of the twenty-third eacsl annual conference on computer science logic (csl) and the twenty-ninth annual acm/ieee symposium on logic in computer science (lics) 1 Treffer
- theory of computing systems 1 Treffer
Sprache
Geographischer Bezug
1.988 Treffer
-
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: 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: 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:
-
In: https://hal.science/hal-04214008 ; 2024, 2024Online reportZugriff:
-
In: https://ut3-toulouseinp.hal.science/hal-03782650 ; 2023, 2023Online reportZugriff:
-
In: https://hal.science/hal-04225130 ; Inria Sophia Antipolis - Méditerranée, Université Côte d'Azur; National Institute of Advanced Industrial Science and Technology (AIST), Japan; ONERA / DTIS, 2023Online reportZugriff:
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-03359505 ; Logical Methods in Computer Science, 2022, 2022Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2022Online academicJournalZugriff:
-
In: https://inria.hal.science/hal-03516749 ; [Research Report] RR-9456, Inria Saclay - Île de France; Inria de Paris. 2022, 2022Online reportZugriff:
-
In: https://hal.inria.fr/hal-03564379 ; [Research Report] RR-9457, Institut National de Recherche en Informatique et en Automatique (INRIA). 2022, pp.16, 2022Online reportZugriff:
-
In: Certified Programs and Proofs ; https://hal.science/hal-03380459 ; Certified Programs and Proofs, ACM, Jan 2021, Virtual Event, Denmark. ⟨10.1145/3437992.3439920⟩ ; https://dl.acm.org/doi/proceedings/10.1145/3437992, 2021Online KonferenzZugriff: