Halim Deedar and Susana Muñoz-Hernández. Extending a flexible searching tool for multiple data-base formats. In The Third International Conference on Emerging Trends in Electrical, Communication and Information Technologies, Anantapur, Andhra Pradesh, India, December 2018. Best paper award. To be published in Lecture Notes in Electrical Engineering (Springer). [ bib ]
Susana Muñoz-Hernández. Discussing current solutions for digital literacy at rural areas. In 13th International Conference on ICT for Development, Education and Training. E-learning Africa, Kigali, Rwanda, September 2018. [ bib ]
Álvaro Fernández Díaz, Clara Benac Earle, and Lars-Åke Fredlund. Pitfalls of jason concurrency. In 6th International Workshop on Engineering Multi-Agent Systems EMAS 2018. Springer, 2018. To be published. [ bib ]
Julio Mariño and Raúl N N Alborodo. Communicating Process Architectures 2015 & 2016, chapter A Model-driven Methodology for Generating and Verifying CSP-based Java Code, pages 87--110. IOS Press, Amsterdam, The Netherlands, 2018. [ bib | DOI ]
Ignacio Ballesteros, Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, and Julio Mariño. Testing json web services using jsongen. In Jornadas Españolas de Programación y Lenguajes (PROLE2018). SISTEDES, Universidad de Sevilla, 2018. [ bib | .pdf ]
Álvaro Fernández Díaz. eJason: a Framework for Distributed and Fault-tolerant Multi-agent Systems. PhD thesis, Escuela Técnica Superior de Ingenieros Informáticos, Universidad Politécnica de Madrid, 2018. [ bib | www: | www: ]

Lars-Åke Fredlund, Julio Mariño, Sergio Pérez, and Salvador Tamarit. Runtime verification in erlang by using contracts. CoRR, abs/1808.07937, 2018. Final version to appear in LNCS. [ bib | arXiv | http ]

This file was generated by bibtex2html 1.98.