The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Petros Kefalas: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Petros Kefalas, Ioanna Stamatopoulou, Marian Gheorghe
    A Formal Modelling Framework for Developing Multi-agent Systems with Dynamic Structure and Behaviour. [Citation Graph (0, 0)][DBLP]
    CEEMAS, 2005, pp:122-131 [Conf]
  2. Petros Kefalas, Ioannis P. Vlahavas
    Multiple OR-Parallel Resolution: Meta-Level Control of Parallel Logic Programs. [Citation Graph (0, 0)][DBLP]
    Euro-Par, Vol. I, 1996, pp:694-703 [Conf]
  3. Petros Kefalas, T. J. Reynolds
    Controlling Search with Meta-Brave. [Citation Graph (0, 0)][DBLP]
    ICLP Workshop on Parallel Execution of Logic Programs, 1991, pp:29-38 [Conf]
  4. T. J. Reynolds, Petros Kefalas
    OR-Parallel Prolog and Search Problems in AI Applications. [Citation Graph (0, 0)][DBLP]
    ICLP, 1990, pp:340-354 [Conf]
  5. George Eleftherakis, Petros Kefalas, Anna Sotiriadou, Evangelos Kehris
    Modeling Biology Inspired Reactive Agents Using X-machines. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Intelligence, 2004, pp:93-96 [Conf]
  6. T. J. Reynolds, Petros Kefalas
    BRAVE: An OR-Parallel Dialect of Prolog and its Application to Artificial Intelligence. [Citation Graph (0, 0)][DBLP]
    RCLP, 1991, pp:415-432 [Conf]
  7. Ioanna Stamatopoulou, Marian Gheorghe, Petros Kefalas
    Modelling Dynamic Organization of Biology-Inspired Multi-agent Systems with Communicating X-Machines and Population P Systems. [Citation Graph (0, 0)][DBLP]
    Workshop on Membrane Computing, 2004, pp:389-403 [Conf]
  8. Petros Kefalas, George Eleftherakis, Evangelos Kehris
    Communicating X-Machines: From Theory to Practice. [Citation Graph (0, 0)][DBLP]
    Panhellenic Conference on Informatics, 2001, pp:316-335 [Conf]
  9. Petros Kefalas
    Formal Modelling of Reactive Agents as an Aggregation of Simple Behaviours. [Citation Graph (0, 0)][DBLP]
    SETN, 2002, pp:461-472 [Conf]
  10. Ioanna Stamatopoulou, Petros Kefalas, Marian Gheorghe
    Specification of Reconfigurable MAS: A Hybrid Formal Approach. [Citation Graph (0, 0)][DBLP]
    SETN, 2006, pp:592-595 [Conf]
  11. Marian Gheorghe, Ioanna Stamatopoulou, Mike Holcombe, Petros Kefalas
    Modelling Dynamically Organised Colonies of Bio-entities. [Citation Graph (0, 0)][DBLP]
    UPP, 2004, pp:207-224 [Conf]
  12. Petros Kefalas, George Eleftherakis, Evangelos Kehris
    Communicating X-machines: a practical approach for formal and modular specification of large systems. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2003, v:45, n:5, pp:269-280 [Journal]
  13. Demosthenes Stamatis, Petros Kefalas, Theodoros Kargidis
    A multi-agent framework to assist networked learning. [Citation Graph (0, 0)][DBLP]
    J. Comp. Assisted Learning, 1999, v:15, n:3, pp:201-210 [Journal]
  14. Ioannis P. Vlahavas, Petros Kefalas
    A parallel Prolog resolution based on multiple unifications. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 1992, v:18, n:11, pp:1275-1283 [Journal]
  15. Ioannis P. Vlahavas, Petros Kefalas, Constantin Halatsis
    OASys: an AND/OR parallel logic programming system. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 1999, v:25, n:3, pp:321-336 [Journal]

  16. OPERAS: A Framework for the Formal Modelling of Multi-Agent Systems and Its Application to Swarm-Based Systems. [Citation Graph (, )][DBLP]


  17. OPERASCC: An Instance of a Formal Framework for MAS Modeling Based on Population P Systems. [Citation Graph (, )][DBLP]


  18. Transforming State-Based Models to P Systems Models in Practice. [Citation Graph (, )][DBLP]


  19. Formal Verification of Generalised State Machines. [Citation Graph (, )][DBLP]


  20. Enhancing NetLogo to Simulate BDI Communicating Agents. [Citation Graph (, )][DBLP]


  21. Modelling of Multi-Agent Systems: Experiences with Membrane Computing and Future Challenges [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002