default search action
Ismael 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
- 2024
- [j40]María García
, Natalia López
A full process algebraic representation of Ant Colony Optimization. Inf. Sci. 658: 120025 (2024) - [j39]Aitor Godoy, Ismael Rodríguez, Fernando Rubio
Voting according to one's political stances is difficult: Problems definition, computational hardness, and approximate solutions. J. Comput. Sci. 80: 102328 (2024) - [j38]Samuel Bustamante
Feasibility Checking and Constraint Refinement for Shared Control in Assistive Robotics. IEEE Robotics Autom. Lett. 9(9): 8019-8026 (2024) - [c85]Takuya Kiyokawa, Ismael Rodríguez, Korbinian Nottensteiner, Peter Lehner, Thomas Eiband, Máximo A. Roa, Kensuke Harada:
CAD-Informed Uncertainty-Aware Sequence and Motion Planning for Robotic Assembly. CASE 2024: 418-425 - [i3]Fernando Rubio, Ismael Rodríguez:
Water-Based Metaheuristics: How Water Dynamics Can Help Us to Solve NP-Hard Problems. CoRR abs/2403.12058 (2024) - 2023
- [j37]Javier Galiana, Ismael Rodríguez
How to stop undesired propagations by using bi-level genetic algorithms. Appl. Soft Comput. 136: 110094 (2023) - [j36]Ismael Rodríguez
Complexity of adaptive testing in scenarios defined extensionally. Frontiers Comput. Sci. 17(3): 173206 (2023) - [c84]Matan Atad, Jianxiang Feng, Ismael Rodríguez, Maximilian Durner
Efficient and Feasible Robotic Assembly Sequence Planning via Graph Representation Learning. IROS 2023: 8262-8269 - [c83]Aitor Godoy
Majority Problems: Formal Study and Practical Resolution. SMC 2023: 452-459 - [i2]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) - [i1]Jianxiang Feng, Matan Atad, Ismael Rodríguez, Maximilian Durner, Stephan Günnemann, Rudolph Triebel:
Density-based Feasibility Learning with Normalizing Flows for Introspective Robotic Assembly. CoRR abs/2307.01317 (2023) - 2022
- [j35]Daniel Loscos
Generalization and completeness of stochastic local search algorithms. Swarm Evol. Comput. 68: 100982 (2022) - [c82]Jonathan Carrero, Ismael Rodríguez
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
On the hardness of finding good pacts. CEC 2022: 1-8 - [c80]Jonathan Carrero, Ismael Rodríguez
A tool to certify dynamic benchmarks. SMC 2022: 3072-3079 - 2021
- [c79]Jonathan Carrero, Ismael Rodríguez
A contract among autonomous agents to deal with egalitarian social welfare. ICCI*CC 2021: 131-138 - 2020
- [j34]Ismael Rodríguez
Introducing complexity to formal testing. J. Log. Algebraic Methods Program. 111: 100502 (2020) - [j33]Ismael Rodríguez
Pattern Recognition for Knowledge Transfer in Robotic Assembly Sequence Planning. IEEE Robotics Autom. Lett. 5(2): 3666-3673 (2020) - [c78]Jonathan Carrero
Measuring the benefits of lying in MARA under egalitarian social welfare. SMC 2020: 559-566
2010 – 2019
- 2019
- [j32]Fernando Rubio
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
Iteratively Refined Feasibility Checks in Robotic Assembly Sequence Planning. IEEE Robotics Autom. Lett. 4(2): 1416-1423 (2019) - [c77]Alberto de la Encina
The Problems of Selecting Problems. IWANN (2) 2019: 760-772 - [c76]Pablo Rabanal
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
A Cooperative Co-evolution based Scalable Framework for Solving Large-Scale Global optimization Problems. SMC 2019: 1689-1694 - 2018
- [j30]Pablo Rabanal
Guest editorial. J. Syst. Inf. Technol. 20(4): 402-403 (2018) - [j29]Andrés Ferragut
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
How to make a best-seller: Optimal product design problems. Appl. Soft Comput. 55: 178-196 (2017) - [j27]Pablo Rabanal
Data-aware automatic derivation of choreography-conforming systems of services. Comput. Stand. Interfaces 53: 59-79 (2017) - [j26]Pablo Rabanal
Applications of river formation dynamics. J. Comput. Sci. 22: 26-35 (2017) - [c73]Fernando Rubio
A Parallel Swarm Library Based on Functional Programming. IWANN (1) 2017: 3-15 - 2016
- [c72]Ismael Rodríguez
Automatic media planning: Optimal advertisement placement problems. CEC 2016: 5170-5177 - [c71]Pablo Rabanal
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
On the Uselessness of Finite Benchmarks to Assess Evolutionaryand Swarm Methods. GECCO (Companion) 2015: 1461-1462 - [c66]Natalia López
A Formal Method for Parallel Genetic Algorithms1. ICCS 2015: 2698-2702 - 2014
- [j25]Pablo Rabanal
Parallelizing Particle Swarm Optimization in a Functional Programming Environment. Algorithms 7(4): 554-581 (2014) - [j24]Alberto de la Encina
pHood: Tool Description, Analysis Techniques, and Case Studies. New Gener. Comput. 32(1): 59-91 (2014) - [j23]Ismael Rodríguez
A General Testability Theory: Classes, Properties, Complexity, and Testing Reductions. IEEE Trans. Software Eng. 40(9): 862-894 (2014) - 2013
- [j22]Pablo Rabanal
Testing restorable systems: formal definition and heuristic solution based on river formation dynamics. Formal Aspects Comput. 25(5): 743-768 (2013) - [j21]Pablo Rabanal
An ACO-RFD hybrid method to solve NP-complete problems. Frontiers Comput. Sci. 7(5): 729-744 (2013) - [j20]Mercedes Hidalgo-Herrero
Comparing Problem Solving Strategies for NP-hard Optimization Problems. Fundam. Informaticae 124(1-2): 1-25 (2013) - [c65]Fernando Rubio
Eden's Bees: Parallelizing Artificial Bee Colony in a Functional Environment. ICCS 2013: 661-670 - [c64]Pablo Rabanal
Using polynomial reductions to test the suitability of metaheuristics for solving NP-complete problems. SAC 2013: 194-199 - 2012
- [j19]Ismael Rodríguez
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
A formal framework to test soft and hard deadlines in timed systems. Softw. Test. Verification Reliab. 22(8): 583-608 (2012) - [c63]Pablo Rabanal
Improving the Automatic Derivation of Choreography-conforming Web Services Systems. ICCS 2012: 449-458 - 2011
- [j17]Pablo Rabanal
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
DIEGO: A Tool for DerIving chorEoGraphy-cOnforming Web Service Systems. ICWS 2011: 187-194 - [c61]Luis M. Alonso, Pablo Rabanal
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
Applying River Formation Dynamics to the Steiner Tree Problem. IEEE ICCI 2010: 704-711
2000 – 2009
- 2009
- [j15]Mercedes Hidalgo-Herrero
Comparing Learning Methods. Int. J. Cogn. Informatics Nat. Intell. 3(3): 12-26 (2009) - [j14]César Andrés, Luis Fernando Llana Díaz
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
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
Hybridizing River Formation Dynamics and Ant Colony Optimization. ECAL (2) 2009: 424-431 - [c56]Gregorio Díaz
Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach. FMOODS/FORTE 2009: 231-236 - [c55]Pablo Rabanal
A Formal Approach to Heuristically Test Restorable Systems. ICTAC 2009: 292-306 - [c54]Pablo Rabanal
Applying Evolutionary Computation Methods to Formal Testing and Model Checking. IWANN (1) 2009: 310-317 - [c53]Pablo Rabanal
Testing Restorable Systems by Using RFD. IWANN (1) 2009: 351-358 - [p1]Pablo Rabanal
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
Formal testing from timed finite state machines. Comput. Networks 52(2): 432-460 (2008) - [j12]Alberto de la Encina, Mercedes Hidalgo-Herrero
Testing the Behaviour of Entities in a Cognitive Language. Int. J. Cogn. Informatics Nat. Intell. 2(1): 29-43 (2008) - [j11]Ismael Rodríguez
HOTL: Hypotheses and observations testing logic. J. Log. Algebraic Methods Program. 74(2): 57-93 (2008) - [j10]Mercedes G. Merayo, Manuel Núñez
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
Finding Minimum Spanning/Distances Trees by Using River Formation Dynamics. ANTS Conference 2008: 60-71 - [c51]Alberto de la Encina
A Debugger for Parallel Haskell Dialects. ICA3PP 2008: 282-293 - [c50]Pablo Rabanal
Solving Dynamic TSP by Using River Formation Dynamics. ICNC (1) 2008: 246-250 - [c49]César Andrés, Luis Llana
Formally comparing user and implementer model-based testing methods. ICST Workshops 2008: 1-10 - [c48]César Andrés, Ismael Rodríguez
Formally Testing Liveness by Means of Compression Rates. PPSN 2008: 347-357 - [c47]Mercedes G. Merayo, Manuel Núñez
THOTL: A Timed Extension of HOTL. TestCom/FATES 2008: 86-102 - 2007
- [j9]Ismael Rodríguez
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
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
SPAMR: Extending PAMR with stochastic time. EPEW 2007: 63-79 - [c43]Mercedes G. Merayo, Manuel Núñez
Testing Finite State Machines Presenting Stochastic Time and Timeouts. EPEW 2007: 97-111 - [c42]Mercedes G. Merayo, Manuel Núñez
Formal Testing of Systems Presenting Soft and Hard Deadlines. FSEN 2007: 160-174 - [c41]Mercedes G. Merayo, Manuel Núñez
Formal Specification of Multi-agent Systems by Using EUSMs. FSEN 2007: 318-333 - [c40]Mercedes G. Merayo, Manuel Núñez
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
Analyzing the Privacy of a Vickrey Auction Mechanism. Int. J. E Bus. Res. 2(3): 17-27 (2006) - [j6]Natalia López
Specification, testing and implementation relations for symbolic-probabilistic systems. Theor. Comput. Sci. 353(1-3): 228-248 (2006) - [j5]Natalia López
Defining and testing metaadaptable agents. IEEE Trans. Syst. Man Cybern. Syst. 36(2): 182-195 (2006) - [c38]Alberto de la Encina
Testing Entities in a Parallel Cognitive Language. IEEE ICCI 2006: 344-355 - [c37]Natalia López, Manuel Núñez
Assessing the Expressivity of Formal Specification Languages. AMAST 2006: 220-234 - [c36]Mercedes G. Merayo, Manuel Núñez
Implementation Relations for Stochastic Finite State Machines. EPEW 2006: 123-137 - [c35]Mercedes G. Merayo, Manuel Núñez
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
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
Customized Testing for Probabilistic Systems. TestCom 2006: 87-102 - [c31]Natalia López
Market-Based Adaptive Discussion Forums. SITIS 2006: 149-160 - 2005
- [j4]Manuel Núñez
Formal specification of multi-agent e-barter systems. Sci. Comput. Program. 57(2): 187-216 (2005) - [j3]Manuel Núñez
Specification and testing of autonomous agents in e-commerce systems. Softw. Test. Verification Reliab. 15(4): 211-233 (2005) - [c30]Mercedes Hidalgo-Herrero
Testing learning strategies. IEEE ICCI 2005: 212-221 - [c29]Manuel Núñez
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
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
From Theoretical e-barter Models to an Implementation Based on Web Services. FSEN 2005: 241-264 - 2004
- [j2]Ismael Rodríguez
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
Improving privacy in Vickrey auctions. SIGecom Exch. 5(1): 1-12 (2004) - [c23]Fernando Rubio
A Parallel Language for Cognitive Informatics. IEEE ICCI 2004: 32-41 - [c22]Manuel Núñez
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
Testing of Symbolic-Probabilistic Systems. FATES 2004: 49-63 - [c19]Ismael Rodríguez, Manuel Núñez
Specification of Autonomous Agents in E-commerce Systems. FORTE Workshops 2004: 30-44 - [c18]Natalia López, Manuel Núñez
Formal Specification of Symbolic-Probabilistic Systems. FORTE Workshops 2004: 114-127 - [c17]Manuel Núñez
Testing of Autonomous Agents Described as Utility State Machines. FORTE Workshops 2004: 322-336 - [c16]Manuel Núñez
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
Encouraging knowledge exchange in discussion forums by market-oriented mechanisms. SAC 2004: 952-956 - 2003
- [c13]Manuel Núñez
Towards the Identification of Living Agents in Complex Computational Environments. IEEE ICCI 2003: 151-160 - [c12]Natalia López
Defining Meta-Adaptable Living Agents. IEEE ICCI 2003: 161-170 - [c11]Manuel Núñez
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
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
A Framework for Selecting Components Automatically: A First Approach. TACoS 2003: 169-179 - 2002
- [c6]Natalia López
Introducing the Golden Section to Computer Science. IEEE ICCI 2002: 203-212 - [c5]Natalia López, Manuel Núñez
WHAT: Web-Based Haskell Adaptive Tutor. AIMSA 2002: 71-80 - [c4]Manuel Núñez, Ismael Rodríguez:
Encoding PAMR into (Timed) EFSMs. FORTE 2002: 1-16 - [c3]Natalia López, Manuel Núñez
A Formal Framework for E-Barter Based on Microeconomic Theory and Process Algebras. IICS 2002: 217-228 - [c2]Natalia López, Manuel Núñez
Including Malicious Agents into a Collaborative Learning Environment. Intelligent Tutoring Systems 2002: 51-60 - 2001
- [c1]Manuel Núñez, Ismael Rodríguez:
PAMR: A Process Algebra for the Management of Resources in Concurrent Systems. FORTE 2001: 169-184
Coauthor Index
[j39] [i3] [j37] [j36] [c83] [c82] [c81] [c80] [c79] [j34] [c78] [j32] [c77] [c76] [j30] [j28] [j26] [c73] [c72] [c71] [c67] [c66] [j25] [j24] [j22] [j21] [j20] [c65] [j17] [j16] [c60] [j15] [c55] [c54] [p1] [j12] [c52] [c51] [c50] [c48] [j9] [c39] [j5] [c38] [c31] [j4] [j3] [c30] [c26] [j2] [j1] [c23] [c22] [c21] [c19] [c17] [c16] [c14] [c13] [c12] [c9] [c8] [c7] [c6] [c5] [c3] [c2]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-08 21:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: