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
(482)
Zhenjiang Hu (胡振江)
14
Kwangkeun Yi (이광근)
13
Naoki Kobayashi (小林直樹)
11
Masato Takeichi (武市正人)
10
Siau-cheng Khoo
8
Wei-Ngan Chin
6
Robert Gluck (Robert Glück)
6
Dana N. Xu
5
Martin Sulzmann
5
Hongseok Yang
5
Keywords
(504)
Subscribe
Academic
Conferences
APLAS - Asian Symposium on Programming Languages and Systems
APLAS - Asian Symposium on Programming Languages and Systems
Publications: 307
|
Citation Count: 1,847 (Self-Citation: 79)
|
H-Index: 20Year Range: 2000-2010
Interests:
Programming Languages
Paper submissions due: 14 June 2010, Duration:
28 November - 1 December 2010, Shanghai, China
Homepage
|
CFP
The information isn't correct? You can
edit it
Cumulative
Annual
Order by:
Publications
(307)
A Quick Tour of the VeriFast Program Verifier
(
Citations: 7
)
Bart Jacobs
,
Jan Smans
,
Frank Piessens
Conference:
Asian Symposium on Programming Languages and Systems - APLAS
, pp. 304-311, 2010
Typechecking Higher-Order Security Libraries
(
Citations: 3
)
Karthikeyan Bhargavan
,
Cédric Fournet
,
Nataliya Guts
Conference:
Asian Symposium on Programming Languages and Systems - APLAS
, pp. 47-62, 2010
Live Heap Space Bounds for Real-Time Systems
(
Citations: 2
)
Martin Kero
,
Pawel Pietrzak
,
Johan Nordlander
Conference:
Asian Symposium on Programming Languages and Systems - APLAS
, pp. 287-303, 2010
A Calculus for Hybrid CSP
(
Citations: 2
)
Jiang Liu
,
Jidong Lv
,
Zhao Quan
,
Naijun Zhan
,
Hengjun Zhao
,
Chaochen Zhou
,
Liang Zou
Conference:
Asian Symposium on Programming Languages and Systems - APLAS
, pp. 1-15, 2010
Data Structure Fusion
(
Citations: 1
)
Peter Hawkins
,
Alex Aiken
,
Kathleen Fisher
,
Martin C. Rinard
,
Mooly Sagiv
Conference:
Asian Symposium on Programming Languages and Systems - APLAS
, pp. 204-221, 2010