.:. Browse > List by year > 2006 .:.

71 documents ordered by : Date Title first author name document type Submit date

1 - 2 - 3 - 4 - 5

Étude d'un formalisme concurrent pour les phénomènes d'auto-organisation et la biologie moléculaire Tarissan F. Université Paris-Diderot - Paris VII (13/12/2006), Vincent Danos (Dir.) [tel-00151001 - version 1]

Self-assembling graphs Danos V., Tarissan F. Natural Computing (2006) 20 p. [hal-00150785 - version 1]

Normalisation & Equivalence en Théorie de la Démonstration & Théorie des Types Lengrand S. Université Paris-Diderot - Paris VII University of St Andrews (08/12/2006), Delia Kesner, Roy Dyckhoff (Dir.) [tel-00134646 - version 1]

Computation of Chromatic Polynomials Using Triangulations and Clique Trees Berthomé P., Lebresne S., Nguyen K. Dans Graph-Theoretic Concepts in Computer Science - WG 2005, France (2006) [hal-00150806 - version 1]

Typage et contrôle de la mobilité Hym S. Université Paris-Diderot - Paris VII (01/12/2006), Vincent Danos (Dir.) [tel-00140652 - version 1]

The anatomy of innocence revisited Harmer R., Laurent O. Dans Foundations of Software Technology and Theoretical Computer Science - (2006) [hal-00124569 - version 1]

Patterns as first-class citizens Jay C. B., Kesner D. [hal-00229331 - version 1] (31/01/2008)

Property-driven statistics of biological networks Bourguignon P.-Y., Danos V., Kepes F., Smidtas S., Schachter V. Transactions on Computational Systems Biology 6 (2006) 1-15 [hal-00155298 - version 1]

Determinism and the one-way model Danos V., Kashefi E. Phys Rev A 74, 5 (2006) article 052310 [hal-00155302 - version 1]

Differential interaction nets Ehrhard T., Regnier L. Theoretical Computer Science 364, 2 (2006) 166-195 [hal-00150274 - version 1]

Linear Logic Di Cosmo R., Miller D. Dans The Stanford Encyclopedia of Philosophy (2006) http://plato.stanford.edu/archives/fall2006/entries/logic-linear/ [hal-00160648 - version 1]

Reactive concurrent programming revisited Amadio R. M., Boudol G., Castellani I., Boussinot F. Dans Workshop on Process Algebra - Express, France (2006) [hal-00015838 - version 1]

T-homotopy and refinement of observation (III) : Invariance of the branching and merging homologies Gaucher P. The New York Journal of Mathematics 12 (2006) 319--348 [hal-00150918 - version 1]

On differential interaction nets and the pi-calculus Ehrhard T., Laurent O. [hal-00096280 - version 1] (19/09/2006)

Managing the Complexity of Large Free and Open Source Package-Based Software Distributions Mancinelli F., Boender J., Di Cosmo R., Vouillon J., Durak B., Leroy X., Treinen R. Dans Automated Software Engineering - 21st IEEE/ACM International Conference on Automated Software Engineering, Japon (2006) [hal-00149566 - version 1]