Daniela Petrişan

Generating author description...

All published works

Action	Title	Year	Authors
+	Correspondences between codensity and coupling-based liftings, a practical approach	2024	Samuel Humeau Daniela Petrişan Jurriaan Rot
+ PDF Chat	Semialgebras and Weak Distributive Laws	2021	Daniela Petrişan Ralph Sarkis
+ PDF Chat	Semialgebras and Weak Distributive Laws	2021	Daniela Petrişan Ralph Sarkis
+ PDF Chat	Semialgebras and Weak Distributive Laws	2021	Daniela Petrişan Ralph Sarkis
+ PDF Chat	Quantifiers on languages and codensity monads	2020	Mai Gehrke Daniela Petrişan Luca Reggio
+	Combining Weak Distributive Laws: Application to Up-To Techniques	2020	Alexandre Goy Daniela Petrişan
+	Learning automata and transducers: a categorical approach	2020	Thomas Colcombet Daniela Petrişan Riccardo Stabile
+	Up-To Techniques for Behavioural Metrics via Fibrations	2018	Filippo Bonchi Barbara König Daniela Petrişan
+	Up-To Techniques for Behavioural Metrics via Fibrations	2018	Filippo Bonchi Barbara König Daniela Petrişan
+	Automata in the Category of Glued Vector Spaces.	2017	Thomas Colcombet Daniela Petrişan
+	Quantifiers on languages and codensity monads	2017	Mai Gehrke Daniela Petrişan Luca Reggio
+ PDF Chat	Quantifiers on languages and codensity monads	2017	Mai Gehrke Daniela Petrişan Luca Reggio
+	Automata in the Category of Glued Vector Spaces	2017	Thomas Colcombet Daniela Petrişan
+	Automata Minimization: a Functorial Approach	2017	Thomas Colcombet Daniela Petrişan
+	Quantifiers on languages and codensity monads	2017	Mai Gehrke Daniela Petrişan Luca Reggio
+	The Schützenberger Product for Syntactic Spaces	2016	Mai Gehrke Daniela Petrişan Luca Reggio
+	The Schützenberger product for syntactic spaces	2016	Mai Gehrke Daniela Petrişan Luca Reggio
+ PDF Chat	Nominal Coalgebraic Data Types with Applications to Lambda Calculus	2013	Alexander Kurz Daniela Petrişan Paula Severi Fer-Jan de Vries
+ PDF Chat	Relation lifting, with an application to the many-valued cover modality	2013	Marta Bílková Alexander Kurz Daniela Petrişan Jiřı́ Velebil
+	Relation Liftings on Preorders and Posets	2012	Marta Bílková Alexander Kurz Daniela Petrişan Jiřı́ Velebil
+	Relation Liftings on Preorders and Posets	2012	Marta Bílková Alexander Kurz Daniela Petrişan Jiřı́ Velebil
+ PDF Chat	Relation Liftings on Preorders and Posets	2011	Marta Bílková Alexander Kurz Daniela Petrişan Jiřı́ Velebil
+	Algebraic Theories over Nominal Sets	2010	Alexander Kurz Daniela Petrişan Jiřı́ Velebil
+	A Duality Theorem for Real C * Algebras	2009	M. Andrew Moshier Daniela Petrişan

Common Coauthors

