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
(52)
Jean Krivine
19
Laurent Regnier
18
Prakash Panangaden
11
Russell S. Harmer
10
Jean-baptiste Joinet
9
Conferences
(17)
LICS
12
CMSB
6
CONCUR
4
CSL
4
ICALP
2
Journals
(13)
ENTCS
12
TCS
7
IANDC
3
SIGPLAN
2
CORR
2
Keywords
(182)
Embed
Subscribe
Academic
Authors
Vincent Danos
Vincent Danos,University of Edinburgh,Algorithms & Theory,Bioinformatics & Computational Biology,Scientific Computing
Edit
Vincent Danos
University of Edinburgh
Publications:
99
|
Citations:
1443
Fields:
Algorithms & Theory
,
Bioinformatics & Computational Biology
,
Scientific Computing
View FAQ about top research areas and Fields of study
Collaborated with
52 co-authors
from 1989 to 2011
|
Cited by
954 authors
Cumulative
Annual
Sort by:
Publications
(99)
BibTeX
|
RIS
|
RefWorks
Download
Probabilistic coherence spaces as a model of higher-order probabilistic computation
(
Citations: 1
)
Vincent Danos
,
Thomas Ehrhard
Journal:
Information and Computation/information and Control - IANDC
, vol. 209, no. 6, pp. 966-991, 2011
Equilibrium and Termination
(
Citations: 1
)
Vincent Danos
,
Nicolas Oury
Journal:
Computing Research Repository - CORR
, vol. abs/1006.1, 2010
Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction
(
Citations: 1
)
Vincent Danos
,
Jérôme Feret
,
Walter Fontana
,
Russell Harmer
,
Jean Krivine
Conference:
Logic in Computer Science - LICS
, pp. 362-381, 2010
Equilibrium and Termination
Vincent Danos
,
Nicolas Oury
Journal:
Electronic Proceedings in Theoretical Computer Science
, vol. 26, pp. 75-84, 2010
Rule-Based Modelling and Model Perturbation
(
Citations: 6
)
Vincent Danos
,
Jérôme Feret
,
Walter Fontana
,
Russell Harmer
,
Jean Krivine
Published in 2009.
Sort by:
Citations
(1443 times by 1002 publications)
Computational modeling of cellular signaling processes embedded into dynamic spatial contexts
Bastian R Angermann
,
Frederick Klauschen
,
Alex D Garcia
,
Thorsten Prustel
,
Fengkai Zhang
,
Ronald N Germain
,
Martin Meier-Schellersheim
Journal:
Nature Methods - NAT METHODS
, vol. 9, no. 3, pp. 283-289, 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.
A semantic measure of the execution time in linear logic
(
Citations: 4
)
Daniel de Carvalho
,
Michele Pagani
,
Lorenzo Tortora de Falco
Journal:
Theoretical Computer Science - TCS
, vol. 412, no. 20, pp. 1884-1902, 2011
Intuitionistic differential nets and lambda-calculus
(
Citations: 2
)
Paolo Tranquilli
Journal:
Theoretical Computer Science - TCS
, vol. 412, no. 20, pp. 1979-1997, 2011
Comments