Logical Semantics of Concurrent Constraint Programming. - Paul Ruet (CP, 1996)

Concurrent Constraint Programming and Non-commutative Logic. - Paul Ruet; François Fages (CSL, 1997)

Combining Explicit Negation and Negation by Failure Via Belnap's Logic. - Paul Ruet; François Fages (Theor. Comput. Sci., 1997)

Phase Semantics and Verification of Concurrent Constraint Programs. - François Fages; Paul Ruet; Sylvain Soliman (LICS, 1998)

Non-Commutative Logic I: The Multiplicative Fragment. - V. Michele Abrusci; Paul Ruet (Ann. Pure Appl. Log., 1999)

Non-commutative logic II: sequent calculus and phase semantics. - Paul Ruet (Math. Struct. Comput. Sci., 2000)

Linear Concurrent Constraint Programming: Operational and Phase Semantics. - François Fages; Paul Ruet; Sylvain Soliman (Inf. Comput., 2001)

Non-commutative logic III: focusing proofs. - Roberto Maieli; Paul Ruet (Inf. Comput., 2003)

Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets. - Claudine Chaouiya; Elisabeth Remy; Paul Ruet; Denis Thieffry (ICATPN, 2004)

Permutative Logic. - Jean-Marc Andreoli; Gabriele Pulcini; Paul Ruet (CSL, 2005)

Positive or Negative Regulatory Circuit Inference from Multilevel Dynamics. - Elisabeth Remy; Paul Ruet; Denis Thieffry (POSTA, 2006)

Non-commutative proof construction: A constraint-based approach. - Jean-Marc Andreoli; Roberto Maieli; Paul Ruet (Ann. Pure Appl. Log., 2006)

On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems. - Elisabeth Remy; Paul Ruet (Trans. Comp. Sys. Biology, 2006)

From Logical Regulatory Graphs to Standard Petri Nets: Dynamical Roles and Functionality of Feedback Circuits. - Elisabeth Remy; Paul Ruet; Luis Eduardo Mendoza; Denis Thieffry; Claudine Chaouiya (Trans. Comp. Sys. Biology, 2006)

Spatial Differentiation and Positive Circuits in a Discrete Framework. - Anne Crumière; Paul Ruet (DCM@ICALP, 2007)

From minimal signed circuits to the dynamics of Boolean regulatory networks. - Elisabeth Remy; Paul Ruet (ECCB, 2008)

Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework. - Elisabeth Remy; Paul Ruet; Denis Thieffry (Adv. Appl. Math., 2008)

Cyclic Extensions of Order Varieties. - Pierre Ille; Paul Ruet (FICS, 2008)

From kernels in directed graphs to fixed points and negative cycles in Boolean networks. - Adrien Richard; Paul Ruet (Discret. Appl. Math., 2013)

Geometric Characterization of Hereditarily Bijective Boolean Networks. - Paul Ruet (ACRI, 2014)

Asynchronous Boolean networks and hereditarily bijective maps. - Paul Ruet (Nat. Comput., 2015)

Local cycles and dynamical properties of Boolean networks. - Paul Ruet (Math. Struct. Comput. Sci., 2016)

Negative local feedbacks in Boolean networks. - Paul Ruet (Discret. Appl. Math., 2017)

Average Sensitivity of Nested Canalizing Multivalued Functions. - Elisabeth Remy; Paul Ruet (CMSB, 2023)

From multivalued to Boolean functions: Preservation of soft nested canalization. - Elisabeth Remy; Paul Ruet (Theor. Comput. Sci., 2024)