Publications

• 2009
• 2008
• 2007
• 2006
• 2005
• 2004 — -∞

• J. Paris, V. Gulias, and A. Carlos, ``A distributed system for massive generation of synthetic video using gpus,'' in Extended Abstracts of Twelve International Conference on Computer Aided Systems Theory (Eurocast09). Simulation and Formal Methods in Systems Design and Engineering. Las Plamas de Gran Canaria. Spain. February 15-20, 2009 (R. m. D. J. Alexis Quesada Arencibia, Jose Carlos Rodriguez Rodriguez and R. M. Diaz, eds.), pp. 79-80, IUCTC, February 2009. [ conference ] [ BibTeX ]
  @InProceedings{paris:09:distributed_video_ea, title = {A Distributed System for Massive Generation of Synthetic Video Using GPUs}, author = {Paris, Javier and Gulias, Victor and Abalde Carlos}, booktitle = {Extended Abstracts of Twelve International Conference on Computer Aided Systems Theory (Eurocast09). Simulation and Formal Methods in Systems Design and Engineering. Las Plamas de Gran Canaria. Spain. February 15-20, 2009}, editor = {Alexis Quesada Arencibia, Jose Carlos Rodriguez Rodriguez, Roberto moreno Diaz JR. and Roberto Moreno Diaz}, publisher = {IUCTC}, isbn = {978-84-691-8502-5}, pages = "79--80", location = {Canary Islands, Spain}, month = {February}, year = {2009}, confurl = {http://www.iuctc.ulpqc.es/spain/eurocast2009/} }


• J. Paris, V. Gulias, and A. Carlos, ``A distributed system for massive generation of synthetic video using gpus,'' in Extended Abstracts of Twelve International Conference on Computer Aided Systems Theory (Eurocast09). Simulation and Formal Methods in Systems Design and Engineering. Las Plamas de Gran Canaria. Spain. February 15-20, 2009 (R. m. D. J. Alexis Quesada Arencibia, Jose Carlos Rodriguez Rodriguez and R. M. Diaz, eds.), pp. 79-80, IUCTC, February 2009. [ conference ] [ BibTeX ]
  @InProceedings{paris:09:distributed_video_ea, title = {A Distributed System for Massive Generation of Synthetic Video Using GPUs}, author = {Paris, Javier and Gulias, Victor and Abalde Carlos}, booktitle = {Extended Abstracts of Twelve International Conference on Computer Aided Systems Theory (Eurocast09). Simulation and Formal Methods in Systems Design and Engineering. Las Plamas de Gran Canaria. Spain. February 15-20, 2009}, editor = {Alexis Quesada Arencibia, Jose Carlos Rodriguez Rodriguez, Roberto moreno Diaz JR. and Roberto Moreno Diaz}, publisher = {IUCTC}, isbn = {978-84-691-8502-5}, pages = "79--80", location = {Canary Islands, Spain}, month = {February}, year = {2009}, confurl = {http://www.iuctc.ulpqc.es/spain/eurocast2009/} }


• J. Paris, V. Gulias, and A. Carlos, ``A distributed system for massive generation of synthetic video using gpus,'' in Extended Abstracts of Twelve International Conference on Computer Aided Systems Theory (Eurocast09). Simulation and Formal Methods in Systems Design and Engineering. Las Plamas de Gran Canaria. Spain. February 15-20, 2009 (R. m. D. J. Alexis Quesada Arencibia, Jose Carlos Rodriguez Rodriguez and R. M. Diaz, eds.), pp. 79-80, IUCTC, February 2009. [ conference ] [ BibTeX ]
  @InProceedings{paris:09:distributed_video_ea, title = {A Distributed System for Massive Generation of Synthetic Video Using GPUs}, author = {Paris, Javier and Gulias, Victor and Abalde Carlos}, booktitle = {Extended Abstracts of Twelve International Conference on Computer Aided Systems Theory (Eurocast09). Simulation and Formal Methods in Systems Design and Engineering. Las Plamas de Gran Canaria. Spain. February 15-20, 2009}, editor = {Alexis Quesada Arencibia, Jose Carlos Rodriguez Rodriguez, Roberto moreno Diaz JR. and Roberto Moreno Diaz}, publisher = {IUCTC}, isbn = {978-84-691-8502-5}, pages = "79--80", location = {Canary Islands, Spain}, month = {February}, year = {2009}, confurl = {http://www.iuctc.ulpqc.es/spain/eurocast2009/} }


• J. S. Jorge, A. Valderruten, V. M. Gulías, and J. París, ``Evolución en la adaptación al EEES de la asignatura de Algoritmos en la Facultad de Informática de A Coruña,'' in Actas de las VII Jornadas de Redes de Investigación en Docencia Universitaria, 4 y 5 de junio de 2009, Universidad de Alicante, (Alicante, España), pp. 467-475, Universidad de Alicante, Vicerrectorado de Planificación Estratégica y Calidad, Instituto de Ciencias de la Educación, 2009. [ conference ] [ BibTeX ]
  @InProceedings{jorge:09:evolucion_adaptacion_algoritmos, author = "J. Santiago Jorge and Alberto Valderruten and Víctor M. Gulías and Javier París", title = "{Evolución en la adaptación al EEES de la asignatura de Algoritmos en la Facultad de Informática de A Coruña}", booktitle = "{Actas de las VII Jornadas de Redes de Investigación en Docencia Universitaria, 4 y 5 de junio de 2009, Universidad de Alicante}", pages = "467--475", year = 2009, address = "Alicante, España", ISBN = "978-84-692-5510-0", publisher = "{Universidad de Alicante, Vicerrectorado de Planificación Estratégica y Calidad, Instituto de Ciencias de la Educación}", confurl = "http://www.ua.es/ice/redes/jornadas/2009/index.html", }


• ``The fold operator as a coequalizer using coq,'' in Extended Abstracts of Twelve International Confernece on Computer Aided Systems Theory (Eurocast 09). Simulation and Formal methods in Systems Design and Engineering. Las Palmas de Gran Canaria, Spain. February 15-20, 2009 (R. M. D. J. Alexis Quesada Arencibia, José Carlos Rodríguez and R. M. Díaz, eds.), pp. 58-60, IUCTC, February 2009. [ conference ] [ BibTeX ]
  @InProceedings{blanco:09:fold, title = {The Fold Operator as a Coequalizer Using Coq}, autor = {Blanco, Antonio and Freire, Enrique and Freire, Jose Luis and París, Javier}, booktitle = {Extended Abstracts of Twelve International Confernece on Computer Aided Systems Theory (Eurocast 09). Simulation and Formal methods in Systems Design and Engineering. Las Palmas de Gran Canaria, Spain. February 15-20, 2009}, editor = {Alexis Quesada Arencibia, José Carlos Rodríguez, Roberto Moreno Díaz JR. and Roberto Moreno Díaz}, publisher = {IUCTC}, isbn = {978-84-691-8502-05}, pages = "58-60", location = {Canary Islands, Spain}, month = {February}, year= {2009}, confurl = {http://www.iuctc.ulpqc.es/spain/eurocast2009/} }


• V. M. G. Laura M. Castro, Miguel A. Francisco, ``Testing integration of applications with quickcheck,'' in Extended Abstracts of Twelve International Conference on Computer Aided Systems Theory (Eurocast'09). Simulation and Formal Methods in Systems Design and Engineering. Las Palmas de Gran Canaria. Spain. February 15-20, 2009 (R. M. D. J. Alexis Quesada Arencibia, José Carlos Rodríguez Rodríguez and R. M. Díaz, eds.), pp. 299-300, IUCTC, February 2009. [ conference ] [ BibTeX ]
  @InProceedings{castro:09:testing_integration, title = {Testing Integration of Applications with QuickCheck}, author = {Laura M. Castro, Miguel A. Francisco, Víctor M. Gulías}, booktitle = {Extended Abstracts of Twelve International Conference on Computer Aided Systems Theory (Eurocast'09). Simulation and Formal Methods in Systems Design and Engineering. Las Palmas de Gran Canaria. Spain. February 15-20, 2009}, editor = {Alexis Quesada Arencibia, José Carlos Rodríguez Rodríguez, Roberto Moreno Díaz JR. and Roberto Moreno Díaz}, publisher = {IUCTC}, isbn = {978-84-691-8502-5}, pages = "299--300", location = {Canary Islands, Spain}, month = {February}, year = {2009}, confurl = {http://www.iuctc.ulpgc.es/spain/eurocast2009/} }


• J. S. Jorge, V. M. Gulías, and J. L. Freire, ``Certifying properties of an efficient functional program for computing Gröbner bases,'' Journal of Symbolic Computation, vol. 44, no. 5, pp. 571-582, 2009. doi:10.1016/j.jsc.2007.07.016. [ http ] [ BibTeX ]
  @Article{jorge:09:certifying-grobner, author = "J. Santiago Jorge and Víctor M. Gulías and José L. Freire", title = "{Certifying properties of an efficient functional program for computing Gröbner bases}", journal = "{Journal of Symbolic Computation}", volume = "44", number = "5", pages = "571--582", year = "2009", note = "doi:10.1016/j.jsc.2007.07.016", ISSN = "0747-7171", exturl = "http://www.sciencedirect.com/science/article/B6WM7-4TJ1HK0-9/2/60111c62c4b3139c883d96ddb2af1bc0", }