Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(13)
Elvira Albert
18
German Puebla
14
Samir Genaim
5
John P. Gallagher
2
Einar Broch Johnsen
1
Conferences
(4)
LOPSTR
3
ISMM
2
PEPM
1
SCAM
1
Journals
(5)
CORR
2
ENTCS
2
INFSOF
1
IPL
1
TPLP
1
Keywords
(54)
Embed
Subscribe
Academic
Authors
Miguel Gomez-Zamalloa
Edit
Miguel Gomez-Zamalloa (Miguel Gomez-Zamalloa)
Universidad Complutense de Madrid
Publications: 18
|
Citations: 77
|
G-Index: 8
|
H-Index: 4
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Programming Languages
,
Algorithms & Theory
View FAQ about top research area and research interests
Collaborated with
13 co-authors
from 2007 to 2010
; Cited by
84 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(18)
BibTeX
|
RIS
|
RefWorks
Download
Parametric inference of memory requirements for garbage collected languages
(
Citations: 4
)
Elvira Albert
,
Samir Genaim
,
Miguel Gómez-Zamalloa
Conference:
International Symposium on Memory Management - ISMM
, pp. 121-130, 2010
PET: a partial evaluation-based test case generation tool for Java bytecode
(
Citations: 3
)
Elvira Albert
,
Miguel Gómez-zamalloa
,
Germán Puebla
Conference:
Partial Evaluation and Semantic-Based Program Manipulation - PEPM
, pp. 25-28, 2010
Test case generation for object-oriented imperative languages in CLP
(
Citations: 1
)
Miguel Gómez-Zamalloa
,
Elvira Albert
,
Germán Puebla
Journal:
Theory and Practice of Logic Programming - TPLP
, vol. 10, no. 4-6, pp. 659-674, 2010
Compositional CLP-Based Test Data Generation for Imperative Languages
Elvira Albert
,
Miguel Gómez-Zamalloa
,
José Miguel Rojas
,
Germán Puebla
Conference:
Logic Program Synthesis and Transformation - LOPSTR
, pp. 99-116, 2010
Parametric inference of memory requirements for garbage collected languages
Elvira Albert
,
Samir Genaim
,
Miguel Gómez-Zamalloa
Published in 2010.
Order by:
Citations
(77 times by 58 publications)
Closed-Form Upper Bounds in Static Cost Analysis
(
Citations: 5
)
Elvira Albert
,
Puri Arenas
,
Samir Genaim
,
Germán Puebla
Journal:
Journal of Automated Reasoning - JAR
, vol. 46, no. 2, pp. 161-203, 2011
An overview of Ciao and its design philosophy
(
Citations: 1
)
Manuel V. Hermenegildo
,
Francisco Bueno
,
Manuel Carro
,
Pedro López-García
,
Edison Mera
,
José F. Morales
,
German Puebla
Journal:
Computing Research Repository - CORR
, vol. abs/1102.5, 2011
Task-level analysis for a language with async/finish parallelism
(
Citations: 1
)
Elvira Albert
,
Puri Arenas
,
Samir Genaim
,
Damiano Zanardini
Conference:
Languages, Compilers, and Tools for Embedded Systems - LCTES
, pp. 21-30, 2011
Roadmap for SOA event processing and service execution in real-time using Timber
Pawel Pietrzak
,
Rumen Kyusakov
,
Jens Eliasson
,
Per Lindgren
Published in 2011.
PET: a partial evaluation-based test case generation tool for Java bytecode
(
Citations: 3
)
Elvira Albert
,
Miguel Gómez-zamalloa
,
Germán Puebla
Conference:
Partial Evaluation and Semantic-Based Program Manipulation - PEPM
, pp. 25-28, 2010
Comments