K. Ksystra, N. Triantafyllou, P. Stefaneas: Cafe2Athena tool, deliverable of the project [download the tool]

M. Chlouveraki, J. Juyumaya, K. Karvounis, S. Lambropoulou Identifying the invariants for classical knots and links from the Yokonuma-Hecke algebras [PDF]

S. Chmutov, S. Jablan, K. Karvounis, S. Lambropoulou: On the knot invariants from the Yokonuma-Hecke algebras. To appear in J. Knot Theory Ramifications. [PDF]

I. Diamantis, S. Lambropoulou: Braid equivalences in 3-manifolds with rational surgery description. Topology and its Applications 194 (2015) pp. 269-295. [PDF]

E. Panagiotou: The linking number in systems with Periodic Boundary Conditions. Journal of Computational Physics 300 (2015) pp. 533-573. [PDF]

E. Konstantinou, A. Kontogeorgis: Revisiting the Complex Multiplication Method for the Construction of Elliptic Curves. To appear in N.J. Daras, M.Th. Rassias (eds.), Computation, Cryptography, and Network Security. [PDF]

F. Aicardi, J. Juyumaya: Markov Trace on the Algebra of Braids and Ties. To appear in the Moscow Mathematical Journal. [PDF]

I. Diamantis, S. Lambropoulou: A new basis for the Homflypt skein module of the solid torus. Journal of Pure and Applied Algebra. [PDF]

K. Ksystra, P. Stefaneas, P. Frangos: An algebraic framework for the verification of context-aware adaptive systems. To appear in International Journal of Software Engineering and Knowledge Engineering.


A. Kontogeorgis: Constructing class invariants. Math. Comp., Vol. 83, No. 287, pp. 1477-1488, 2014. ISSN: 0025-5718. [PDF]

N. Kechagias: The component Dyer-Lashof coalgebras as subcoalgebras of free unstable coalgebras. Journal of Pure and Applied Algebra, To appear, DOI: 10.1016/j.jpaa.2014.05.022, 2014

M. Chlouveraki, G. Pouchin: Determination of the Representations and a Basis for the Yokonuma-Temperley-Lieb Algebra. Algebras and Representation Theory, Springer, (2014), DOI 10.1007/s10468-014-9501-z.

S. Karanikolopoulos, A. Kontogeorgis: Integral representations of cyclic groups acting on relative holomorphic differentials of deformations of curves with automorphisms. Proc. Amer. Math. Soc., Vol. 142, No. 7, pp. 2369-2383, 2014. ISSN: 0002-9939. [PDF]

I. Ouranos, K. Ogata, P. S. Stefaneas: TESLA Source Authentication Protocol Verification Experiment in the Timed OTS/CafeOBJ Method: Experiences and Lessons Learned.IEICE Transactions 97-D(5): 1160-1170 (2014)

J. Juyumaya, S. Lambropoulou: On the framization of knot algebras. New Ideas in Low-Dimensional Topology, Volume of invited papers, L.H. Kaufffman, V. Manturov Eds, Ser. Knots Everything, World Scientific Press, 2014.

S. Lambropoulou, S. Antoniou, N. Samardzija, I. Diamantis: Topological Surgery and Dynamics. Algebraic Structures in Low-Dimensional Topology, May 2014, Mathematisches Forschungsinstitut Oberwolfach, Germany, Report No. 26/2014 DOI: 10.4171/OWR/2014/26.

D. Goundaroulis, J. Juyumaya, A. Kontogeorgis, S. Lambropoulou: The Yokonuma-Temperley-Lieb algebra. Banach Center Pub. 103, To appear, December 2014 (21 pages). See also arxiv: 1012.1557

K. Ksystra, P. Stefaneas, P. Frangos: An Algebraic Framework for Modeling of Reactive Rule-based Intelligent Agents. Sofsem 2014: 40th International Conference on Current Trends in Theory and Practice of Computer Science, Springer LNCS, pp. 407-418.

P. Stefaneas, I. Ouranos, N. Triantafyllou, K. Ksystra: Some Engineering Applications of the OTS/CafeOBJ Method. Specification, Algebra, and Software 2014: 541-559


J. Juyumaya, S. Lambropoulou: p-adic framed braids II. Advances in Mathematics, 234 (2013), 149-191. [PDF]

N. Triantafyllou, P. Stefaneas, P. Frangos: An Algorithm for Allocating User Requests to Licenses in the OMA DRM System. IEICE Transactions on Information and Systems (under Oxford Univ. Press), 96-D(6): pp. 1258-1267, 2013. [PDF]

I. Ouranos, P. Stefaneas: Towards a Protocol Algebra Based on Algebraic Specifications. SERA 2013: 11th International Conference on Software Engineering Research, Management and Applications. Springer Studies in Computational Intelligence, pp. 85-98.


L. Kauffman, S. Lambropoulou: A Categorical Model for the Virtual Braid Group. Journal of Knot Theory and Its Ramifications, Vol. 21, No. 13 (2012). [PDF]

N. Kechagias: Dickson invariants and a new description of H*(Q0S0,Z/pZ) via H*(BΣ,Z/pZ). Journal of Homotopy and Related Structures, Volume 8 (2012), Issue 2, pp. 201-229. [PDF]

E. Androulaki, N. Vergadou, J. Ramos, I. Economou: Structure, thermodynamic and transport properties of imidazolium-based bis(trifluoromethylsulfonyl)imide ionic liquids from molecular dynamics simulations. Molecular Physics: An International Journal at the Interface Between Chemistry and Physics, 110:11-12 (2012), pp. 1139-1152. [PDF]

K. Ksystra, N. Triantafyllou, P. Stefaneas: On the Algebraic Semantics of Reactive Rules. RuleML 2012: 6th International Symposium on Rules: Research Based and Industry Focused, Springer LNCS, pp. 136-150.

K. Ksystra, N. Triantafyllou, K. Barlas, P. Stefaneas: An Algebraic Specification of Social Networks. SQM 2012: Software quality management, Britisch Computing Society.

I. Ouranos, K. Ogata, P. Stefaneas: Formal Analysis of TESLA Protocol in the Timed OTS/CafeOBJ Method. Isola 2012: 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Springer LNCS, pp. 126-142.