Click here to view all publications by Dr. Ioanna Stamatopoulou.
Click here to view all publications by Dr. Ioanna Stamatopoulou.
Click here to view all publications by Dr. Ioanna Stamatopoulou.
- No tags were found...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>Dr</strong> <strong>Ioanna</strong> Stama<strong>to</strong>poulouAll Publications:P. Kefalas, I. Stama<strong>to</strong>poulou, I. Sakellariou, and G. Eleftherakis. TransformingCommunicating X-machines in<strong>to</strong> P Systems. Natural Computing, 8(4):817-832,December 2009.P. Kefalas, I. Stama<strong>to</strong>poulou, M. Gheorghe, and G. Eleftherakis. Membranecomputing and X-machines. In Gh. Paun, G. Rozenberg, and A. Salomaa, edi<strong>to</strong>rs,The Oxford Handbook of Membrane Computing, chapter 23.4. 2009.D. <strong>Dr</strong>anidis and I. Stama<strong>to</strong>poulou, edi<strong>to</strong>rs. Proceedings of the 4th South-EastEuropean Workshop on Formal Methods, 5 December 2009, Thessaloniki, Greece.IEEE Computer Society CPS, 2009.I. Stama<strong>to</strong>poulou, M. Fasli, and P. Kefalas. Teaching AI and IA <strong>to</strong> non-sciencegraduates. In M. Beer, M. Fasli, and D. Richards, edi<strong>to</strong>rs, Proceedings of theInternational Workshop on the Educational Uses of Multi-Agent Systems(EDUMAS'09), pages 55-62, 2009.I. Sakellariou, P. Kefalas, and I. Stama<strong>to</strong>poulou. MAS coursework design inNetLogo. In M. Beer, M. Fasli, and D. Richards, edi<strong>to</strong>rs, Proceedings of theInternational Workshop on the Educational Uses of Multi-Agent Systems(EDUMAS'09), pages 47-54, 2009.P. Kefalas, I. Stama<strong>to</strong>poulou, G. Eleftherakis, and M. Gheorghe. Transformingstate-based models <strong>to</strong> P Systems models in practice. In D. W. Corne, P. Frisco, G.Paun, G. Rozenberg, and A. Salomaa, edi<strong>to</strong>rs, 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. Stama<strong>to</strong>poulou. Teaching intelligent agents usingNetLogo. In Proceedings of Informatics Education Europe III (IEE-III), pages 209-221, 2008.I. Sakellariou, P. Kefalas, and I. Stama<strong>to</strong>poulou. Enhancing NetLogo <strong>to</strong> 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. Stama<strong>to</strong>poulou, I. Sakellariou, P. Kefalas, and G. Eleftherakis. OPERAS forsocial insects: Formal modelling and pro<strong>to</strong>type simulation. In M. Gheorghe and F.Ipate, edi<strong>to</strong>rs, Special Issue of Romanian Journal of Information Science andTechnology (ROMJIST) on Natural Computing: from biology <strong>to</strong> computer scienceand back <strong>to</strong> applications, volume 11, pages 267-280. 2008.I. Stama<strong>to</strong>poulou, P. Kefalas, and M. Gheorghe. OPERAS: a formal framework formulti-agent systems and its application <strong>to</strong> swarm-based systems. In A. Artikis, G.O'Hare, K. Stathis, and G. Vouros, edi<strong>to</strong>rs, Proceedings of the 8th InternationalWorkshop on Engineering Societies in the Agents World (ESAW'07), pages 208-223, 2007.P. Kefalas, I. Stama<strong>to</strong>poulou, and M. Gheorghe. Principles of transformingCommunicating X-machines <strong>to</strong> Population P Systems. In G. Vaszil, edi<strong>to</strong>r,Proceedings of the International Workshop on Au<strong>to</strong>mata for Cellular and MolecularComputing (ACMC'07), pages 76-89, 2007.
I. Stama<strong>to</strong>poulou, P. Kefalas, and M. Gheorghe. Applying OPERAS XC <strong>to</strong> NASA'sSm<strong>all</strong> Aircraft Transportation System. In Proceedings of the 2 nd Annual SEERCDoc<strong>to</strong>ral Student Conference (DSC'07), July 22-23, Thessaloniki, Greece, 2007b.To appear.I. Stama<strong>to</strong>poulou, 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, edi<strong>to</strong>rs, 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. Stama<strong>to</strong>poulou, P. Kefalas, and M. Gheorghe. OPERAS for space: Formalmodelling of au<strong>to</strong>nomous spacecrafts. In T. Papatheodorou, D. Chris<strong>to</strong>doulakis,and N. Karanikolas, edi<strong>to</strong>rs, 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. Stama<strong>to</strong>poulou, I. Sakellariou, P. Kefalas, and G. Eleftherakis. Formalmodelling for in-silico experiments with social insect colonies. In T.Papatheodorou, D. Chris<strong>to</strong>doulakis, and N. Karanikolas, edi<strong>to</strong>rs, 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. Stama<strong>to</strong>poulou, and O. Paunovski, edi<strong>to</strong>rs. Proceedings of the 1stAnnual SEERC Doc<strong>to</strong>ral Student Conference (DSC'06), July 10, Thessaloniki,Greece. South-East European Research Centre, 2007.I. Stama<strong>to</strong>poulou, P. Kefalas, and M. Gheorghe. Modelling the dynamic structureof biological state-based systems. BioSystems, 87(2-3):142-149, February 2007.I. Stama<strong>to</strong>poulou, P. Kefalas, and M. Gheorghe. A hybrid formal approach formodelling change in multi-agent systems. In I. Paraskakis, I. Stama<strong>to</strong>poulou, andO. Paunovski, edi<strong>to</strong>rs, Proceedings of 1st Annual SEERC Doc<strong>to</strong>ral StudentConference (DSC'06), July 10, Thessaloniki, Greece, pages 189-200. South-EastEuropean Research Centre, 2006.I. Stama<strong>to</strong>poulou, P. Kefalas, and M. Gheorghe. Specification of reconfigurableMAS: A hybrid formal approach. In G. An<strong>to</strong>niou, G. Potamias, C. Spyropoulos,and D. Plexousakis, edi<strong>to</strong>rs, 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. Stama<strong>to</strong>poulou, P. Kefalas, G. Eleftherakis, and M. Gheorghe. A modellinglanguage and <strong>to</strong>ol for Population P Systems. In Proceedings of the 10thPanhellenic Conference in Informatics (PCI'05), November 11-13, Volos, Greece,2005.P. Kefalas, I. Stama<strong>to</strong>poulou, 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, edi<strong>to</strong>rs, 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. Stama<strong>to</strong>poulou, 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. Stama<strong>to</strong>poulou, 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. Stama<strong>to</strong>poulou, M. Holcombe, and P. Kefalas. Modellingdynamic<strong>all</strong>y organised colonies of bio-entities. In J.-P. Banatre, P. Fradet, J.-L.Giavit<strong>to</strong>, and O. Michel, edi<strong>to</strong>rs, 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. Stama<strong>to</strong>poulou, 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, edi<strong>to</strong>rs, 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. Stama<strong>to</strong>poulou. Formal modellingof the dynamic behaviour of biology-inspired agent-based systems. In M.Gheorghe, edi<strong>to</strong>r, Molecular Computational Models: Unconventional Approaches,pages 243-276. Idea Publishing Inc., 2005.I. Stama<strong>to</strong>poulou. Incremental dynamic modelling of agent-based systems usingCommunicating X-machines: A re<strong>view</strong>, a case study and a research proposal.Technical Report 03/2005, South-East European Research Centre, Thessaloniki,Greece, January 2005.