Search the dblp DataBase

Publications of Author

1. Vincent Danos, Jean Krivine
   Reversible Communicating Systems. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2004, pp:292-307 [Conf]
   
2. Vincent Danos, Jean Krivine
   Transactions in RCCS. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2005, pp:398-412 [Conf]
   
3. Vincent Danos, Jean Krivine, Fabien Tarissan
   Self-assembling Trees. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:175, n:1, pp:19-32 [Journal]
   
4. Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
   Rule-Based Modelling of Cellular Signalling. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2007, pp:17-41 [Conf]
   
5. Jean Krivine
   A verification algorithm for Declarative Concurrent Programming [Citation Graph (0, 0)][DBLP]
   CoRR, 2006, v:0, n:, pp:- [Journal]
   
6. Vincent Danos, Jean Krivine, Pawel Sobocinski
   General Reversibility. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:175, n:3, pp:75-86 [Journal]
   
7. Vincent Danos, Jean Krivine
   Formal Molecular Biology Done in CCS-R. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:180, n:3, pp:31-49 [Journal]
   
8. 
   Scalable Simulation of Cellular Signaling Networks. [Citation Graph (, )][DBLP]
   
   
9. 
   Modelling Epigenetic Information Maintenance: A Kappa Tutorial. [Citation Graph (, )][DBLP]
   
   
10. 
    Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction. [Citation Graph (, )][DBLP]
    
    
11. 
    Investigation of a Biological Repair Scheme. [Citation Graph (, )][DBLP]
    
    
12. 
    Abstract Interpretation of Cellular Signalling Networks. [Citation Graph (, )][DBLP]
    
    
13. 
    Rule-Based Modelling, Symmetries, Refinements. [Citation Graph (, )][DBLP]
    
    
14. 
    Stochastic Bigraphs. [Citation Graph (, )][DBLP]