Fernando Rubio

	2009
54		Pablo Rabanal, Ismael Rodríguez, Fernando Rubio: A Formal Approach to Heuristically Test Restorable Systems. ICTAC 2009: 292-306
53		Pablo Rabanal, Ismael Rodríguez, Fernando Rubio: Applying Evolutionary Computation Methods to Formal Testing and Model Checking. IWANN (1) 2009: 310-317
52		Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Fernando Rubio: Applying Evolutionary Techniques to Debug Functional Programs. IWANN (1) 2009: 318-326
51		Pablo Rabanal, Ismael Rodríguez, Fernando Rubio: Applying River Formation Dynamics to Solve NP-Complete Problems. Nature-Inspired Algorithms for Optimisation 2009: 333-368
50		Mercedes Hidalgo-Herrero, Ismael Rodríguez, Fernando Rubio: Comparing Learning Methods. IJCINI 3(3): 12-26 (2009)
	2008
49		Pablo Rabanal, Ismael Rodríguez, Fernando Rubio: Finding Minimum Spanning/Distances Trees by Using River Formation Dynamics. ANTS Conference 2008: 60-71
48		Alberto de la Encina, Ismael Rodríguez, Fernando Rubio: A Debugger for Parallel Haskell Dialects. ICA3PP 2008: 282-293
47		César Andrés, Ismael Rodríguez, Fernando Rubio: Formally Testing Liveness by Means of Compression Rates. PPSN 2008: 347-357
46		Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio: Testing the Behaviour of Entities in a Cognitive Language. IJCINI 2(1): 29-43 (2008)
	2007
45		Alberto de la Encina, Luis Llana, Fernando Rubio, Mercedes Hidalgo-Herrero: Observing intermediate structures in a parallel lazy functional language. PPDP 2007: 109-120
44		Pablo Rabanal, Ismael Rodríguez, Fernando Rubio: Using River Formation Dynamics to Design Heuristic Algorithms. UC 2007: 163-177
43		Ismael Rodríguez, Manuel Núñez, Fernando Rubio: Cognitive Processes by Using Finite State Machines. IJCINI 1(3): 52-65 (2007)
	2006
42		Alberto de la Encina, Luis Llana, Fernando Rubio: Introducing Debugging Capabilities to Natural Semantics. Ershov Memorial Conference 2006: 195-208
41		Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio: Testing Entities in a Parallel Cognitive Language. IEEE ICCI 2006: 344-355
40		Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio: Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages. IFL 2006: 55-72
39		Sviatoslav Braynov, Manuel Núñez, Fernando Rubio: Editorial message: special track on e-commerce technologies. SAC 2006: 865-866
38		Natalia López, Manuel Núñez, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio: Market-Based Adaptive Discussion Forums. SITIS 2006: 149-160
37		Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio: Analyzing the influence of mixed evaluation on the performance of Eden skeletons. Parallel Computing 32(7-8): 523-538 (2006)
	2005
36		Alberto de la Encina, Luis Llana, Fernando Rubio: Formalizing the Debugging Process in Haskell. ICTAC 2005: 211-226
35		Mercedes Hidalgo-Herrero, Ismael Rodríguez, Fernando Rubio: Testing learning strategies. IEEE ICCI 2005: 212-221
34		Alberto de la Encina, Ismael Rodríguez, Fernando Rubio: Testing Speculative Work in a Lazy/Eager Parallel Functional Language. LCPC 2005: 274-288
33		Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio: Towards Improving Skeletons in Eden. PARCO 2005: 843-850
32		Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Formal specification of multi-agent e-barter systems. Sci. Comput. Program. 57(2): 187-216 (2005)
31		Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Specification and testing of autonomous agents in e-commerce systems. Softw. Test., Verif. Reliab. 15(4): 211-233 (2005)
	2004
30		Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio: Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 Springer 2004
29		Manuel Núñez, Ismael Rodríguez, Fernando Rubio: A Tutoring System Supporting Experimentation with Virtual Macroeconomic Environments. AIMSA 2004: 361-370
28		Ismael Rodríguez, Manuel Núñez, Fernando Rubio: Specification of Autonomous Agents in E-commerce Systems. FORTE Workshops 2004: 30-44
27		Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Testing of Autonomous Agents Described as Utility State Machines. FORTE Workshops 2004: 322-336
26		Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Applying Occam's Razor to FSMs. IEEE ICCI 2004: 138-147
25		Fernando Rubio, Ismael Rodríguez: A Parallel Language for Cognitive Informatics. IEEE ICCI 2004: 32-41
24		Manuel Núñez, Ismael Rodríguez, Fernando Rubio: A Formal Framework to Reduce Communications in Communication Systems. IICS 2004: 69-80
23		Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Encouraging knowledge exchange in discussion forums by market-oriented mechanisms. SAC 2004: 952-956
22		Natalia López, Manuel Núñez, Fernando Rubio: Predicting performance in the presence of stochastic information. Comput. Syst. Sci. Eng. 19(6): (2004)
21		Natalia López, Manuel Núñez, Fernando Rubio: An integrated framework for the performance analysis of asynchronous communicating stochastic processes. Formal Asp. Comput. 16(3): 238-262 (2004)
20		Ismael Rodríguez, Manuel Núñez, Fernando Rubio: A formal framework for analyzing reusability complexity in component-based systems. Information & Software Technology 46(12): 791-804 (2004)
19		Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Improving privacy in Vickrey auctions. SIGecom Exchanges 5(1): 1-12 (2004)
	2003
