@inproceedings{PROLE2018:jsongen,
  author = {Ignacio Ballesteros and
                  Luis Eduardo Bueso de Barrio and
		  Lars-{\AA}ke Fredlund and
		  Julio Mariño},
  title = {Testing JSON Web Services Using JsonGen},
  optcrossref = {},
  optkey = {},
  booktitle = {Jornadas Españolas de Programación y Lenguajes (PROLE2018)},
  year = {2018},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  optseries = {},
  optpages = {},
  optmonth = {},
  optaddress = {},
  organization = {SISTEDES},
  publisher = {Universidad de Sevilla},
  url = {https://biblioteca.sistedes.es/submissions/descargas/2018/PROLE/2018-PROLE-025.pdf},
  optnote = {},
  optannote = {}
}
@inproceedings{Halim_Susana_India,
  author = {Halim Deedar and Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana},
  booktitle = {The Third International Conference on Emerging Trends in Electrical, Communication and Information Technologies},
  title = {Extending a flexible searching tool for multiple data-base formats},
  address = {Anantapur, Andhra Pradesh, India},
  note = {To be published. Best paper award},
  year = {2018},
  month = {December}
}
@phdthesis{2018:AFD:PHD,
  tipoactividad = {Tesis doctorales le{\'{i}}das},
  internacional = {yes},
  calificacion = {Sobresaliente CUM LAUDE},
  author = {{{\'{A}}lvaro} {Fern{\'{a}}ndez D{\'{i}}az}},
  title = {eJason: a Framework for Distributed and Fault-tolerant Multi-agent Systems},
  school = {Escuela T{\'{e}}cnica Superior de Ingenieros Inform{\'{a}}ticos, Universidad
                  Polit{\'{e}}cnica de Madrid},
  year = {2018},
  url = {},
  pdf = {},
  note = {},
  abstract = {}
}
@inproceedings{BENFRED2018,
  author = {{{\'{A}}lvaro} {Fern{\'{a}}ndez D{\'{i}}az} and
                  Clara Benac Earle and Lars{-}{\AA}ke Fredlund},
  title = {Pitfalls of Jason Concurrency},
  booktitle = {6th International Workshop on Engineering Multi-Agent Systems EMAS 2018},
  editor = {},
  publisher = {Springer},
  volume = {},
  year = {2018},
  note = {To be published},
  pages = {}
}
@article{DBLP:journals/corr/abs-1808-07937,
  author = {Lars{-}{\AA}ke Fredlund and
               Julio Mari{\~{n}}o and
               Sergio P{\'{e}}rez and
               Salvador Tamarit},
  title = {Runtime verification in Erlang by using contracts},
  journal = {CoRR},
  volume = {abs/1808.07937},
  year = {2018},
  url = {http://arxiv.org/abs/1808.07937},
  archiveprefix = {arXiv},
  eprint = {1808.07937},
  timestamp = {Thu, 29 Nov 2018 11:17:10 +0100},
  biburl = {https://dblp.org/rec/bib/journals/corr/abs-1808-07937},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{Susana-2018-elearningAfrica,
  author = {Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana},
  booktitle = {13th International Conference on ICT for Development, Education and Training. E-learning Africa},
  title = {Discussing current solutions for digital literacy at rural areas},
  address = {Kigali, Rwanda},
  year = {2018},
  month = {September}
}

This file was generated by bibtex2html 1.98.