MANUEL
NÚÑEZ GARCÍA
Catedrático de universidad
FERNANDO
RUBIO DÍEZ
Profesor titular de universidad
Publicaciones en las que colabora con FERNANDO RUBIO DÍEZ (24)
2009
-
Market-based adaptive discussion forums
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2008
-
Cognitive processes by using finite state machines
Novel Approaches in Cognitive Informatics and Natural Intelligence (IGI Global), pp. 52-64
2007
-
Cognitive Processes by Using Finite State Machines
International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), Vol. 1, Núm. 3, pp. 52-65
2006
-
A Formal Framework to Reduce Communications in Communication Systems
Innovative Internet Community Systems. 4th InternationalWorkshop, IICS 2004 Guadalajara, Mexico, June 21-23, 2004. Revised Papers (Verlag Berlin Heidelberg: SpringeR, 2006), pp. 69-80
-
A formal framework to reduce communications in communication systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Editorial message: Special track on E-commerce technologies
Proceedings of the ACM Symposium on Applied Computing
2005
-
Editorial track on E-commerce technologies
Proceedings of the ACM Symposium on Applied Computing
-
Formal specification of multi-agent e-barter systems
Science of Computer Programming, Vol. 57, Núm. 2, pp. 187-216
-
Specification and testing of autonomous agents in e-commerce systems
Software Testing Verification and Reliability, Vol. 15, Núm. 4, pp. 211-233
2004
-
A formal framework for analyzing reusability complexity in component-based systems
Information and Software Technology, Vol. 46, Núm. 12, pp. 791-804
-
An integrated framework for the performance analysis of asynchronous communicating stochastic processes
Formal Aspects of Computing, Vol. 16, Núm. 3, pp. 238-262
-
Applying Occam's razor to FSMs
Proceedings of the Third IEEE International Conference on Cognitive Informatics, ICCI 2004
-
Encouraging knowledge exchange in discussion forums by market-oriented mechanisms
Proceedings of the ACM Symposium on Applied Computing
-
Predicting performance in the presence of stochastic information
Computer Systems Science and Engineering, Vol. 19, Núm. 6, pp. 347-353
-
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Specification of autonomous agents in E-commerce systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3236, pp. 30-43
-
Testing of autonomous agents described as utility state machines
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3236, pp. 322-336
2003
-
A multi-agent system for e-barter including transaction and shipping costs
Proceedings of the ACM Symposium on Applied Computing
-
Towards the identification of living agents in complex computational environments
Proceedings - 2nd IEEE International Conference on Cognitive Informatics, ICCI 2003
2002
-
A formal framework for E-Barter based on microeconomic theory and process algebras
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)