Ismael Rodríguez

127 papers A 2B 13C 8Misc 14Journal 45Unranked 44

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A full process algebraic representation of Ant Colony Optimization. CoRR María García, Natalia López, Ismael Rodríguez
2026	J	`jnl`	Complexity analysis and practical resolution of the data classification problem with private characteristics. CoRR David Pantoja, Ismael Rodríguez, Fernando Rubio, Clara Segura
2026	J	`jnl`	Complexity of adaptive testing in scenarios defined extensionally. CoRR Ismael Rodríguez, David Rubio, Fernando Rubio
2026	J	`jnl`	Generalization and Completeness of Stochastic Local Search Algorithms. CoRR Daniel Loscos, Narciso Martí-Oliet, Ismael Rodríguez
2026	J	`jnl`	Measuring the benefits of lying in MARA under egalitarian social welfare. CoRR Jonathan Carrero, Ismael Rodríguez, Fernando Rubio
2025	J	`jnl`	Complexity analysis and practical resolution of the data classification problem with private characteristics. Complex Intell. Syst. David Pantoja, Ismael Rodríguez, Fernando Rubio, Clara Segura
2025	J	`jnl`	Complexity and resolution of spatio-temporal reasonings for criminology with greedy and evolutionary algorithms. Expert Syst. Appl. Víctor Fernández, Natalia López, Ismael Rodríguez
2025	J	`jnl`	The difficulty of predicting behavior on stochastic local search algorithms. Swarm Evol. Comput. Daniel Loscos, Narciso Martí-Oliet, Ismael Rodríguez
2025	B	`conf`	To lie or not to lie... in negotiations under egalitarian social welfare. SMC Jonathan Carrero, Aitor Godoy, Ismael Rodríguez, Fernando Rubio
2024	J	`jnl`	A full process algebraic representation of Ant Colony Optimization. Inf. Sci. María García, Natalia López, Ismael Rodríguez
2024	B	`conf`	Learning Circuit Complexity of Boolean Functions. SMC Daniel Loscos, Narciso Martí-Oliet, Ismael Rodríguez, Jorge Villarrubia
2024	J	`jnl`	Voting according to one's political stances is difficult: Problems definition, computational hardness, and approximate solutions. J. Comput. Sci. Aitor Godoy, Ismael Rodríguez, Fernando Rubio
2024	J	`jnl`	Water-Based Metaheuristics: How Water Dynamics Can Help Us to Solve NP-Hard Problems. CoRR Fernando Rubio, Ismael Rodríguez
2023	J	`jnl`	Complexity of adaptive testing in scenarios defined extensionally. Frontiers Comput. Sci. Ismael Rodríguez, David Rubio, Fernando Rubio
2023	J	`jnl`	How to stop undesired propagations by using bi-level genetic algorithms. Appl. Soft Comput. Javier Galiana, Ismael Rodríguez, Fernando Rubio
2023	B	`conf`	Majority Problems: Formal Study and Practical Resolution. SMC Aitor Godoy, Ismael Rodríguez, Fernando Rubio
2022	B	`conf`	A tool to certify dynamic benchmarks. SMC Jonathan Carrero, Ismael Rodríguez, Fernando Rubio
2022	B	`conf`	Avoiding strategic behaviors in the egalitarian social welfare under public resources and non-additive utilities. CEC Jonathan Carrero, Ismael Rodríguez, Fernando Rubio
2022	J	`jnl`	Generalization and completeness of stochastic local search algorithms. Swarm Evol. Comput. Daniel Loscos, Narciso Martí-Oliet, Ismael Rodríguez
2022	B	`conf`	On the hardness of finding good pacts. CEC Aitor Godoy, Ismael Rodríguez, Fernando Rubio
2021	—	`conf`	A contract among autonomous agents to deal with egalitarian social welfare. ICCI*CC Jonathan Carrero, Ismael Rodríguez, Fernando Rubio
2020	J	`jnl`	Introducing complexity to formal testing. J. Log. Algebraic Methods Program. Ismael Rodríguez, Fernando Rosa-Velardo, Fernando Rubio
2020	B	`conf`	Measuring the benefits of lying in MARA under egalitarian social welfare. SMC Jonathan Carrero, Ismael Rodríguez, Fernando Rubio
2019	B	`conf`	A Cooperative Co-evolution based Scalable Framework for Solving Large-Scale Global optimization Problems. SMC Ajeyo Dey, Satyabrata Dash, Likhita Tumati, Saumitra Sharma, Nikhil Megharajani, Meenali Janveja, Ismael Rodríguez, Gaurav Trivedi
2019	—	`conf`	The Problems of Selecting Problems. IWANN (2) Alberto de la Encina, Natalia López, Ismael Rodríguez, Fernando Rubio
2019	—	`conf`	Towards Applying River Formation Dynamics in Continuous Optimization Problems. IWANN (2) Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
2019	J	`jnl`	Water-Based Metaheuristics: How Water Dynamics Can Help Us to Solve NP-Hard Problems. Complex. Fernando Rubio, Ismael Rodríguez
2018	J	`jnl`	Guest editorial. J. Syst. Inf. Technol. Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
2017	—	`conf`	A Parallel Swarm Library Based on Functional Programming. IWANN (1) Fernando Rubio, Alberto de la Encina, Pablo Rabanal, Ismael Rodríguez
2017	J	`jnl`	Applications of river formation dynamics. J. Comput. Sci. Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
2017	J	`jnl`	Data-aware automatic derivation of choreography-conforming systems of services. Comput. Stand. Interfaces Pablo Rabanal, José Antonio Mateo, Ismael Rodríguez, Gregorio Díaz
2017	J	`jnl`	How to make a best-seller: Optimal product design problems. Appl. Soft Comput. Ismael Rodríguez, Pablo Rabanal, Fernando Rubio
2016	Misc	`conf`	Assessing Metaheuristics by Means of Random Benchmarks. ICCS Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
2016	B	`conf`	Automatic media planning: Optimal advertisement placement problems. CEC Ismael Rodríguez, Fernando Rubio, Pablo Rabanal
2015	Misc	`conf`	A Formal Method for Parallel Genetic Algorithms ICCS Natalia López, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
2015	—	`conf`	On the Uselessness of Finite Benchmarks to Assess Evolutionaryand Swarm Methods. GECCO (Companion) Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
2014	J	`jnl`	A General Testability Theory: Classes, Properties, Complexity, and Testing Reductions. IEEE Trans. Software Eng. Ismael Rodríguez, Luis Llana, Pablo Rabanal
2014	J	`jnl`	Parallelizing Particle Swarm Optimization in a Functional Programming Environment. Algorithms Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
2014	J	`jnl`	pHood: Tool Description, Analysis Techniques, and Case Studies. New Gener. Comput. Alberto de la Encina, Ismael Rodríguez, Fernando Rubio
2013	J	`jnl`	An ACO-RFD hybrid method to solve NP-complete problems. Frontiers Comput. Sci. Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
2013	J	`jnl`	Comparing Problem Solving Strategies for NP-hard Optimization Problems. Fundam. Informaticae Mercedes Hidalgo-Herrero, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
2013	Misc	`conf`	Eden's Bees: Parallelizing Artificial Bee Colony in a Functional Environment. ICCS Fernando Rubio, Alberto de la Encina, Pablo Rabanal, Ismael Rodríguez
2013	J	`jnl`	Testing restorable systems: formal definition and heuristic solution based on river formation dynamics. Formal Aspects Comput. Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
2013	Misc	`conf`	Using polynomial reductions to test the suitability of metaheuristics for solving NP-complete problems. SAC Pablo Rabanal, Ismael Rodríguez
2012	J	`jnl`	A centralized and a decentralized method to automatically derive choreography-conforming web service systems. J. Log. Algebraic Methods Program. Ismael Rodríguez, Gregorio Díaz, Pablo Rabanal, José Antonio Mateo
2012	J	`jnl`	A formal framework to test soft and hard deadlines in timed systems. Softw. Test. Verification Reliab. Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2012	Misc	`conf`	Improving the Automatic Derivation of Choreography-conforming Web Services Systems. ICCS Pablo Rabanal, Ismael Rodríguez, José Antonio Mateo, Gregorio Díaz
2011	—	`conf`	A Preliminary General Testing Method Based on Genetic Algorithms. IWANN (2) Luis M. Alonso, Pablo Rabanal, Ismael Rodríguez
2011	A	`conf`	DIEGO: A Tool for DerIving chorEoGraphy-cOnforming Web Service Systems. ICWS Pablo Rabanal, José Antonio Mateo, Ismael Rodríguez, Gregorio Díaz
2011	J	`jnl`	Studying the application of ant colony optimization and river formation dynamics to the steiner tree problem. Evol. Intell. Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
2010	J	`jnl`	Applying RFD to Construct Optimal Quality-Investment Trees. J. Univers. Comput. Sci. Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
2010	—	`conf`	Applying River Formation Dynamics to the Steiner Tree Problem. IEEE ICCI Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
2009	C	`conf`	A Formal Approach to Heuristically Test Restorable Systems. ICTAC Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
2009	B	`conf`	A General Testability Theory. CONCUR Ismael Rodríguez
2009	—	`conf`	Applying Evolutionary Computation Methods to Formal Testing and Model Checking. IWANN (1) Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
2009	—	`ch.`	Applying River Formation Dynamics to Solve NP-Complete Problems. Nature-Inspired Algorithms for Optimisation Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
2009	—	`conf`	Automatically Deriving Choreography-Conforming Systems of Services. IEEE SCC Gregorio Díaz, Ismael Rodríguez
2009	—	`conf`	Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach. FMOODS/FORTE Gregorio Díaz, Ismael Rodríguez
2009	J	`jnl`	Comparing Learning Methods. Int. J. Cogn. Informatics Nat. Intell. Mercedes Hidalgo-Herrero, Ismael Rodríguez, Fernando Rubio
2009	J	`jnl`	Formally transforming user-model testing problems into implementer-model testing problems and viceversa. J. Log. Algebraic Methods Program. César Andrés, Luis Fernando Llana Díaz, Ismael Rodríguez
2009	—	`conf`	Hybridizing River Formation Dynamics and Ant Colony Optimization. ECAL (2) Pablo Rabanal, Ismael Rodríguez
2009	—	`conf`	Testing Restorable Systems by Using RFD. IWANN (1) Pablo Rabanal, Ismael Rodríguez
2008	C	`conf`	A Debugger for Parallel Haskell Dialects. ICA3PP Alberto de la Encina, Ismael Rodríguez, Fernando Rubio
2008	J	`jnl`	Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs. IEEE Trans. Computers Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2008	—	`conf`	Finding Minimum Spanning/Distances Trees by Using River Formation Dynamics. ANTS Conference Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
2008	J	`jnl`	Formal testing from timed finite state machines. Comput. Networks Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2008	A	`conf`	Formally Testing Liveness by Means of Compression Rates. PPSN César Andrés, Ismael Rodríguez, Fernando Rubio
2008	—	`conf`	Formally comparing user and implementer model-based testing methods. ICST Workshops César Andrés, Luis Llana, Ismael Rodríguez
2008	J	`jnl`	HOTL: Hypotheses and observations testing logic. J. Log. Algebraic Methods Program. Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez
2008	—	`conf`	Solving Dynamic TSP by Using River Formation Dynamics. ICNC (1) Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
2008	—	`conf`	THOTL: A Timed Extension of HOTL. TestCom/FATES Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2008	J	`jnl`	Testing the Behaviour of Entities in a Cognitive Language. Int. J. Cogn. Informatics Nat. Intell. Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
2007	B	`conf`	A Brief Introduction to ATVA Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2007	B	`conf`	A Formal Methodology to Test Complex Heterogeneous Systems. ATVA Ismael Rodríguez, Manuel Núñez
2007	J	`jnl`	Cognitive Processes by Using Finite State Machines. Int. J. Cogn. Informatics Nat. Intell. Ismael Rodríguez, Manuel Núñez, Fernando Rubio
2007	—	`conf`	Formal Specification of Multi-agent Systems by Using EUSMs. FSEN Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2007	—	`conf`	Formal Testing of Systems Presenting Soft and Hard Deadlines. FSEN Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2007	J	`jnl`	From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices. J. Univers. Comput. Sci. Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez
2007	Misc	`conf`	Generation of optimal finite test suites for timed systems. TASE Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2007	—	`conf`	SPAMR: Extending PAMR with stochastic time. EPEW Natalia López, Manuel Núñez, Ismael Rodríguez
2007	—	`conf`	Testing Finite State Machines Presenting Stochastic Time and Timeouts. EPEW Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2007	C	`conf`	Using River Formation Dynamics to Design Heuristic Algorithms. UC Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
2006	—	`conf`	A Logic for Assessing Sets of Heterogeneous Testing Hypotheses. TestCom Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez
2006	J	`jnl`	Analyzing the Privacy of a Vickrey Auction Mechanism. Int. J. E Bus. Res. Ismael Rodríguez, Natalia López
2006	—	`conf`	Assessing the Expressivity of Formal Specification Languages. AMAST Natalia López, Manuel Núñez, Ismael Rodríguez
2006	—	`conf`	Customized Testing for Probabilistic Systems. TestCom Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez
2006	J	`jnl`	Defining and testing metaadaptable agents. IEEE Trans. Syst. Man Cybern. Syst. Natalia López, Ismael Rodríguez, Fernando Rubio
2006	C	`conf`	Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems. FORTE Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez
2006	C	`conf`	Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts. FORTE Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2006	—	`conf`	Implementation Relations for Stochastic Finite State Machines. EPEW Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
2006	—	`conf`	Market-Based Adaptive Discussion Forums. SITIS Natalia López, Manuel Núñez, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
2006	J	`jnl`	Specification, testing and implementation relations for symbolic-probabilistic systems. Theor. Comput. Sci. Natalia López, Manuel Núñez, Ismael Rodríguez
2006	—	`conf`	Testing Entities in a Parallel Cognitive Language. IEEE ICCI Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
2005	—	`conf`	A Formal Methodology to Test Complex Embedded Systems: Application to Interactive Driving Systems. IESS Manuel Núñez, Fernando L. Pelayo, Ismael Rodríguez
2005	—	`conf`	Conformance Testing Relations for Timed Systems. FATES Manuel Núñez, Ismael Rodríguez
2005	J	`jnl`	Formal specification of multi-agent e-barter systems. Sci. Comput. Program. Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2005	—	`conf`	From Theoretical e-barter Models to an Implementation Based on Web Services. FSEN Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez
2005	Misc	`conf`	Implementing private Vickrey auctions. SAC Ismael Rodríguez, Natalia López
2005	J	`jnl`	Specification and testing of autonomous agents in e-commerce systems. Softw. Test. Verification Reliab. Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2005	—	`conf`	Specification-Based Testing of Real-Time Embedded Systems. IESS Manuel Núñez, Ismael Rodríguez
2005	—	`conf`	Testing Speculative Work in a Lazy/Eager Parallel Functional Language. LCPC Alberto de la Encina, Ismael Rodríguez, Fernando Rubio
2005	—	`conf`	Testing learning strategies. IEEE ICCI Mercedes Hidalgo-Herrero, Ismael Rodríguez, Fernando Rubio
2004	—	`conf`	A Formal Framework to Reduce Communications in Communication Systems. IICS Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2004	—	`conf`	A Parallel Language for Cognitive Informatics. IEEE ICCI Fernando Rubio, Ismael Rodríguez
2004	Misc	`conf`	A Tutoring System Supporting Experimentation with Virtual Macroeconomic Environments. AIMSA Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2004	J	`jnl`	A formal framework for analyzing reusability complexity in component-based systems. Inf. Softw. Technol. Ismael Rodríguez, Manuel Núñez, Fernando Rubio
2004	—	`conf`	Applying Occam's Razor to FSMs. IEEE ICCI Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2004	Misc	`conf`	Encouraging knowledge exchange in discussion forums by market-oriented mechanisms. SAC Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2004	—	`conf`	Formal Specification of Symbolic-Probabilistic Systems. FORTE Workshops Natalia López, Manuel Núñez, Ismael Rodríguez
2004	Misc	`conf`	Formal specification of autonomous commerce agents. SAC Ismael Rodríguez
2004	J	`jnl`	Improving privacy in Vickrey auctions. SIGecom Exch. Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2004	—	`conf`	Specification of Autonomous Agents in E-commerce Systems. FORTE Workshops Ismael Rodríguez, Manuel Núñez, Fernando Rubio
2004	—	`conf`	Testing of Autonomous Agents Described as Utility State Machines. FORTE Workshops Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2004	—	`conf`	Testing of Symbolic-Probabilistic Systems. FATES Natalia López, Manuel Núñez, Ismael Rodríguez
2003	—	`conf`	A Framework for Selecting Components Automatically: A First Approach. TACoS Ismael Rodríguez, Fernando Rubio
2003	Misc	`conf`	A Multi-Agent System for E-Barter Including Transaction and Shipping Costs. SAC Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2003	Misc	`conf`	A Parallel Framework for Computational Science. International Conference on Computational Science Fernando Rubio, Ismael Rodríguez
2003	—	`conf`	Defining Meta-Adaptable Living Agents. IEEE ICCI Natalia López, Ismael Rodríguez, Fernando Rubio
2003	Misc	`conf`	Introducing CEES: Complex Economic Environments Simulator. International Conference on Computational Science Ismael Rodríguez, Manuel Núñez
2003	C	`conf`	Towards Testing Stochastic Timed Systems. FORTE Manuel Núñez, Ismael Rodríguez
2003	—	`conf`	Towards the Identification of Living Agents in Complex Computational Environments. IEEE ICCI Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2002	—	`conf`	A Formal Framework for E-Barter Based on Microeconomic Theory and Process Algebras. IICS Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2002	C	`conf`	Encoding PAMR into (Timed) EFSMs. FORTE Manuel Núñez, Ismael Rodríguez
2002	B	`conf`	Including Malicious Agents into a Collaborative Learning Environment. Intelligent Tutoring Systems Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2002	—	`conf`	Introducing the Golden Section to Computer Science. IEEE ICCI Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2002	Misc	`conf`	WHAT: Web-Based Haskell Adaptive Tutor. AIMSA Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2001	C	`conf`	PAMR: A Process Algebra for the Management of Resources in Concurrent Systems. FORTE Manuel Núñez, Ismael Rodríguez