Adriana Balan

  • Conferenţiar
  • Departamentul de Metode şi Modele Matematice
    Universitatea Politehnica din Bucureşti
    Splaiul Independenţei nr. 313,
    060042 Bucureşti, România
  • +40-21-4029152
  • adriana(dot)balan(at)upb(dot)ro

Domenii de interes

Lucrări

Prezentări

Cursuri


DOMENII DE INTERES


  • Fundamentele matematice ale informaticii: teoria categoriilor şi logică cu aplicaţii în informatică: teoria coalgebrelor şi logică modală, dualitate Stone, teoria categoriilor îmbogăţite; monade.
  • Algebră necomutativă: algebre Hopf, grupuri cuantice şi generalizări categoriale.

LUCRĂRI


  1. A. Tănăsescu, A. Balan, P. G. Popescu. Zero-correlation entanglement vs. Schmidt rank, The European Physical Journal Plus 136, 476 (2021) (link)
  2. A. Balan, A. Kurz. An Equational Approach to Enriched Distributivity, Revue Roumaine de Mathématiques Pures et Appliquées 66(3-4):577-596 (2021) (link)
  3. A. Balan, A. Kurz, J. Velebil. Extensions of Functors to V-Cat, Logical Methods in Computer Science 15(1):1-57 (2019) (link)
  4. A. Balan. On Hopf adjunctions, Hopf monads and Frobenius-type properties, Applied Categorical Structures 25(5):747-774 (2017) (link) (arXiv 1411.2236)
  5. A. Balan, A. Kurz, J. Velebil. An Institutional Approach to Positive Coalgebraic Logics, Journal of Logic and Computation 27(6):1799-1824 (2017) (link)
  6. A. Balan, A. Kurz, J. Velebil. Some aspects of positive coalgebraic logic. În: Duality in Computer Science, Dagstuhl Reports vol. 5(10), 2016.
  7. A. Balan, A. Kurz, J. Velebil. Extensions of functors from Set to V-cat. În: Proceedings of the 6th International Conference on Algebra and Coalgebra in Computer Science CALCO2015, LIPIcs 2015, 16-32 (link)
  8. A. Balan, A. Kurz, J. Velebil. Positive Fragments of Coalgebraic Logics, Logical Methods in Computer Science 11(3:18), 1-51, 2015 (link)
  9. A. Balan. A note on Frobenius monoidal functors on autonomous categories, preprint 2014 (arXiv 1407.1012)
  10. A. Balan, A. Kurz, J. Velebil. An Institutional Approach to Positive Coalgebraic Logic. În: R. Diaconescu, I. Tutu, M. Codescu (eds.), Technical report on the 22nd International Workshop on Algebraic Development Techniques WADT 2014, 7(2014) Preprint Series of the Institute of Mathematics of the Romanian Academy, ISSN 0250 3638, p.20-21 (link)
  11. A. Balan. On biproducts and terminal coalgebras, U.P.B. Sci. Bull. Series A 76(2), 285-294, 2014 (link)
  12. A. Balan, A. Kurz, J. Velebil. Positive Fragments of Coalgebraic Logics. În: R. Heckel, S. Milius, (eds.), 5th International Conference on Algebra and Coalgebra in Computer Science CALCO2013, LNCS 8089, Springer 51-65, 2013 (link) (pdf)
  13. A. Balan, A. Kurz, J. Velebil. On Coalgebraic Logic over Posets . In: L. Schroeder, D. Pattinson (eds.), Short Contributions of 11th International Workshop CMCS 2012, Inst. Cybern., Technical University Tallin, 6-7, 2012 (pdf)
  14. A. Balan, A. Kurz. Finitary functors: from Set to Preord and Poset . In: A. Corradini, B. Klin, C. Cîrstea (eds.), 4th International Conference on Algebra and Coalgebra in Computer Science CALCO2011, LNCS 6859, Springer, Heidelberg, 85-99, 2011 (link) (pdf)
  15. A. Balan, A. Kurz. On coalgebras over algebras, Theor. Comput. Sci. 412(38) 4989-5005, 2011 (link) (pdf)
  16. A. Balan. A Note on Enriched Categories, UPB Sci. Bull. Series A: Appl. Math. Phys. 72(4), 147-154, 2010 (link)
  17. A. Balan, A. Kurz. On Coalgebras over Algebras. În: B. Jacobs, M. Niqui, J. Rutten and A. Silva (eds.), 10th International Workshop on Coalgebraic Methods in Computer Science CMCS 2010, Elect. Notes Theor. Comput. Sci., 264(2), 47-6 2, 2010 (link)
  18. A. Balan. Galois Extensions for Coquasi-Hopf Algebras, Comm. Algebra, 38(4), 1491-1525, 2010 (link) (arXiv 0804.3046v1)
  19. A. Balan. Yetter-Drinfeld Modules and Galois Extensions for Coquasi-Hopf Algebras, UPB Sci. Bull. Series A: Appl. Math. Phys., 71(3), 43-60, 2009 (link)
  20. A. Balan. A Morita Context and Galois extensions for Quasi-Hopf Algebras, Comm. Algebra, 37(4), 1-22, 2009 (link) (arXiv 0705.3515v2)
  21. A. Balan. Crossed Products and Cleft Extensions for Coquasi-Hopf Algebras , Arabian J. Sci. Eng., special issue "Interactions of Algebraic & Coalgebraic Structures (Theory and Applications)", 33(2C), 53-84, 2008 (link)
  22. A. Balan. Acţtiuni şi coacţiuni pentru algebre (co)quasi-Hopf algebras (teză doctorat), Universitatea Bucureşti (2007)
  23. A. Balan. Integral Extensions of Module Algebras, UPB Sci. Bull. Series A: Appl. Math. Phys., 61(3-4) 67-76, 1999 (zbMATH)

