Items where author is "Zanardini, Damiano"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 8.

Article

Genaim, Samir and Zanardini, Damiano (2013). Reachability-based acyclicity analysis by Abstract Interpretation. "Theoretical Computer Science", v. 474 ; pp. 60-79. ISSN 0304-3975. https://doi.org/10.1016/j.tcs.2012.12.018.

Presentation at Congress or Conference

Suárez-Figueroa, Mari Carmen and Ruckhaus, Edna and Corcho, Oscar and Molina, M. and Serrano, E. and Zanardini, Damiano (2018). Creating and improving educational materials: an approach based on crowdsourcing. In: "11th annual International Conference of Education, Research and Innovation", 12-14 Nov 2018, Sevilla, España. ISBN 978-84-09-05948-5. pp. 3852-3857. https://doi.org/10.21125/iceri.2018.

Serrano Fernández, Emilio and Molina González, Martín and Manrique Gamo, Daniel and Baumela Molina, Luis and Zanardini, Damiano (2017). Aprendizaje experiencial en ciencia de datos: satisfacción de los estudiantes para tres modelos de enseñanza y aprendizaje = Experiential learning in data science: student satisfaction for three modelsof teaching and learning. In: "IV Congreso Internacional sobre Aprendizaje, Innovación y Competitividad (CINAIC 2017)", 04-06 Oct 2017, Zaragoza. ISBN 978-84-16723-41-6. pp. 289-293. https://doi.org/10.26754/CINAIC.2017.000001_058.

Serrano Fernández, Emilio and López Leiva, José Mario and Zanardini, Damiano (2017). Estimación del riesgo de no superar una asignatura de evaluación continua mediante aprendizaje automático = Estimating the risk of not passing a continuous evaluation module by machine learning. In: "IV Congreso Internacional sobre Aprendizaje, Innovación y Competitividad: CINAIC 2017", 04-06 Oct 2017, Zaragoza. ISBN 978-84-16723-41-6. pp. 560-565. https://doi.org/10.26754/CINAIC.2017.000001.

Albert Albiol, Elvira and Arenas Sánchez, Purificación and Genaim, Samir and Gomez Zamalloa, Miguel and Puebla Sánchez, Alvaro Germán and Ramirez Deantes, Diana and Zanardini, Damiano and Roman, Groman (2009). Termination and Cost Analysis with COSTA and its User Interfaces. In: "IX Jornadas sobre Programación y Lenguajes (PROLE '09). IX Spanish Conference on Programming and Languages (PROLE 2009)", 09/09/2009 - 11/09/2009, San Sebastian, España. ISBN ISSN 1571-0661.

Albert Albiol, Elvira and Genaim, Samir and Gomez Zamalloa, Miguel and Arenas Sánchez, Purificación and Puebla Sánchez, Alvaro Germán and Zanardini, Damiano (2009). Upper Bounds on Memory Usage for Garbage-Collected Languages. In: "1st Workshop on Quantitative Analysis of Software, QA'09 (co-located with CAV 2009)", 26/06/2009 - 02/07/2009, Grenoble, France.

Mastroieni, Isabella and Zanardini, Damiano (2008). Data dependencies and program slicing: from syntax to abstract semantics. In: "ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation, PEPM'08", 07/01/2008-08/01/2008, San Francisco, California. ISBN 978-159-5939-777. https://doi.org/10.1145/1328408.1328428.

Zanardini, Damiano (2008). The Semantics of Abstract Program Slicing. In: "8th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2008", 28/09/2008-29/09/2008, Pekín, China. ISBN 978-0-7695-3353-7.

  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM