Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 28 Treffer
- security protocols 23 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 22 Treffer
- complexity 11 Treffer
- [info]computer science [cs] 10 Treffer
-
45 weitere Werte:
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs 10 Treffer
- petri nets 9 Treffer
- [info.info-wb]computer science [cs]/web 8 Treffer
- asynchronous communications 8 Treffer
- diagnosability 8 Treffer
- distributed system 8 Treffer
- model checking 8 Treffer
- web service 8 Treffer
- [info.info-mo]computer science [cs]/modeling and simulation 7 Treffer
- bpel 7 Treffer
- composition 7 Treffer
- opacity 7 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.3: formal methods 6 Treffer
- choreographies 6 Treffer
- formal methods 6 Treffer
- model-checking 6 Treffer
- symbolic model 6 Treffer
- term rewriting 6 Treffer
- [info.info-dc]computer science [cs]/distributed 5 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 5 Treffer
- [info.info-it]computer science [cs]/information theory [cs.it] 5 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 5 Treffer
- [math.math-it]mathematics [math]/information theory [math.it] 5 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.3: formal languages/f.4.3.3: decision problems 5 Treffer
- and cluster computing [cs.dc] 5 Treffer
- distributed power control 5 Treffer
- eurasip 5 Treffer
- game theory 5 Treffer
- parallel 5 Treffer
- timed automata equivalence 5 Treffer
- [info.info-db]computer science [cs]/databases [cs.db] 4 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 4 Treffer
- algebraic properties 4 Treffer
- cellular automata 4 Treffer
- circuits 4 Treffer
- cryptographic protocols 4 Treffer
- petri net 4 Treffer
- regular languages 4 Treffer
- security 4 Treffer
- trace equivalence 4 Treffer
- well-quasi-order 4 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification 3 Treffer
- acm: f.: theory of computation/f.2: analysis of algorithms and problem complexity/f.2.2: nonnumerical algorithms and problems 3 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic 3 Treffer
- approximation scheme 3 Treffer
Verlag
- hal ccsd 90 Treffer
- idea group pub 7 Treffer
- association for computing machinery 6 Treffer
- springer verlag 6 Treffer
- springeropen 5 Treffer
-
8 weitere Werte:
- elsevier 4 Treffer
- polskie towarzystwo matematyczne 4 Treffer
- springer 4 Treffer
- acm 3 Treffer
- logical methods in computer science association 3 Treffer
- publishing association nordic journal of computing 3 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik 1 Treffer
- schloss dagstuhl--leibniz-zentrum fuer informatik 1 Treffer
Publikation
Sprache
Geographischer Bezug
91 Treffer
-
In: https://hal-hceres.archives-ouvertes.fr/hceres-02032878 ; 2014, ENS Cachan, Centre national de la recherche scientifique - CNRS, 2014Online reportZugriff:
-
In: http://raweb.inria.fr/rapportsactivite/RA2011/dahu/dahu.pdfOnline academicJournalZugriff:
-
In: ISSN: 0890-5401, 2002Online academicJournalZugriff:
-
In: ISSN: 1529-3785, 2020Online academicJournalZugriff:
-
In: ISSN: 1529-3785, 2020Online academicJournalZugriff:
-
In: ISSN: 1529-3785, 2020Online academicJournalZugriff:
-
In: ISSN: 1529-3785, 2020Online academicJournalZugriff:
-
In: ISSN: 1529-3785, 2020Online academicJournalZugriff:
-
In: ISSN: 1529-3785, 2020Online academicJournalZugriff:
-
In: Petri nets 2017 - 38th International Conference on Applications and Theory of Petri Nets and Concurrency ; https://inria.hal.science/hal-01484476 ; Petri nets 2017 - 38th International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2017, Zaragoza, Spain. pp.200--220, ⟨10.1007/978-3-319-57861-3_13⟩, 2017Online KonferenzZugriff:
-
In: Leibniz International Proceedings in Informatics ; 44th International Colloquium on Automata, Languages, and Programming ICALP 2017 ; https://hal.science/hal-01920609 ; 44th International Colloquium on Automata, 2017Online KonferenzZugriff:
-
In: Leibniz International Proceedings in Informatics ; 44th International Colloquium on Automata, Languages, and Programming ICALP 2017 ; https://hal.science/hal-01920609 ; 44th International Colloquium on Automata, 2017Online KonferenzZugriff:
-
In: Petri nets 2017 - 38th International Conference on Applications and Theory of Petri Nets and Concurrency ; https://hal.inria.fr/hal-01484476 ; Petri nets 2017 - 38th International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2017, Zaragoza, Spain. pp.200--220, ⟨10.1007/978-3-319-57861-3_13⟩, 2017Online KonferenzZugriff:
-
In: Leibniz International Proceedings in Informatics ; 44th International Colloquium on Automata, Languages, and Programming ICALP 2017 ; https://hal.science/hal-01920609 ; 44th International Colloquium on Automata, 2017Online KonferenzZugriff:
-
In: Petri nets 2017 - 38th International Conference on Applications and Theory of Petri Nets and Concurrency ; https://inria.hal.science/hal-01484476 ; Petri nets 2017 - 38th International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2017, Zaragoza, Spain. pp.200--220, ⟨10.1007/978-3-319-57861-3_13⟩, 2017Online KonferenzZugriff:
-
In: ISSN: 0169-2968, 2018Online academicJournalZugriff:
-
In: ISSN: 0169-2968, 2018Online academicJournalZugriff:
-
In: ISSN: 0169-2968, 2018Online academicJournalZugriff:
-
In: ISSN: 0169-2968 ; Fundamenta Informaticae ; https://hal.inria.fr/hal-01852119 ; Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2018, 161 (4), pp.317--349. ⟨10.3233/FI-2018-1706⟩, 2018Online academicJournalZugriff:
-
In: Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2016) ; 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2016) ; https://hal.inria.fr/hal-01389845 ; 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2016), Jun 2016, San Francisco, United States. pp.179 - 194, ⟨10.1145/2902251.2902275⟩, 2016Online KonferenzZugriff: