( en | de | ru )

 

Disambiguation of "Kefalas, Petros"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Development of Reactive Agent-Based Systems.

, , , and . Encyclopedia of Information Science and Technology (II), Idea Group, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Petros Martirosian

Quantitative magnetic resonance perfusion imaging in body regions with susceptibility alterations using FAIR True-FISP sequences. Uni Tübingen, (2009)

Petros Stylianou

Petros Kalfelis

Petros Chryssikopoulos

Petros Sainis

 

Other publications of authors with the same name

Multiple OR-Parallel Resolution: Meta-Level Control of Parallel Logic Programs., and . Euro-Par, Vol. I, volume 1123 of Lecture Notes in Computer Science, page 694-703. Springer, (1996)A multi-agent framework to assist networked learning., , and . J. Comput. Assist. Learn., 15 (3): 201-210 (1999)Formal Modelling of Reactive Agents as an Aggregation of Simple Behaviours.. SETN, volume 2308 of Lecture Notes in Computer Science, page 461-472. Springer, (2002)Towards a Complete Covering of SBML Functionalities, , , , , and . Membrane Computing, volume 4860 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, (2007)A Framework towards the Verification of Emergent Properties in Spatial Multi-Agent Systems., , and . WASA, volume 752 of CEUR Workshop Proceedings, page 37-44. CEUR-WS.org, (2011)Communicating X-machines: a practical approach for formal and modular specification of large systems., , and . Inf. Softw. Technol., 45 (5): 269-280 (2003)Emotional Agents Make a (Bank) Run., , and . EUMAS/AT, volume 12520 of Lecture Notes in Computer Science, page 171-187. Springer, (2020)Membrane Computing, , , , , and . volume 4860 of Lecture Notes in Computer Science, chapter Towards a Complete Covering of SBML Functionalities, page 353-366. Springer Berlin / Heidelberg, (2007)OASys: an AND/OR parallel logic programming system., , and . Parallel Comput., 25 (3): 321-336 (1999)The Invalidity of Validating Emotional Multi-Agent Systems Simulations., and . BCI, page 8:1-8:8. ACM, (2017)