Ismael Rodríguez

2008
59	EE	Pablo Rabanal, Ismael Rodríguez, Fernando Rubio: Finding Minimum Spanning/Distances Trees by Using River Formation Dynamics. ANTS Conference 2008: 60-71
58	EE	Alberto de la Encina, Ismael Rodríguez, Fernando Rubio: A Debugger for Parallel Haskell Dialects. ICA3PP 2008: 282-293
57	EE	César Andrés, Ismael Rodríguez, Fernando Rubio: Formally Testing Liveness by Means of Compression Rates. PPSN 2008: 347-357
56	EE	Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: THOTL: A Timed Extension of HOTL. TestCom/FATES 2008: 86-102
55	EE	Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Formal testing from timed finite state machines. Computer Networks 52(2): 432-460 (2008)
54	EE	Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs. IEEE Trans. Computers 57(6): 835-844 (2008)
53	EE	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)
52	EE	Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez: HOTL: Hypotheses and observations testing logic. J. Log. Algebr. Program. 74(2): 57-93 (2008)
2007
51	EE	Ismael Rodríguez, Manuel Núñez: A Formal Methodology to Test Complex Heterogeneous Systems. ATVA 2007: 394-409
50	EE	Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: A Brief Introduction to THOTL. ATVA 2007: 501-510
49	EE	Natalia López, Manuel Núñez, Ismael Rodríguez: SPAMR: Extending PAMR with stochastic time. EPEW 2007: 63-79
48	EE	Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Testing Finite State Machines Presenting Stochastic Time and Timeouts. EPEW 2007: 97-111
47	EE	Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Formal Testing of Systems Presenting Soft and Hard Deadlines. FSEN 2007: 160-174
46	EE	Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Formal Specification of Multi-agent Systems by Using EUSMs. FSEN 2007: 318-333
45	EE	Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Generation of optimal finite test suites for timed systems. TASE 2007: 149-158
44	EE	Pablo Rabanal, Ismael Rodríguez, Fernando Rubio: Using River Formation Dynamics to Design Heuristic Algorithms. UC 2007: 163-177
43	EE	Ismael Rodríguez, Manuel Núñez, Fernando Rubio: Cognitive Processes by Using Finite State Machines. IJCINI 1(3): 52-65 (2007)
42	EE	Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez: From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices. J. UCS 13(13): 2035-2075 (2007)
2006
41	EE	Natalia López, Manuel Núñez, Ismael Rodríguez: Assessing the Expressivity of Formal Specification Languages. AMAST 2006: 220-234
40	EE	Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Implementation Relations for Stochastic Finite State Machines. EPEW 2006: 123-137
39	EE	Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez: Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts. FORTE 2006: 372-387
38	EE	Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez: Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems. FORTE 2006: 467-483
37	EE	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
36	EE	Natalia López, Manuel Núñez, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio: Market-Based Adaptive Discussion Forums. SITIS 2006: 149-160
35	EE	Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez: A Logic for Assessing Sets of Heterogeneous Testing Hypotheses. TestCom 2006: 39-54
34	EE	Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez: Customized Testing for Probabilistic Systems. TestCom 2006: 87-102
33	EE	Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez: From Theoretical e-barter Models to an Implementation Based on Web Services. Electr. Notes Theor. Comput. Sci. 159: 241-264 (2006)
32	EE	Natalia López, Manuel Núñez, Ismael Rodríguez: Specification, testing and implementation relations for symbolic-probabilistic systems. Theor. Comput. Sci. 353(1-3): 228-248 (2006)
2005
31	EE	Manuel Núñez, Ismael Rodríguez: Conformance Testing Relations for Timed Systems. FATES 2005: 103-117
30	EE	Mercedes Hidalgo-Herrero, Ismael Rodríguez, Fernando Rubio: Testing learning strategies. IEEE ICCI 2005: 212-221
29	EE	Alberto de la Encina, Ismael Rodríguez, Fernando Rubio: Testing Speculative Work in a Lazy/Eager Parallel Functional Language. LCPC 2005: 274-288
28	EE	Ismael Rodríguez, Natalia López: Implementing private Vickrey auctions. SAC 2005: 796-800
27	EE	Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Formal specification of multi-agent e-barter systems. Sci. Comput. Program. 57(2): 187-216 (2005)
26	EE	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
25	EE	Manuel Núñez, Ismael Rodríguez, Fernando Rubio: A Tutoring System Supporting Experimentation with Virtual Macroeconomic Environments. AIMSA 2004: 361-370
24	EE	Natalia López, Manuel Núñez, Ismael Rodríguez: Testing of Symbolic-Probabilistic Systems. FATES 2004: 49-63
23	EE	Natalia López, Manuel Núñez, Ismael Rodríguez: Formal Specification of Symbolic-Probabilistic Systems. FORTE Workshops 2004: 114-127
22	EE	Ismael Rodríguez, Manuel Núñez, Fernando Rubio: Specification of Autonomous Agents in E-commerce Systems. FORTE Workshops 2004: 30-44
21	EE	Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Testing of Autonomous Agents Described as Utility State Machines. FORTE Workshops 2004: 322-336
20	EE	Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Applying Occam's Razor to FSMs. IEEE ICCI 2004: 138-147
19	EE	Fernando Rubio, Ismael Rodríguez: A Parallel Language for Cognitive Informatics. IEEE ICCI 2004: 32-41
18	EE	Manuel Núñez, Ismael Rodríguez, Fernando Rubio: A Formal Framework to Reduce Communications in Communication Systems. IICS 2004: 69-80
17	EE	Ismael Rodríguez: Formal specification of autonomous commerce agents. SAC 2004: 774-778
16	EE	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
15	EE	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)
14	EE	Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Improving privacy in Vickrey auctions. SIGecom Exchanges 5(1): 1-12 (2004)
2003
13	EE	Manuel Núñez, Ismael Rodríguez: Towards Testing Stochastic Timed Systems. FORTE 2003: 335-350
12	EE	Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Towards the Identification of Living Agents in Complex Computational Environments. IEEE ICCI 2003: 151-160
11	EE	Natalia López, Ismael Rodríguez, Fernando Rubio: Defining Meta-Adaptable Living Agents. IEEE ICCI 2003: 161-170
10	EE	Fernando Rubio, Ismael Rodríguez: A Parallel Framework for Computational Science. International Conference on Computational Science 2003: 1002-1011
9	EE	Ismael Rodríguez, Manuel Núñez: Introducing CEES: Complex Economic Environments Simulator. International Conference on Computational Science 2003: 658-667
8		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
7	EE	Ismael Rodríguez, Fernando Rubio: A Framework for Selecting Components Automatically: A First Approach. Electr. Notes Theor. Comput. Sci. 82(6): (2003)
2002
6	EE	Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: WHAT: Web-Based Haskell Adaptive Tutor. AIMSA 2002: 71-80
5	EE	Manuel Núñez, Ismael Rodríguez: Encoding PAMR into (Timed) EFSMs. FORTE 2002: 1-16
4	EE	Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Introducing the Golden Section to Computer Science. IEEE ICCI 2002: 203-212
3	EE	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
2	EE	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
1		Manuel Núñez, Ismael Rodríguez: PAMR: A Process Algebra for the Management of Resources in Concurrent Systems. FORTE 2001: 169-184

Coauthor Index

1	César Andrés	[57]
2	Mario Bravetti	[33] [42]
3	Adalberto Casalboni	[33] [42]
4	Luis Fernando Llana Díaz	[34] [38]
5	Alberto de la Encina	[29] [37] [53] [58]
6	Mercedes Hidalgo-Herrero	[30] [37] [53]
7	Natalia López	[2] [3] [4] [6] [8] [11] [14] [16] [23] [24] [28] [32] [36] [41] [49]
8	Mercedes G. Merayo	[35] [39] [40] [45] [46] [47] [48] [50] [52] [54] [55] [56]
9	Manuel Núñez	[1] [2] [3] [4] [5] [6] [8] [9] [12] [13] [14] [15] [16] [18] [20] [21] [22] [23] [24] [25] [26] [27] [31] [32] [33] [34] [35] [36] [38] [39] [40] [41] [42] [43] [45] [46] [47] [48] [49] [50] [51] [52] [54] [55] [56]
10	Pablo Rabanal	[36] [37] [44] [53] [59]
11	Fernando Rubio	[2] [3] [4] [6] [7] [8] [10] [11] [12] [14] [15] [16] [18] [19] [20] [21] [22] [25] [26] [27] [29] [30] [36] [37] [43] [44] [53] [57] [58] [59]