Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(97)
Martín Abadi
51
Andrew D. Gordon
27
Giorgio Ghelli
17
Andrew Phillips
15
Philippa Gardner
9
Conferences
(42)
POPL
13
ICALP
5
CONCUR
5
TACS
4
DBPL
4
Journals
(26)
IANDC
7
TCS
7
ENTCS
7
CSUR
5
SIGPLAN
5
Keywords
(301)
Embed
Subscribe
Academic
Authors
Luca Cardelli
Luca Cardelli,Microsoft,Algorithms & Theory,Programming Languages,Software Engineering
Edit
Luca Cardelli
Microsoft
Publications:
266
|
Citations:
13959
Fields:
Algorithms & Theory
,
Programming Languages
,
Software Engineering
View FAQ about top research areas and Fields of study
Collaborated with
97 co-authors
from 1980 to 2012
|
Cited by
6412 authors
Cumulative
Annual
Sort by:
Publications
(266)
BibTeX
|
RIS
|
RefWorks
Download
Abstractions for DNA circuit design
(
Citations: 1
)
Matthew Lakin
,
Simon Youssef
,
Luca Cardelli
,
Andrew Phillips
Published in 2012.
Design and Analysis of DNA Strand Displacement Devices using Probabilistic Model Checking
(
Citations: 1
)
Matthew Lakin
,
David Parker
,
Luca Cardelli
,
Marta Kwiatkowska
,
Andrew Phillips
Published in 2012.
Transcriptional Regulation Is a Major Controller of Cell Cycle Transition Dynamics
Alessandro Romanel
,
Lars Juhl Jensen
,
Luca Cardelli
,
Attila Csikász-Nagy
Journal:
PLOS One
, vol. 7, no. 1, 2012
A Peptide Filtering Relation Quantifies MHC Class I Peptide Optimization
Neil Dalchau
,
Andrew Phillips
,
Leonard D. Goldstein
,
Mark Howarth
,
Luca Cardelli
,
Stephen Emmott
,
Tim Elliott
,
Joern M. Werner
Journal:
PLOS Computational Biology - PLOS COMPUT BIOL
, vol. 7, no. 10, 2011
From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus
Steffen van Bakel
,
Luca Cardelli
,
Maria Grazia Vigliotti
Published in 2011.
Sort by:
Citations
(13959 times by 7329 publications)
Behavioral interface specification languages
(
Citations: 3
)
John Hatcliff
,
Gary T. Leavens
,
K. Rustan M. Leino
,
Peter Müller
,
Matthew Parkinson
Journal:
ACM Computing Surveys - CSUR
, pp. 1-58, 2012
On Explicit Substitution with Names
(
Citations: 2
)
Kristoffer H. Rose
,
Roel Bloo
,
Frédéric Lang
Journal:
Journal of Automated Reasoning - JAR
, vol. 49, no. 2, pp. 1-26, 2012
Transcriptional Regulation Is a Major Controller of Cell Cycle Transition Dynamics
Alessandro Romanel
,
Lars Juhl Jensen
,
Luca Cardelli
,
Attila Csikász-Nagy
Journal:
PLOS One
, vol. 7, no. 1, 2012
SMT-based analysis of biological computation
Boyan Yordanov
,
Christoph M. Wintersteiger
,
Youssef Hamadi
,
Hillel Kugler
Published in 2012.
Stochastic Simulation of Multiple Process Calculi for Biology
Matthew R. Lakin
,
Loïc Paulevé
,
Andrew Phillips
Published in 2012.
Comments