Paul Ruet

According to our database, Paul Ruet authored at least 25 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

From multivalued to Boolean functions: Preservation of soft nested canalization.

Elisabeth Remy, Paul Ruet

Theor. Comput. Sci., January, 2024

2023

Average Sensitivity of Nested Canalizing Multivalued Functions.

Elisabeth Remy, Paul Ruet

Proceedings of the Computational Methods in Systems Biology, 2023

2017

Negative local feedbacks in Boolean networks.

Paul Ruet

Discret. Appl. Math., 2017

2016

Local cycles and dynamical properties of Boolean networks.

Paul Ruet

Math. Struct. Comput. Sci., 2016

2015

Asynchronous Boolean networks and hereditarily bijective maps.

Paul Ruet

Nat. Comput., 2015

2014

Geometric Characterization of Hereditarily Bijective Boolean Networks.

Paul Ruet

Proceedings of the Cellular Automata, 2014

2013

From kernels in directed graphs to fixed points and negative cycles in Boolean networks.

Adrien Richard, Paul Ruet

Discret. Appl. Math., 2013

2008

Cyclic Extensions of Order Varieties.

Pierre Ille, Paul Ruet

Proceedings of the First International Conference on Foundations of Informatics, 2008

Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework.

Elisabeth Remy, Paul Ruet, Denis Thieffry

Adv. Appl. Math., 2008

From minimal signed circuits to the dynamics of Boolean regulatory networks.

Elisabeth Remy, Paul Ruet

Proceedings of the ECCB'08 Proceedings, 2008

2007

Spatial Differentiation and Positive Circuits in a Discrete Framework.

Anne Crumière, Paul Ruet

Proceedings of the Third International Workshop on Developments in Computational Models, 2007

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

On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems.

Elisabeth Remy, Paul Ruet

Trans. Comp. Sys. Biology, 2006

Non-commutative proof construction: A constraint-based approach.

Jean-Marc Andreoli, Roberto Maieli, Paul Ruet

Ann. Pure Appl. Log., 2006

Positive or Negative Regulatory Circuit Inference from Multilevel Dynamics.

Elisabeth Remy, Paul Ruet, Denis Thieffry

Proceedings of the Positive Systems, 2006

2005

Permutative Logic.

Jean-Marc Andreoli, Gabriele Pulcini, Paul Ruet

Proceedings of the Computer Science Logic, 19th International Workshop, 2005

2004

Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets.

Claudine Chaouiya, Elisabeth Remy, Paul Ruet, Denis Thieffry

Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003

Non-commutative logic III: focusing proofs.

Roberto Maieli, Paul Ruet

Inf. Comput., 2003

2001

Linear Concurrent Constraint Programming: Operational and Phase Semantics.

François Fages, Paul Ruet, Sylvain Soliman

Inf. Comput., 2001

2000

Non-commutative logic II: sequent calculus and phase semantics.

Paul Ruet

Math. Struct. Comput. Sci., 2000

1999

Non-Commutative Logic I: The Multiplicative Fragment.

V. Michele Abrusci, Paul Ruet

Ann. Pure Appl. Log., 1999

1998

Phase Semantics and Verification of Concurrent Constraint Programs.

François Fages, Paul Ruet, Sylvain Soliman

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

1997

Combining Explicit Negation and Negation by Failure Via Belnap's Logic.

Paul Ruet, François Fages

Theor. Comput. Sci., 1997

Concurrent Constraint Programming and Non-commutative Logic.

Paul Ruet, François Fages

Proceedings of the Computer Science Logic, 11th International Workshop, 1997

1996

Logical Semantics of Concurrent Constraint Programming.

Paul Ruet

Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996