IndexAuthor

Albert Albiol, Elvira and Correas Fernández, Jesús and Puebla, Germán and Román Díez, Guillermo (2015) A Multi-Domain Incremental Analysis Engine and its Application to Incremental Resource Analysis. Theoretical Computer Science, 585 (20). pp. 91-114. ISSN 0304-3975

Albert Albiol, Elvira and Arenas Sánchez, Purificación and Genaim, Samir and Puebla, Germán (2015) A practical comparator of cost functions and its applications. Science of Computer Programming, 111 (P3). pp. 483-504. ISSN 0167-6423

Albert Albiol, Elvira and Arenas Sánchez, Purificación and Genaim, Samir and Puebla, Germán and Román Díez, Guillermo (2014) Conditional Termination of Loops over Heap-Allocated Data. Science of computer programming, 92 (Part A). pp. 2-24. ISSN 0167-6423

Albert Albiol, Elvira and Correas Fernández, Jesús and Puebla, Germán and Román Díez, Guillermo (2014) Quantified Abstract Configurations of Distributed Systems. Formal Aspects of Computing, 27 (4). pp. 665-699. ISSN 0934-5043

Albert Albiol, Elvira and Arenas Sánchez, Puri and Correas Fernández, Jesús and Genaim, Samir and Gómez Zamalloa, Miguel and Martín Martín, Enrique and Puebla, Germán and Román Díez, Guillermo (2015) Resource Analysis: From Sequential to Concurrent and Distributed Programs. In FM 2015: Formal Methods, June 24–26, 2015, Oslo, Norway.