| 2011 | ||
|---|---|---|
| j15 | Pablo Rabanal, Ismael Rodríguez, Fernando Rubio: Studying the application of ant colony optimization and river formation dynamics to the steiner tree problem. Evolutionary Intelligence 4(1): 51-65 (2011) | |
| c42 | Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Fernando Rubio: A Parallel Skeleton for Genetic Algorithms. IWANN (2) 2011: 388-395 | |
| 2010 | ||
| j14 | Pablo Rabanal, Ismael Rodríguez, Fernando Rubio: Applying RFD to Construct Optimal Quality-Investment Trees. J. UCS 16(14): 1882-1901 (2010) | |
| c41 | Pablo Rabanal, Ismael Rodríguez, Fernando Rubio: Applying River Formation Dynamics to the Steiner Tree Problem. IEEE ICCI 2010: 704-711 | |
| 2009 | ||
| j13 | Mercedes Hidalgo-Herrero, Ismael Rodríguez, Fernando Rubio: Comparing Learning Methods. IJCINI 3(3): 12-26 (2009) | |
| j12 | Alberto de la Encina, Luis Llana, Fernando Rubio: A Debugging System Based on Natural Semantics. J. UCS 15(14): 2836-2880 (2009) | |
| c40 | Pablo Rabanal, Ismael Rodríguez, Fernando Rubio: A Formal Approach to Heuristically Test Restorable Systems. ICTAC 2009: 292-306 | |
| c39 | Pablo Rabanal, Ismael Rodríguez, Fernando Rubio: Applying Evolutionary Computation Methods to Formal Testing and Model Checking. IWANN (1) 2009: 310-317 | |
| c38 | Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Fernando Rubio: Applying Evolutionary Techniques to Debug Functional Programs. IWANN (1) 2009: 318-326 | |
| 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 | ||
| j11 | 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) | |
| c37 | Pablo Rabanal, Ismael Rodríguez, Fernando Rubio: Finding Minimum Spanning/Distances Trees by Using River Formation Dynamics. ANTS Conference 2008: 60-71 | |
| c36 | Alberto de la Encina, Ismael Rodríguez, Fernando Rubio: A Debugger for Parallel Haskell Dialects. ICA3PP 2008: 282-293 | |
| c35 | César Andrés, Ismael Rodríguez, Fernando Rubio: Formally Testing Liveness by Means of Compression Rates. PPSN 2008: 347-357 | |
| 2007 | ||
| j10 | Ismael Rodríguez, Manuel Núñez, Fernando Rubio: Cognitive Processes by Using Finite State Machines. IJCINI 1(3): 52-65 (2007) | |
| c34 | Alberto de la Encina, Luis Llana, Fernando Rubio, Mercedes Hidalgo-Herrero: Observing intermediate structures in a parallel lazy functional language. PPDP 2007: 109-120 | |
| c33 | Pablo Rabanal, Ismael Rodríguez, Fernando Rubio: Using River Formation Dynamics to Design Heuristic Algorithms. UC 2007: 163-177 | |
| 2006 | ||
| j9 | Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio: Analyzing the influence of mixed evaluation on the performance of Eden skeletons. Parallel Computing 32(7-8): 523-538 (2006) | |
| c32 | 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 | |
| c31 | Alberto de la Encina, Luis Llana, Fernando Rubio: Introducing Debugging Capabilities to Natural Semantics. Ershov Memorial Conference 2006: 195-208 | |
| c30 | Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio: Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages. IFL 2006: 55-72 | |
| c29 | Sviatoslav Braynov, Manuel Núñez, Fernando Rubio: Editorial message: special track on e-commerce technologies. SAC 2006: 865-866 | |
| c28 | Natalia López, Manuel Núñez, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio: Market-Based Adaptive Discussion Forums. SITIS 2006: 149-160 | |
| 2005 | ||
| j8 | Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Formal specification of multi-agent e-barter systems. Sci. Comput. Program. 57(2): 187-216 (2005) | |
| j7 | 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) | |
| c27 | Mercedes Hidalgo-Herrero, Ismael Rodríguez, Fernando Rubio: Testing learning strategies. IEEE ICCI 2005: 212-221 | |
| c26 | Alberto de la Encina, Luis Llana, Fernando Rubio: Formalizing the Debugging Process in Haskell. ICTAC 2005: 211-226 | |
| c25 | Alberto de la Encina, Ismael Rodríguez, Fernando Rubio: Testing Speculative Work in a Lazy/Eager Parallel Functional Language. LCPC 2005: 274-288 | |
| c24 | Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio: Towards Improving Skeletons in Eden. PARCO 2005: 843-850 | |
| 2004 | ||
| j6 | Natalia López, Manuel Núñez, Fernando Rubio: Predicting performance in the presence of stochastic information. Comput. Syst. Sci. Eng. 19(6) (2004) | |
| j5 | Natalia López, Manuel Núñez, Fernando Rubio: An integrated framework for the performance analysis of asynchronous communicating stochastic processes. Formal Asp. Comput. 16(3): 238-262 (2004) | |
| j4 | 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) | |
| j3 | Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Improving privacy in Vickrey auctions. SIGecom Exchanges 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 | Ismael Rodríguez, Manuel Núñez, Fernando Rubio: Specification of Autonomous Agents in E-commerce Systems. FORTE Workshops 2004: 30-44 | |
| c19 | Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Testing of Autonomous Agents Described as Utility State Machines. FORTE Workshops 2004: 322-336 | |
| c18 | Manuel Núñez, Ismael Rodríguez, Fernando Rubio: A Formal Framework to Reduce Communications in Communication Systems. IICS 2004: 69-80 | |
| c17 | 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 | |
| e1 | Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio (Eds.): Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Lecture Notes in Computer Science 3236, Springer 2004, isbn 3-540-23169-2 | |
| 2003 | ||
| j2 | Ismael Rodríguez, Fernando Rubio: A Framework for Selecting Components Automatically: A First Approach. Electr. Notes Theor. Comput. Sci. 82(6): 169-179 (2003) | |
| j1 | Hans-Wolfgang Loidl, Fernando Rubio, Norman Scaife, Kevin Hammond, Susumu Horiguchi, Ulrike Klusik, Rita Loogen, Greg Michaelson, Ricardo Pena, Steffen Priebe, Álvaro J. Rebón Portillo, Philip W. Trinder: Comparing Parallel Functional Languages: Programming and Performance. Higher-Order and Symbolic Computation 16(3): 203-251 (2003) | |
| c16 | Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Towards the Identification of Living Agents in Complex Computational Environments. IEEE ICCI 2003: 151-160 | |
| c15 | Natalia López, Ismael Rodríguez, Fernando Rubio: Defining Meta-Adaptable Living Agents. IEEE ICCI 2003: 161-170 | |
| c14 | Fernando Rubio, Ismael Rodríguez: A Parallel Framework for Computational Science. International Conference on Computational Science 2003: 1002-1011 | |
| c13 | 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 | |
| 2002 | ||
| c12 | Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Introducing the Golden Section to Computer Science. IEEE ICCI 2002: 203-212 | |
| c11 | Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: WHAT: Web-Based Haskell Adaptive Tutor. AIMSA 2002: 71-80 | |
| c10 | ||
| c9 | 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 | |
| c8 | 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 | ||
| c7 | Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura: Adding Traces to a Lazy Monadic Evaluator. EUROCAST 2001: 627-641 | |
| c6 | Ricardo Pena, Fernando Rubio: Parallel Functional Programming at Two Levels of Abstraction. PPDP 2001: 187-198 | |
| c5 | Ricardo Pena, Fernando Rubio, Clara Segura: Deriving Non-Hierarchical Process Topologies. Scottish Functional Programming Workshop 2001: 51-62 | |
| 2000 | ||
| c4 | Ulrike Klusik, Rita Loogen, Steffen Priebe, Fernando Rubio: Implementation Skeletons in Eden: Low-Effort Parallel Programming. IFL 2000: 71-88 | |
| c3 | Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura: Optimising Eden by transformation. Scottish Functional Programming Workshop 2000: 13-26 | |
| c2 | Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura: Optimizing Eden by Program Transformation. WFLP 2000: 89-103 | |
| 1999 | ||
| c1 | Felix Hernandez, Ricardo Pena, Fernando Rubio: From GranSim to Paradise. Scottish Functional Programming Workshop 1999: 11-19 | |
| 1 | César Andrés | |
| 2 | Sviatoslav Braynov (Sviatoslav Brainov) | |
| 3 | Alberto de la Encina | |
| 4 | Kevin Hammond | |
| 5 | Felix Hernandez | |
| 6 | Mercedes Hidalgo-Herrero | |
| 7 | Susumu Horiguchi | |
| 8 | Ulrike Klusik | |
| 9 | Luis Llana (Luis Fernando Llana Díaz) | |
| 10 | Hans-Wolfgang Loidl | |
| 11 | Rita Loogen | |
| 12 | Natalia López | |
| 13 | Zakaria Maamar | |
| 14 | Greg Michaelson | |
| 15 | Manuel Núñez | |
| 16 | Yolanda Ortega-Mallén | |
| 17 | Cristóbal Pareja-Flores (Cristóbal Pareja) | |
| 18 | Fernando López Pelayo (Fernando L. Pelayo) | |
| 19 | Ricardo Peña-Marí (Ricardo Peña, Ricardo Pena) | |
| 20 | Álvaro J. Rebón Portillo | |
| 21 | Key Pousttchi | |
| 22 | Steffen Priebe | |
| 23 | Pablo Rabanal | |
| 24 | Ismael Rodríguez | |
| 25 | Norman Scaife | |
| 26 | Clara Segura | |
| 27 | Philip W. Trinder |
Data released under the ODC-BY 1.0 license — See also our legal information page