Click here to view all publications by Dr. Ioanna Stamatopoulou.

Dr Ioanna StamatopoulouAll Publications:P. Kefalas, I. Stamatopoulou, I. Sakellariou, and G. Eleftherakis. TransformingCommunicating X-machines into P Systems. Natural Computing, 8(4):817-832,December 2009.P. Kefalas, I. Stamatopoulou, M. Gheorghe, and G. Eleftherakis. Membranecomputing and X-machines. In Gh. Paun, G. Rozenberg, and A. Salomaa, editors,The Oxford Handbook of Membrane Computing, chapter 23.4. 2009.D. Dranidis and I. Stamatopoulou, editors. Proceedings of the 4th South-EastEuropean Workshop on Formal Methods, 5 December 2009, Thessaloniki, Greece.IEEE Computer Society CPS, 2009.I. Stamatopoulou, M. Fasli, and P. Kefalas. Teaching AI and IA to non-sciencegraduates. In M. Beer, M. Fasli, and D. Richards, editors, Proceedings of theInternational Workshop on the Educational Uses of Multi-Agent Systems(EDUMAS'09), pages 55-62, 2009.I. Sakellariou, P. Kefalas, and I. Stamatopoulou. MAS coursework design inNetLogo. In M. Beer, M. Fasli, and D. Richards, editors, Proceedings of theInternational Workshop on the Educational Uses of Multi-Agent Systems(EDUMAS'09), pages 47-54, 2009.P. Kefalas, I. Stamatopoulou, G. Eleftherakis, and M. Gheorghe. Transformingstate-based models to P Systems models in practice. In D. W. Corne, P. Frisco, G.Paun, G. Rozenberg, and A. Salomaa, editors, Membrane Computing, Proceedingsof the 9th International Workshop (WMC'08), volume 5391 of Lecture Notes inComputer Science, pages 260-273. Springer, 2009.I. Sakellariou, P. Kefalas, and I. Stamatopoulou. Teaching intelligent agents usingNetLogo. In Proceedings of Informatics Education Europe III (IEE-III), pages 209-221, 2008.I. Sakellariou, P. Kefalas, and I. Stamatopoulou. Enhancing NetLogo to simulateBDI communicating agents. In Artificial Intelligence: Theories, Models andApplications, Proceedings of the 5th Hellenic Conference on AI (SETN'08), volume5138 of Lecture Notes in Computer Science, pages 263-275. Springer, 2008.I. Stamatopoulou, I. Sakellariou, P. Kefalas, and G. Eleftherakis. OPERAS forsocial insects: Formal modelling and prototype simulation. In M. Gheorghe and F.Ipate, editors, Special Issue of Romanian Journal of Information Science andTechnology (ROMJIST) on Natural Computing: from biology to computer scienceand back to applications, volume 11, pages 267-280. 2008.I. Stamatopoulou, P. Kefalas, and M. Gheorghe. OPERAS: a formal framework formulti-agent systems and its application to swarm-based systems. In A. Artikis, G.O'Hare, K. Stathis, and G. Vouros, editors, Proceedings of the 8th InternationalWorkshop on Engineering Societies in the Agents World (ESAW'07), pages 208-223, 2007.P. Kefalas, I. Stamatopoulou, and M. Gheorghe. Principles of transformingCommunicating X-machines to Population P Systems. In G. Vaszil, editor,Proceedings of the International Workshop on Automata for Cellular and MolecularComputing (ACMC'07), pages 76-89, 2007.

I. Stamatopoulou, P. Kefalas, and M. Gheorghe. Applying OPERAS XC to NASA'sSmall Aircraft Transportation System. In Proceedings of the 2 nd Annual SEERCDoctoral Student Conference (DSC'07), July 22-23, Thessaloniki, Greece, 2007b.To appear.I. Stamatopoulou, P. Kefalas, and M. Gheorghe. OPERAS CC : An instance of aformal framework for MAS modelling based on Population P Systems. In G.Eleftherakis, P. Kefalas, and G. Paun, editors, Proceedings of the 8 th Workshop onMembrane Computing (WMC'07), June 25-28, Thessaloniki, Greece, pages 551-566. South-East European Research Centre, 2007.I. Stamatopoulou, P. Kefalas, and M. Gheorghe. OPERAS for space: Formalmodelling of autonomous spacecrafts. In T. Papatheodorou, D. Christodoulakis,and N. Karanikolas, editors, Current Trends in Informatics, volume B ofProceedings of the 11th Panhellenic Conference in Informatics (PCI'07), May 18-20, Patras, Greece, pages 69-78, 2007.I. Stamatopoulou, I. Sakellariou, P. Kefalas, and G. Eleftherakis. Formalmodelling for in-silico experiments with social insect colonies. In T.Papatheodorou, D. Christodoulakis, and N. Karanikolas, editors, Current Trends inInformatics, volume B of Proceedings of the 11th Panhellenic Conference inInformatics (PCI'07), May 18-20, Patras, Greece, pages 79-89, 2007.I. Paraskakis, I. Stamatopoulou, and O. Paunovski, editors. Proceedings of the 1stAnnual SEERC Doctoral Student Conference (DSC'06), July 10, Thessaloniki,Greece. South-East European Research Centre, 2007.I. Stamatopoulou, P. Kefalas, and M. Gheorghe. Modelling the dynamic structureof biological state-based systems. BioSystems, 87(2-3):142-149, February 2007.I. Stamatopoulou, P. Kefalas, and M. Gheorghe. A hybrid formal approach formodelling change in multi-agent systems. In I. Paraskakis, I. Stamatopoulou, andO. Paunovski, editors, Proceedings of 1st Annual SEERC Doctoral StudentConference (DSC'06), July 10, Thessaloniki, Greece, pages 189-200. South-EastEuropean Research Centre, 2006.I. Stamatopoulou, P. Kefalas, and M. Gheorghe. Specification of reconfigurableMAS: A hybrid formal approach. In G. Antoniou, G. Potamias, C. Spyropoulos,and D. Plexousakis, editors, Advances in Artificial Intelligence: Proceedings of the4th Hellenic Conference on AI (SETN'06), Heraklion, Crete, Greece, May 18-20,2006., volume 3955 of Lecture Notes in Artificial Intelligence, pages 592-595.Springer, 2006.I. Stamatopoulou, P. Kefalas, G. Eleftherakis, and M. Gheorghe. A modellinglanguage and tool for Population P Systems. In Proceedings of the 10thPanhellenic Conference in Informatics (PCI'05), November 11-13, Volos, Greece,2005.P. Kefalas, I. Stamatopoulou, and M. Gheorghe. A formal modelling framework fordeveloping multi-agent systems with dynamic structure and behaviour. In M.Pechoucek, P. Petta, and L. Z. Varga, editors, Multi-Agent Systems andApplications IV: Proceedings of the 4th International Central and EasternEuropean Conference on Multi-Agent Systems (CEEMAS'05), Budapest, Hungary,September 15-17, 2005, volume 3690 of Lecture Notes in Artificial Intelligence,pages 122-131. Springer Verlag, 2005.

