Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIsmael Rodríguez
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j36]Ismael Rodríguez, David Rubio, Fernando Rubio:
Complexity of adaptive testing in scenarios defined extensionally. Frontiers Comput. Sci. 17(3): 173206 (2023)- [i1]Matan Atad, Jianxiang Feng, Ismael Rodríguez, Maximilian Durner, Rudolph Triebel:
Efficient and Feasible Robotic Assembly Sequence Planning via Graph Representation Learning. CoRR abs/2303.10135 (2023) - 2022
- [j35]Daniel Loscos
, Narciso Martí-Oliet, Ismael Rodríguez:
Generalization and completeness of stochastic local search algorithms. Swarm Evol. Comput. 68: 100982 (2022) - [c82]Jonathan Carrero, Ismael Rodríguez, Fernando Rubio:
Avoiding strategic behaviors in the egalitarian social welfare under public resources and non-additive utilities. CEC 2022: 1-8 - [c81]Aitor Godoy, Ismael Rodríguez, Fernando Rubio:
On the hardness of finding good pacts. CEC 2022: 1-8 - [c80]Jonathan Carrero, Ismael Rodríguez, Fernando Rubio:
A tool to certify dynamic benchmarks. SMC 2022: 3072-3079 - 2021
- [c79]Jonathan Carrero, Ismael Rodríguez, Fernando Rubio:
A contract among autonomous agents to deal with egalitarian social welfare. ICCI*CC 2021: 131-138 - 2020
- [j34]Ismael Rodríguez, Fernando Rosa-Velardo, Fernando Rubio:
Introducing complexity to formal testing. J. Log. Algebraic Methods Program. 111: 100502 (2020) - [j33]Ismael Rodríguez, Korbinian Nottensteiner, Daniel Leidner, Maximilian Durner, Freek Stulp, Alin Albu-Schäffer:
Pattern Recognition for Knowledge Transfer in Robotic Assembly Sequence Planning. IEEE Robotics Autom. Lett. 5(2): 3666-3673 (2020) - [c78]Jonathan Carrero, Ismael Rodríguez, Fernando Rubio:
Measuring the benefits of lying in MARA under egalitarian social welfare. SMC 2020: 559-566
2010 – 2019
- 2019
- [j32]Fernando Rubio, Ismael Rodríguez:
Water-Based Metaheuristics: How Water Dynamics Can Help Us to Solve NP-Hard Problems. Complex. 2019: 4034258:1-4034258:13 (2019) - [j31]Ismael Rodríguez, Korbinian Nottensteiner, Daniel Leidner, Michael Kaßecker, Freek Stulp, Alin Albu-Schäffer:
Iteratively Refined Feasibility Checks in Robotic Assembly Sequence Planning. IEEE Robotics Autom. Lett. 4(2): 1416-1423 (2019) - [c77]Alberto de la Encina, Natalia López, Ismael Rodríguez, Fernando Rubio:
The Problems of Selecting Problems. IWANN (2) 2019: 760-772 - [c76]Pablo Rabanal, Ismael Rodríguez, Fernando Rubio:
Towards Applying River Formation Dynamics in Continuous Optimization Problems. IWANN (2) 2019: 823-832 - [c75]Ajeyo Dey, Satyabrata Dash, Likhita Tumati, Saumitra Sharma, Nikhil Megharajani, Meenali Janveja, Ismael Rodríguez, Gaurav Trivedi:
A Cooperative Co-evolution based Scalable Framework for Solving Large-Scale Global optimization Problems. SMC 2019: 1689-1694 - 2018
- [j30]Pablo Rabanal, Ismael Rodríguez, Fernando Rubio:
Guest editorial. J. Syst. Inf. Technol. 20(4): 402-403 (2018) - [j29]Andrés Ferragut, Ismael Rodríguez, Fernando Paganini:
Optimal timer-based caching policies for general arrival processes. Queueing Syst. Theory Appl. 88(3-4): 207-241 (2018) - [c74]Mauro Avila, Francisco Kiss, Ismael Rodríguez, Albrecht Schmidt, Tonja Machulla:
Tactile sheets: using engraved paper overlays to facilitate access to a digital document's layout and logical structure. PETRA 2018: 165-169 - 2017
- [j28]Ismael Rodríguez, Pablo Rabanal, Fernando Rubio:
How to make a best-seller: Optimal product design problems. Appl. Soft Comput. 55: 178-196 (2017) - [j27]Pablo Rabanal, José Antonio Mateo, Ismael Rodríguez, Gregorio Díaz:
Data-aware automatic derivation of choreography-conforming systems of services. Comput. Stand. Interfaces 53: 59-79 (2017) - [j26]Pablo Rabanal, Ismael Rodríguez, Fernando Rubio:
Applications of river formation dynamics. J. Comput. Sci. 22: 26-35 (2017) - [c73]Fernando Rubio, Alberto de la Encina, Pablo Rabanal, Ismael Rodríguez:
A Parallel Swarm Library Based on Functional Programming. IWANN (1) 2017: 3-15 - 2016
- [c72]Ismael Rodríguez, Fernando Rubio, Pablo Rabanal:
Automatic media planning: Optimal advertisement placement problems. CEC 2016: 5170-5177 - [c71]Pablo Rabanal, Ismael Rodríguez, Fernando Rubio:
Assessing Metaheuristics by Means of Random Benchmarks. ICCS 2016: 289-300 - [c70]Patricia Pesado, Nicolás Galdámez, César Estrebou, Adrian Pousa, Ismael Rodríguez, Sebastián Rodríguez Eguren, Franco Chichizola, Ariel Pasini, Armando De Giusti:
Experiences with Electronic Vote: Challenges and Solutions. ICEGOV 2016: 406-407 - [c69]Ismael Rodríguez, Andrés Ferragut, Fernando Paganini:
Improving performance of multiple-level cache systems. LANCOMM@SIGCOMM 2016: 37-39 - [c68]Andrés Ferragut, Ismael Rodríguez, Fernando Paganini:
Optimizing TTL Caches under Heavy-Tailed Demands. SIGMETRICS 2016: 101-112 - 2015
- [c67]Pablo Rabanal, Ismael Rodríguez, Fernando Rubio:
On the Uselessness of Finite Benchmarks to Assess Evolutionaryand Swarm Methods. GECCO (Companion) 2015: 1461-1462 - [c66]Natalia López, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio:
A Formal Method for Parallel Genetic Algorithms1. ICCS 2015: 2698-2702 - 2014
- [j25]Pablo Rabanal, Ismael Rodríguez, Fernando Rubio:
Parallelizing Particle Swarm Optimization in a Functional Programming Environment. Algorithms 7(4): 554-581 (2014) - [j24]Alberto de la Encina, Ismael Rodríguez, Fernando Rubio:
pHood: Tool Description, Analysis Techniques, and Case Studies. New Gener. Comput. 32(1): 59-91 (2014) - [j23]Ismael Rodríguez, Luis Llana, Pablo Rabanal:
A General Testability Theory: Classes, Properties, Complexity, and Testing Reductions. IEEE Trans. Software Eng. 40(9): 862-894 (2014) - 2013
- [j22]Pablo Rabanal, Ismael Rodríguez, Fernando Rubio:
Testing restorable systems: formal definition and heuristic solution based on river formation dynamics. Formal Aspects Comput. 25(5): 743-768 (2013) - [j21]Pablo Rabanal, Ismael Rodríguez, Fernando Rubio:
An ACO-RFD hybrid method to solve NP-complete problems. Frontiers Comput. Sci. 7(5): 729-744 (2013) - [j20]Mercedes Hidalgo-Herrero, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio:
Comparing Problem Solving Strategies for NP-hard Optimization Problems. Fundam. Informaticae 124(1-2): 1-25 (2013) - [c65]Fernando Rubio, Alberto de la Encina, Pablo Rabanal, Ismael Rodríguez:
Eden's Bees: Parallelizing Artificial Bee Colony in a Functional Environment. ICCS 2013: 661-670 - [c64]Pablo Rabanal, Ismael Rodríguez:
Using polynomial reductions to test the suitability of metaheuristics for solving NP-complete problems. SAC 2013: 194-199 - 2012
- [j19]Ismael Rodríguez, Gregorio Díaz, Pablo Rabanal, José Antonio Mateo:
A centralized and a decentralized method to automatically derive choreography-conforming web service systems. J. Log. Algebraic Methods Program. 81(2): 127-159 (2012) - [j18]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
A formal framework to test soft and hard deadlines in timed systems. Softw. Test. Verification Reliab. 22(8): 583-608 (2012) - [c63]Pablo Rabanal, Ismael Rodríguez, José Antonio Mateo, Gregorio Díaz:
Improving the Automatic Derivation of Choreography-conforming Web Services Systems. ICCS 2012: 449-458 - 2011
- [j17]Pablo Rabanal, Ismael Rodríguez, Fernando Rubio:
Studying the application of ant colony optimization and river formation dynamics to the steiner tree problem. Evol. Intell. 4(1): 51-65 (2011) - [c62]Pablo Rabanal, José Antonio Mateo, Ismael Rodríguez, Gregorio Díaz:
DIEGO: A Tool for DerIving chorEoGraphy-cOnforming Web Service Systems. ICWS 2011: 187-194 - [c61]Luis M. Alonso, Pablo Rabanal, Ismael Rodríguez:
A Preliminary General Testing Method Based on Genetic Algorithms. IWANN (2) 2011: 356-363 - 2010
- [j16]Pablo Rabanal, Ismael Rodríguez, Fernando Rubio:
Applying RFD to Construct Optimal Quality-Investment Trees. J. Univers. Comput. Sci. 16(14): 1882-1901 (2010) - [c60]Pablo Rabanal, Ismael Rodríguez, Fernando Rubio:
Applying River Formation Dynamics to the Steiner Tree Problem. IEEE ICCI 2010: 704-711
2000 – 2009
- 2009
- [j15]Mercedes Hidalgo-Herrero, Ismael Rodríguez, Fernando Rubio:
Comparing Learning Methods. Int. J. Cogn. Informatics Nat. Intell. 3(3): 12-26 (2009) - [j14]César Andrés, Luis Fernando Llana Díaz, Ismael Rodríguez:
Formally transforming user-model testing problems into implementer-model testing problems and viceversa. J. Log. Algebraic Methods Program. 78(6): 425-453 (2009) - [c59]Gregorio Díaz, Ismael Rodríguez:
Automatically Deriving Choreography-Conforming Systems of Services. IEEE SCC 2009: 9-16 - [c58]Ismael Rodríguez:
A General Testability Theory. CONCUR 2009: 572-586 - [c57]Pablo Rabanal, Ismael Rodríguez:
Hybridizing River Formation Dynamics and Ant Colony Optimization. ECAL (2) 2009: 424-431 - [c56]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 - [c55]Pablo Rabanal, Ismael Rodríguez, Fernando Rubio:
A Formal Approach to Heuristically Test Restorable Systems. ICTAC 2009: 292-306 - [c54]Pablo Rabanal, Ismael Rodríguez, Fernando Rubio:
Applying Evolutionary Computation Methods to Formal Testing and Model Checking. IWANN (1) 2009: 310-317 - [c53]Pablo Rabanal, Ismael Rodríguez:
Testing Restorable Systems by Using RFD. IWANN (1) 2009: 351-358 - [p1]Pablo Rabanal, Ismael Rodríguez, Fernando Rubio:
Applying River Formation Dynamics to Solve NP-Complete Problems. Nature-Inspired Algorithms for Optimisation 2009: 333-368 - 2008
- [j13]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
Formal testing from timed finite state machines. Comput. Networks 52(2): 432-460 (2008) - [j12]Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio:
Testing the Behaviour of Entities in a Cognitive Language. Int. J. Cogn. Informatics Nat. Intell. 2(1): 29-43 (2008) - [j11]Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez:
HOTL: Hypotheses and observations testing logic. J. Log. Algebraic Methods Program. 74(2): 57-93 (2008) - [j10]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) - [c52]Pablo Rabanal, Ismael Rodríguez, Fernando Rubio:
Finding Minimum Spanning/Distances Trees by Using River Formation Dynamics. ANTS Conference 2008: 60-71 - [c51]Alberto de la Encina, Ismael Rodríguez, Fernando Rubio:
A Debugger for Parallel Haskell Dialects. ICA3PP 2008: 282-293 - [c50]Pablo Rabanal, Ismael Rodríguez, Fernando Rubio:
Solving Dynamic TSP by Using River Formation Dynamics. ICNC (1) 2008: 246-250 - [c49]César Andrés, Luis Llana, Ismael Rodríguez:
Formally comparing user and implementer model-based testing methods. ICST Workshops 2008: 1-10 - [c48]César Andrés, Ismael Rodríguez, Fernando Rubio:
Formally Testing Liveness by Means of Compression Rates. PPSN 2008: 347-357 - [c47]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
THOTL: A Timed Extension of HOTL. TestCom/FATES 2008: 86-102 - 2007
- [j9]Ismael Rodríguez, Manuel Núñez, Fernando Rubio:
Cognitive Processes by Using Finite State Machines. Int. J. Cogn. Informatics Nat. Intell. 1(3): 52-65 (2007) - [j8]Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez:
From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices. J. Univers. Comput. Sci. 13(13): 2035-2075 (2007) - [c46]Ismael Rodríguez, Manuel Núñez:
A Formal Methodology to Test Complex Heterogeneous Systems. ATVA 2007: 394-409 - [c45]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
A Brief Introduction to THOTL. ATVA 2007: 501-510 - [c44]Natalia López, Manuel Núñez, Ismael Rodríguez:
SPAMR: Extending PAMR with stochastic time. EPEW 2007: 63-79 - [c43]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
Testing Finite State Machines Presenting Stochastic Time and Timeouts. EPEW 2007: 97-111 - [c42]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
Formal Testing of Systems Presenting Soft and Hard Deadlines. FSEN 2007: 160-174 - [c41]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
Formal Specification of Multi-agent Systems by Using EUSMs. FSEN 2007: 318-333 - [c40]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
Generation of optimal finite test suites for timed systems. TASE 2007: 149-158 - [c39]Pablo Rabanal, Ismael Rodríguez, Fernando Rubio:
Using River Formation Dynamics to Design Heuristic Algorithms. UC 2007: 163-177 - 2006
- [j7]Ismael Rodríguez, Natalia López:
Analyzing the Privacy of a Vickrey Auction Mechanism. Int. J. E Bus. Res. 2(3): 17-27 (2006) - [j6]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) - [j5]Natalia López, Ismael Rodríguez, Fernando Rubio:
Defining and testing metaadaptable agents. IEEE Trans. Syst. Man Cybern. Syst. 36(2): 182-195 (2006) - [c38]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 - [c37]Natalia López, Manuel Núñez, Ismael Rodríguez:
Assessing the Expressivity of Formal Specification Languages. AMAST 2006: 220-234 - [c36]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
Implementation Relations for Stochastic Finite State Machines. EPEW 2006: 123-137 - [c35]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 - [c34]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 - [c33]Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez:
A Logic for Assessing Sets of Heterogeneous Testing Hypotheses. TestCom 2006: 39-54 - [c32]Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez:
Customized Testing for Probabilistic Systems. TestCom 2006: 87-102 - [c31]Natalia López, Manuel Núñez, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio:
Market-Based Adaptive Discussion Forums. SITIS 2006: 149-160 - 2005
- [j4]Manuel Núñez, Ismael Rodríguez, Fernando Rubio:
Formal specification of multi-agent e-barter systems. Sci. Comput. Program. 57(2): 187-216 (2005) - [j3]Manuel Núñez, Ismael Rodríguez, Fernando Rubio:
Specification and testing of autonomous agents in e-commerce systems. Softw. Test. Verification Reliab. 15(4): 211-233 (2005) - [c30]Mercedes Hidalgo-Herrero, Ismael Rodríguez, Fernando Rubio:
Testing learning strategies. IEEE ICCI 2005: 212-221 - [c29]Manuel Núñez, Ismael Rodríguez:
Conformance Testing Relations for Timed Systems. FATES 2005: 103-117 - [c28]Manuel Núñez, Ismael Rodríguez:
Specification-Based Testing of Real-Time Embedded Systems. IESS 2005: 115-124 - [c27]Manuel Núñez, Fernando L. Pelayo, Ismael Rodríguez:
A Formal Methodology to Test Complex Embedded Systems: Application to Interactive Driving Systems. IESS 2005: 125-136 - [c26]Alberto de la Encina, Ismael Rodríguez, Fernando Rubio:
Testing Speculative Work in a Lazy/Eager Parallel Functional Language. LCPC 2005: 274-288 - [c25]Ismael Rodríguez, Natalia López:
Implementing private Vickrey auctions. SAC 2005: 796-800 - [c24]Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez:
From Theoretical e-barter Models to an Implementation Based on Web Services. FSEN 2005: 241-264 - 2004
- [j2]Ismael Rodríguez, Manuel Núñez, Fernando Rubio:
A formal framework for analyzing reusability complexity in component-based systems. Inf. Softw. Technol. 46(12): 791-804 (2004) - [j1]Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio:
Improving privacy in Vickrey auctions. SIGecom Exch. 5(1): 1-12 (2004) - [c23]Fernando Rubio, Ismael Rodríguez:
A Parallel Language for Cognitive Informatics. IEEE ICCI 2004: 32-41 - [c22]Manuel Núñez, Ismael Rodríguez, Fernando Rubio:
Applying Occam's Razor to FSMs. IEEE ICCI 2004: 138-147 - [c21]Manuel Núñez, Ismael Rodríguez, Fernando Rubio:
A Tutoring System Supporting Experimentation with Virtual Macroeconomic Environments. AIMSA 2004: 361-370 - [c20]Natalia López, Manuel Núñez, Ismael Rodríguez:
Testing of Symbolic-Probabilistic Systems. FATES 2004: 49-63 - [c19]Ismael Rodríguez, Manuel Núñez, Fernando Rubio:
Specification of Autonomous Agents in E-commerce Systems. FORTE Workshops 2004: 30-44 - [c18]Natalia López, Manuel Núñez, Ismael Rodríguez:
Formal Specification of Symbolic-Probabilistic Systems. FORTE Workshops 2004: 114-127 - [c17]Manuel Núñez, Ismael Rodríguez, Fernando Rubio:
Testing of Autonomous Agents Described as Utility State Machines. FORTE Workshops 2004: 322-336 - [c16]Manuel Núñez, Ismael Rodríguez, Fernando Rubio:
A Formal Framework to Reduce Communications in Communication Systems. IICS 2004: 69-80 - [c15]Ismael Rodríguez:
Formal specification of autonomous commerce agents. SAC 2004: 774-778 - [c14]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 - 2003
- [c13]Manuel Núñez, Ismael Rodríguez, Fernando Rubio:
Towards the Identification of Living Agents in Complex Computational Environments. IEEE ICCI 2003: 151-160 - [c12]Natalia López, Ismael Rodríguez, Fernando Rubio:
Defining Meta-Adaptable Living Agents. IEEE ICCI 2003: 161-170 - [c11]Manuel Núñez, Ismael Rodríguez:
Towards Testing Stochastic Timed Systems. FORTE 2003: 335-350 - [c10]Ismael Rodríguez, Manuel Núñez:
Introducing CEES: Complex Economic Environments Simulator. International Conference on Computational Science 2003: 658-667 - [c9]Fernando Rubio, Ismael Rodríguez:
A Parallel Framework for Computational Science. International Conference on Computational Science 2003: 1002-1011 - [c8]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 - [c7]Ismael Rodríguez, Fernando Rubio:
A Framework for Selecting Components Automatically: A First Approach. TACoS 2003: 169-179 - 2002
- [c6]Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio:
Introducing the Golden Section to Computer Science. IEEE ICCI 2002: 203-212 - [c5]Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio:
WHAT: Web-Based Haskell Adaptive Tutor. AIMSA 2002: 71-80 - [c4]