Adriana Balan

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 5

Top Topics

Positive And Negative

Top Venues

Log. Methods Comput. Sci.

Appl. Categorical Struct.

Publications

Adriana Balan, Alexander Kurz
An equational approach to enriched distributivity. CoRR (2021)
Adriana Balan, Alexander Kurz, Jiri Velebil
Extending set functors to generalised metric spaces. Log. Methods Comput. Sci. 15 (1) (2019)
Adriana Balan, Alexander Kurz, Jiri Velebil
Extending set functors to generalised metric spaces. CoRR (2018)
Adriana Balan
On Hopf Adjunctions, Hopf Monads and Frobenius-Type Properties. Appl. Categorical Struct. 25 (5) (2017)
Adriana Balan, Alexander Kurz, Jiri Velebil
An institutional approach to positive coalgebraic logic. J. Log. Comput. 27 (6) (2017)
Adriana Balan, Alexander Kurz, Jiri Velebil
Positive fragments of coalgebraic logics. Log. Methods Comput. Sci. 11 (3) (2015)
Adriana Balan, Alexander Kurz, Jiri Velebil
Extensions of Functors From Set to V-cat. CALCO (2015)
Adriana Balan, Alexander Kurz, Jiri Velebil
Positive Fragments of Coalgebraic Logics. CALCO (2013)
Adriana Balan, Alexander Kurz
On coalgebras over algebras. Theor. Comput. Sci. 412 (38) (2011)
Adriana Balan, Alexander Kurz
Finitary Functors: From Set to Preord and Poset. CALCO (2011)
Adriana Balan, Alexander Kurz
On Coalgebras over Algebras. CMCS (2010)