Models and Applications of Distributed Systems Group

Publications

J. S. Jorge, A. Valderruten, V. M. Gulías, and C. Abalde, ``Experiencia en la adaptación al Espacio Europeo de Educación Superior de las asignaturas de Algoritmos y Diseño de Sistemas Informáticos en la Facultad de Informática de A Coruña,'' in Actas de las VI Jornadas de Investigación en Docencia Universitaria, 9 y 10 de junio de 2008, Universidad de Alicante, (Alicante, España), pp. 677-683, June 2008. [ conference ] [ BibTeX ]
@InProceedings{jorge:08:experiencia_eees, author = "J. Santiago Jorge and Alberto Valderruten and Víctor M. Gulías and Carlos Abalde", title = "{Experiencia en la adaptación al Espacio Europeo de Educación Superior de las asignaturas de Algoritmos y Diseño de Sistemas Informáticos en la Facultad de Informática de A Coruña}", booktitle = "{Actas de las VI Jornadas de Investigación en Docencia Universitaria, 9 y 10 de junio de 2008, Universidad de Alicante}", pages = "677--683", year = "2008", address = "Alicante, España", month = jun, ISBN = "978-84-691-4559-3", confurl = "http://www.ua.es/ice/redes/jornadas/2008/index.html", }

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, 2008. doi:10.1016/j.jsc.2007.07.016. [ http ] [ BibTeX ]
@Article{jorge:08: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}", year = "2008", note = "doi:10.1016/j.jsc.2007.07.016", OPTannote = "In Press, Accepted Manuscript, Available online 26 September 2008", exturl = "http://www.sciencedirect.com/science/article/B6WM7-4TJ1HK0-9/2/60111c62c4b3139c883d96ddb2af1bc0", }

T. Arts, L. M. Castro, and J. Hughes, ``Testing erlang data types with quviq quickcheck,'' in Proceedings of 7th ACM SIGPLAN Erlang Workshop (Erlang'08). Victoria, British Columbia, Canada. September 27, 2008., pp. 1-8, Association for Computing Machinery (ACM), September 2008. [ conference ] [ BibTeX ]
@InProceedings{arts:08:testing_datatypes, title = {Testing Erlang Data Types with Quviq QuickCheck}, author = {Thomas Arts and Laura M. Castro and John Hughes}, booktitle = {Proceedings of 7th ACM SIGPLAN Erlang Workshop (Erlang'08). Victoria, British Columbia, Canada. September 27, 2008.}, publisher = {Association for Computing Machinery (ACM)}, isbn = {978-1-60558-065-4}, pages = "1--8", location = {Victoria, British Columbia, Canada}, month = {September}, year = {2008}, confurl = {http://www.erlang.org/workshop/2008/} }

J. S. Jorge, V. M. Gulías, and L. M. Castro, ``Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server,'' Lecture Notes in Artificial Intelligence, vol. 5144, pp. 296-299, 2008. Intelligent Computer Mathematics. 15th Symposium, Calculemus 2008. Birmingham, UK, July 28 - August 1, 2008. Proceedings. [ BibTeX ]
@Article{jorge:08:using_coq_prove, author = "J. Santiago Jorge and Victor M. Gulías and Laura M. Castro", title = "{Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server}", journal = "Lecture Notes in Artificial Intelligence", year = "2008", editor = "S. Autexier and J. Campbell and J. Rubio and V. Sorge and M. Suzuki and F. Wiedijk", volume = "5144", pages = "296--299", note = "Intelligent Computer Mathematics. 15th Symposium, Calculemus 2008. Birmingham, UK, July 28 - August 1, 2008. Proceedings", ISSN = "0302-9743", ISBN = "978-3-540-85109-7" }

L. M. Castro, V. M. Gulías, C. Abalde, and J. París, ``Database access and patterns in Erlang/OTP,'' in Proceedings of 8th WSEAS International Conference on Applied Informatics and Communications (AIC'08). Rhodes, Greece. August 20-22, 2008. (N. E. Mastorakis, M. Demiralp, V. Madenov, and Z. Bojkovic, eds.), pp. 73-78, WSEAS Press, August 2008. Also proceedings CD-ROM ISBN 978-960-6766-99-2. [ conference ] [ BibTeX ]
@InProceedings{castro:08:db_patterns, title = {Database Access and Patterns in {E}rlang/{OTP}}, author = {Laura M. Castro and Víctor M. Gulías and Carlos Abalde and Javier París}, booktitle = {Proceedings of 8th WSEAS International Conference on Applied Informatics and Communications (AIC'08). Rhodes, Greece. August 20-22, 2008.}, publisher = {WSEAS Press}, editor = {Nikis E. Mastorakis and Metis Demiralp and Valeri Madenov and Zoran Bojkovic}, isbn = {978-960-6766-94-7}, issn = {1790-5109}, pages = "73--78", location = {Rhodes, Greece}, month = {August}, year = {2008}, note = {Also proceedings CD-ROM ISBN 978-960-6766-99-2}, confurl = {http://www.wseas.org/conferences/2008/rodos/aic/} }

C. Abalde, V. M. Gulías, and L. M. Castro, ``Efficient discovery of widely distributed and non-volatile resources on DHTs,'' in Proceedings of 3rd International Conference on Internet and Web Applications and Services (ICIW'08). Athens, Greece. June 8-13, 2008. (G. O. D. K. W. C. Abdelhamid Mellouk, Jun Bi and M. Popescu, eds.), pp. 370-376, IEEE Computer Society Press, June 2008. Track on P2P Systems and Applications. Sponsored by IARIA Work Group on Advanced Topics and IARIA Work Group on Web Services. [ conference | http ] [ BibTeX ]
@InProceedings{abalde:08:efficient_discovery, title = {Efficient Discovery of Widely Distributed and Non-Volatile Resources on {DHT}s}, author = {Carlos Abalde and Víctor M. Gulías and Laura M. Castro}, booktitle = {Proceedings of 3rd International Conference on Internet and Web Applications and Services (ICIW'08). Athens, Greece. June 8-13, 2008.}, publisher = {IEEE Computer Society Press}, editor = {Abdelhamid Mellouk, Jun Bi, Guadalupe Ortiz Dickson K. W. Chiu and Manuela Popescu}, isbn = {970-0-7695-3163-2}, pages = "370--376", location = {Athens, Greece}, month = {June}, year = {2008}, note = {Track on P2P Systems and Applications. Sponsored by IARIA Work Group on Advanced Topics and IARIA Work Group on Web Services.}, confurl = {http://www.iaria.org/conferences2008/ICIW08.html}, exturl = {http://doi.ieeecomputersociety.org/10.1109/ICIW.2008.19} }