dblp.uni-trier.dewww.uni-trier.de

Fernando Rubio Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
54EEPablo Rabanal, Ismael Rodríguez, Fernando Rubio: A Formal Approach to Heuristically Test Restorable Systems. ICTAC 2009: 292-306
53EEPablo Rabanal, Ismael Rodríguez, Fernando Rubio: Applying Evolutionary Computation Methods to Formal Testing and Model Checking. IWANN (1) 2009: 310-317
52EEAlberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Fernando Rubio: Applying Evolutionary Techniques to Debug Functional Programs. IWANN (1) 2009: 318-326
51EEPablo Rabanal, Ismael Rodríguez, Fernando Rubio: Applying River Formation Dynamics to Solve NP-Complete Problems. Nature-Inspired Algorithms for Optimisation 2009: 333-368
50EEMercedes Hidalgo-Herrero, Ismael Rodríguez, Fernando Rubio: Comparing Learning Methods. IJCINI 3(3): 12-26 (2009)
2008
49EEPablo Rabanal, Ismael Rodríguez, Fernando Rubio: Finding Minimum Spanning/Distances Trees by Using River Formation Dynamics. ANTS Conference 2008: 60-71
48EEAlberto de la Encina, Ismael Rodríguez, Fernando Rubio: A Debugger for Parallel Haskell Dialects. ICA3PP 2008: 282-293
47EECésar Andrés, Ismael Rodríguez, Fernando Rubio: Formally Testing Liveness by Means of Compression Rates. PPSN 2008: 347-357
46EEAlberto 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
45EEAlberto de la Encina, Luis Llana, Fernando Rubio, Mercedes Hidalgo-Herrero: Observing intermediate structures in a parallel lazy functional language. PPDP 2007: 109-120
44EEPablo Rabanal, Ismael Rodríguez, Fernando Rubio: Using River Formation Dynamics to Design Heuristic Algorithms. UC 2007: 163-177
43EEIsmael Rodríguez, Manuel Núñez, Fernando Rubio: Cognitive Processes by Using Finite State Machines. IJCINI 1(3): 52-65 (2007)
2006
42EEAlberto de la Encina, Luis Llana, Fernando Rubio: Introducing Debugging Capabilities to Natural Semantics. Ershov Memorial Conference 2006: 195-208
41EEAlberto 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
40EEMercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio: Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages. IFL 2006: 55-72
39EESviatoslav Braynov, Manuel Núñez, Fernando Rubio: Editorial message: special track on e-commerce technologies. SAC 2006: 865-866
38EENatalia López, Manuel Núñez, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio: Market-Based Adaptive Discussion Forums. SITIS 2006: 149-160
37EEMercedes 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
36EEAlberto de la Encina, Luis Llana, Fernando Rubio: Formalizing the Debugging Process in Haskell. ICTAC 2005: 211-226
35EEMercedes Hidalgo-Herrero, Ismael Rodríguez, Fernando Rubio: Testing learning strategies. IEEE ICCI 2005: 212-221
34EEAlberto 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
32EEManuel Núñez, Ismael Rodríguez, Fernando Rubio: Formal specification of multi-agent e-barter systems. Sci. Comput. Program. 57(2): 187-216 (2005)
31EEManuel 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
29EEManuel Núñez, Ismael Rodríguez, Fernando Rubio: A Tutoring System Supporting Experimentation with Virtual Macroeconomic Environments. AIMSA 2004: 361-370
28EEIsmael Rodríguez, Manuel Núñez, Fernando Rubio: Specification of Autonomous Agents in E-commerce Systems. FORTE Workshops 2004: 30-44
27EEManuel Núñez, Ismael Rodríguez, Fernando Rubio: Testing of Autonomous Agents Described as Utility State Machines. FORTE Workshops 2004: 322-336
26EEManuel Núñez, Ismael Rodríguez, Fernando Rubio: Applying Occam's Razor to FSMs. IEEE ICCI 2004: 138-147
25EEFernando Rubio, Ismael Rodríguez: A Parallel Language for Cognitive Informatics. IEEE ICCI 2004: 32-41
24EEManuel Núñez, Ismael Rodríguez, Fernando Rubio: A Formal Framework to Reduce Communications in Communication Systems. IICS 2004: 69-80
23EENatalia 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)
21EENatalia 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)
20EEIsmael 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)
19EENatalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Improving privacy in Vickrey auctions. SIGecom Exchanges 5(1): 1-12 (2004)
2003
18EEManuel Núñez, Ismael Rodríguez, Fernando Rubio: Towards the Identification of Living Agents in Complex Computational Environments. IEEE ICCI 2003: 151-160
17EENatalia López, Ismael Rodríguez, Fernando Rubio: Defining Meta-Adaptable Living Agents. IEEE ICCI 2003: 161-170
16EEFernando 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
14EEIsmael Rodríguez, Fernando Rubio: A Framework for Selecting Components Automatically: A First Approach. Electr. Notes Theor. Comput. Sci. 82(6): (2003)
13EEHans-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
12EENatalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: WHAT: Web-Based Haskell Adaptive Tutor. AIMSA 2002: 71-80
11EENatalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Introducing the Golden Section to Computer Science. IEEE ICCI 2002: 203-212
10EENatalia López, Manuel Núñez, Fernando Rubio: Stochastic Process Algebras Meet Eden. IFM 2002: 29-48
9EENatalia 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
8EENatalia 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
7EECristó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
4EEUlrike 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

Coauthor Index

1César Andrés [47]
2Sviatoslav Braynov (Sviatoslav Brainov) [39]
3Alberto de la Encina [34] [36] [41] [42] [45] [46] [48] [52]
4Kevin Hammond [13]
5Felix Hernandez [1]
6Mercedes Hidalgo-Herrero [33] [35] [37] [40] [41] [45] [46] [50] [52]
7Susumu Horiguchi [13]
8Ulrike Klusik [4] [13]
9Luis Llana [36] [42] [45]
10Hans-Wolfgang Loidl [13]
11Rita Loogen [4] [13]
12Natalia López [8] [9] [10] [11] [12] [15] [17] [19] [21] [22] [23] [38]
13Zakaria Maamar [30]
14Greg Michaelson [13]
15Manuel Núñez [8] [9] [10] [11] [12] [15] [18] [19] [20] [21] [22] [23] [24] [26] [27] [28] [29] [30] [31] [32] [38] [39] [43]
16Yolanda Ortega-Mallén [33] [37] [40]
17Cristóbal Pareja-Flores (Cristóbal Pareja) [2] [3] [7]
18Fernando López Pelayo (Fernando L. Pelayo) [30]
19Ricardo Peña-Marí (Ricardo Pena) [1] [2] [3] [5] [6] [7] [13]
20Álvaro J. Rebón Portillo [13]
21Key Pousttchi [30]
22Steffen Priebe [4] [13]
23Pablo Rabanal [38] [41] [44] [46] [49] [51] [52] [53] [54]
24Ismael Rodríguez [8] [9] [11] [12] [14] [15] [16] [17] [18] [19] [20] [23] [24] [25] [26] [27] [28] [29] [31] [32] [34] [35] [38] [41] [43] [44] [46] [47] [48] [49] [50] [51] [53] [54]
25Norman Scaife [13]
26Clara Segura [2] [3] [5] [7]
27Philip W. Trinder [13]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)