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
282011
Positive fragments of coalgebraic logics
A Balan, A Kurz, J Velebil
Logical Methods in Computer Science 11 (3), 1-51, 2015
202015
On coalgebras over algebras
A Balan, A Kurz
Theoretical computer science 412 (38), 4989-5005, 2011
142011
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
82015
On coalgebras over algebras
A Balan, A Kurz
Electronic Notes in Theoretical Computer Science 264 (2), 47-62, 2010
72010
Galois extensions for coquasi-Hopf algebras
A Balan
Communications in Algebra 38 (4), 1491-1525, 2010
72010
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
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
4*2019
On Hopf adjunctions, Hopf monads and Frobenius-type properties
A Balan
Applied Categorical Structures 25 (5), 747-774, 2017
42017
An Institutional Approach to Positive Coalgebraic Logic
A Balan, A Kurz, J Velebil
Journal of Logic and Computation 27 (6), 1799-1824, 2017
42017
Yetter-Drinfeld modules and Galois extensions over coquasi-Hopf algebras
A Balan
UPB Scientific Bulletin Series A 71 (3), 43-60, 2009
32009
On coalgebraic logic over posets
A Balan, A Kurz, J Velebil
Short Contributions of CMCS, 2012
22012
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), 1-12, 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
ON BIPRODUCTS AND TERMINAL COALGEBRAS
A Balan
UPB Sci. Bull. Series A: Appl. Math. Phys. 76 (2), 85-94, 2014
2014
A NOTE ON ENRICHED CATEGORIES
A Balan
UPB SCIENTIFIC BULLETIN-SERIES A-APPLIED MATHEMATICS AND PHYSICS 72 (4), 147-154, 2010
2010
The system can't perform the operation now. Try again later.
Articles 1–20