Paul Ruet

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 6

Top Topics

Boolean Networks

Prime Implicants

Top Venues

Math. Struct. Comput. Sci.

Publications

Elisabeth Remy, Paul Ruet
From multivalued to Boolean functions: Preservation of soft nested canalization. Theor. Comput. Sci. 982 (2024)
Elisabeth Remy, Paul Ruet
Average Sensitivity of Nested Canalizing Multivalued Functions. CMSB (2023)
Paul Ruet
Negative local feedbacks in Boolean networks. Discret. Appl. Math. 221 (2017)
Paul Ruet
Local cycles and dynamical properties of Boolean networks. Math. Struct. Comput. Sci. 26 (4) (2016)
Paul Ruet
Negative local feedbacks in Boolean networks. CoRR (2015)
Paul Ruet
Asynchronous Boolean networks and hereditarily bijective maps. Nat. Comput. 14 (4) (2015)
Paul Ruet
Geometric Characterization of Hereditarily Bijective Boolean Networks. ACRI (2014)
Adrien Richard, Paul Ruet
From kernels in directed graphs to fixed points and negative cycles in Boolean networks. Discret. Appl. Math. 161 (7-8) (2013)
Pierre Ille, Paul Ruet
Cyclic Extensions of Order Varieties. Electron. Notes Theor. Comput. Sci. 212 (2008)
Elisabeth Remy, Paul Ruet, Denis Thieffry
Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework. Adv. Appl. Math. 41 (3) (2008)
Anne Crumière, Paul Ruet
Spatial Differentiation and Positive Circuits in a Discrete Framework. Electron. Notes Theor. Comput. Sci. 192 (3) (2008)
Elisabeth Remy, Paul Ruet
From minimal signed circuits to the dynamics of Boolean regulatory networks. ECCB (2008)
Elisabeth Remy, Paul Ruet
On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems. Trans. Comp. Sys. Biology 8 (2007)
Jean-Marc Andreoli, Roberto Maieli, Paul Ruet
Non-commutative proof construction: A constraint-based approach. Ann. Pure Appl. Log. 142 (1-3) (2006)
Elisabeth Remy, Paul Ruet
On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems. Trans. Comp. Sys. Biology 7 (2006)
Elisabeth Remy, Paul Ruet, Denis Thieffry
Positive or Negative Regulatory Circuit Inference from Multilevel Dynamics. POSTA (2006)
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. Trans. Comp. Sys. Biology 7 (2006)
Jean-Marc Andreoli, Gabriele Pulcini, Paul Ruet
Permutative Logic. CSL (2005)
Claudine Chaouiya, Elisabeth Remy, Paul Ruet, Denis Thieffry
Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets. ICATPN (2004)
Roberto Maieli, Paul Ruet
Non-commutative logic III: focusing proofs. Inf. Comput. 185 (2) (2003)
François Fages, Paul Ruet, Sylvain Soliman
Linear Concurrent Constraint Programming: Operational and Phase Semantics. Inf. Comput. 165 (1) (2001)
Paul Ruet
Non-commutative logic II: sequent calculus and phase semantics. Math. Struct. Comput. Sci. 10 (2) (2000)
V. Michele Abrusci, Paul Ruet
Non-Commutative Logic I: The Multiplicative Fragment. Ann. Pure Appl. Log. 101 (1) (1999)
François Fages, Paul Ruet, Sylvain Soliman
Phase Semantics and Verification of Concurrent Constraint Programs. LICS (1998)
Paul Ruet, François Fages
Combining Explicit Negation and Negation by Failure Via Belnap's Logic. Theor. Comput. Sci. 171 (1-2) (1997)
Paul Ruet, François Fages
Concurrent Constraint Programming and Non-commutative Logic. CSL (1997)
Paul Ruet
Logical Semantics of Concurrent Constraint Programming. CP (1996)