2008 |
49 | EE | Pablo Rabanal,
Ismael Rodríguez,
Fernando Rubio:
Finding Minimum Spanning/Distances Trees by Using River Formation Dynamics.
ANTS Conference 2008: 60-71 |
48 | EE | Alberto de la Encina,
Ismael Rodríguez,
Fernando Rubio:
A Debugger for Parallel Haskell Dialects.
ICA3PP 2008: 282-293 |
47 | EE | César Andrés,
Ismael Rodríguez,
Fernando Rubio:
Formally Testing Liveness by Means of Compression Rates.
PPSN 2008: 347-357 |
46 | EE | 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) |
2007 |
45 | EE | Alberto de la Encina,
Luis Llana,
Fernando Rubio,
Mercedes Hidalgo-Herrero:
Observing intermediate structures in a parallel lazy functional language.
PPDP 2007: 109-120 |
44 | EE | Pablo Rabanal,
Ismael Rodríguez,
Fernando Rubio:
Using River Formation Dynamics to Design Heuristic Algorithms.
UC 2007: 163-177 |
43 | EE | Ismael Rodríguez,
Manuel Núñez,
Fernando Rubio:
Cognitive Processes by Using Finite State Machines.
IJCINI 1(3): 52-65 (2007) |
2006 |
42 | EE | Alberto de la Encina,
Luis Llana,
Fernando Rubio:
Introducing Debugging Capabilities to Natural Semantics.
Ershov Memorial Conference 2006: 195-208 |
41 | EE | 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 |
40 | EE | Mercedes Hidalgo-Herrero,
Yolanda Ortega-Mallén,
Fernando Rubio:
Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages.
IFL 2006: 55-72 |
39 | EE | Sviatoslav Braynov,
Manuel Núñez,
Fernando Rubio:
Editorial message: special track on e-commerce technologies.
SAC 2006: 865-866 |
38 | EE | Natalia López,
Manuel Núñez,
Pablo Rabanal,
Ismael Rodríguez,
Fernando Rubio:
Market-Based Adaptive Discussion Forums.
SITIS 2006: 149-160 |
37 | EE | 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) |
2005 |
36 | EE | Alberto de la Encina,
Luis Llana,
Fernando Rubio:
Formalizing the Debugging Process in Haskell.
ICTAC 2005: 211-226 |
35 | EE | Mercedes Hidalgo-Herrero,
Ismael Rodríguez,
Fernando Rubio:
Testing learning strategies.
IEEE ICCI 2005: 212-221 |
34 | EE | Alberto de la Encina,
Ismael Rodríguez,
Fernando Rubio:
Testing Speculative Work in a Lazy/Eager Parallel Functional Language.
LCPC 2005: 274-288 |
33 | | Mercedes Hidalgo-Herrero,
Yolanda Ortega-Mallén,
Fernando Rubio:
Towards Improving Skeletons in Eden.
PARCO 2005: 843-850 |
32 | EE | Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
Formal specification of multi-agent e-barter systems.
Sci. Comput. Program. 57(2): 187-216 (2005) |
31 | EE | 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) |
2004 |
30 | | Manuel Núñez,
Zakaria Maamar,
Fernando L. Pelayo,
Key Pousttchi,
Fernando Rubio:
Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004
Springer 2004 |
29 | EE | Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
A Tutoring System Supporting Experimentation with Virtual Macroeconomic Environments.
AIMSA 2004: 361-370 |
28 | EE | Ismael Rodríguez,
Manuel Núñez,
Fernando Rubio:
Specification of Autonomous Agents in E-commerce Systems.
FORTE Workshops 2004: 30-44 |
27 | EE | Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
Testing of Autonomous Agents Described as Utility State Machines.
FORTE Workshops 2004: 322-336 |
26 | EE | Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
Applying Occam's Razor to FSMs.
IEEE ICCI 2004: 138-147 |
25 | EE | Fernando Rubio,
Ismael Rodríguez:
A Parallel Language for Cognitive Informatics.
IEEE ICCI 2004: 32-41 |
24 | EE | Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
A Formal Framework to Reduce Communications in Communication Systems.
IICS 2004: 69-80 |
23 | EE | 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 |
22 | | Natalia López,
Manuel Núñez,
Fernando Rubio:
Predicting performance in the presence of stochastic information.
Comput. Syst. Sci. Eng. 19(6): (2004) |
21 | EE | 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) |
20 | EE | 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) |
19 | EE | Natalia López,
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
Improving privacy in Vickrey auctions.
SIGecom Exchanges 5(1): 1-12 (2004) |
2003 |
18 | EE | Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
Towards the Identification of Living Agents in Complex Computational Environments.
IEEE ICCI 2003: 151-160 |
17 | EE | Natalia López,
Ismael Rodríguez,
Fernando Rubio:
Defining Meta-Adaptable Living Agents.
IEEE ICCI 2003: 161-170 |
16 | EE | Fernando Rubio,
Ismael Rodríguez:
A Parallel Framework for Computational Science.
International Conference on Computational Science 2003: 1002-1011 |
15 | | 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 |
14 | EE | Ismael Rodríguez,
Fernando Rubio:
A Framework for Selecting Components Automatically: A First Approach.
Electr. Notes Theor. Comput. Sci. 82(6): (2003) |
13 | EE | 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) |
2002 |
12 | EE | Natalia López,
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
WHAT: Web-Based Haskell Adaptive Tutor.
AIMSA 2002: 71-80 |
11 | EE | Natalia López,
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
Introducing the Golden Section to Computer Science.
IEEE ICCI 2002: 203-212 |
10 | EE | Natalia López,
Manuel Núñez,
Fernando Rubio:
Stochastic Process Algebras Meet Eden.
IFM 2002: 29-48 |
9 | EE | 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 |
8 | EE | 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 |
7 | EE | Cristóbal Pareja,
Ricardo Pena,
Fernando Rubio,
Clara Segura:
Adding Traces to a Lazy Monadic Evaluator.
EUROCAST 2001: 627-641 |
6 | | Ricardo Pena,
Fernando Rubio:
Parallel Functional Programming at Two Levels of Abstraction.
PPDP 2001: 187-198 |
5 | | Ricardo Pena,
Fernando Rubio,
Clara Segura:
Deriving Non-Hierarchical Process Topologies.
Scottish Functional Programming Workshop 2001: 51-62 |
2000 |
4 | EE | Ulrike Klusik,
Rita Loogen,
Steffen Priebe,
Fernando Rubio:
Implementation Skeletons in Eden: Low-Effort Parallel Programming.
IFL 2000: 71-88 |
3 | | Cristóbal Pareja,
Ricardo Pena,
Fernando Rubio,
Clara Segura:
Optimising Eden by transformation.
Scottish Functional Programming Workshop 2000: 13-26 |
2 | | Cristóbal Pareja,
Ricardo Pena,
Fernando Rubio,
Clara Segura:
Optimizing Eden by Program Transformation.
WFLP 2000: 89-103 |
1999 |
1 | | Felix Hernandez,
Ricardo Pena,
Fernando Rubio:
From GranSim to Paradise.
Scottish Functional Programming Workshop 1999: 11-19 |