Modelling dynamically organised colonies of bio-entities

Lecture Notes in Computer Science

Volumn 3566, Issue , 2005, Pages 207-224

  Gheorghe, Marian ^a   Stamatopoulou, Ioanna ^b   Holcombe, Mike ^a   Kefalas, Petros ^c  

^a UNIVERSITY OF SHEFFIELD   (United Kingdom)

^b South East European Research Center (SEERC)   (Greece)

^c UNIVERSITY OF SHEFFIELD   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS;

BIO-ENTITIES; BIOLOGICAL SYSTEMS;

BIOMEDICAL ENGINEERING;

EID: 26444533508     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11527800_17     Document Type: Conference Paper

References (29)

1. Adleman, L.M. 1994. Molecular computation of solutions to combinatorial problems, Science, 226, 1021-1024.
2. Banatre, J.P., Le Metayer, D. 1990. The gamma model and its discipline of programming, Science of Computer Programming, 15, 55-77.
3. Bernardini, F., Gheorghe, M. 2004. Population P Systems, Journal of Universal Computer Science, 10, 509-539.
4. Bianco, L., Fontana, F., Franco, G., Manca, V. 2004. P systems in Bio Systems. In Pǎun, Gh., ed. 2004. Application of P systems, submitted.
5. Clarke, J., Langton, P., Lu, L., Wu, T., Yang, Y. 2002. Computational models of Pharao's ants using X-machines. Department of Computer Science, University of Sheffield, MSc final report.
6. Dorigo, M., Maniezzo, V., Colorni, A. 1996. The Ant System: Optimisation by a colony of co-operating agents, IEEE Transactions on Systems, Man and Cybernetics, 26, 1-13.
7. Eilenberg, S. 1974. Automata, Languages and Machines, Academic Press.
8. Eleftherakis, G. 2003. Formal Verification of X-Machine Models: Towards Formal Development of Computer-based Systems, PhD Thesis, Department of Computer Science, University of Sheffield.
9. Eleftherakis, G., Kefalas, P. 2000. Model Checking Safety Critical Systems specified as X-Machines, Analele Universitatii Bucharest, Matematica-Informatica series, 49, 59-70.
10. Eleftherakis, G., Kefalas, P., Sotiriadou, A. 2003. Formal Modelling and Verification of Reactive Agents for Intelligent Control. In Proceedings of the 12th Intelligent System Applications to Power Systems Conference (ISAP).
11. Gregson, A. M., Hart, A. G., Holcombe, M., Ratnieks, F. L. W. 2003. Partial nectar loads as a cause of multiple nectar transfer in the honey bee (Apis mellifera): a simulation model. Journal of Theoretical Biology, 222, 1-8.
12. Holcombe, M. 1988. X-machines as a Basis for Dynamic System Configuration, Software Engineering Journal, 3, 69-76.
13. Holcombe, M. 2001. Computational models of cells and tissues: Machines, agents and fungal infection, Briefings in Bioinformatics, 2, 271-278.
14. Holcombe, M., Ipate, F. 1998. Correct Systems: Building a Business Process Solution, Springer-Verlag, London, 1998.
15. Ipate, F., Holcombe, M. 1997. An Integration Testing Method that is proved to find all faults, International Journal of Computer Mathematics, 63, 159-178.
16. Jennings, N.R. 2000. On agent-based software engineering, Artificial Intelligence, 117, 277-296.
17. Kapeti, E., Kefalas, P. 2000. A Design Language and Tool for X-Machines Specification, In Fotiadis, D.I., Spyropoulos, S.D., eds. 2000. Advances in Informatics, World Scientific Publishing Company, 134-145.
18. Kefalas P. 2000. Automatic translation from X-machines to Prolog. TR-CS01/00, Dept. of Computer Science, CITY Liberal Studies.
19. Kefalas, P. 2000. XMDL user manual: version 1.6. TR-CS07/00, Dept. of Computer Science, CITY Liberal Studies.
20. Kefalas, P., Eleftherakis, G., Holcombe, M., Gheorghe, M. 2003. Simulation and Verification of P Systems through Communicating X-Machines, BioSystems, 70, 135-148.
21. Kefalas, P., Eleftherakis, G., Holcombe, M., Stamatopoulou, I. 2004. Formal Modelling of the Dynamic Behaviour of Biology-Inspired Agent-based Systems, In Gheorghe, M. ed. 2004. Molecular Computational Models: Unconventional Approaches, Idea Publishing, Inc, accepted.
22. Kefalas, P., Eleftherakis, G., Kehris, E. 2003. Communicating X-Machines: A Practical Approach for Formal and Modular Specification of Large Systems, Journal of Information and Software Technology, 45, 269-280.
23. Kefalas, P., Eleftherakis, G., Sotiriadou, A. 2003. Developing Tools for Formal Methods. Proceedings of the 9th Panhellenic Conference in Informatics. 625-639.
24. Martin-Vide, C., Mauri, G., Pǎun, Gh., Rozenberg, G., Salomaa, A. (eds.) 2004. Membrane Computing. International Workshop, WMC 2003, Tarragona.
25. Revised Papers in Lecture Notes in Computer Science 2933, Springer-Verlag, Berlin / Heidelberg / New York.
26. Pǎun, G. 2000. Computing with membranes, Journal of Computer and System Sciences, 61, 1, 108-143.
27. Pǎun, Gh. 2002. Membrane Computing: An Introduction, Springer-Verlag, Berlin.
28. Pǎun, Gh., Rozenberg, G., Salomaa, A., Zandron, C.(eds.) 2002. Membrane Computing. International Workshop, WMC-CdeA 02, Curtea de Arges, Romania.
29. Revised Papers in Lecture Notes in Computer Science 2597, Springer-Verlag, Berlin / Heidelberg / New York.