Paul Ruet

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Average sensitivity of nested canalizing multivalued functions	2024-02-28	Paper
From multivalued to Boolean functions: preservation of soft nested canalization	2024-02-23	Paper
Asynchronous Boolean networks and hereditarily bijective maps	2019-07-08	Paper
Negative local feedbacks in Boolean networks	2017-02-27	Paper
Local cycles and dynamical properties of Boolean networks	2016-07-28	Paper
Cyclic extensions of order varieties	2014-05-13	Paper
Spatial differentiation and positive circuits in a discrete framework	2013-12-06	Paper
From kernels in directed graphs to fixed points and negative cycles in Boolean networks	2013-04-25	Paper
Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework	2008-10-22	Paper
On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems	2008-06-10	Paper
Positive or negative regulatory circuit inference from multilevel dynamics	2007-05-09	Paper
Computer Science Logic	2006-11-01	Paper
Non-commutative proof construction: a constraint-based approach	2006-09-14	Paper
Applications and Theory of Petri Nets 2004	2005-12-23	Paper
Non-commutative logic. III: Focusing proofs.	2004-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q4790674	2003-08-24	Paper
Linear concurrent constraint programming: Operational and phase semantics	2003-01-14	Paper
Non-commutative logic II: sequent calculus and phase semantics	2002-11-28	Paper
Non-commutative logic. I: The multiplicative fragment	2001-06-04	Paper
https://portal.mardi4nfdi.de/entity/Q4218945	1998-11-15	Paper
https://portal.mardi4nfdi.de/entity/Q4375591	1998-02-08	Paper
Combining explicit negation and negation by failure via Belnap's logic	1997-02-28	Paper

Research outcomes over time

This page was built for person: Paul Ruet