Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Petros Kefalas
2010 – today
- 2013
[e4]Kostas I. Diamantaras, Georgios Evangelidis, Yannis Manolopoulos, Christos K. Georgiadis, Petros Kefalas, Demosthenes Stamatis (Eds.): Balkan Conference in Informatics, BCI '13, Thessaloniki, Greece, September 19-21, 2013. ACM 2013, ISBN 978-1-4503-1851-8- [e3]Christos K. Georgiadis, Petros Kefalas, Demosthenes Stamatis (Eds.): Local Proceedings of the Sixth Balkan Conference in Informatics, Thessaloniki, Greece, September 19-21, 2013. CEUR Workshop Proceedings 1036, CEUR-WS.org 2013
- 2012
- [c22]Petros Kefalas, Ioanna Stamatopoulou, Dionysios Basakos: Formal modelling of agents acting under artificial emotions. BCI 2012: 40-45
- [c21]Isidora Petreska, Petros Kefalas, Marian Gheorghe, Ioanna Stamatopoulou: Extending X-machines to Support Representation of Spatial 2-D Agents. ICAART (2) 2012: 54-61
- [c20]Ioanna Stamatopoulou, Ilias Sakellariou, Petros Kefalas: Formal Agent-Based Modelling and Simulation of Crowd Behaviour in Emergency Evacuation Plans. ICTAI 2012: 1133-1138
- 2011
- [c19]George Eleftherakis, Petros Kefalas, Evangelos Kehris: A methodology for developing component-based agent systems focusing on component quality. FedCSIS 2011: 561-568
- 2010
- [c18]Petros Kefalas, Ioanna Stamatopoulou: Towards Modelling of Reactive, Goal-Oriented and Hybrid Intelligent Agents Using P Systems. Int. Conf. on Membrane Computing 2010: 265-272
- [c17]Petros Kefalas, Ioanna Stamatopoulou: Modelling of Multi-Agent Systems: Experiences with Membrane Computing and Future Challenges. AMCA-POP 2010: 71-82
2000 – 2009
- 2009
- [j7]Petros Kefalas, Ioanna Stamatopoulou, Ilias Sakellariou, George Eleftherakis: Transforming communicating X-machines into P systems. Natural Computing 8(4): 817-832 (2009)
- [e2]Petros Kefalas, Demosthenes Stamatis, Christos Douligeris (Eds.): 2009 Fourth Balkan Conference in Informatics, BCI 2009, Thessaloniki, Greece, 17-19 September 2009. IEEE Computer Society 2009, ISBN 978-0-7695-3783-2
- 2008
- [c16]Petros Kefalas, Ioanna Stamatopoulou, George Eleftherakis, Marian Gheorghe: Transforming State-Based Models to P Systems Models in Practice. Workshop on Membrane Computing 2008: 260-273
- [c15]George Eleftherakis, Petros Kefalas: Formal Verification of Generalised State Machines. Panhellenic Conference on Informatics 2008: 227-231
- [c14]Ilias Sakellariou, Petros Kefalas, Ioanna Stamatopoulou: Enhancing NetLogo to Simulate BDI Communicating Agents. SETN 2008: 263-275
- 2007
- [j6]Ioanna Stamatopoulou, Petros Kefalas, Marian Gheorghe: Modelling the dynamic structure of biological state-based systems. Biosystems 87(2-3): 142-149 (2007)
- [c13]Ioanna Stamatopoulou, Petros Kefalas, Marian Gheorghe: OPERAS: A Framework for the Formal Modelling of Multi-Agent Systems and Its Application to Swarm-Based Systems. ESAW 2007: 158-174
- [c12]Ioanna Stamatopoulou, Petros Kefalas, Marian Gheorghe: OPERASCC: An Instance of a Formal Framework for MAS Modeling Based on Population P Systems. Workshop on Membrane Computing 2007: 438-452
- [e1]George Eleftherakis, Petros Kefalas, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa (Eds.): Membrane Computing, 8th International Workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers. Lecture Notes in Computer Science 4860, Springer 2007, ISBN 978-3-540-77311-5
- 2006
- [c11]Ioanna Stamatopoulou, Petros Kefalas, Marian Gheorghe: Specification of Reconfigurable MAS: A Hybrid Formal Approach. SETN 2006: 592-595
- 2005
- [c10]Petros Kefalas, Ioanna Stamatopoulou, Marian Gheorghe: A Formal Modelling Framework for Developing Multi-agent Systems with Dynamic Structure and Behaviour. CEEMAS 2005: 122-131
- [r1]Petros Kefalas, Mike Holcombe, George Eleftherakis, Marian Gheorghe: Formal Development of Reactive Agent-Based Systems. Encyclopedia of Information Science and Technology (II) 2005: 1201-1204
- 2004
- [c9]George Eleftherakis, Petros Kefalas, Anna Sotiriadou, Evangelos Kehris: Modeling Biology Inspired Reactive Agents Using X-machines. International Conference on Computational Intelligence 2004: 93-96
- [c8]Ioanna Stamatopoulou, Marian Gheorghe, Petros Kefalas: Modelling Dynamic Organization of Biology-Inspired Multi-agent Systems with Communicating X-Machines and Population P Systems. Workshop on Membrane Computing 2004: 389-403
- [c7]Marian Gheorghe, Ioanna Stamatopoulou, Mike Holcombe, Petros Kefalas: Modelling Dynamically Organised Colonies of Bio-entities. UPP 2004: 207-224
- 2003
- [j5]Petros Kefalas, George Eleftherakis, Evangelos Kehris: Communicating X-machines: a practical approach for formal and modular specification of large systems. Information & Software Technology 45(5): 269-280 (2003)
- 2002
- [c6]Petros Kefalas: Formal Modelling of Reactive Agents as an Aggregation of Simple Behaviours. SETN 2002: 461-472
- 2001
- [c5]Petros Kefalas, George Eleftherakis, Evangelos Kehris: Communicating X-Machines: From Theory to Practice. Panhellenic Conference on Informatics 2001: 316-335
1990 – 1999
- 1999
- [j4]Demosthenes Stamatis, Petros Kefalas, Theodoros Kargidis: A multi-agent framework to assist networked learning. J. Comp. Assisted Learning 15(3): 201-210 (1999)
- [j3]Ioannis P. Vlahavas, Petros Kefalas, Constantin Halatsis: OASys: an AND/OR parallel logic programming system. Parallel Computing 25(3): 321-336 (1999)
- 1996
- [c4]Petros Kefalas, Ioannis P. Vlahavas: Multiple OR-Parallel Resolution: Meta-Level Control of Parallel Logic Programs. Euro-Par, Vol. I 1996: 694-703
- 1992
- [j2]Ioannis P. Vlahavas, Petros Kefalas: An abstract prolog machine based on parallel resolution principle. Microprocessing and Microprogramming 35(1-5): 755-762 (1992)
- [j1]Ioannis P. Vlahavas, Petros Kefalas: A parallel Prolog resolution based on multiple unifications. Parallel Computing 18(11): 1275-1283 (1992)
- 1991
- [c3]Petros Kefalas, T. J. Reynolds: Controlling Search with Meta-Brave. ICLP Workshop on Parallel Execution of Logic Programs 1991: 29-38
- [c2]T. J. Reynolds, Petros Kefalas: BRAVE: An OR-Parallel Dialect of Prolog and its Application to Artificial Intelligence. RCLP 1991: 415-432
- 1990
- [c1]T. J. Reynolds, Petros Kefalas: OR-Parallel Prolog and Search Problems in AI Applications. ICLP 1990: 340-354
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:03 CEST by the dblp team