Anna Sotiriadou

Modeling Biology Inspired Reactive Agents Using X-machines

George Eleftherakis, Petros Kefalas, Evangelos Kehris, 2007, International Conference on Computational Intelligence.

An authentic student research experience: fostering research skills and boosting the employability profile of students

Dimitris Dranidis, Thanos Hatziapostolou, Petros Kefalas, 2018, ITiCSE.

XmCTL: Extending temporal logic to facilitate formal veri cation of X-machine models

George Eleftherakis, Petros Kefalas, Anna Sotiriadou, 2001 .

Promoting Computer Science programmes to potential students: 10 Myths for Computer Science

Thanos Hatziapostolou, Petros Kefalas, Anna Sotiriadou, 2008 .

Fusing Technology, Innovation and Entrepreneurship into Postgraduate Education

Panayiotis H. Ketikidis, Thanos Hatziapostolou, Petros Kefalas, 2012 .

Formal Veri cation of Agent Models

George Eleftherakis, Petros Kefalas, Anna Sotiriadou, 2002 .