Adriana Balan

12 papers B 3Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2025 — conf
The Hidden Strength of Costrong Functors.
FROM
Adriana Balan, Silviu-George Pantelimon
2021 J jnl
An equational approach to enriched distributivity.
CoRR
Adriana Balan, Alexander Kurz
2019 J jnl
Extending set functors to generalised metric spaces.
Log. Methods Comput. Sci.
Adriana Balan, Alexander Kurz, Jirí Velebil
2018 J jnl
Extending set functors to generalised metric spaces.
CoRR
Adriana Balan, Alexander Kurz, Jirí Velebil
2017 J jnl
An institutional approach to positive coalgebraic logic.
J. Log. Comput.
Adriana Balan, Alexander Kurz, Jirí Velebil
2017 J jnl
On Hopf Adjunctions, Hopf Monads and Frobenius-Type Properties.
Appl. Categorical Struct.
Adriana Balan
2015 B conf
Extensions of Functors From Set to V-cat.
CALCO
Adriana Balan, Alexander Kurz, Jirí Velebil
2015 J jnl
Positive fragments of coalgebraic logics.
Log. Methods Comput. Sci.
Adriana Balan, Alexander Kurz, Jirí Velebil
2013 B conf
Positive Fragments of Coalgebraic Logics.
CALCO
Adriana Balan, Alexander Kurz, Jirí Velebil
2011 B conf
Finitary Functors: From Set to Preord and Poset.
CALCO
Adriana Balan, Alexander Kurz
2011 J jnl
On coalgebras over algebras.
Theor. Comput. Sci.
Adriana Balan, Alexander Kurz
2010 — conf
On Coalgebras over Algebras.
CMCS@ETAPS
Adriana Balan, Alexander Kurz