default search action
Daniela Petrisan
Person information
- affiliation: Université de Paris, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j25]Filippo Bonchi, Barbara König, Daniela Petrisan:
Up-to techniques for behavioural metrics via fibrations. Math. Struct. Comput. Sci. 33(4-5): 182-221 (2023) - 2021
- [c19]Thomas Colcombet
, Daniela Petrisan
Learning Automata and Transducers: A Categorical Approach. CSL 2021: 15:1-15:17 - [c18]Alexandre Goy, Daniela Petrisan, Marc Aiguier:
Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces. ICALP 2021: 132:1-132:14 - [c17]Daniela Petrisan, Ralph Sarkis:
Semialgebras and Weak Distributive Laws. MFPS 2021: 218-241 - 2020
- [j24]Thomas Colcombet
Automata Minimization: a Functorial Approach. Log. Methods Comput. Sci. 16(1) (2020) - [j23]Mai Gehrke, Daniela Petrisan, Luca Reggio
Quantifiers on languages and codensity monads. Math. Struct. Comput. Sci. 30(10): 1054-1088 (2020) - [j22]Daniela Petrisan:
Siglog monthly 204. ACM SIGLOG News 7(1): 52-73 (2020) - [j21]Daniela Petrisan:
SIGLOG monthly 205. ACM SIGLOG News 7(2): 19-39 (2020) - [j20]Daniela Petrisan:
SIGLOG monthly 206. ACM SIGLOG News 7(3): 47-54 (2020) - [j19]Daniela Petrisan:
SIGLOG monthly 207. ACM SIGLOG News 7(4): 20-26 (2020) - [c16]Alexandre Goy
Combining probabilistic and non-deterministic choice via weak distributive laws. LICS 2020: 454-464 - [e1]Daniela Petrisan, Jurriaan Rot:
Coalgebraic Methods in Computer Science - 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings. Lecture Notes in Computer Science 12094, Springer 2020, ISBN 978-3-030-57200-6 [contents] - [i11]Alexandre Goy, Daniela Petrisan:
Combining Weak Distributive Laws: Application to Up-To Techniques. CoRR abs/2010.00811 (2020) - [i10]Thomas Colcombet
Learning automata and transducers: a categorical approach. CoRR abs/2010.13675 (2020)
2010 – 2019
- 2019
- [j18]Daniela Petrisan:
SIGLOG monthly 202. ACM SIGLOG News 6(3): 9-18 (2019) - [j17]Daniela Petrisan:
SIGLOG monthly 203. ACM SIGLOG News 6(4): 26-43 (2019) - 2018
- [j16]Daniela Petrisan:
SIGLOG monthly 198. ACM SIGLOG News 5(1): 23-49 (2018) - [j15]Daniela Petrisan:
SIGLOG monthly 199. ACM SIGLOG News 5(2): 61-93 (2018) - [j14]Daniela Petrisan:
SIGLOG monthly 200. ACM SIGLOG News 5(3): 86-102 (2018) - [j13]Daniela Petrisan:
SIGLOG monthly 201. ACM SIGLOG News 5(4): 54-69 (2018) - [c15]Filippo Bonchi
Up-To Techniques for Behavioural Metrics via Fibrations. CONCUR 2018: 17:1-17:17 - [i9]Filippo Bonchi, Barbara König, Daniela Petrisan:
Up-To Techniques for Behavioural Metrics via Fibrations. CoRR abs/1806.11064 (2018) - 2017
- [j12]Filippo Bonchi
A general account of coinduction up-to. Acta Informatica 54(2): 127-190 (2017) - [j11]Daniela Petrisan:
SIGLOG monthly 189. ACM SIGLOG News 4(1): 42-63 (2017) - [j10]Thomas Colcombet, Daniela Petrisan:
Automata and minimization. ACM SIGLOG News 4(2): 4-27 (2017) - [j9]Daniela Petrisan:
SIGLOG monthly 191. ACM SIGLOG News 4(2): 94 (2017) - [j8]Daniela Petrisan:
SIGLOG monthly 194. ACM SIGLOG News 4(3): 65-80 (2017) - [j7]Daniela Petrisan:
Siglog monthly 196. ACM SIGLOG News 4(4): 52-63 (2017) - [c14]Thomas Colcombet, Daniela Petrisan:
Automata Minimization: a Functorial Approach. CALCO 2017: 8:1-8:16 - [c13]Mai Gehrke, Daniela Petrisan, Luca Reggio
Quantifiers on languages and codensity monads. LICS 2017: 1-12 - [c12]Thomas Colcombet, Daniela Petrisan:
Automata in the Category of Glued Vector Spaces. MFCS 2017: 52:1-52:14 - [i8]Mai Gehrke, Daniela Petrisan, Luca Reggio:
Quantifiers on languages and codensity monads. CoRR abs/1702.08841 (2017) - [i7]Thomas Colcombet, Daniela Petrisan:
Automata Minimization: a Functorial Approach. CoRR abs/1711.03063 (2017) - [i6]Thomas Colcombet, Daniela Petrisan:
Automata in the Category of Glued Vector Spaces. CoRR abs/1711.06065 (2017) - [i5]Thomas Colcombet
Automata Minimization: a Functorial Approach. CoRR abs/1712.07121 (2017) - 2016
- [j6]Daniela Petrisan:
SIGLOG monthly 184. ACM SIGLOG News 3(3): 80-96 (2016) - [j5]Daniela Petrisan:
SIGLOG Monthly 186. ACM SIGLOG News 3(4): 55-72 (2016) - [c11]Mai Gehrke, Daniela Petrisan, Luca Reggio
The Schützenberger Product for Syntactic Spaces. ICALP 2016: 112:1-112:14 - [i4]Mai Gehrke, Daniela Petrisan, Luca Reggio:
The Schützenberger product for syntactic spaces. CoRR abs/1603.08264 (2016) - 2015
- [c10]Alexander Kurz
Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes. CALCO 2015: 205-220 - [c9]Filippo Bonchi
Lax Bialgebras and Up-To Techniques for Weak Bisimulations. CONCUR 2015: 240-253 - [c8]Murdoch James Gabbay
Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes. CSL 2015: 374-389 - [c7]Dexter Kozen, Konstantinos Mamouras, Daniela Petrisan, Alexandra Silva:
Nominal Kleene Coalgebra. ICALP (2) 2015: 286-298 - 2014
- [c6]Filippo Bonchi
Coinduction up-to in a fibrational setting. CSL-LICS 2014: 20:1-20:9 - [i3]Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot:
Coinduction up to in a fibrational setting. CoRR abs/1401.6675 (2014) - 2013
- [j4]Marta Bílková
Relation lifting, with an application to the many-valued cover modality. Log. Methods Comput. Sci. 9(4) (2013) - [j3]Alexander Kurz
Nominal Coalgebraic Data Types with Applications to Lambda Calculus. Log. Methods Comput. Sci. 9(4) (2013) - 2012
- [c5]Alexander Kurz
An Alpha-Corecursion Principle for the Infinitary Lambda Calculus. CMCS 2012: 130-149 - [i2]Marta Bílková, Alexander Kurz, Daniela Petrisan, Jirí Velebil:
Relation Liftings on Preorders and Posets. CoRR abs/1210.1433 (2012) - 2011
- [c4]Marta Bílková
Relation Liftings on Preorders and Posets. CALCO 2011: 115-129 - [c3]Murdoch James Gabbay
Stone Duality for Nominal Boolean Algebras with И. CALCO 2011: 192-207 - 2010
- [j2]Alexander Kurz
Presenting functors on many-sorted varieties and applications. Inf. Comput. 208(12): 1421-1446 (2010) - [j1]Alexander Kurz
On universal algebra over nominal sets. Math. Struct. Comput. Sci. 20(2): 285-318 (2010) - [i1]Alexander Kurz, Daniela Petrisan, Jirí Velebil:
Algebraic Theories over Nominal Sets. CoRR abs/1006.3027 (2010)
2000 – 2009
- 2009
- [c2]M. Andrew Moshier, Daniela Petrisan:
A Duality Theorem for Real C* Algebras. CALCO 2009: 284-299 - 2008
- [c1]Alexander Kurz
Functorial Coalgebraic Logic: The Case of Many-sorted Varieties. CMCS 2008: 175-194
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 21:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: