Follow
Adriana Balan
Title
Cited by
Cited by
Year
Finitary Functors: From Set to Preord and Poset.
A Balan, A Kurz
CALCO 2011 Algebra and Coalgebra in Computer Science, LNC 6859, 85-99, 2011
362011
Positive fragments of coalgebraic logics
A Balan, A Kurz, J Velebil
Logical Methods in Computer Science 11 (3), 1-51, 2015
262015
On coalgebras over algebras
A Balan, A Kurz
Theoretical computer science 412 (38), 4989-5005, 2011
182011
Extending set functors to generalised metric spaces
A Balan, A Kurz, J Velebil
Logical Methods in Computer Science 15 (1), 5:1–5:57, 2019
10*2019
On Hopf adjunctions, Hopf monads and Frobenius-type properties
A Balan
Applied Categorical Structures 25 (5), 747-774, 2017
92017
Galois extensions for coquasi-Hopf algebras
A Balan
Communications in Algebra 38 (4), 1491-1525, 2010
82010
An Institutional Approach to Positive Coalgebraic Logic
A Balan, A Kurz, J Velebil
Journal of Logic and Computation 27 (6), 1799-1824, 2017
72017
Extensions of functors from Set to V-cat
A Balan, A Kurz, J Velebil
CALCO 2015 Algebra and Coalgebra in Computer Science 35 (LIPIcs), 16-32, 2015
72015
On coalgebras over algebras
A Balan, A Kurz
Electronic Notes in Theoretical Computer Science 264 (2), 47-62, 2010
62010
A Morita context and Galois extensions for Quasi-Hopf algebras
A Balan
Communications in Algebra 37 (4), 1129-1150, 2009
62009
Crossed products and cleft extensions for coquasi-Hopf algebras
A Balan
Arabian Journal for Science and Engineering 33 (2C), 53-83, 2008
52008
Yetter-Drinfeld modules and Galois extensions over coquasi-Hopf algebras
A Balan
UPB Scientific Bulletin Series A 71 (3), 43-60, 2009
42009
On coalgebraic logic over posets
A Balan, A Kurz, J Velebil
Short Contributions of CMCS, 2012
32012
A note on Frobenius monoidal functors on autonomous categories
A Balan
arXiv preprint arXiv:1407.1012, 2014
12014
Zero-correlation entanglement vs. Schmidt rank
A Tănăsescu, A Balan, PG Popescu
The European Physical Journal Plus 136 (5), 476, 2021
2021
An equational approach to enriched distributivity
A Balan, A Kurz
REVUE ROUMAINE DE MATHÉMATIQUES PURES ET APPLIQUÉES 66 (3-4), 577–596, 2021
2021
Enriched distributivity over finite commutative residuated lattices
A Balan, P Jipsen, A Kurz
TACL 2019, 35, 2019
2019
On coalgebras and 3/2-institutions
A Balan
Working Formal Methods 2nd International Workshop FROM 2018, 76, 2018
2018
A multi-valued framework for coalgebraic logics over generalised metric spaces
A Balan
Topology, Algebra and Categories in Logic TACL 2017, Prague, 2017
2017
6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)
J Adamek, S Milius, H Urbat, A Balan, A Kurz, J Velebil, P Baldan, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–20