Articles (5)

¹ Publicaciones consideradas como producción de la unidad.

View referenced research data.

in the year 2009 Remove filter
filter_list Type (aggr.) Articles from 2009 to 2009 Computational Theory and Mathematics

2009

  1. Checking Protocol Compatibility using Maude

    Electronic Notes in Theoretical Computer Science, Vol. 255, pp. 65-81

  2. KA-SB: From data integration to large scale reasoning

    BMC Bioinformatics, Vol. 10, Núm. SUPPL. 10

  3. Model checking dynamic memory allocation in operating systems

    Journal of Automated Reasoning, Vol. 42, Núm. 2-4, pp. 229-264

  4. On a branch-and-bound approach for a Huff-like Stackelberg location problem

    OR Spectrum, Vol. 31, Núm. 3, pp. 679-705

  5. Towards a scalable infrastructure for semantic web services execution

    Journal of Software, Vol. 4, Núm. 8, pp. 821-832