18		Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Towards the Identification of Living Agents in Complex Computational Environments. IEEE ICCI 2003: 151-160
17		Natalia López, Ismael Rodríguez, Fernando Rubio: Defining Meta-Adaptable Living Agents. IEEE ICCI 2003: 161-170
16		Fernando Rubio, Ismael Rodríguez: A Parallel Framework for Computational Science. International Conference on Computational Science 2003: 1002-1011
15		Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: A Multi-Agent System for E-Barter Including Transaction and Shipping Costs. SAC 2003: 587-594
14		Ismael Rodríguez, Fernando Rubio: A Framework for Selecting Components Automatically: A First Approach. Electr. Notes Theor. Comput. Sci. 82(6): (2003)
13		Hans-Wolfgang Loidl, Fernando Rubio, Norman Scaife, Kevin Hammond, Susumu Horiguchi, Ulrike Klusik, Rita Loogen, Greg Michaelson, Ricardo Pena, Steffen Priebe, Álvaro J. Rebón Portillo, Philip W. Trinder: Comparing Parallel Functional Languages: Programming and Performance Higher-Order and Symbolic Computation 16(3): 203-251 (2003)
	2002
12		Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: WHAT: Web-Based Haskell Adaptive Tutor. AIMSA 2002: 71-80
11		Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Introducing the Golden Section to Computer Science. IEEE ICCI 2002: 203-212
10		Natalia López, Manuel Núñez, Fernando Rubio: Stochastic Process Algebras Meet Eden. IFM 2002: 29-48
9		Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: A Formal Framework for E-Barter Based on Microeconomic Theory and Process Algebras. IICS 2002: 217-228
8		Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Including Malicious Agents into a Collaborative Learning Environment. Intelligent Tutoring Systems 2002: 51-60
	2001
7		Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura: Adding Traces to a Lazy Monadic Evaluator. EUROCAST 2001: 627-641
6		Ricardo Pena, Fernando Rubio: Parallel Functional Programming at Two Levels of Abstraction. PPDP 2001: 187-198
5		Ricardo Pena, Fernando Rubio, Clara Segura: Deriving Non-Hierarchical Process Topologies. Scottish Functional Programming Workshop 2001: 51-62
	2000
4		Ulrike Klusik, Rita Loogen, Steffen Priebe, Fernando Rubio: Implementation Skeletons in Eden: Low-Effort Parallel Programming. IFL 2000: 71-88
3		Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura: Optimising Eden by transformation. Scottish Functional Programming Workshop 2000: 13-26
2		Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura: Optimizing Eden by Program Transformation. WFLP 2000: 89-103
	1999
1		Felix Hernandez, Ricardo Pena, Fernando Rubio: From GranSim to Paradise. Scottish Functional Programming Workshop 1999: 11-19

Coauthor Index

1	César Andrés	[47]
2	Sviatoslav Braynov (Sviatoslav Brainov)	[39]
3	Alberto de la Encina	[34] [36] [41] [42] [45] [46] [48] [52]
4	Kevin Hammond	[13]
5	Felix Hernandez	[1]
6	Mercedes Hidalgo-Herrero	[33] [35] [37] [40] [41] [45] [46] [50] [52]
7	Susumu Horiguchi	[13]
8	Ulrike Klusik	[4] [13]
9	Luis Llana	[36] [42] [45]
10	Hans-Wolfgang Loidl	[13]
11	Rita Loogen	[4] [13]
12	Natalia López	[8] [9] [10] [11] [12] [15] [17] [19] [21] [22] [23] [38]
13	Zakaria Maamar	[30]
14	Greg Michaelson	[13]
15	Manuel Núñez	[8] [9] [10] [11] [12] [15] [18] [19] [20] [21] [22] [23] [24] [26] [27] [28] [29] [30] [31] [32] [38] [39] [43]
16	Yolanda Ortega-Mallén	[33] [37] [40]
17	Cristóbal Pareja-Flores (Cristóbal Pareja)	[2] [3] [7]
18	Fernando López Pelayo (Fernando L. Pelayo)	[30]
19	Ricardo Peña-Marí (Ricardo Pena)	[1] [2] [3] [5] [6] [7] [13]
20	Álvaro J. Rebón Portillo	[13]
21	Key Pousttchi	[30]
22	Steffen Priebe	[4] [13]
23	Pablo Rabanal	[38] [41] [44] [46] [49] [51] [52] [53] [54]
24	Ismael Rodríguez	[8] [9] [11] [12] [14] [15] [16] [17] [18] [19] [20] [23] [24] [25] [26] [27] [28] [29] [31] [32] [34] [35] [38] [41] [43] [44] [46] [47] [48] [49] [50] [51] [53] [54]
25	Norman Scaife	[13]
26	Clara Segura	[2] [3] [5] [7]
27	Philip W. Trinder	[13]