Some recent publications

---

since 1999

• J. L. Freire, A. Blanco, J. M. Molinelli, On the combination of monads in Alexis Quesada-Arencibia José Carlos Rodríguez Roberto Moreno-Díaz jr Roberto Moreno-Díaz (Eds.) EXTENDED ABSTRACTS 15th International Conference on Computer Aided Systems Theory, pp.:65. Las Palmas de Gran Canaria, Spain, February 2015 University of Las Palmas de Gran Canaria (2015)



• J. L. Freire, A. Blanco, J. M. Molinelli, E. Freire, On the Confluence of the Graphic Calculus with Penrose Diagrams LNCS vol. 6927, (Springer), pp.:169--176. (2012)



• J. L. Freire, A. ,M.Ladra (Eds.) EACA (12th Meeting on Computer Algebra and Applications) 2010 (Abstracts book). University Santiago de Compostela. July 2010



• A. Blanco Ferro, E. Freire Brañas, J. L. Freire Nistal and Javier París Fernández, The foldl Operator as a Coequalizer using Coq LNCS 5717, pp 167--176. Springer Verlag. 2009. Coq code



• J. Santiago Jorge, Víctor M. Gulías and José l. Freire, Certifying properties of an efficient functional program for computing Gröbner bases Journal of Symbolic Computation, Vol 44, pp 571--682 (Elsevier), 2009



• J. L. Freire (Coordinator), Research and Teaching in Computing Engineering. High Standars and Reflections Meeting: Dept. of Computer Science, A Coruña, September 2008. Front Page Preface1 Preface2 Proceedings: A Coruña University Press. December 2009.



• A. Blanco Ferro, E. Freire Brañas, J. L. Freire, Understanding Nested Data-Types using Coq LNCS Vol 4739, pp 210--216 (Springer), 2007



• J.L. Freire Nistal, E. Freire Brañas, A. Blanco Ferro, D. Cabrero Souto On the Representation of Imperative Programs in a Logical Framework LNCS Vol 4739, pp 202--209 (Springer), 2007 Coq code



• J. Santiago Jorge, V. Gulías, J. L. Freire, Un programa funcional certificado y eficiente para el cálculo de Bases de Gröbner EACA'06 Sevilla Sept. 2006



• V. Gulías, M. Barreiro, J. L. Freire, VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming Journal of Functional Programming 15 (3):403-430, 2005. Cambridge University Press.



• G. Pérez Vega, J. M. Molinelli, J. L. Freire. Certificación de la Forma Normal de la Reducción de Polinomios. CLEI'05. 2005



• J. L. Freire, E. Freire, A. Blanco, On Recursive Functions and Well-founded Relations. LNCS 3643, pags.: 69--80. Springer Verlag, 2005.



• J. Santiago Jorge, Víctor M. Gulías, J. L. Freire, J. J. Sánchez, Reasoning about a Functional Program for computing Gröbner Basis . LNCS 3643. Springer Verlag, 2005.



• Antonio Blanco, Víctor M. Gulías, Javier Mosquera, Carlos Abalde, José L. Freire, Comercio Electrónico. La tecnología al servicio de la PYME . (Book, 271 pags.) ISBN 84-89444-91-9. Vía Láctea. 2005



• Carlos Abalde,  Víctor M. Gulías,  José L. Freire,  Juan J. Sánchez,  José M. García-Tizón,  Development of a Scalable, Fault Tolerant and Low Cost Cluster-based e-Payment System with a Distributed Functional Kernel. Lecture Notes in Computer Science 2809, pags. 220-231 Springer Verlag. 2003



• J. L. Freire Nistal,  A. Blanco Ferro,  V. M. Gulías,  E. Freire Brañas,  On the Strong Co-induction in Coq Lecture Notes in Computer Science 2809, pags. 279-291 Springer Verlag. 2003