D. Jackson, M. Holcombe, I. Stamatopoulou, I. Sakellariou, G. Eleftherakis, P.Kefalas, and M. Gheorghe. Modelling self-organisation in ant colonies. In SpecialSession On Systems Self-Assembly at the 7th International Conference onArtificial Evolution (EA'05), 2005.I. Stamatopoulou, P. Kefalas, and M. Gheorghe. Modelling the dynamic structureof biological state-based systems. In Proceedings of the 6th InternationalWorkshop on Information Processing in Cells and Tissues (IPCAT'05), August 30 -September 1, York, UK, 2005.M. Gheorghe, I. Stamatopoulou, M. Holcombe, and P. Kefalas. Modellingdynamically organised colonies of bio-entities. In J.-P. Banatre, P. Fradet, J.-L.Giavitto, and O. Michel, editors, Unconventional Programming Paradigms:International Workshop (UPP'04), Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers, volume 3566 of Lecture Notes inComputer Science, pages 207-224. Springer-Verlag, 2005.I. Stamatopoulou, M. Gheorghe, and P. Kefalas. Modelling dynamic configurationof biology-inspired multi-agent systems with Communicating X-machines andPopulation P Systems. In G. Mauri, G. Paun, M. J. Perez-Jimenez, G. Rozenberg,and A. Salomaa, editors, Membrane Computing: 5th International Workshop,volume 3365 of Lecture Notes in Computer Science, pages 389-401. Springer-Verlag, Berlin, 2005.P. Kefalas, G. Eleftherakis, M. Holcombe, and I. Stamatopoulou. Formal modellingof the dynamic behaviour of biology-inspired agent-based systems. In M.Gheorghe, editor, Molecular Computational Models: Unconventional Approaches,pages 243-276. Idea Publishing Inc., 2005.I. Stamatopoulou. Incremental dynamic modelling of agent-based systems usingCommunicating X-machines: A review, a case study and a research proposal.Technical Report 03/2005, South-East European Research Centre, Thessaloniki,Greece, January 2005.