Paul Ruet

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Average sensitivity of nested canalizing multivalued functions Computational Methods in Systems Biology	2024-02-28	Paper
From multivalued to Boolean functions: preservation of soft nested canalization Theoretical Computer Science	2024-02-23	Paper
Asynchronous Boolean networks and hereditarily bijective maps Natural Computing	2019-07-08	Paper
Negative local feedbacks in Boolean networks Discrete Applied Mathematics	2017-02-27	Paper
Local cycles and dynamical properties of Boolean networks Mathematical Structures in Computer Science	2016-07-28	Paper
Cyclic extensions of order varieties Electronic Notes in Theoretical Computer Science	2014-05-13	Paper
Spatial differentiation and positive circuits in a discrete framework Electronic Notes in Theoretical Computer Science	2013-12-06	Paper
From kernels in directed graphs to fixed points and negative cycles in Boolean networks Discrete Applied Mathematics	2013-04-25	Paper
Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework Advances in Applied Mathematics	2008-10-22	Paper
On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems Lecture Notes in Computer Science	2008-06-10	Paper
Positive or negative regulatory circuit inference from multilevel dynamics	2007-05-09	Paper
Computer Science Logic Lecture Notes in Computer Science	2006-11-01	Paper
Non-commutative proof construction: a constraint-based approach Annals of Pure and Applied Logic	2006-09-14	Paper
Applications and Theory of Petri Nets 2004 Lecture Notes in Computer Science	2005-12-23	Paper
Non-commutative logic. III: Focusing proofs. Information and Computation	2004-03-14	Paper
scientific article; zbMATH DE number 1863399 (Why is no real title available?)	2003-08-24	Paper
Linear concurrent constraint programming: Operational and phase semantics Information and Computation	2003-01-14	Paper
Non-commutative logic II: sequent calculus and phase semantics Mathematical Structures in Computer Science	2002-11-28	Paper
Non-commutative logic. I: The multiplicative fragment Annals of Pure and Applied Logic	2001-06-04	Paper
scientific article; zbMATH DE number 1223634 (Why is no real title available?)	1998-11-15	Paper
scientific article; zbMATH DE number 1113818 (Why is no real title available?)	1998-02-08	Paper
Combining explicit negation and negation by failure via Belnap's logic Theoretical Computer Science	1997-02-28	Paper

Research outcomes over time

This page was built for person: Paul Ruet