Ismael Rodríguez Vis

*	2009
66	EE	Ismael Rodríguez: A General Testability Theory. CONCUR 2009: 572-586
65	EE	Gregorio Díaz, Ismael Rodríguez: Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach. FMOODS/FORTE 2009: 231-236
64	EE	Pablo Rabanal, Ismael Rodríguez, Fernando Rubio: A Formal Approach to Heuristically Test Restorable Systems. ICTAC 2009: 292-306
63	EE	Pablo Rabanal, Ismael Rodríguez, Fernando Rubio: Applying Evolutionary Computation Methods to Formal Testing and Model Checking. IWANN (1) 2009: 310-317
62	EE	Pablo Rabanal, Ismael Rodríguez: Testing Restorable Systems by Using RFD. IWANN (1) 2009: 351-358
61	EE	Pablo Rabanal, Ismael Rodríguez, Fernando Rubio: Applying River Formation Dynamics to Solve NP-Complete Problems. Nature-Inspired Algorithms for Optimisation 2009: 333-368
60	EE	Mercedes Hidalgo-Herrero, Ismael Rodríguez, Fernando Rubio: Comparing Learning Methods. IJCINI 3(3): 12-26 (2009)
	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	Gregorio Díaz	[65]
5	Luis Fernando Llana Díaz	[34] [38]
6	Alberto de la Encina	[29] [37] [53] [58]
7	Mercedes Hidalgo-Herrero	[30] [37] [53] [60]
8	Natalia López	[2] [3] [4] [6] [8] [11] [14] [16] [23] [24] [28] [32] [36] [41] [49]
9	Mercedes G. Merayo	[35] [39] [40] [45] [46] [47] [48] [50] [52] [54] [55] [56]
10	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]
11	Pablo Rabanal	[36] [37] [44] [53] [59] [61] [62] [63] [64]
12	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] [60] [61] [63] [64]

Colors in the list of coauthors