The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Manuel Núñez: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Natalia López, Manuel Núñez, Fernando L. Pelayo
    STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems. [Citation Graph (0, 0)][DBLP]
    IEEE ICCI, 2004, pp:64-73 [Conf]
  2. 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]
  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 L. Pelayo, Manuel Núñez, Natalia López
    Specifying the memorization process with STOPA. [Citation Graph (0, 0)][DBLP]
    IEEE ICCI, 2005, pp:238-247 [Conf]
  6. Luis A. Galán, Manuel Núñez, Cristóbal Pareja, Ricardo Pena
    Non Homomorphic Reductions of Data Structures. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (2), 1994, pp:393-407 [Conf]
  7. Pedro Palao, Manuel Núñez
    An Effective Algorithm for Compiling Pattern Matching Keeping Laziness. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:383-394 [Conf]
  8. 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]
  9. 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]
  10. 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]
  11. Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Manuel Núñez, Pedro Palao-Gostanza
    Testing Semantics for a Probabilistic-Timed Process Algebra. [Citation Graph (0, 0)][DBLP]
    ARTS, 1997, pp:353-367 [Conf]
  12. Manuel Núñez
    An Axiomatization of Probabilistic Testing. [Citation Graph (0, 0)][DBLP]
    ARTS, 1999, pp:130-150 [Conf]
  13. Natalia López, Manuel Núñez
    A Testing Theory for Generally Distributed Stochastic Processes. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:321-335 [Conf]
  14. Manuel Núñez, David de Frutos-Escrig, Luis Fernando Llana Díaz
    Acceptance Trees for Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1995, pp:249-263 [Conf]
  15. 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]
  16. Luis Fernando Llana Díaz, Manuel Núñez
    Testing Semantics for Unbounded Nondeterminism. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1997, pp:538-545 [Conf]
  17. 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]
  18. Manuel Núñez, Ismael Rodríguez
    Conformance Testing Relations for Timed Systems. [Citation Graph (0, 0)][DBLP]
    FATES, 2005, pp:103-117 [Conf]
  19. David de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez
    Friendly Testing as a Conformance Relation. [Citation Graph (0, 0)][DBLP]
    FORTE, 1997, pp:283-298 [Conf]
  20. David de Frutos-Escrig, Natalia López, Manuel Núñez
    Global Timed Bisimulation: An Introduction. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:401-416 [Conf]
  21. 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]
  22. 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]
  23. 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]
  24. Manuel Núñez, David de Frutos-Escrig
    Testing Semantics for Probabilistic LOTOS. [Citation Graph (0, 0)][DBLP]
    FORTE, 1995, pp:367-382 [Conf]
  25. 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]
  26. Manuel Núñez, Ismael Rodríguez
    Encoding PAMR into (Timed) EFSMs. [Citation Graph (0, 0)][DBLP]
    FORTE, 2002, pp:1-16 [Conf]
  27. Manuel Núñez, Ismael Rodríguez
    Towards Testing Stochastic Timed Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 2003, pp:335-350 [Conf]
  28. Manuel Núñez, David Rupérez
    Fair Testing through Probabilistic Testing. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:135-150 [Conf]
  29. 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]
  30. 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]
  31. Manuel Núñez, Pedro Palao, Ricardo Pena
    A Second Year Course on Data Structures Based on Functional Programming. [Citation Graph (0, 0)][DBLP]
    FPLE, 1995, pp:65-84 [Conf]
  32. 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]
  33. Natalia López, Manuel Núñez
    NMSPA: A Non-Markovian Model for Stochastic Processes. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
  34. Pedro Palao-Gostanza, Ricardo Pena, Manuel Núñez
    A New Look to Pattern Matching in Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    ICFP, 1996, pp:110-121 [Conf]
  35. Natalia López, Manuel Núñez
    Weak Stochastic Bisimulation for Non-markovian Processes. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:454-468 [Conf]
  36. Natalia López, Manuel Núñez, Fernando Rubio
    Stochastic Process Algebras Meet Eden. [Citation Graph (0, 0)][DBLP]
    IFM, 2002, pp:29-48 [Conf]
  37. 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]
  38. 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]
  39. 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]
  40. David de Frutos-Escrig, Manuel Núñez, Juan Quemada
    Characterizing termination in LOTOS via testing. [Citation Graph (0, 0)][DBLP]
    PSTV, 1995, pp:237-250 [Conf]
  41. José Antonio Arnedo, Ana R. Cavalli, Manuel Núñez
    Fast Testing of Critical Properties through Passive Testing. [Citation Graph (0, 0)][DBLP]
    TestCom, 2003, pp:295-310 [Conf]
  42. 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]
  43. Ana R. Cavalli, Edgardo Montes de Oca, Manuel Núñez
    TestNet: Let's Test Together!. [Citation Graph (0, 0)][DBLP]
    TestCom, 2003, pp:258-264 [Conf]
  44. 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]
  45. Sviatoslav Braynov, Manuel Núñez, Fernando Rubio
    Editorial message: special track on e-commerce technologies. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:865-866 [Conf]
  46. Sviatoslav Braynov, Manuel Núñez, Peter R. Wurman
    Editorial message: special track on E-commerce technologies. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:757-758 [Conf]
  47. Sviatoslav Braynov, Manuel Núñez, Peter R. Wurman
    Editorial message: special track on e-commerce technologies. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:789-790 [Conf]
  48. 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]
  49. 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]
  50. Natalia López, Manuel Núñez
    An Overview of Probabilistic Process Algebras and their Equivalences. [Citation Graph (0, 0)][DBLP]
    Validation of Stochastic Systems, 2004, pp:89-123 [Conf]
  51. Emmanuel Bayse, Ana R. Cavalli, Manuel Núñez, Fatiha Zaïdi
    A passive testing approach based on invariants: application to the WAP [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2005, v:48, n:2, pp:235-245 [Journal]
  52. Natalia López, Manuel Núñez, Fernando Rubio
    Predicting performance in the presence of stochastic information. [Citation Graph (0, 0)][DBLP]
    Comput. Syst. Sci. Eng., 2004, v:19, n:6, pp:- [Journal]
  53. 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]
  54. Carlos Gregorio-Rodríguez, Manuel Núñez
    Denotational Semantics for Probabilistic Refusal Testing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:22, n:, pp:- [Journal]
  55. Natalia López, Manuel Núñez, Fernando Rubio
    An integrated framework for the performance analysis of asynchronous communicating stochastic processes. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2004, v:16, n:3, pp:238-262 [Journal]
  56. 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]
  57. Manuel Núñez
    Algebraic theory of probabilistic processes. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2003, v:56, n:1-2, pp:117-177 [Journal]
  58. 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]
  59. 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]
  60. 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]
  61. 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]
  62. 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]
  63. 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]
  64. 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]
  65. 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]
  66. 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]
  67. 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]

  68. Formal Passive Testing of Service-Oriented Systems. [Citation Graph (, )][DBLP]


  69. Analysis of the OLSR Protocol by Using Formal Passive Testing. [Citation Graph (, )][DBLP]


  70. Passive Testing of Timed Systems. [Citation Graph (, )][DBLP]


  71. Controllable Test Cases for the Distributed Test Architecture. [Citation Graph (, )][DBLP]


  72. Specification and Testing of E-Commerce Agents Described by Using UIOLTSs. [Citation Graph (, )][DBLP]


  73. Testing Probabilistic Distributed Systems. [Citation Graph (, )][DBLP]


  74. A Hierarchy of Equivalences for Probabilistic Processes. [Citation Graph (, )][DBLP]


  75. A Hierarchical Methodology to Specify and Simulate Complex Computational Systems. [Citation Graph (, )][DBLP]


  76. A Statistical Approach to Test Stochastic and Probabilistic Systems. [Citation Graph (, )][DBLP]


  77. Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms. [Citation Graph (, )][DBLP]


  78. Combining Genetic Algorithms and Mutation Testing to Generate Test Sequences. [Citation Graph (, )][DBLP]


  79. Implementation Relations for the Distributed Test Architecture. [Citation Graph (, )][DBLP]


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


  81. Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models. [Citation Graph (, )][DBLP]


  82. Using formal methods to develop a complex information system: a practical/theoretical experience. [Citation Graph (, )][DBLP]


  83. Extending Stream X-Machines to Specify and Test Systems with Timeouts. [Citation Graph (, )][DBLP]


  84. Simulation Relations for Systems with Distributed Interfaces. [Citation Graph (, )][DBLP]


  85. Testing conformance on Stochastic Stream X-Machines. [Citation Graph (, )][DBLP]


  86. Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol. [Citation Graph (, )][DBLP]


  87. Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems. [Citation Graph (, )][DBLP]


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


  89. Derivation of Tests from Timed Specifications According to Different Coverage Criteria. [Citation Graph (, )][DBLP]


  90. Formal Development of a Complex Information System. [Citation Graph (, )][DBLP]


  91. ACABARASE: An Anti-spam CAse-BAsed ReAsoning SystEm. [Citation Graph (, )][DBLP]


  92. Passive Testing of Stochastic Timed Systems. [Citation Graph (, )][DBLP]


  93. A Novel Formalism to Represent Collective Intelligence in Multi-agent Systems. [Citation Graph (, )][DBLP]


  94. From Data Mining to User Models in Evolutionary Databases. [Citation Graph (, )][DBLP]


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


  96. Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications [Citation Graph (, )][DBLP]


Search in 0.253secs, Finished in 0.259secs
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