BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Correas:Jes=uacute=s

Contributed to:

FM 20152015
SAS 20152015
IFM 20132013
PEPM 20122012
PEPM 20082008
LOPSTR 20052005
PADL 20042004
PDCL 20042004
ICLP 20032003

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.