Conference papers (7)

¹ Publicaciones consideradas como producción de la unidad.

View referenced research data.

in the year 2017 Remove filter
filter_list Type (aggr.) Conference papers from 2017 to 2017 Computational Theory and Mathematics

2017

  1. A multi-objective optimization framework for multiple sequence alignment with metaheuristics

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

  2. A simulation tool for tccp programs

    Electronic Proceedings in Theoretical Computer Science, EPTCS

  3. Fast(er) reasoning in interval temporal logic

    Leibniz International Proceedings in Informatics, LIPIcs

  4. GTS families for the flexible composition of graph transformation systems

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

  5. On grid aware refinement of the unit hypercube and simplex: Focus on the complete tree size

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

  6. On the properties of atom definability and well-supportedness in logic programming

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

  7. Verifying timed BPMN processes using Maude

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