Publicaciones en colaboración con investigadores/as de Universidad del País Vasco/Euskal Herriko Unibertsitatea (22)

2022

  1. Approaching Epistemic and Aleatoric uncertainty with Evolutionary Optimization: Examples and Challenges

    GECCO 2022 Companion - Proceedings of the 2022 Genetic and Evolutionary Computation Conference

  2. Approximate zero-crossing: a new interpretable, highly discriminative and low-complexity feature for EEG and iEEG seizure detection

    Journal of neural engineering, Vol. 19, Núm. 6

  3. Evolutionary Approach to Model Calibration with Uncertainty: An Application to Breast Cancer Growth Model

    GECCO 2022 Companion - Proceedings of the 2022 Genetic and Evolutionary Computation Conference

  4. Introduction / Prólogo / Sarrera (Irakaskuntzaren berrikuntza kontrol ingeniaritzan itsas energian)

    Irakaskuntzaren berrikuntza kontrol ingeniaritzan itsas energian

2016

  1. Construct, Merge, Solve & Adapt A new general algorithm for combinatorial optimization

    Computers and Operations Research, Vol. 68, pp. 75-88

2015

  1. Halo and Pseudohalo Cu(I)-Pyridinato Double Chains with Tunable Physical Properties

    Inorganic Chemistry, Vol. 54, Núm. 22, pp. 10738-10747

  2. Proteogenomics dashboard for the human proteome project

    Journal of Proteome Research, Vol. 14, Núm. 9, pp. 3738-3749

  3. Reversible stimulus-responsive Cu(i) iodide pyridine coordination polymer

    Chemical Communications, Vol. 51, Núm. 76, pp. 14306-14309

2010

  1. A complete axiomatization of strict equality

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

2004

  1. Calculation of the optical spectrum of the Ti8C12 and V8C12 Met-Cars

    Chemical Physics Letters, Vol. 398, Núm. 4-6, pp. 292-296

1993

  1. A technique for specifying and refining TCSP processes by using guards and liveness conditions

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

1991

  1. Acceptance automata: A framework for specifying and verifying TCSP parallel systems

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

1990

  1. A first order logic for partial functions

    Theoretical Computer Science, Vol. 74, Núm. 1, pp. 37-69