@techreport{BabelTR-2016-001-aflese,
  month = {January},
  title = {Improving flexible databases searches using machine learning},
  author = {Hern{\'a}ndez Munuera, Alejandro and Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana},
  address = {Madrid, Espa{\~n}a},
  year = {2016},
  institution = {Babel research group (Universidad Politécnica de Madrid)},
  key = {BabelTR-2016-001},
  pdf = {http://oa.upm.es/39717}
}
@article{Gallina2016,
  title = {Promoting MBA in the rail sector by deriving process-related evidence via MDSafeCer},
  journal = {Computer Standards & Interfaces },
  volume = {},
  number = {},
  pages = { - },
  year = {2016},
  note = {},
  issn = {0920-5489},
  doi = {http://dx.doi.org/10.1016/j.csi.2016.11.007},
  author = {Gallina, Barbara Gallina and
	G{\'{o}}mez{-}Mart{\'{\i}}nez, Elena and
	Benac Earle, Clara},
  tipoactividad = {Art{\'{i}}culos en revistas},
  internacional = {yes},
  isi-jcr = {yes}
}
@article{ZhangFGTISD16,
  title = {Attack Simulation based Software Protection Assessment Method with Petri Net},
  author = {Zhang, Gaofeng and
	Falcarin, Paolo and
	G{\'{o}}mez{-}Mart{\'{\i}}nez, Elena and
	Tartary, Christophe and
	Islam, Shareeful and
	De Sutter, Bjorn and
	D'Annoville, Jerome},
  journal = {International Journal on Cyber Situational Awareness},
  volume = {1},
  number = {1},
  pages = {152 - 181},
  year = {2016},
  note = {},
  issn = {2057-2182},
  doi = {http://dx.doi.org/10.22619/IJCSA.2016.100108},
  tipoactividad = {Art{\'{i}}culos en revistas},
  internacional = {yes},
  isi-jcr = {no}
}
@inproceedings{ZhangFGITSD16,
  author = {Zhang, Gaofeng and
	Falcarin, Paolo and
	G{\'{o}}mez{-}Mart{\'{\i}}nez, Elena and
	Islam, Shareeful and
	Tartary, Christophe and
	De Sutter, Bjorn and
	D'Annoville, Jerome},
  title = {Attack simulation based software protection assessment method},
  booktitle = {Cyber Security And Protection Of Digital Services},
  pages = {1--8},
  publisher = {{IEEE}},
  year = {2016},
  internacional = {yes}
}
@inproceedings{JISBD2016,
  author = {Salazar-Sanchez, Juan-Pablo and
	G{\'{o}}mez{-}Mart{\'{\i}}nez, Elena and
	de Miguel, Miguel},
  booktitle = {JORNADAS DE INGENIERIA DEL SOFTWARE Y BASES DE DATOS},
  title = {Performance Analysis of Persistence Technologies for Cloud Repositories of Models},
  isbn = {978-84-9012-627-1},
  year = {2016},
  pages = {213 - 226},
  month = {September}
}
@inproceedings{Susana-2016-elearningAfrica,
  author = {Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana and Osman, Izzeldin},
  booktitle = {10th International Conference on ICT for Development, Education and Training. E-learning Africa},
  title = {Women Empowerment and Research Productivity through a Successful distance PhD program},
  isbn = {978-3-941055-09-4},
  year = {2016},
  month = {May}
}
@inproceedings{Susana-2016-IST-Africa,
  author = {Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana and Osman, Izzeldin},
  booktitle = {IST-Africa 2016 Conference Proceedings},
  title = {Using a productive distance PhD program to empower women in academia},
  isbn = {978-1-905824-54-0},
  year = {2016},
  month = {May}
}
@inproceedings{Susana-2016-SIIE-Christian,
  author = {C. Brackmann and D. Barone and A. Casali and R. Boucinha and S. Mu{\~{n}}oz-Hern{\'{a}}ndez},
  booktitle = {2016 International Symposium on Computers in Education (SIIE)},
  title = {Computational thinking: Panorama of the Americas},
  year = {2016},
  pages = {1-6},
  abstract = {Computers cause an impact in almost every single aspect of our lives, however, unfortunately, schools have not been able to keep up with this irreversible evolution. The simple use of technological apparatuses in the classroom does not guarantee the improvement of the learning process, however it can be the medium through which the students find the alternatives for the solution of complex problems. The Computational Thinking is an approach of teaching that uses a diverse range of techniques derived from computers for the resolution of these problems combined with the new competencies of the 21st century (critical thinking, collaboration, etc.). The adoption of the notion of Computing within the basic education schools is a concern in many countries, where the implementation occurs in a strict way. Admittedly, it grows the idea that the Computing discipline is very distinct from the computer classes and that the use of skills from Computing possesses educational (reflection and problem solving, the comprehension that the world is ingrained with the digital technology) and economic (high demand of professionals with good training) benefits. This article, through the vast bibliographic review, describes an international landscape of countries of all Americas, in order to contextualize the reader in respect to the adoption of Computational Thinking within the basic education schools.},
  keywords = {Companies;Computers;Economics;Electronic mail;Problem-solving;Training;Basic Education;Computational Thinking;Computing at Schools},
  doi = {10.1109/SIIE.2016.7751839},
  month = {September}
}
@article{glm2016fac,
  author = {Emilio J. Gallego-Arias and
                  James Lipton and Julio Mariño},
  title = {Constraint Logic Programming with a Relational Machine},
  journal = {Formal Aspects of Computing},
  year = {2016},
  note = {In press.}
}
@manual{DBLP:journals/corr/TamaritMVC16a,
  revisores = {no},
  internacional = {yes},
  tipoactividad = {Otras publicaciones},
  author = {Salvador Tamarit and
               Julio Mari{\~{n}}o and
               Guillermo Vigueras and
               Manuel Carro},
  title = {Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures},
  journal = {CoRR},
  volume = {abs/1603.03488},
  year = {2016},
  url = {http://arxiv.org/abs/1603.03488},
  timestamp = {Sat, 02 Apr 2016 11:49:48 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/TamaritMVC16a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/ViguerasCTM16,
  revisores = {no},
  internacional = {yes},
  tipoactividad = {Ponencias en congresos},
  author = {Guillermo Vigueras and
               Manuel Carro and
               Salvador Tamarit and
               Julio Mari{\~{n}}o},
  title = {Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code},
  booktitle = {Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures},
  journal = {CoRR},
  volume = {abs/1603.03022},
  year = {2016},
  url = {http://arxiv.org/abs/1603.03022},
  timestamp = {Sat, 02 Apr 2016 11:49:48 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/ViguerasCTM16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/TamaritMVC16,
  revisores = {no},
  internacional = {yes},
  tipoactividad = {Ponencias en congresos},
  author = {Salvador Tamarit and
               Julio Mari{\~{n}}o and
               Guillermo Vigueras and
               Manuel Carro},
  title = {Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems},
  booktitle = {Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures},
  journal = {CoRR},
  volume = {abs/1603.03011},
  year = {2016},
  url = {http://arxiv.org/abs/1603.03011},
  timestamp = {Sat, 02 Apr 2016 11:49:48 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/TamaritMVC16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{Llorens20161,
  tipoactividad = {Artículos en revistas},
  title = {Dynamic slicing of concurrent specification languages },
  journal = {Parallel Computing },
  volume = {53},
  number = {},
  pages = {1 - 22},
  year = {2016},
  note = {},
  issn = {0167-8191},
  doi = {http://dx.doi.org/10.1016/j.parco.2016.01.006},
  url = {http://www.sciencedirect.com/science/article/pii/S0167819116000363},
  author = {M. Llorens and J. Oliver and J. Silva and S. Tamarit},
  keywords = {Concurrent programming},
  keywords = {CSP},
  keywords = {Slicing },
  abstract = {Abstract Dynamic slicing is a technique to extract the part of the program (called slice) that influences or is influenced, in a particular execution, by a given point of interest in the source code (called slicing criterion). Since a single execution is considered, the technique often uses a trace of this execution to analyze data and control dependencies. In this work we present the first formulation and implementation of dynamic slicing in the context of CSP. Most of the ideas presented can be directly applied to other concurrent specification languages such as Promela or CCS, but we center the discussion and the implementation on CSP. We base our technique on a new data structure to represent \{CSP\} computations called track. A track is a data structure which represents the sequence of expressions that have been evaluated during the computation, and moreover, it is labeled with the location of these expressions in the specification. The implementation of a dynamic slicer for \{CSP\} is useful for debugging, program comprehension, and program specialization, and it is also interesting from a theoretical perspective because \{CSP\} introduces difficulties such as heavy concurrency and non-determinism, synchronizations, frequent absence of data dependence, etc. }
}
@unpublished{InsaST16,
  revisores = {yes},
  internacional = {yes},
  tipoactividad = {Ponencias en congresos},
  author = {David Insa and
                Josep Silva and 
                Salvador Tamarit},
  title = {Where You Sit Matters? How Classroom Seating Might Affect Marks},
  year = {2016},
  booktitle = {Proceedings of ITiCSE 2016, the 21th Annual Conference on Innovation and Technology in Computer Science Education},
  note = {To appear}
}
@article{2015:GPN:LMCS,
  tipoactividad = {Artículos en revistas},
  internacional = {yes},
  author = {{{\'{A}}lvaro} {Garc{\'{i}}a-P{\'{e}}rez} and Pablo
                  Nogueira},
  title = {No Solvable Lambda-Value Term Left Behind},
  journal = {Logical Methods in Computer Science},
  year = {2016},
  url = {http://www.lmcs-online.org/ojs/viewarticle.php?id=1943&layout=abstract},
  doi = {10.2168/LMCS-12(2:12)2016},
  issn = {1860-5974},
  volume = {12},
  number = {2},
  pages = {1-43},
  abstract = {In the lambda calculus a term is solvable iff it is
                  operationally relevant.  Solvable terms are a superset of
                  the terms that convert to a final result called normal
                  form. Unsolvable terms are operationally irrelevant and can
                  be equated without loss of consistency.  There is a
                  definition of solvability for the lambda-value calculus,
                  called v-solvability, but it is not synonymous with
                  operational relevance, some lambda-value normal forms are
                  unsolvable, and unsolvables cannot be consistently
                  equated. We provide a definition of solvability for the
                  lambda-value calculus that does capture operational
                  relevance and such that a consistent proof-theory can be
                  constructed where unsolvables are equated attending to the
                  number of arguments they take (their `order' in the
                  jargon). The intuition is that in lambda-value the different
                  sequentialisations of a computation can be distinguished
                  operationally. We prove a version of the Genericity Lemma
                  stating that unsolvable terms are generic and can be
                  replaced by arbitrary terms of equal or greater order.}
}
@inproceedings{ITICSE2016,
  author = {Lars{-}{\AA}ke Fredlund and Clara Benac Earle and John
                  Hughes},
  title = {Automatic Grading of Programming Exercises using
                  Property-Based Testing},
  booktitle = {21st Annual Conference on Innovation and Technology in
                  Computer Science Education {ITiCSE} 2016, Arequipa, Perú,
                  July 11-13, 2016},
  year = 2016,
  pages = {47--52},
  editor = {},
  series = {},
  publisher = {ACM}
}
@inproceedings{SPICE2016,
  author = {Gallina, Barbara and G{\'{o}}mez{-}Mart{\'{\i}}nez, Elena and Benac Earle, Clara},
  title = {Deriving Safety Case Fragments for Assessing MBASafe's Compliance with {EN} 50128},
  booktitle = {{SPICE}},
  series = {Communications in Computer and Information Science},
  volume = {609},
  pages = {3--16},
  publisher = {Springer},
  year = {2016}
}
@article{JRR2015,
  author = {{Elena G{\'{o}}mez{-}Mart{\'{\i}}nez} and {Ricardo J. Rodr{\'{\i}}guez} and {Clara {Benac Earle}} and {Leire Etxeberria Elorza} and {Miren Illarramendi Rezabal}},
  title = {A methodology for model-based verification of safety contracts and performance requirements},
  journal = {Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability},
  volume = {0},
  number = {0},
  pages = {1748006X16667328},
  year = {2016},
  doi = {10.1177/1748006X16667328},
  url = {http://dx.doi.org/10.1177/1748006X16667328}
}

This file was generated by bibtex2html 1.98.