Zobrazeno 1 - 10
of 37
pro vyhledávání: '"Daniela Petrişan"'
Autor:
Thomas Colcombet, Daniela Petrişan
Publikováno v:
Logical Methods in Computer Science, Vol Volume 16, Issue 1 (2020)
In this paper we regard languages and their acceptors - such as deterministic or weighted automata, transducers, or monoids - as functors from input categories that specify the type of the languages and of the machines to categories that specify the
Externí odkaz:
https://doaj.org/article/6932a9edc8f14ef7bcf8491c3a75b788
Autor:
Daniela Petrişan
Publikováno v:
ACM SIGLOG News. 7:47-54
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::06cfcae2a8b2a98b99b718633f11c482
https://doi.org/10.1145/3436980.3436987
https://doi.org/10.1145/3436980.3436987
Autor:
Daniela Petrişan
Publikováno v:
ACM SIGLOG News. 6:26-43
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::64a2f2cf5f7c0dede2413647e97379da
https://doi.org/10.1145/3373394.3373399
https://doi.org/10.1145/3373394.3373399
Autor:
Daniela Petrişan, Alexandre Goy
Publikováno v:
LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken, Germany. pp.454-464, ⟨10.1145/3373718.3394795⟩
LICS
LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken, Germany. pp.454-464, ⟨10.1145/3373718.3394795⟩
LICS
International audience; Combining probabilistic choice and non-determinism is a long standing problem in denotational semantics. From a category theory perspective, the problem stems from the absence of a distributive law of the powerset monad over t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::40a0eab878a4a1fc5a7878146457c268
https://hal.archives-ouvertes.fr/hal-02564365/file/probabilityandnondeterminism.pdf
https://hal.archives-ouvertes.fr/hal-02564365/file/probabilityandnondeterminism.pdf
Autor:
Daniela Petrişan
Publikováno v:
ACM SIGLOG News. 5:54-69
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4123a0d28a184564feb764c7de775f47
https://doi.org/10.1145/3292048.3292056
https://doi.org/10.1145/3292048.3292056
Autor:
Daniela Petrişan
Publikováno v:
ACM SIGLOG News. 5:61-93
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8e21302c8d07e3dc0dd42a115c25e0fd
https://doi.org/10.1145/3212019.3212028
https://doi.org/10.1145/3212019.3212028
Autor:
Daniela Petrişan
Publikováno v:
ACM SIGLOG News. 4:52-63
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d5fd0cf8328147fc63f16d8f226f1f63
https://doi.org/10.1145/3157831.3157838
https://doi.org/10.1145/3157831.3157838
Autor:
Daniela Petrişan, Thomas Colcombet
Publikováno v:
ACM SIGLOG News. 4:4-27
Already in the seventies, strong results illustrating the intimate relationship between category theory and automata theory have been described and are still investigated. In this column, we provide a uniform presentation of the basic concepts that u
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::37cc3a511de25cee92548b4ebc28d0ca
https://doi.org/10.1145/3090064.3090066
https://doi.org/10.1145/3090064.3090066
Autor:
Daniela Petrişan, Jurriaan Rot
This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2020, colocated with ETAPS 2020, held in Dublin, Ireland, in April 2020. The conference was
Autor:
Daniela Petrişan
Publikováno v:
ACM SIGLOG News. 3:55-72
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6542ef3ee8f197ff6a9cbe668419b62a
https://doi.org/10.1145/3026744.3044206
https://doi.org/10.1145/3026744.3044206