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
- 2024
[j40]María García
, Natalia López, Ismael Rodríguez:
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, Ismael Rodríguez, Gabriel Quere, Peter Lehner, Maged Iskandar, Daniel Leidner, Andreas Dömel, Alin Albu-Schäffer, Jörn Vogel, Freek Stulp:
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, Fernando Rubio:
How to stop undesired propagations by using bi-level genetic algorithms. Appl. Soft Comput. 136: 110094 (2023) - [j36]Ismael Rodríguez, David Rubio, Fernando Rubio:
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, Rudolph Triebel:
Efficient and Feasible Robotic Assembly Sequence Planning via Graph Representation Learning. IROS 2023: 8262-8269 - [c83]Aitor Godoy, Ismael Rodríguez, Fernando Rubio:
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, 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]Manuel Núñez, Ismael Rodríguez:
Encoding PAMR into (Timed) EFSMs. FORTE 2002: 1-16 - [c3]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 - [c2]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
- [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 20:31 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:
