Travelled to:1 × Finland
1 × France
1 × India
1 × Norway
1 × United Kingdom
3 × USA
Collaborated with:G.Puebla M.V.Hermenegildo E.Albert G.Román-Díez J.M.Gómez M.Carro F.Bueno E.B.Johnsen P.Pietrzak D.Cabeza D.C.Gras M.J.G.d.l.Banda K.Marriott P.J.Stuckey P.Arenas S.Genaim M.Gómez-Zamalloa E.Martin-Martin
Talks about:analysi (6) program (4) system (4) distribut (3) modular (3) generic (3) resourc (2) persist (2) context (2) sensit (2)
Person: Jesús Correas
DBLP: Correas:Jes=uacute=s
Contributed to:
2015
2015
2013
20122008
2005
20042004
2003Wrote 9 papers:
- FM-2015-AlbertACGGMPR #analysis #concurrent #distributed #source code
- Resource Analysis: From Sequential to Concurrent and Distributed Programs (EA, PA, JC, SG, MGZ, EMM, GP, GRD), pp. 3–17.
- SAS-2015-AlbertCJR #cost analysis #distributed #parallel
- Parallel Cost Analysis of Distributed Systems (EA, JC, EBJ, GRD), pp. 275–292.
- IFM-2013-AlbertCPR #abstraction #distributed #quantifier
- Quantified Abstractions of Distributed Systems (EA, JC, GP, GRD), pp. 285–300.
- PEPM-2012-AlbertCPR #analysis #incremental #resource management
- Incremental resource usage analysis (EA, JC, GP, GRD), pp. 25–34.
- PEPM-2008-PietrzakCPH #analysis #composition #prolog #source code #verification
- A practical type analysis for verification of modular prolog programs (PP, JC, GP, MVH), pp. 61–70.
- LOPSTR-2005-CorreasPHB #analysis #composition #source code
- Experiments in Context-Sensitive Analysis of Modular Programs (JC, GP, MVH, FB), pp. 163–178.
- PADL-2004-CorreasGCCH #implementation #persistent
- A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations) (JC, JMG, MC, DC, MVH), pp. 104–119.
- PDCL-2004-PueblaCHBBMS #analysis #composition #framework #source code
- A Generic Framework for Context-Sensitive Analysis of Modular Programs (GP, JC, MVH, FB, MJGdlB, KM, PJS), pp. 233–260.
- ICLP-2003-CorreasGCGH #persistent
- A Generic Persistence Model for (C)LP Systems (JC, JMG, MC, DCG, MVH), pp. 481–482.