Paul Ruet

27 papers A* 1A 1B 2C 1Journal 16Unranked 6
YearRankTypeTitle / Venue / Authors
2024 J jnl
From multivalued to Boolean functions: Preservation of soft nested canalization.
Theor. Comput. Sci.
Elisabeth Remy, Paul Ruet
2023 — conf
Average Sensitivity of Nested Canalizing Multivalued Functions.
CMSB
Elisabeth Remy, Paul Ruet
2017 J jnl
Negative local feedbacks in Boolean networks.
Discret. Appl. Math.
Paul Ruet
2016 J jnl
Local cycles and dynamical properties of Boolean networks.
Math. Struct. Comput. Sci.
Paul Ruet
2015 J jnl
Asynchronous Boolean networks and hereditarily bijective maps.
Nat. Comput.
Paul Ruet
2015 J jnl
Negative local feedbacks in Boolean networks.
CoRR
Paul Ruet
2014 — conf
Geometric Characterization of Hereditarily Bijective Boolean Networks.
ACRI
Paul Ruet
2013 J jnl
From kernels in directed graphs to fixed points and negative cycles in Boolean networks.
Discret. Appl. Math.
Adrien Richard, Paul Ruet
2008 — conf
Cyclic Extensions of Order Varieties.
FICS
Pierre Ille, Paul Ruet
2008 C conf
From minimal signed circuits to the dynamics of Boolean regulatory networks.
ECCB
Elisabeth Remy, Paul Ruet
2008 J jnl
Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework.
Adv. Appl. Math.
Elisabeth Remy, Paul Ruet, Denis Thieffry
2007 J jnl
On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems.
Trans. Comp. Sys. Biology
Elisabeth Remy, Paul Ruet
2007 — conf
Spatial Differentiation and Positive Circuits in a Discrete Framework.
DCM@ICALP
Anne Crumière, Paul Ruet
2006 J jnl
From Logical Regulatory Graphs to Standard Petri Nets: Dynamical Roles and Functionality of Feedback Circuits.
Trans. Comp. Sys. Biology
Elisabeth Remy, Paul Ruet, Luis Eduardo Mendoza, Denis Thieffry, Claudine Chaouiya
2006 J jnl
Non-commutative proof construction: A constraint-based approach.
Ann. Pure Appl. Log.
Jean-Marc Andreoli, Roberto Maieli, Paul Ruet
2006 J jnl
On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems.
Trans. Comp. Sys. Biology
Elisabeth Remy, Paul Ruet
2006 — conf
Positive or Negative Regulatory Circuit Inference from Multilevel Dynamics.
POSTA
Elisabeth Remy, Paul Ruet, Denis Thieffry
2005 B conf
Permutative Logic.
CSL
Jean-Marc Andreoli, Gabriele Pulcini, Paul Ruet
2004 — conf
Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets.
ICATPN
Claudine Chaouiya, Elisabeth Remy, Paul Ruet, Denis Thieffry
2003 J jnl
Non-commutative logic III: focusing proofs.
Inf. Comput.
Roberto Maieli, Paul Ruet
2001 J jnl
Linear Concurrent Constraint Programming: Operational and Phase Semantics.
Inf. Comput.
François Fages, Paul Ruet, Sylvain Soliman
2000 J jnl
Non-commutative logic II: sequent calculus and phase semantics.
Math. Struct. Comput. Sci.
Paul Ruet
1999 J jnl
Non-Commutative Logic I: The Multiplicative Fragment.
Ann. Pure Appl. Log.
V. Michele Abrusci, Paul Ruet
1998 A* conf
Phase Semantics and Verification of Concurrent Constraint Programs.
LICS
François Fages, Paul Ruet, Sylvain Soliman
1997 J jnl
Combining Explicit Negation and Negation by Failure Via Belnap's Logic.
Theor. Comput. Sci.
Paul Ruet, François Fages
1997 B conf
Concurrent Constraint Programming and Non-commutative Logic.
CSL
Paul Ruet, François Fages
1996 A conf
Logical Semantics of Concurrent Constraint Programming.
CP
Paul Ruet