• J. L. Freire Nistal,  A. Blanco Ferro,  V. M. Gulías,  E. Freire Brañas,  The Reduction Lemma in Coq. Ninth International Conference on Computer Aided Systems Theory (Eurocast'03).  Proceedings of Ninth International Conference on Computer Aided Systems Theory.  Las Palmas de Gran Canaria, Spain.  ISBN 84-688-08020-2 February 2003. 



• Roberto Moreno-Díaz, Bruno Buchberger, J. L. Freire (Eds.) Formal Methods and Tools. (Book 670 pags) ISBN 3-540-42969-X, Springer Verlag, 2001



• Carlos Abalde,  Víctor M. Gulías,  José L. Freire,  Juan J. Sánchez,  A Cluster-based Payment Gateway System Developed Using a Distributed Functional Language. The First Eurasian Conference on Advances in Information and Communication Technology. Workshop on Formal Modeling of Intelligent Peripheral Systems (EurAsia ICT 2002).  Proceedings of the First Eurasian Conference on Advances in Information and Communication Technology.  Shiraz, Iran.  October, 2002.  Ed. Austrian C. S. Society .



• Juan J. Sánchez,  Miguel Barreiro,  Víctor M. Gulías,  José L. Freire,  Exploiting Sequential Libraries on a Cluster of Computers. Erlang Workshop at the Principles, Logics, and Implementations of high-level programming languages (Erlang Workshop at PLI2001).  Proceedings of the Erlang Workshop 2001. (Electronic Edition)  Florence, Italy.  September, 2001.  Ed. Bjarne Däcker.



• Juan J. Sánchez,  Miguel Barreiro,  Víctor M. Gulías,  José L. Freire,  Javier Mosquera,  Functional Scheduling in a Distributed VoD Server. 13th International Workshop on the Implementation of Functional Languages (IFL2001).  Proceedings of 13th International Workshop on the Implementation of Functional Languages.  Stockholm, Sweden.  September, 2001.  Ed. Thomas Arts and Markus Mohnen.



• Miguel Barreiro,  Víctor M. Gulías,  José L. Freire,  Javier Mosquera,  Juan J. Sánchez,  An Erlang-based Hierarchical Distributed VoD System. Seventh International Erlang/OTP User Conference (EUC2001).  Proceedings of Seventh International Erlang/OTP User Conference.  Stockholm, Sweden.  September, 2001. (Electronic Edition)  Ed. Ericsson Utvecklings AB.



• Alberto Valderruten,  Víctor M. Gulías,  Juan J. Sánchez,  José L. Freire,  Javier Mosquera,  Implementación de un modelo de monitorización para un servidor de Vídeo bajo Demanda en Erlang. XXVII Conferencia Latinoamericana de Informática (CLEI2001).  Proceedings of XXVII Conferencia Latinoamericana de Informática.  Mérida, Venezuela.  September, 2001.  Ed. Jonás Montilva. ISBN: ISBN 980-11-0528-3, ISBN 980-11-0527-5.



• J. Santiago Jorge,  José L. Freire,  Prove and then Execute. in Álgebra Computacional y Aplicaciones.   Pags. 202-206.  Ed. Julio Rubio. ISBN: 84-95301-52-0. A resume in ACM Sigsam Bulletin, vol 35, pag 34, December 2001, issue 138. 2001.



• J. L. Freire Nistal,  A. Blanco Ferro,  J. E. Freire Brañas,  J. J. Sánchez Penas,  Fusion in Coq. Lecture Notes in Computer Science 2178, pags. 583-597, Springer Verlag 2001.



• A. Valderruten Vidal,  V. Gulías Fernández,  J. L. Freire Nistal,  M. Rodriguez Rubio,  Distributed Functional Computing and its Instrumentation. in Parallel and Distributed System: Architectures, Tools and Algorithms.  2000.  Pags. 15-37.  Ed. J. Aguilar. International Institute of Informatics and Systemics. ISBN: 980-07-5956-5.



• E. Freire Brañas,  J.L. Freire Nistal,  A. Blanco Ferro,  Dialgebras in High Order Programming. in 50 Years Of Wiener's Cybernetics (Wiener's 1999).  Wiener's Cybernetics - 50 years of evolution.  1999.  Pags. 45-49.  Ed. Universidad de Las Palmas de Gran Canaria.



• Miguel Barreiro,  Víctor M. Gulías,  Juan J. Quintela,  Antonio Blanco,  José L. Freire,  Experiencias con un Cluster Beowulf. Simposio Español de Informática Distribuida 1999 (SEID 1999).  Santiago de Compostela.  February, 1999.