| | |
Puri Arenas-Sánchez
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 39 |      | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla: Automatic Inference of Resource Consumption Bounds. LPAR 2012: 1-11 |
| 38 | | Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa: Symbolic Execution of Concurrent Objects in CLP. PADL 2012: 123-137 |
| 37 | | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla: COSTABS: a cost and termination analyzer for ABS. PEPM 2012: 151-154 |
| 36 | | Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini: Cost analysis of object-oriented bytecode programs. Theor. Comput. Sci. 413(1): 142-159 (2012) |
| 2011 | ||
| 35 | | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla: Cost Analysis of Concurrent OO Programs. APLAS 2011: 238-254 |
| 34 | | Elvira Albert, Puri Arenas, Samir Genaim, Damiano Zanardini: Task-level analysis for a language with async/finish parallelism. LCTES 2011: 21-30 |
| 33 | | Diego Alonso, Puri Arenas, Samir Genaim: Handling Non-linear Operations in the Value Analysis of COSTA. Electr. Notes Theor. Comput. Sci. 279(1): 3-17 (2011) |
| 32 | | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla: Closed-Form Upper Bounds in Static Cost Analysis. J. Autom. Reasoning 46(2): 161-203 (2011) |
| 2010 | ||
| 31 | | Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Diana V. Ramírez-Deantes: From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis. SAS 2010: 100-116 |
| 30 | | Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo: Certificate size reduction in Abstraction-Carrying Code CoRR abs/1010.4533: (2010) |
| 2009 | ||
| 29 | | Elvira Albert, Diego Alonso, Puri Arenas, Samir Genaim, German Puebla: Asymptotic Resource Usage Bounds. APLAS 2009: 294-310 |
| 28 | | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla: Field-Sensitive Value Analysis by Field-Insensitive Analysis. FM 2009: 370-386 |
| 27 | | Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla: Comparing Cost Functions in Resource Analysis. FOPARA 2009: 1-17 |
| 26 | | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini: Resource Usage Analysis and Its Application to Resource Certification. FOSAD 2009: 258-288 |
| 25 | | Puri Arenas, Damiano Zanardini: 18th Workshop on Logic-based methods in Programming Environments (WLPE 2008) CoRR abs/0903.1598: (2009) |
| 24 | | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla: Cost Relation Systems: A Language-Independent Target Language for Cost Analysis. Electr. Notes Theor. Comput. Sci. 248: 31-46 (2009) |
| 23 | | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla, Diana V. Ramírez-Deantes, Guillermo Román-Díez, Damiano Zanardini: Termination and Cost Analysis with COSTA and its User Interfaces. Electr. Notes Theor. Comput. Sci. 258(1): 109-121 (2009) |
| 2008 | ||
| 22 | | Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini: Termination Analysis of Java Bytecode. FMOODS 2008: 2-18 |
| 21 | | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini: Removing useless variables in cost analysis of Java bytecode. SAC 2008: 368-375 |
| 20 | | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla: Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. SAS 2008: 221-237 |
| 2007 | ||
| 19 | | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini: Cost Analysis of Java Bytecode. ESOP 2007: 157-172 |
| 18 | | Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini: COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. FMCO 2007: 113-132 |
| 17 | | Elvira Albert, Puri Arenas, Germán Puebla: Some Issues on Incremental Abstraction-Carrying Code CoRR abs/cs/0701111: (2007) |
| 16 | | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini: Experiments in Cost Analysis of Java Bytecode. Electr. Notes Theor. Comput. Sci. 190(1): 67-83 (2007) |
| 2006 | ||
| 15 | | Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo: Reduced Certificates for Abstraction-Carrying Code. ICLP 2006: 163-178 |
| 14 | | Elvira Albert, Puri Arenas, Germán Puebla: An Incremental Approach to Abstraction-Carrying Code. LPAR 2006: 377-391 |
| 2004 | ||
| 13 | | Puri Arenas-Sánchez, Mario Rodríguez-Artalejo: A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types CoRR cs.PL/0404050: (2004) |
| 2001 | ||
| 12 | | Puri Arenas-Sánchez, Mario Rodríguez-Artalejo: A General Framework for Lazy Functional Logic, Programming with Algebraic Polymorphic Types. TPLP 1(2): 185-245 (2001) |
| 1999 | ||
| 11 | | Puri Arenas-Sánchez, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo: Functional Plus Logic Programming with Built-In and Symbolic Constraints. PPDP 1999: 152-169 |
| 1998 | ||
| 10 | | Puri Arenas-Sánchez, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo: Embedding Multiset Constraints into a Lazy Functional Logic Language. PLILP/ALP 1998: 429-444 |
| 1997 | ||
| 9 |  | Puri Arenas-Sánchez, Mario Rodríguez-Artalejo: A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types. ILPS 1997: 53-67 |
| 8 | | Puri Arenas-Sánchez, Mario Rodríguez-Artalejo: A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types. TAPSOFT 1997: 453-464 |
| 7 | | Puri Arenas-Sánchez, Agostino Dovier: A Minimality Study for Set Unification. Journal of Functional and Logic Programming 1997(7): (1997) |
| 1996 | ||
| 6 | | Puri Arenas-Sánchez, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Eva Ullán: Real Constraints within a Functional Logic Language. APPIA-GULP-PRODE 1996: 451-464 |
| 1995 | ||
| 5 | | Puri Arenas-Sánchez, Agostino Dovier: Minimal Set Unification. GULP-PRODE 1995: 447-458 |
| 4 | | Puri Arenas-Sánchez, Agostino Dovier: Minimal Set Unification PLILP 1995: 397-414 |
| 3 | | Puri Arenas-Sánchez, Ana Gil-Luezas: A Debugging Model for Lazy Narrowing PLILP 1995: 453-454 |
| 1994 | ||
| 2 | | Puri Arenas-Sánchez, Ana Gil-Luezas: A Debugging Model for Lazy Functional Logic Languages. GULP-PRODE (2) 1994: 117-131 |
| 1 | | Puri Arenas-Sánchez, Ana Gil-Luezas, Francisco Javier López-Fraguas: Combining Lazy Narrowing with Disequality Constraints. PLILP 1994: 385-399 |
| 1 | Elvira Albert | [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [26] [27] [28] [29] [30] [31] [32] [34] [35] [36] [37] [38] [39] |
| 2 | Diego Alonso | [29] [33] |
| 3 | Michael Codish | [22] |
| 4 | Agostino Dovier | [4] [5] [7] |
| 5 | Samir Genaim | [16] [18] [19] [20] [21] [22] [23] [24] [26] [27] [28] [29] [31] [32] [33] [34] [35] [36] [37] [39] |
| 6 | Ana Gil-Luezas | [1] [2] [3] |
| 7 | Miguel Gómez-Zamalloa | [23] [35] [37] [38] [39] |
| 8 | Manuel V. Hermenegildo | [15] [30] |
| 9 | Israel Herraiz | [27] |
| 10 | Maria Teresa Hortalá-González | [6] |
| 11 | Francisco Javier López-Fraguas | [1] [6] [10] [11] |
| 12 | Germán Puebla (German Puebla) | [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [26] [27] [28] [29] [30] [31] [32] [35] [36] [37] [39] |
| 13 | Diana V. Ramírez-Deantes | [23] [31] |
| 14 | Mario Rodríguez-Artalejo | [8] [9] [12] [13] |
| 15 | Mario Rodrúguez-Arteljo | [10] [11] |
| 16 | Guillermo Román-Díez | [23] |
| 17 | Eva Ullán | [6] |
| 18 | Damiano Zanardini | [16] [18] [19] [21] [22] [23] [25] [26] [34] [36] |
Colors in the list of coauthors
Last update Sat May 26 04:23:17 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page