#### Filter Results:

- Full text PDF available (97)

#### Publication Year

1989

2018

- This year (4)
- Last 5 years (42)
- Last 10 years (83)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Cell Type

#### Data Set Used

Learn More

- Vincent Danos, Laurent Regnier
- Arch. Math. Log.
- 1989

- Vincent Danos, Cosimo Laneve
- Theor. Comput. Sci.
- 2004

A language of formal proteins, the -calculus, is introduced. Interactions are modeled at the domain level, bonds are represented by means of shared names, and reactions are required to satisfy aâ€¦ (More)

- Vincent Danos, Jean Krivine
- CONCUR
- 2004

One obtains in this paper a process algebra RCCS, in the style of CCS, where processes can backtrack. Backtrack, just as plain forward computation, is seen as a synchronization and incurs noâ€¦ (More)

- Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
- J. Symb. Log.
- 1997

The main concern of this paper is the design of a noetherian and connuent normalization for LK 2 (that is, classical second order predicate logic presented as a sequent calculus). The method weâ€¦ (More)

- Vincent Danos, JÃ©rÃ´me Feret, Walter Fontana, Russell Harmer, Jean Krivine
- CONCUR
- 2007

Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualitative forms of reasoning.â€¦ (More)

- Vincent Danos, Elham Kashefi, Prakash Panangaden
- J. ACM
- 2007

Measurement-based quantum computation has emerged from the physics community as a new approach to quantum computation where the notion of measurement is the main driving force of computation. This isâ€¦ (More)

- Vincent Danos, JÃ©rÃ´me Feret, Walter Fontana, Jean Krivine
- APLAS
- 2007

Given the combinatorial nature of cellular signalling pathways, where biological agents can bind and modify each other in a large number of ways, concurrent or agent-based languages seem particularlyâ€¦ (More)

We introduce a flow condition on one-way measurement patterns which guarantees globally deterministic behaviour. Dependent Pauli corrections are derived for all such patterns, which 1) equalise allâ€¦ (More)

- Nathalie Chabrier-Rivier, Marc Chiaverini, Vincent Danos, FranÃ§ois Fages, Vincent SchÃ¤chter
- Theor. Comput. Sci.
- 2004

We introduce a formalism to represent and analyze protein-protein and protein-DNA interaction networks. We illustrate the expressivity of this language, by proposing a formal counterpart of Kohnâ€™sâ€¦ (More)

- Vincent Danos, Jean Krivine
- CONCUR
- 2005

We propose a formalisation of the notion of transaction, using a variant of CCS, RCCS, that distinguishes reversible and irreversible actions, and incorporates a distributed backtrack mechanism. Anyâ€¦ (More)