Coauthor	Papers Together
Mai Gehrke	6
Alexander Kurz	6
Luca Reggio	6
Jiřı́ Velebil	5
Thomas Colcombet	4
Marta Bílková	4
Ralph Sarkis	3
Filippo Bonchi	2
Barbara König	2
M. Andrew Moshier	1
Jurriaan Rot	1
Alexandre Goy	1
Riccardo Stabile	1
Fer-Jan de Vries	1
Paula Severi	1
Samuel Humeau	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	Topologies on spaces of subsets	1951	Ernest Michael	4
+ PDF Chat	Varieties of Languages in a Category	2015	Jiřı́ Adámek Robert S.R. Myers Henning Urbat Stefan Milius	4
+	The formal theory of monads II	2002	Stephen Lack Ross Street	4
+	Basic concepts of enriched category theory	1982	G. M. Kelly	3
+	The Power of Convex Algebras	2017	Filippo Bonchi Alexandra Silva Ana Sokolova	3
+	CODENSITY AND THE ULTRAFILTER MONAD	2013	Tom Leinster	3
+ PDF Chat	No-Go Theorems for Distributive Laws	2019	Maaike Zwart Dan Marsden	3
+	Monads on symmetric monoidal closed categories	1970	Anders Kock	3
+ PDF Chat	The Vietoris Monad and Weak Distributive Laws	2019	Richard Garner	3
+ PDF Chat	Schützenberger Products in a Category	2016	Liang-Ting Chen Henning Urbat	3
+ PDF Chat	Logic Meets Algebra: the Case of Regular Languages	2007	Pascal Tesson Denis Thérien	3
+	Simulations in coalgebra	2004	Jesse Hughes Bart Jacobs	3
+ PDF Chat	Categories for the Working Mathematician	1971	Saunders Mac Lane	3
+	Iterated Covariant Powerset is not a Monad	2018	Bartek Klin Julian Salamanca	3
+ PDF Chat	Recognisable Languages over Monads	2015	Mikołaj Bojańczyk	3
+	Coinduction for recursive data types: partial orders, metric spaces and Ω-categories.	2000	James Worrell	3
+ PDF Chat	Profinite Monads, Profinite Equations, and Reiterman’s Theorem	2016	Liang-Ting Chen Jiřı́ Adámek Stefan Milius Henning Urbat	3
+	A final coalgebra theorem	2005	Peter Aczel N. P. Mendler	2
+	Relators and Metric Bisimulations	1998	J.J.M.M. Rutten	2
+	Codensity and the ultrafilter monad	2012	Tom Leinster	2
+	DOCTRINES WHOSE STRUCTURE FORMS A FULLY FAITHFUL ADJOINT STRING	2011	F. Marmolejo	2
+ PDF Chat	Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning	2021	Matteo Mio Ralph Sarkis Valeria Vignudelli	2
+	Completeness of the Finitary Moss Logic	2008	Clemens Kupke Alexander Kurz Yde Venema	2
+	Pseudo-Distributive Laws and a Unified Framework for Variable Binding	2004	Miki Tanaka	2
+ PDF Chat	Quantifiers on languages and codensity monads	2017	Mai Gehrke Daniela Petrişan Luca Reggio	2
+	Categories for the Working Mathematician	1978	Saunders Mac Lane	2
+ PDF Chat	A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on	1980	G. M. Kelly	2
+ PDF Chat	Codensity, profiniteness and algebras of semiring-valued measures	2019	Luca Reggio	2
+ PDF Chat	On the 2-Categories of Weak Distributive Laws	2011	Gabriella Böhm Stephen Lack Ross Street	1
+	Simulations in Coalgebra	2003	Bart Jacobs Jesse Hughes	1
+	On finite monoids having only trivial subgroups	1965	M. P. Schützenberger	1
+ PDF Chat	Full abstraction for nominal general references	2007	Nikos Tzevelekos	1
+	Category Theoretic Semantics for Typed Binding Signatures with Recursion	2008	John Power Miki Tanaka	1
+	Pi-Calculus in Logical Form	2007	Marcello Bonsangue Alexander Kurz	1
+	Monads for which structures are adjoint to units	1995	Anders Kock	1
+ PDF Chat	Constructive Gelfand duality for C*-algebras	2009	Thierry Coquand Bas Spitters	1
+	TWO-SIDED DISCRETE FIBRATIONS IN 2-CATEGORIES AND BICATEGORIES	2010	Emily Riehl	1
+ PDF Chat	Using Duality in Circuit Complexity	2016	Silke Czarnetzki Andreas Krebs	1
+	Cauchy characterization of enriched categories	1981	Ross Street	1
+	Quantifiers on languages and codensity monads	2017	Mai Gehrke Daniela Petrişan Luca Reggio	1
+	On sifted colimits and generalized varieties.	2001	Jiřı́ Adámek Jiřı́ Rosický	1
+	Generalized metric spaces : completion, topology, and powerdomains via the Yoneda embedding	1996	Marcello Bonsangue F. vanBreugel J.J.M.M. Rutten	1
+ PDF Chat	Presenting Distributive Laws	2013	Marcello Bonsangue Helle Hvid Hansen Alexander Kurz Jurriaan Rot	1
+	Coalgebraic Determinization of Alternating Automata.	2018	Meven Bertrand Jurriaan Rot	1
+	Terminal coalgebras for endofunctors on sets	2004	Michael Barr	1
+	What is algebraic about algebraic effects and handlers	2018	Andrej Bauer	1
+	Parametric corecursion	2001	Lawrence S. Moss	1
+ PDF Chat	Relating coalgebraic notions of bisimulation	2011	Sam Staton	1
+	Varieties of Languages in a Category	2015	Jiřı́ Adámek Stefan Milius Robert S.R. Myers Henning Urbat	1
+	Probabilistic Metric Spaces as enriched categories	2012	Dirk Hofmann Carla David Reis	1