Publicaciones en las que colabora con MANUEL NÚÑEZ GARCÍA (12)

2023

  1. Improving the Expected Goal Value in Football Using Multilayer Perceptron Networks

    Communications in Computer and Information Science

2022

  1. Using Ant Colony Optimisation to Select Features Having Associated Costs

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Using Deep Transformer Based Models to Predict Ozone Levels

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2017

  1. A formal framework to specify and test systems with fuzzy-time information

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2009

  1. Testing semantics for RTPA

    Fundamenta Informaticae, Vol. 90, Núm. 3, pp. 305-335

2008

  1. A hierarchy of equivalences for probabilistic processes

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2006

  1. Customized testing for probabilistic systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Derivation of a suitable finite test suite for customized probabilistic systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

1999

  1. Denotational semantics for probabilistic refusal testing

    Electronic Notes in Theoretical Computer Science

1998

  1. An invitation to friendly testing

    Journal of Computer Science and Technology, Vol. 13, Núm. 6

  2. Invitation to friendly testing

    Journal of Computer Science and Technology, Vol. 13, Núm. 6, pp. 531-545

1997

  1. Introducing friendly testing

    V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia. Vigo, junio de 1997