Institut de Mathématiques de Luminy

BIBLIOGRAPHIE - Paul RUET

Année
Publications
Files Type
2008
Ille Pierre, Ruet Paul.
Cyclic extensions of order varieties.
Foundations of Informatics, Computing and Software, ENTCS 212: 119-132, 2008
lien ACL
  Remy Élisabeth, Ruet Paul, Thieffry Denis.
Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework.
Advances in Applied Mathematics 41(3): 335-350, 2008
ACL
  Crumière Anne, Ruet Paul.
Spatial differentiation and positive circuits in a discrete framework.
Development of Computational Models, ENTCS 192: 85-100, 2008
ACL
  Remy Élisabeth, Ruet Paul.
From minimal signed circuits to the dynamics of Boolean regulatory networks.
Bioinformatics 24: i200-i226, 2008.
ACL
2007
Remy Élisabeth, Ruet Paul.
On differentiation and homeostatic behaviours of Boolean dynamical systems.
Transactions on Computational Systems Biology VIII, Springer LNCS 4780: 92-101, 2007.
  ACTI
2006
Remy Élisabeth, Ruet Paul, Mendoza Luis, Thieffry Denis, Chaouiya Claudine.
From logical regulatory graphs to standard Petri nets: dynamical roles and functionality of feedback circuits.
Transactions on Computational Systems Biology VI, Springer LNCS 4220, 2006.
ACTI
 

Remy Élisabeth, Ruet Paul, Thieffry Denis.
Positive or negative regulatory circuit inference from multilevel dynamics,
Positive Systems: Theory and Applications, Springer LNCIS 341: 263--270, 2006.

ACTI
  Remy Élisabeth, Ruet Paul.
On differentiation and homeostatic behaviours of Boolean dynamical systems.
Transactions on Computational Systems Biology VII, Springer LNCS 4230: 153--162, 2006.
   
  Andreoli Jean-Marc, Maieli Roberto, Ruet Paul.
Non-commutative proof construction: a constraint-based approach.
Ann. Pure Appl. Logic 142(1-3) : 212--244, 2006.
ACL
2005
Andreoli Jean-Marc, Pulcini Gabriele, Ruet Paul.
Permutative logic.
Computer science logic , 184--199, Lecture Notes in Comput. Sci., 3634, Springer, Berlin, 2005.
 
2004
Ehrhard Thomas, Girard Jean-Yves, Ruet Paul, Scott Philip.
Linear logic in computer science.
Papers from the Azores Summer School held in St. Miguel, August 30--September 7, 2000. Edited by Thomas Ehrhard, Jean-Yves Girard, Paul Ruet and Philip Scott. London Mathematical Society Lecture Note Series 316, Cambridge University Press, x+381 pp. ISBN: 0-521-60857-0, 2004.
link  
 

Chaouiya Claudine, Remy Élisabeth, Ruet Paul, Thieffry Denis.
Qualitative modelling of genetic networks: from logical regulatory graphs to standard Petri nets.
Application and Theory of Petri Nets, Lecture Notes in Computer Science 3099, pp. 137-156, Springer Verlag, 2004.

 
2003 Maieli Roberto, Ruet Paul.
Non-commutative logic III : focusing proofs.
Information and Computation, 185(2): 233-262, 2003.
 
2002

Blute Rick, Lamarche François, Ruet Paul.
Entropic Hopf algebras and models of non-commutative logic.
Theory and Applications of Categories, 10(17): 424-460, 2002.

link  
2001 Fages François, Ruet Paul and Soliman Sylvain.
Linear concurrent constraint programming: operational and phase semantics.
Inform. and Comput., vol.165, no.1, pp.14--41, 2001.
 
2000 Ruet Paul.
Non-commutative logic. II. Sequent calculus and phase semantics.
The Lambek Festschrift : mathematical structures in computer science (Montreal, QC, 1997). Math. Structures Comput. Sci. 10, no. 2, 277--312, 2000. 
 
  Abrusci Vito Michele and Ruet Paul.
Non-commutative logic. I. The multiplicative fragment.
Ann. Pure Appl. Logic 101, no. 1, 29--64, 2000. 
 


1998 Ruet Paul and Fages François.
Concurrent constraint programming and non-commutative logic.
Computer science logic (Aarhus, 1997), 406--423, Lecture Notes in Comput. Sci., 1414,
Springer, Berlin
, 1998.
  Fages François, Ruet Paul and Soliman Sylvain.
Phase semantics and verification of concurrent constraint programs.
Thirteenth Annual IEEE Symposium on Logic in Computer Science (Indianapolis, IN, 1998),
141--152, IEEE Computer Soc., Los Alamitos, CA
, 1998.
1997 Ruet Paul and Fages François.
Combining explicit negation and negation by failure via Belnap's logic.
Theoret. Comput. Sci. 171, no. 1-2, 61--75, 1997.
  Ruet Paul.
Non-commutative linear logic with mobilities.
Bulletin of Symbolic Logic 3(2): 274--275, 1997.
link
1996 Ruet Paul.
Logical semantics of concurrent constraint programming.
Constraint Programming, Springer LNCS 1118: 397--409, 1996.

Thèse
(Thesis)
 
1997 Logique non-commutative et programmation concurrente par contraintes [ Non-commutative logic and concurrent constraint programming].
Thèse de doctorat en Logique et Fondements de l'Informatique effectuée à l'Ecole Normale Supérieure et dans l'Equipe de logique de l'Université Denis Diderot, Paris 7, 1996


Last update : october 13, 2010, EL.