The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Vincent Danos: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marc Chiaverini, Vincent Danos
    A Core Modeling Language for the Working Molecular Biologist (Abstract). [Citation Graph (0, 0)][DBLP]
    CMSB, 2003, pp:166- [Conf]
  2. Vincent Danos, Cosimo Laneve
    Graphs for Core Molecular Biology. [Citation Graph (0, 0)][DBLP]
    CMSB, 2003, pp:34-46 [Conf]
  3. Vincent Danos, Sylvain Pradalier
    Projective Brane Calculus. [Citation Graph (0, 0)][DBLP]
    CMSB, 2004, pp:134-148 [Conf]
  4. Vincent Danos, Josee Desharnais, Prakash Panangaden
    Conditional Expectation and the Approximation of Labelled Markov Processes. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2003, pp:468-482 [Conf]
  5. Vincent Danos, Jean Krivine
    Reversible Communicating Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2004, pp:292-307 [Conf]
  6. Vincent Danos, Jean Krivine
    Transactions in RCCS. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2005, pp:398-412 [Conf]
  7. Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier
    Timeless Games. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:56-77 [Conf]
  8. Vincent Danos, Russell Harmer
    The Anatomy of Innocence. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:188-202 [Conf]
  9. Vincent Danos, Jean-Louis Krivine
    Disjunctive Tautologies as Synchronisation Schemes. [Citation Graph (0, 0)][DBLP]
    CSL, 2000, pp:292-301 [Conf]
  10. Vincent Danos, Marco Pedicini, Laurent Regnier
    Directed Virtual Reductions. [Citation Graph (0, 0)][DBLP]
    CSL, 1996, pp:76-88 [Conf]
  11. Vincent Danos, Cosimo Laneve
    Core Formal Molecular Biology. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:302-318 [Conf]
  12. Vincent Danos, Elham Kashefi, Prakash Panangaden
    The One Way to Quantum Computation. [Citation Graph (0, 0)][DBLP]
    ICALP (2), 2006, pp:13-21 [Conf]
  13. Emmanuel Beffara, Vincent Danos
    Disjunctive normal forms and local exceptions. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:203-211 [Conf]
  14. Vincent Danos, Fabien Tarissan
    Self Assembling Graphs. [Citation Graph (0, 0)][DBLP]
    IWINAC (1), 2005, pp:498-507 [Conf]
  15. Vincent Danos
    Une logique à grain fain: la logique linéaire. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1994, pp:311-0 [Conf]
  16. Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
    The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:159-171 [Conf]
  17. Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier
    Believe it or not, AJM's Games Model is a Model of Classical Linear Logic. [Citation Graph (0, 0)][DBLP]
    LICS, 1997, pp:68-75 [Conf]
  18. Andrea Asperti, Vincent Danos, Cosimo Laneve, Laurent Regnier
    Paths in the lambda-calculus [Citation Graph (0, 0)][DBLP]
    LICS, 1994, pp:426-436 [Conf]
  19. Vincent Danos, Josee Desharnais
    Labelled Markov Processes: Stronger and Faster Approximations. [Citation Graph (0, 0)][DBLP]
    LICS, 2003, pp:341-350 [Conf]
  20. Vincent Danos, Russell Harmer
    Probabilistic Game Semantics. [Citation Graph (0, 0)][DBLP]
    LICS, 2000, pp:204-213 [Conf]
  21. Vincent Danos, Hugo Herbelin, Laurent Regnier
    Game Semantics & Abstract Machines. [Citation Graph (0, 0)][DBLP]
    LICS, 1996, pp:394-405 [Conf]
  22. Vincent Danos, Laurent Regnier
    Local and asynchronous beta-reduction (an analysis of Girard's execution formula) [Citation Graph (0, 0)][DBLP]
    LICS, 1993, pp:296-306 [Conf]
  23. Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
    Computational isomorphisms in classical logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal]
  24. Vincent Danos, Laurent Regnier
    Reversible, Irreversible and Optimal Lambda-machines. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal]
  25. Vincent Danos, Elham Kashefi
    Pauli Measurements are Universal. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:170, n:, pp:95-100 [Journal]
  26. Vincent Danos, Ellie D'Hondt, Elham Kashefi, Prakash Panangaden
    Distributed Measurement-based Quantum Computation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:170, n:, pp:73-94 [Journal]
  27. 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]
  28. Vincent Danos, Jean-Baptiste Joinet
    Linear logic and elementary time. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2003, v:183, n:1, pp:123-137 [Journal]
  29. Vincent Danos, Josee Desharnais, François Laviolette, Prakash Panangaden
    Bisimulation and cocongruence for probabilistic systems. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2006, v:204, n:4, pp:503-523 [Journal]
  30. Vincent Danos, Elham Kashefi, Prakash Panangaden
    The measurement calculus. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2007, v:54, n:2, pp:- [Journal]
  31. Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
    A New Deconstructive Logic: Linear Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:3, pp:755-807 [Journal]
  32. Nathalie Chabrier-Rivier, Marc Chiaverini, Vincent Danos, François Fages, Vincent Schächter
    Modeling and querying biomolecular interaction networks. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:325, n:1, pp:25-44 [Journal]
  33. Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
    Computational isomorphisms in classical logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:294, n:3, pp:353-378 [Journal]
  34. Vincent Danos, Cosimo Laneve
    Formal molecular biology. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:325, n:1, pp:69-110 [Journal]
  35. Vincent Danos, Laurent Regnier
    Reversible, Irreversible and Optimal lambda-Machines. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:227, n:1-2, pp:79-97 [Journal]
  36. Pierre-Yves Bourguignon, Vincent Danos, François Képès, Serge Smidtas, Vincent Schächter
    Property-Driven Statistics of Biological Networks. [Citation Graph (0, 0)][DBLP]
    , 2006, v:, n:, pp:1-15 [Journal]
  37. Vincent Danos, Russell Harmer
    Probabilistic game semantics. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2002, v:3, n:3, pp:359-382 [Journal]
  38. 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]
  39. 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]
  40. 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]
  41. Vincent Danos, Cosimo Laneve
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:180, n:3, pp:1-2 [Journal]
  42. Vincent Danos, Fabien Tarissan
    Self-assembling graphs. [Citation Graph (0, 0)][DBLP]
    Natural Computing, 2007, v:6, n:3, pp:339-358 [Journal]

  43. Scalable Simulation of Cellular Signaling Networks. [Citation Graph (, )][DBLP]


  44. Approximating Labelled Markov Processes Again! [Citation Graph (, )][DBLP]


  45. Modelling Epigenetic Information Maintenance: A Kappa Tutorial. [Citation Graph (, )][DBLP]


  46. Approximating Markov Processes by Averaging. [Citation Graph (, )][DBLP]


  47. Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction. [Citation Graph (, )][DBLP]


  48. Investigation of a Biological Repair Scheme. [Citation Graph (, )][DBLP]


  49. Abstract Interpretation of Cellular Signalling Networks. [Citation Graph (, )][DBLP]


  50. Rule-Based Modelling, Symmetries, Refinements. [Citation Graph (, )][DBLP]


  51. Quadratic Form Expansions for Unitaries. [Citation Graph (, )][DBLP]


  52. Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature [Citation Graph (, )][DBLP]


  53. Equilibrium and Termination [Citation Graph (, )][DBLP]


  54. Labelled Markov Processes: Stronger and Faster Approximations. [Citation Graph (, )][DBLP]


  55. Classical Knowledge for Quantum Cryptographic Reasoning. [Citation Graph (, )][DBLP]


  56. Preface. [Citation Graph (, )][DBLP]


  57. Agile Modelling of Cellular Signalling (Invited Paper). [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.307secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002