| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Fernando Rubio |
A Parallel Skeleton for Genetic Algorithms. |
IWANN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Rabanal, Ismael Rodríguez, Fernando Rubio |
Applying RFD to Construct Optimal Quality-Investment Trees. |
J. UCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Pablo Rabanal, Ismael Rodríguez, Fernando Rubio |
Applying River Formation Dynamics to the Steiner Tree Problem. |
IEEE ICCI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes Hidalgo-Herrero, Ismael Rodríguez, Fernando Rubio |
Comparing Learning Methods. |
IJCINI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Alberto de la Encina, Luis Llana, Fernando Rubio |
A Debugging System Based on Natural Semantics. |
J. UCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Pablo Rabanal, Ismael Rodríguez, Fernando Rubio |
Applying River Formation Dynamics to Solve NP-Complete Problems. |
Nature-Inspired Algorithms for Optimisation |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Rabanal, Ismael Rodríguez, Fernando Rubio |
A Formal Approach to Heuristically Test Restorable Systems. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Fernando Rubio |
Applying Evolutionary Techniques to Debug Functional Programs. |
IWANN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Rabanal, Ismael Rodríguez, Fernando Rubio |
Applying Evolutionary Computation Methods to Formal Testing and Model Checking. |
IWANN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio |
Testing the Behaviour of Entities in a Cognitive Language. |
IJCINI |
2008 |
DBLP BibTeX RDF |
|
| 1 | César Andrés, Ismael Rodríguez, Fernando Rubio |
Formally Testing Liveness by Means of Compression Rates. |
PPSN |
2008 |
DBLP DOI BibTeX RDF |
Artificial Life, Compression Algorithms, Maximum Entropy Principle |
| 1 | Pablo Rabanal, Ismael Rodríguez, Fernando Rubio |
Finding Minimum Spanning/Distances Trees by Using River Formation Dynamics. |
ANTS Conference |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto de la Encina, Ismael Rodríguez, Fernando Rubio |
A Debugger for Parallel Haskell Dialects. |
ICA3PP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismael Rodríguez, Manuel Núñez, Fernando Rubio |
Cognitive Processes by Using Finite State Machines. |
IJCINI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Pablo Rabanal, Ismael Rodríguez, Fernando Rubio |
Using River Formation Dynamics to Design Heuristic Algorithms. |
UC |
2007 |
DBLP DOI BibTeX RDF |
Nature-based Algorithms, Ant Colony Optimization Algorithms, Traveling Salesman Problem, Heuristic Algorithms |
| 1 | Alberto de la Encina, Luis Llana, Fernando Rubio, Mercedes Hidalgo-Herrero |
Observing intermediate structures in a parallel lazy functional language. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
parallel functional programming, semantics, debugging |
| 1 | Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio |
Analyzing the influence of mixed evaluation on the performance of Eden skeletons. |
Parallel Computing |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia López, Manuel Núñez, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio |
Market-Based Adaptive Discussion Forums. |
SITIS |
2006 |
DBLP DOI BibTeX RDF |
E-learning, discussion forums |
| 1 | Alberto de la Encina, Luis Llana, Fernando Rubio |
Introducing Debugging Capabilities to Natural Semantics. |
Ershov Memorial Conference |
2006 |
DBLP DOI BibTeX RDF |
semantics, debugging, Functional programming |
| 1 | Sviatoslav Braynov, Manuel Núñez, Fernando Rubio |
Editorial message: special track on e-commerce technologies. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio |
Testing Entities in a Parallel Cognitive Language. |
IEEE ICCI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio |
Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages. |
IFL |
2006 |
DBLP DOI BibTeX RDF |
Parallel functional programming, semantics, skeletons |
| 1 | Manuel Núñez, Ismael Rodríguez, Fernando Rubio |
Formal specification of multi-agent e-barter systems. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Núñez, Ismael Rodríguez, Fernando Rubio |
Specification and testing of autonomous agents in e-commerce systems. |
Softw. Test., Verif. Reliab. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto de la Encina, Luis Llana, Fernando Rubio |
Formalizing the Debugging Process in Haskell. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes Hidalgo-Herrero, Ismael Rodríguez, Fernando Rubio |
Testing learning strategies. |
IEEE ICCI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto de la Encina, Ismael Rodríguez, Fernando Rubio |
Testing Speculative Work in a Lazy/Eager Parallel Functional Language. |
LCPC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio |
Towards Improving Skeletons in Eden. |
PARCO |
2005 |
DBLP BibTeX RDF |
|
| 1 | Natalia López, Manuel Núñez, Fernando Rubio |
An integrated framework for the performance analysis of asynchronous communicating stochastic processes. |
Formal Asp. Comput. |
2004 |
DBLP DOI BibTeX RDF |
Functional programming, Stochastic process algebras |
| 1 | Natalia López, Manuel Núñez, Fernando Rubio |
Predicting performance in the presence of stochastic information. |
Comput. Syst. Sci. Eng. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio |
Improving privacy in Vickrey auctions. |
SIGecom Exchanges |
2004 |
DBLP DOI BibTeX RDF |
privacy, Vickrey auctions |
| 1 | Ismael Rodríguez, Manuel Núñez, Fernando Rubio |
A formal framework for analyzing reusability complexity in component-based systems. |
Information & Software Technology |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismael Rodríguez, Manuel Núñez, Fernando Rubio |
Specification of Autonomous Agents in E-commerce Systems. |
FORTE Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
FORTE Workshops |
2004 |
DBLP BibTeX RDF |
|
| 1 | Manuel Núñez, Ismael Rodríguez, Fernando Rubio |
Testing of Autonomous Agents Described as Utility State Machines. |
FORTE Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio |
Encouraging knowledge exchange in discussion forums by market-oriented mechanisms. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
e-learning, discussion forums |
| 1 | Manuel Núñez, Ismael Rodríguez, Fernando Rubio |
A Formal Framework to Reduce Communications in Communication Systems. |
IICS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Rubio, Ismael Rodríguez |
A Parallel Language for Cognitive Informatics. |
IEEE ICCI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Núñez, Ismael Rodríguez, Fernando Rubio |
Applying Occam's Razor to FSMs. |
IEEE ICCI |
2004 |
DBLP DOI BibTeX RDF |
Occam´s razor, Chomsky´s classification, Cognitive Informatics |
| 1 | Manuel Núñez, Ismael Rodríguez, Fernando Rubio |
A Tutoring System Supporting Experimentation with Virtual Macroeconomic Environments. |
AIMSA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismael Rodríguez, Fernando Rubio |
A Framework for Selecting Components Automatically: A First Approach. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2003 |
DBLP DOI BibTeX RDF |
automatic task decomposition, load balancing, parallel computation, functional programming, Haskell, skeletons, ML, implicit parallelism |
| 1 | Fernando Rubio, Ismael Rodríguez |
A Parallel Framework for Computational Science. |
International Conference on Computational Science |
2003 |
DBLP DOI BibTeX RDF |
Parallel computing, skeletons |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Manuel Núñez, Ismael Rodríguez, Fernando Rubio |
Towards the Identification of Living Agents in Complex Computational Environments. |
IEEE ICCI |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia López, Ismael Rodríguez, Fernando Rubio |
Defining Meta-Adaptable Living Agents. |
IEEE ICCI |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia López, Manuel Núñez, Fernando Rubio |
Stochastic Process Algebras Meet Eden. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
functional programming, Process algebras |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio |
Including Malicious Agents into a Collaborative Learning Environment. |
Intelligent Tutoring Systems |
2002 |
DBLP DOI BibTeX RDF |
Distributed learning environments, cooperative systems |
| 1 | Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio |
Introducing the Golden Section to Computer Science. |
IEEE ICCI |
2002 |
DBLP DOI BibTeX RDF |
Golden section, problem solving, bio-inspired algorithms |
| 1 | Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio |
WHAT: Web-Based Haskell Adaptive Tutor. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
Education, e-learning, Intelligent Tutors |
| 1 | Ricardo Pena, Fernando Rubio, Clara Segura |
Deriving Non-Hierarchical Process Topologies. |
Scottish Functional Programming Workshop |
2001 |
DBLP BibTeX RDF |
|
| 1 | Ricardo Pena, Fernando Rubio |
Parallel Functional Programming at Two Levels of Abstraction. |
PPDP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura |
Adding Traces to a Lazy Monadic Evaluator. |
EUROCAST |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura |
Optimising Eden by transformation. |
Scottish Functional Programming Workshop |
2000 |
DBLP BibTeX RDF |
|
| 1 | Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura |
Optimizing Eden by Program Transformation. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Ulrike Klusik, Rita Loogen, Steffen Priebe, Fernando Rubio |
Implementation Skeletons in Eden: Low-Effort Parallel Programming. |
IFL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix Hernandez, Ricardo Pena, Fernando Rubio |
From GranSim to Paradise. |
Scottish Functional Programming Workshop |
1999 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")