The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ismael Rodríguez: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
    Introducing the Golden Section to Computer Science. [Citation Graph (0, 0)][DBLP]
    IEEE ICCI, 2002, pp:203-212 [Conf]
  2. Natalia López, Ismael Rodríguez, Fernando Rubio
    Defining Meta-Adaptable Living Agents. [Citation Graph (0, 0)][DBLP]
    IEEE ICCI, 2003, pp:161-170 [Conf]
  3. Manuel Núñez, Ismael Rodríguez, Fernando Rubio
    Towards the Identification of Living Agents in Complex Computational Environments. [Citation Graph (0, 0)][DBLP]
    IEEE ICCI, 2003, pp:151-160 [Conf]
  4. Manuel Núñez, Ismael Rodríguez, Fernando Rubio
    Applying Occam's Razor to FSMs. [Citation Graph (0, 0)][DBLP]
    IEEE ICCI, 2004, pp:138-147 [Conf]
  5. Fernando Rubio, Ismael Rodríguez
    A Parallel Language for Cognitive Informatics. [Citation Graph (0, 0)][DBLP]
    IEEE ICCI, 2004, pp:32-41 [Conf]
  6. Mercedes Hidalgo-Herrero, Ismael Rodríguez, Fernando Rubio
    Testing learning strategies. [Citation Graph (0, 0)][DBLP]
    IEEE ICCI, 2005, pp:212-221 [Conf]
  7. Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
    WHAT: Web-Based Haskell Adaptive Tutor. [Citation Graph (0, 0)][DBLP]
    AIMSA, 2002, pp:71-80 [Conf]
  8. Manuel Núñez, Ismael Rodríguez, Fernando Rubio
    A Tutoring System Supporting Experimentation with Virtual Macroeconomic Environments. [Citation Graph (0, 0)][DBLP]
    AIMSA, 2004, pp:361-370 [Conf]
  9. Natalia López, Manuel Núñez, Ismael Rodríguez
    Assessing the Expressivity of Formal Specification Languages. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:220-234 [Conf]
  10. Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
    Implementation Relations for Stochastic Finite State Machines. [Citation Graph (0, 0)][DBLP]
    EPEW, 2006, pp:123-137 [Conf]
  11. Natalia López, Manuel Núñez, Ismael Rodríguez
    Testing of Symbolic-Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    FATES, 2004, pp:49-63 [Conf]
  12. Manuel Núñez, Ismael Rodríguez
    Conformance Testing Relations for Timed Systems. [Citation Graph (0, 0)][DBLP]
    FATES, 2005, pp:103-117 [Conf]
  13. Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez
    Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 2006, pp:467-483 [Conf]
  14. Natalia López, Manuel Núñez, Ismael Rodríguez
    Formal Specification of Symbolic-Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    FORTE Workshops, 2004, pp:114-127 [Conf]
  15. Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
    Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts. [Citation Graph (0, 0)][DBLP]
    FORTE, 2006, pp:372-387 [Conf]
  16. Manuel Núñez, Ismael Rodríguez
    PAMR: A Process Algebra for the Management of Resources in Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 2001, pp:169-184 [Conf]
  17. Manuel Núñez, Ismael Rodríguez
    Encoding PAMR into (Timed) EFSMs. [Citation Graph (0, 0)][DBLP]
    FORTE, 2002, pp:1-16 [Conf]
  18. Manuel Núñez, Ismael Rodríguez
    Towards Testing Stochastic Timed Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 2003, pp:335-350 [Conf]
  19. Manuel Núñez, Ismael Rodríguez, Fernando Rubio
    Testing of Autonomous Agents Described as Utility State Machines. [Citation Graph (0, 0)][DBLP]
    FORTE Workshops, 2004, pp:322-336 [Conf]
  20. Ismael Rodríguez, Manuel Núñez, Fernando Rubio
    Specification of Autonomous Agents in E-commerce Systems. [Citation Graph (0, 0)][DBLP]
    FORTE Workshops, 2004, pp:30-44 [Conf]
  21. Ismael Rodríguez, Manuel Núñez
    Introducing CEES: Complex Economic Environments Simulator. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science, 2003, pp:658-667 [Conf]
  22. Fernando Rubio, Ismael Rodríguez
    A Parallel Framework for Computational Science. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science, 2003, pp:1002-1011 [Conf]
  23. Manuel Núñez, Ismael Rodríguez, Fernando Rubio
    A Formal Framework to Reduce Communications in Communication Systems. [Citation Graph (0, 0)][DBLP]
    IICS, 2004, pp:69-80 [Conf]
  24. Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
    A Formal Framework for E-Barter Based on Microeconomic Theory and Process Algebras. [Citation Graph (0, 0)][DBLP]
    IICS, 2002, pp:217-228 [Conf]
  25. Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
    Including Malicious Agents into a Collaborative Learning Environment. [Citation Graph (0, 0)][DBLP]
    Intelligent Tutoring Systems, 2002, pp:51-60 [Conf]
  26. Alberto de la Encina, Ismael Rodríguez, Fernando Rubio
    Testing Speculative Work in a Lazy/Eager Parallel Functional Language. [Citation Graph (0, 0)][DBLP]
    LCPC, 2005, pp:274-288 [Conf]
  27. Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez
    Customized Testing for Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    TestCom, 2006, pp:87-102 [Conf]
  28. Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez
    A Logic for Assessing Sets of Heterogeneous Testing Hypotheses. [Citation Graph (0, 0)][DBLP]
    TestCom, 2006, pp:39-54 [Conf]
  29. Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
    A Multi-Agent System for E-Barter Including Transaction and Shipping Costs. [Citation Graph (0, 0)][DBLP]
    SAC, 2003, pp:587-594 [Conf]
  30. Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
    Encouraging knowledge exchange in discussion forums by market-oriented mechanisms. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:952-956 [Conf]
  31. Ismael Rodríguez, Natalia López
    Implementing private Vickrey auctions. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:796-800 [Conf]
  32. Ismael Rodríguez
    Formal specification of autonomous commerce agents. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:774-778 [Conf]
  33. Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez
    From Theoretical e-barter Models to an Implementation Based on Web Services. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:241-264 [Journal]
  34. Ismael Rodríguez, Fernando Rubio
    A Framework for Selecting Components Automatically: A First Approach. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:6, pp:- [Journal]
  35. Ismael Rodríguez, Manuel Núñez, Fernando Rubio
    A formal framework for analyzing reusability complexity in component-based systems. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2004, v:46, n:12, pp:791-804 [Journal]
  36. Manuel Núñez, Ismael Rodríguez, Fernando Rubio
    Formal specification of multi-agent e-barter systems. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:57, n:2, pp:187-216 [Journal]
  37. Manuel Núñez, Ismael Rodríguez, Fernando Rubio
    Specification and testing of autonomous agents in e-commerce systems. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2005, v:15, n:4, pp:211-233 [Journal]
  38. Natalia López, Manuel Núñez, Ismael Rodríguez
    Specification, testing and implementation relations for symbolic-probabilistic systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:353, n:1-3, pp:228-248 [Journal]
  39. Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
    A Brief Introduction to THOTL. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:501-510 [Conf]
  40. Ismael Rodríguez, Manuel Núñez
    A Formal Methodology to Test Complex Heterogeneous Systems. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:394-409 [Conf]
  41. Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
    Testing Finite State Machines Presenting Stochastic Time and Timeouts. [Citation Graph (0, 0)][DBLP]
    EPEW, 2007, pp:97-111 [Conf]
  42. Natalia López, Manuel Núñez, Ismael Rodríguez
    SPAMR: Extending PAMR with stochastic time. [Citation Graph (0, 0)][DBLP]
    EPEW, 2007, pp:63-79 [Conf]
  43. Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
    Using River Formation Dynamics to Design Heuristic Algorithms. [Citation Graph (0, 0)][DBLP]
    UC, 2007, pp:163-177 [Conf]
  44. Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
    Generation of optimal finite test suites for timed systems. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:149-158 [Conf]
  45. Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
    Formal Testing of Systems Presenting Soft and Hard Deadlines. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:160-174 [Conf]
  46. Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
    Formal Specification of Multi-agent Systems by Using EUSMs. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:318-333 [Conf]

  47. Testing Entities in a Parallel Cognitive Language. [Citation Graph (, )][DBLP]


  48. Automatically Deriving Choreography-Conforming Systems of Services. [Citation Graph (, )][DBLP]


  49. Finding Minimum Spanning/Distances Trees by Using River Formation Dynamics. [Citation Graph (, )][DBLP]


  50. A General Testability Theory. [Citation Graph (, )][DBLP]


  51. Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach. [Citation Graph (, )][DBLP]


  52. A Debugger for Parallel Haskell Dialects. [Citation Graph (, )][DBLP]


  53. A Formal Approach to Heuristically Test Restorable Systems. [Citation Graph (, )][DBLP]


  54. Testing Restorable Systems by Using RFD. [Citation Graph (, )][DBLP]


  55. Applying Evolutionary Computation Methods to Formal Testing and Model Checking. [Citation Graph (, )][DBLP]


  56. Formally Testing Liveness by Means of Compression Rates. [Citation Graph (, )][DBLP]


  57. THOTL: A Timed Extension of HOTL. [Citation Graph (, )][DBLP]


  58. Market-Based Adaptive Discussion Forums. [Citation Graph (, )][DBLP]


  59. Formal testing from timed finite state machines. [Citation Graph (, )][DBLP]


Search in 0.086secs, Finished in 0.089secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002