PREZENTĂRI

  1. On 2-categorical aspects of (quasi)bialgebras, Seminar Geometric Methods in Mathematics, TU Dresden, Germania, Ianuarie 2024 (slides)
  2. On the tensor product of cocomplete quantale-enriched categories, Al 10-lea Congres al Matematicienilor Români, Galaţi, România, Iulie 2023
  3. On the tensor product of cocomplete quantale-enriched categories, Category Theory at Work in Computational Mathematics and Theoretical Informatics CATMI 2023, Bergen, Norvegia, Iunie 2023 (slides)
  4. Distributivitate în spaţii metrice, Conferinţa Societăţii de Ştiinţe Matematice din România SSMR XXIV, Bucureşti, România, Octombrie 2022
  5. On 2-categorical aspects of Hopf algebras, Hopf algebras, monoidal categories and related topics, Bucureşti, România, Iulie 2022 (slides)
  6. Enriched distributivity over finite commutative residuated lattices, 9th Conference on Topology, Algebra and Categories in Logic TACL 2019, Nisa, Franţa, Iunie 2019 (slides).
  7. Extending set-functors to generalised metric spaces, Al 9-lea Congres al Matematicienilor Români, Galaţi, România, Iulie 2019.
  8. Distributivity over finite residuated lattices, Al 9-lea Congres al Matematicienilor Români, Galaţi, Romania, Iulie 2019.
  9. On coalgebras and 3/2-institutions, 2nd Working Formal Methods Symposium FROM 2018, Iaşi, România, Iulie 2018.
  10. A many-valued framework for coalgebraic logics over generalised metric spaces, 1st Working Formal Methods Symposium FROM 2017, Bucureşti, România, Iulie 2017.
  11. A multi-valued framework for coalgebraic logics over generalised metric spaces, 8th Conference on Topology, Algebra and Categories in Logic TACL 2017, Praga, Republica Cehă, Iunie 2017.
  12. Some aspects of positive coalgebraic logic, Duality in Computer Science, Dagstuhl (Germania), Octombrie 2015.
  13. When Hopf monads are Frobenius, Al 8-lea Congres al Matematicienilor Români, Iaşi (România), Iunie 2015.
  14. Coalgebraic logic over (po)sets, Seminarul de logică IMAR&FMI, Bucureşti, Iunie 2015.
  15. An Introduction to Category Theory (II), Bucharest FP#7, Ianuarie 2015.
  16. An Institutional Approach to Positive Coalgebraic Logic, WADT 2014, Sinaia(Romania), Sept. 2014 (prezentare).
  17. An Introduction to Category Theory, Bucharest FP#2, Iulie 2014.
  18. Positive Fragments of Coalgebraic Logics, Oberwolfach Seminar Mathematics for Scientific Programming, Oberwolfach (Germania), Nov. 2013 (link alternativ).
  19. Positive Fragments of Coalgebraic Logics, CALCO 2013, Warsaw (Poland), Sept. 2013 (prezentare).
  20. On Coalgebraic Logic over Posets, CMCS 2012, Tallinn (Estonia), March 2012 (prezentare).
  21. Finitary Functors: from Set to Preord and Poset, CALCO 2011, Winchester (UK), Sept. 2011 (prezentare).
  22. On Coalgebras over Algebras, CMCS 2010, Paphos (Cyprus) March 2010 (prezentare)
  23. Crossed products and monoidal categories for coquasi-Hopf algebras, Noncommutative Structures in Mathematics and Physics, Bruxelles (Belgium), July 2008 (prezentare).
  24. Galois extensions for coquasi-Hopf algebras, International Conference on Modules and Representation Theory, Cluj Napoca (Romania), July 2008 (abstract) (prezentare).
  25. A Morita context and Galois extensions for quasi-Hopf algebras , "New techniques in Hopf algebras and graded ring theory", Bruxelles (Belgium), Sept. 2006 (program).
  26. Integral extension of module algebras, Rings, Modules and Representations Euroconference, Constanţa (Romania), Aug. 2000.

CURSURI