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] 277 Treffer
- 02 engineering and technology 132 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 121 Treffer
- 01 natural sciences 107 Treffer
- [info]computer science [cs] 105 Treffer
-
45 weitere Werte:
- 0102 computer and information sciences 104 Treffer
- 010201 computation theory & mathematics 104 Treffer
- computer science 104 Treffer
- 020201 artificial intelligence & image processing 91 Treffer
- theoretical computer science 87 Treffer
- complexity 77 Treffer
- mathematics 65 Treffer
- [info.info-gt]computer science [cs]/computer science and game theory [cs.gt] 59 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 58 Treffer
- decidability 54 Treffer
- computer science::formal languages and automata theory 53 Treffer
- [info.info-bi]computer science [cs]/bioinformatics [q-bio.qm] 47 Treffer
- computingmilieux_miscellaneous 47 Treffer
- [info.info-ma]computer science [cs]/multiagent systems [cs.ma] 46 Treffer
- fos: computer and information sciences 45 Treffer
- discrete mathematics 44 Treffer
- temporal logic 44 Treffer
- model-checking 40 Treffer
- petri net 39 Treffer
- 020207 software engineering 37 Treffer
- model checking 37 Treffer
- computer science - logic in computer science 34 Treffer
- logic in computer science (cs.lo) 34 Treffer
- automaton 32 Treffer
- concurrency 32 Treffer
- 16. peace & justice 31 Treffer
- reachability 29 Treffer
- algorithm 28 Treffer
- computer science - formal languages and automata theory 28 Treffer
- computer science::logic in computer science 28 Treffer
- formal languages and automata theory (cs.fl) 28 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 27 Treffer
- presburger arithmetic 26 Treffer
- pspace 26 Treffer
- computer 25 Treffer
- modal logic 25 Treffer
- logic 24 Treffer
- [info.info-mo]computer science [cs]/modeling and simulation 22 Treffer
- expressive power 22 Treffer
- general computer science 22 Treffer
- 000 computer science, knowledge, general works 21 Treffer
- undecidability 21 Treffer
- computer.software_genre 20 Treffer
- information systems 19 Treffer
- satisfiability 19 Treffer
Verlag
- hal ccsd 652 Treffer
- springer 108 Treffer
- elsevier 40 Treffer
- springer verlag 26 Treffer
- springer international publishing 20 Treffer
-
41 weitere Werte:
- springer berlin heidelberg 15 Treffer
- ieee 14 Treffer
- ieee computer society press 13 Treffer
- logical methods in computer science association 13 Treffer
- association for computing machinery 9 Treffer
- schloss dagstuhl--leibniz-zentrum fuer informatik 8 Treffer
- oxford university press (oup) 7 Treffer
- eptcs 6 Treffer
- polskie towarzystwo matematyczne 6 Treffer
- springer-verlag 6 Treffer
- wiley 6 Treffer
- arxiv 5 Treffer
- cambridge university press (cup) 5 Treffer
- leibniz-zentrum fur informatik 5 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany 5 Treffer
- cnrs edition 4 Treffer
- dagstuhl publishing 4 Treffer
- nature publishing group 4 Treffer
- acm 3 Treffer
- centre pour la communication scientifique directe (ccsd) 3 Treffer
- elsevier bv 3 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik 3 Treffer
- cambridge university press 2 Treffer
- hermes science 2 Treffer
- iaria 2 Treffer
- leibniz international proceedings in informatics 2 Treffer
- old city publishing 2 Treffer
- open publishing association 2 Treffer
- schloss dagstuhl - leibniz-zentrum fur informatik 2 Treffer
- acm press 1 Treffer
- association for computing machinery (acm) 1 Treffer
- college publications 1 Treffer
- elsevier masson 1 Treffer
- episciences.org 1 Treffer
- ieee control system society 1 Treffer
- ios press 1 Treffer
- ist austria 1 Treffer
- oxford university press (uk) 1 Treffer
- springer publishing company 1 Treffer
- springer science and business media llc 1 Treffer
- world scientific 1 Treffer
Publikation
- issn: 1879-2294 17 Treffer
- issn: 0022-0000 9 Treffer
- issn: 0925-9856 6 Treffer
- issn: 0955-792x 6 Treffer
- fm 2018: formal methods ; fm 2018 - international symposium on formal methods ; https://hal.science/hal-01889222 ; fm 2018 - international symposium on formal methods, jul 2018, oxford, united kingdom. pp.203-221, ⟨10.1007/978-3-319-95582-7_12⟩ 5 Treffer
-
30 weitere Werte:
- issn: 0890-5401 5 Treffer
- issn: 0960-1295 5 Treffer
- issn: 1432-7643 5 Treffer
- issn: 0001-0782 4 Treffer
- issn: 0001-5903 4 Treffer
- issn: 0924-6703 4 Treffer
- issn: 1529-3785 4 Treffer
- issn: 2041-1723 4 Treffer
- 15th international conference on formal engineering methods (icfem'13) ; https://hal.science/hal-00926126 ; 15th international conference on formal engineering methods (icfem'13), oct 2013, queenstown, new zealand. pp.199-214, ⟨10.1007/978-3-642-41202-8_14⟩ 3 Treffer
- 2019 34th annual acm/ieee symposium on logic in computer science (lics) ; https://hal.science/hal-03185736 ; 2019 34th annual acm/ieee symposium on logic in computer science (lics), jun 2019, vancouver, canada. ⟨10.1109/lics.2019.8785684⟩ 3 Treffer
- https://hal.science/hal-00926989 ; 2013 3 Treffer
- issn: 1567-7818 3 Treffer
- logical methods in computer science 3 Treffer
- theoretical computer science 3 Treffer
- electronic proceedings in theoretical computer science 2 Treffer
- issn: 0169-2968 2 Treffer
- issn: 1433-2779 2 Treffer
- issn: 1539-9087 2 Treffer
- issn: 1542-3980 2 Treffer
- 2013 28th annual acm/ieee symposium on logic in computer science 1 Treffer
- 2015 54th ieee conference on decision and control (cdc) 1 Treffer
- communications of the acm 1 Treffer
- formal methods in system design 1 Treffer
- formal techniques for safety-critical systems 5th international workshop, ftscs 2016, tokyo, japan, november 14, 2016, revised selected papers ; 5th international workshop on formal techniques for safety-critical systems (ftscs 2016) ; https://hal.science/hal-02538041 ; 5th international workshop on formal techniques for safety-critical systems (ftscs 2016), nov 2016, tokyo, japan. ⟨10.1007/978-3-319-53946-1_8⟩ 1 Treffer
- fundamenta informaticae 1 Treffer
- issn: 0010-4620 1 Treffer
- issn: 0960-0833 1 Treffer
- issn: 0960-0833 ; eissn: 1099-1689 1 Treffer
- journal of logic and computation 1 Treffer
- nature communications 1 Treffer
Sprache
Geographischer Bezug
711 Treffer
-
In: https://hal.science/hal-01864693 ; [Research Report] Univ. Bordeaux, 2020Online reportZugriff:
-
In: https://inria.hal.science/hal-02306021 ; [Research Report] Inria Saclay Ile de France; LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, 2019Online reportZugriff:
-
In: https://inria.hal.science/hal-03132586 ; Springer, 2020, ⟨10.1007/978-3-030-51831-8⟩; (2020)BuchZugriff:
-
In: FORMATS 2020: Formal Modeling and Analysis of Timed Systems ; https://hal.inria.fr/hal-03136066 ; FORMATS 2020: Formal Modeling and Analysis of Timed Systems, pp.215 - 230, 2020, ⟨10.1007/978-3-030-57628-8_13⟩; (2020)BuchZugriff:
-
In: https://hal.science/hal-04182953 ; 2023, 2023Online reportZugriff:
-
In: Models and Analysis in Distributed Systems ; https://hal.science/hal-01288079 ; Models and Analysis in Distributed Systems, Wiley, pp.221-269, 2011, 9781848213142; (2011)Online BuchZugriff:
-
In: FOSSACS 2010 - Foundations of Software Science and Computational Structures, 13th International Conference ; https://hal.archives-ouvertes.fr/hal-03201974 ; FOSSACS 2010 - Foundations of Software Science and Computational Structures, 2010Online KonferenzZugriff:
-
2020Online unknownZugriff:
-
In: ISSN: 0022-0000, 2013Online academicJournalZugriff:
-
In: 12th International Symposium on Temporal Representation and Reasoning (TIME'05) ; https://hal.archives-ouvertes.fr/hal-03201127 ; 12th International Symposium on Temporal Representation and Reasoning (TIME'05), Jul 2005, Burlington, United States. pp.113-121, ⟨10.1109/TIME.2005.28⟩ ; https://ieeexplore.ieee.org/document/1443358/, 2005Online KonferenzZugriff:
-
In: ATVA 2005 - 3rd International Symposium on Automated Technology for Verification and Analysis ; https://hal.archives-ouvertes.fr/hal-03203572 ; ATVA 2005 - 3rd International Symposium on Automated Technology for Verification and Analysis, Doron A. Peled; Yih-Kuen Tsay, Oct 2005, Taipei, Taiwan. pp.248-262, ⟨10.1007/11562948_20⟩ ; https://link.springer.com/book/10.1007/11562948, 2005Online KonferenzZugriff:
-
2019Online unknownZugriff:
-
In: ISSN: 1879-2294, 2010Online academicJournalZugriff:
-
In: ISSN: 1529-3785, 2009Online academicJournalZugriff:
-
In: 29th EACSL Annual Conference on Computer Science Logic (CSL 2021). ; Computer Science Logic (CSL) 2021 ; https://hal.science/hal-02983089 ; Computer Science Logic (CSL) 2021, Jan 2021, Ljubljana, Slovenia. ⟨10.4230/LIPIcs.CSL.2021.13⟩, 2021Online KonferenzZugriff:
-
In: CMSB 2020 - 18th International Conference on Computational Methods in Systems Biology ; https://hal.science/hal-02898841 ; CMSB 2020 - 18th International Conference on Computational Methods in Systems Biology, Sep 2020, Konstanz / Online, Germany. ⟨10.1007/978-3-030-60327-4_17⟩ ; https://cmsb2020.uni-saarland.de/, 2020Online KonferenzZugriff:
-
In: 31st International Conference on Concurrency Theory (CONCUR 2020) ; 31st International Conference on Concurrency Theory ; https://hal.science/hal-02905961 ; 31st International Conference on Concurrency Theory, Sep 2020, Vienna, Austria. pp.19:1 -19: 17, ⟨10.4230/LIPIcs.CONCUR.2020.19⟩, 2020Online KonferenzZugriff:
-
In: 31st International Conference on Concurrency Theory (CONCUR 2020) ; https://hal.science/hal-02900813 ; 31st International Conference on Concurrency Theory (CONCUR 2020), Sep 2020, Vienna, Austria, 2020Online KonferenzZugriff: