Publications of the COSMOS Research Group
2002
[6] A Banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states (, and ), In IEEE Transactions on Robotics and Automation, volume 18, . [bibtex] [url] [doi]
[5]Banker's-like approaches to deadlock avoidance in concurrent systems (, , and ), In IEEE Transactions on Robotics and Automation, volume 18, . [bibtex]
[4] Checking Redundancies in Supervisory Control. A Complexity Result (), In IFAC Proceedings Volumes, volume 35, , 15th Triennial World Congress of the International Federation of Automatic Control (IFAC). [bibtex] [url] [doi]
[3]Sixth International Workshop on Discrete Event Systems (WODES02), Proceedings, (Manuel Silva, Alessandro Giua, José-Manuel Colom, eds.), IEEE Computer Society, . [bibtex] [doi]
[2]Distributed Simulation of Wireless Environments Using Mobile Agents (, and ), In International Conference on Wireless Networks (ICWN'02), Las Vegas (USA), CSREA Press, ISBN 1-892512-30-0, . [bibtex]
[1]Monitoring Continuous Location Queries using Mobile Agents (, and ), In Sixth East-European Conference on Advances in Databases and Information Systems (ADBIS'02), Bratislava (Slovakia), Springer LNCS, ISSN 0302-9743, ISBN 3-540-44138-7, volume 2435, . [bibtex]
Powered by bibtexbrowser