| 2008 |
|---|
| 15 | EE | Elisabeth Remy,
Paul Ruet:
From minimal signed circuits to the dynamics of Boolean regulatory networks.
ECCB 2008: 220-226 |
| 14 | EE | Pierre Ille,
Paul Ruet:
Cyclic Extensions of Order Varieties.
Electr. Notes Theor. Comput. Sci. 212: 119-132 (2008) |
| 2006 |
|---|
| 13 | EE | Jean-Marc Andreoli,
Roberto Maieli,
Paul Ruet:
Non-commutative proof construction: A constraint-based approach.
Ann. Pure Appl. Logic 142(1-3): 212-244 (2006) |
| 12 | EE | Elisabeth Remy,
Paul Ruet:
On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems.
T. Comp. Sys. Biology: 153-162 (2006) |
| 11 | EE | Elisabeth Remy,
Paul Ruet,
Luis Eduardo Mendoza,
Denis Thieffry,
Claudine Chaouiya:
From Logical Regulatory Graphs to Standard Petri Nets: Dynamical Roles and Functionality of Feedback Circuits.
T. Comp. Sys. Biology: 56-72 (2006) |
| 2005 |
|---|
| 10 | EE | Jean-Marc Andreoli,
Gabriele Pulcini,
Paul Ruet:
Permutative Logic.
CSL 2005: 184-199 |
| 2004 |
|---|
| 9 | EE | Claudine Chaouiya,
Elisabeth Remy,
Paul Ruet,
Denis Thieffry:
Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets.
ICATPN 2004: 137-156 |
| 2003 |
|---|
| 8 | EE | Roberto Maieli,
Paul Ruet:
Non-commutative logic III: focusing proofs.
Inf. Comput. 185(2): 233-262 (2003) |
| 2001 |
|---|
| 7 | | François Fages,
Paul Ruet,
Sylvain Soliman:
Linear Concurrent Constraint Programming: Operational and Phase Semantics.
Inf. Comput. 165(1): 14-41 (2001) |
| 2000 |
|---|
| 6 | | Paul Ruet:
Non-commutative logic II: sequent calculus and phase semantics.
Mathematical Structures in Computer Science 10(2): 277-312 (2000) |
| 1999 |
|---|
| 5 | | V. Michele Abrusci,
Paul Ruet:
Non-Commutative Logic I: The Multiplicative Fragment.
Ann. Pure Appl. Logic 101(1): 29-64 (1999) |
| 1998 |
|---|
| 4 | | François Fages,
Paul Ruet,
Sylvain Soliman:
Phase Semantics and Verification of Concurrent Constraint Programs.
LICS 1998: 141-152 |
| 1997 |
|---|
| 3 | | Paul Ruet,
François Fages:
Concurrent Constraint Programming and Non-commutative Logic.
CSL 1997: 406-423 |
| 2 | EE | Paul Ruet,
François Fages:
Combining Explicit Negation and Negation by Failure Via Belnap's Logic.
Theor. Comput. Sci. 171(1-2): 61-75 (1997) |
| 1996 |
|---|
| 1 | | Paul Ruet:
Logical Semantics of Concurrent Constraint Programming.
CP 1996: 397-409 |
