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 | 36 | 2011 |
Positive fragments of coalgebraic logics A Balan, A Kurz, J Velebil Logical Methods in Computer Science 11 (3), 1-51, 2015 | 26 | 2015 |
On coalgebras over algebras A Balan, A Kurz Theoretical computer science 412 (38), 4989-5005, 2011 | 18 | 2011 |
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 | 9 | 2017 |
Galois extensions for coquasi-Hopf algebras A Balan Communications in Algebra 38 (4), 1491-1525, 2010 | 8 | 2010 |
An Institutional Approach to Positive Coalgebraic Logic A Balan, A Kurz, J Velebil Journal of Logic and Computation 27 (6), 1799-1824, 2017 | 7 | 2017 |
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 | 7 | 2015 |
On coalgebras over algebras A Balan, A Kurz Electronic Notes in Theoretical Computer Science 264 (2), 47-62, 2010 | 6 | 2010 |
A Morita context and Galois extensions for Quasi-Hopf algebras A Balan Communications in Algebra 37 (4), 1129-1150, 2009 | 6 | 2009 |
Crossed products and cleft extensions for coquasi-Hopf algebras A Balan Arabian Journal for Science and Engineering 33 (2C), 53-83, 2008 | 5 | 2008 |
Yetter-Drinfeld modules and Galois extensions over coquasi-Hopf algebras A Balan UPB Scientific Bulletin Series A 71 (3), 43-60, 2009 | 4 | 2009 |
On coalgebraic logic over posets A Balan, A Kurz, J Velebil Short Contributions of CMCS, 2012 | 3 | 2012 |
A note on Frobenius monoidal functors on autonomous categories A Balan arXiv preprint arXiv:1407.1012, 2014 | 1 | 2014 |
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 |