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
(814)
Helmut Seidl
11
Flemming Nielson
10
Hanne Riis Nielson
9
Joe B. Wells
7
Peter Thiemann
7
David Sands
7
Matthias Felleisen
7
Thomas Jensen
6
Thomas W. Reps
6
Andrew King
6
Keywords
(737)
Subscribe
Academic
Conferences
ESOP - European Symposium on Programming
ESOP - European Symposium on Programming
Publications: 572
|
Citation Count: 10,451 (Self-Citation: 288)
|
H-Index: 50Year Range: 1986-2011
Interests:
Programming Languages
Paper submissions due: 14 October 2011, Duration:
24 March - 1 April 2012, Tallinn, Estonia
Homepage
|
CFP
The information isn't correct? You can
edit it
Cumulative
Annual
Order by:
Publications
(572)
Compiling Information-Flow Security to Minimal Trusted Computing Bases
(
Citations: 1
)
Cédric Fournet
,
Jérémy Planul
Conference:
European Symposium on Programming - ESOP
, pp. 216-235, 2011
Transfer Function Synthesis without Quantifier Elimination
(
Citations: 2
)
Jörg Brauer
,
Andy King
Conference:
European Symposium on Programming - ESOP
, pp. 97-115, 2011
A New Method for Dependent Parsing
(
Citations: 1
)
Trevor Jim
,
Yitzhak Mandelbaum
Conference:
European Symposium on Programming - ESOP
, pp. 378-397, 2011
Algorithmic Nominal Game Semantics
(
Citations: 1
)
Andrzej S. Murawski
,
Nikos Tzevelekos
Conference:
European Symposium on Programming - ESOP
, pp. 419-438, 2011
Measure Transformer Semantics for Bayesian Machine Learning
(
Citations: 1
)
Johannes Borgström
,
Andrew D. Gordon
,
Michael Greenberg
,
James Margetson
,
Jurgen Van Gael
Conference:
European Symposium on Programming - ESOP
, pp. 77-96, 2011