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
Authors
(30)
Akinori Yonezawa (米澤明憲)
2
Hidehiko Masuhara (増原英彦)
2
Adam Fischbach
2
John Hannan
2
Antoine Mine (Antoine Miné)
2
Dana N. Xu
1
Martin Sulzmann
1
Harald Ganzinger
1
Julia L. Lawall
1
Jens Peter Secher
1
Keywords
(58)
Subscribe
Academic
Conferences
PADO - Symposium on Programs as Data Objects
PADO - Symposium on Programs as Data Objects
Publications: 21
|
Citation Count: 302 (Self-Citation: 3)
|
H-Index: 10Year Range: 1999-2001
Interests:
Programming Languages
Homepage
Add CFP
The information isn't correct? You can
edit it
Cumulative
Annual
Order by:
Publications
(21)
A New Numerical Abstract Domain Based on Difference-Bound Matrices
(
Citations: 59
)
Antoine Miné
Conference:
Symposium on Programs as Data Objects - PADO
, pp. 155-172, 2001
A new numerical abstract domain based on difference-bound matrices
(
Citations: 34
)
A. Mine
Conference:
Symposium on Programs as Data Objects - PADO
, 2001
Partial Evaluation for Class-Based Object-Oriented Languages
(
Citations: 27
)
Ulrik Pagh Schultz
Conference:
Symposium on Programs as Data Objects - PADO
, pp. 173-197, 2001
A New Numerical Abstract Domain Based on Dierence-Bound Matrices
(
Citations: 27
)
Antoine Min
Conference:
Symposium on Programs as Data Objects - PADO
, 2001
Tag Elimination and Jones-Optimality
(
Citations: 33
)
Walid Taha
,
Henning Makholm
,
John Hughes
Conference:
Symposium on Programs as Data Objects - PADO
, pp. 257-275, 2001