Copertina

Bringing memory to Boolean networks: a unifying framework

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Gadouleau, Maximilien, Paulevé, Loïc, Riva, Sara
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks
di: Trinh, Van-Giang, et al.
Pubblicazione: (2024)

Trapping and commutative Boolean networks
di: Gadouleau, Maximilien
Pubblicazione: (2026)

Bringing closure to theory combination properties
di: Toledo, Guilherme V., et al.
Pubblicazione: (2026)

Rings and Boolean Algebras as Algebraic Theories
di: De Faveri, Arturo
Pubblicazione: (2025)

Boolean basis, formula size, and number of modal operators
di: Berkholz, Christoph, et al.
Pubblicazione: (2024)

On the number of asynchronous attractors in AND-NOT Boolean networks
di: Trinh, Van-Giang, et al.
Pubblicazione: (2025)

Satisfiability of Quantified Boolean Announcements
di: van Ditmarsch, Hans, et al.
Pubblicazione: (2022)

Symmetries of Dependency Quantified Boolean Formulas
di: Hofstadler, Clemens, et al.
Pubblicazione: (2024)

Structural Analysis of Boolean Equation Systems
di: Keiren, Jeroen, et al.
Pubblicazione: (2010)

Compositional Control-Driven Boolean Circuits
di: Arellanes, Damian
Pubblicazione: (2025)

On Top-Down Pseudo-Boolean Model Counting
di: Yang, Suwei, et al.
Pubblicazione: (2025)

Practical Boolean Decomposition for Delay-driven LUT Mapping
di: Calvino, Alessandro Tempia, et al.
Pubblicazione: (2024)

Bridging abstract dialectical argumentation and Boolean gene regulation
di: Azpeitia, Eugenio, et al.
Pubblicazione: (2024)

Simplifier: A New Tool for Boolean Circuit Simplification
di: Averkov, Daniil, et al.
Pubblicazione: (2025)

Rice-like complexity lower bounds for Boolean and uniform automata networks
di: Goubault-Larrecq, Aliénor, et al.
Pubblicazione: (2024)

Deciding Boolean Separation Logic via Small Models (Technical Report)
di: Dacík, Tomáš, et al.
Pubblicazione: (2024)

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
di: Kabir, Mohimenul, et al.
Pubblicazione: (2025)

Problems and Consequences of Bilateral Notions of (Meta-)Derivability
di: Ayhan, Sara
Pubblicazione: (2025)

On the Number of Quantifiers Needed to Define Boolean Functions
di: Carmosino, Marco, et al.
Pubblicazione: (2024)

Model Counting for Dependency Quantified Boolean Formulas
di: Fung, Long-Hin, et al.
Pubblicazione: (2025)

Logics with probabilistic team semantics and the Boolean negation
di: Hannula, Miika, et al.
Pubblicazione: (2023)

A unified rule format for bounded nondeterminism in SOS with terms as labels
di: Aceto, Luca, et al.
Pubblicazione: (2024)

Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction
di: Keiren, Jeroen J. A., et al.
Pubblicazione: (2013)

On the Boolean Network Theory of Datalog$^\neg$
di: Trinh, Van-Giang, et al.
Pubblicazione: (2025)

Scalable Interconnect Learning in Boolean Networks
di: Kresse, Fabian, et al.
Pubblicazione: (2025)

Proof-Theoretic Functional Completeness for the Connexive Logic C
di: Ayhan, Sara, et al.
Pubblicazione: (2025)

A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications
di: Santo, José Espírito, et al.
Pubblicazione: (2022)

Functoriality of Enriched Data Types
di: Mulder, Lukas, et al.
Pubblicazione: (2025)

Boolean proportions
di: Antić, Christian
Pubblicazione: (2021)

Static Analysis of Logic Programs via Boolean Networks
di: Trinh, Van-Giang, et al.
Pubblicazione: (2024)

Towards Projected and Incremental Pseudo-Boolean Model Counting
di: Yang, Suwei, et al.
Pubblicazione: (2024)

Complexity of Satisfiability in Kochen-Specker Partial Boolean Algebras
di: Dawar, Anuj, et al.
Pubblicazione: (2026)

PBLean: Pseudo-Boolean Proof Certificates for Lean 4
di: Szeider, Stefan
Pubblicazione: (2026)

Boolean Matrix Logic Programming on the GPU
di: Ai, Lun
Pubblicazione: (2024)

Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem
di: Barile, Adriano, et al.
Pubblicazione: (2024)

Phenotype control and elimination of variables in Boolean networks
di: Tonello, Elisa, et al.
Pubblicazione: (2024)

Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness
di: Derkinderen, Vincent
Pubblicazione: (2024)

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis
di: Averkov, Daniil, et al.
Pubblicazione: (2024)

Generalising the maximum independent set algorithm via Boolean networks
di: Gadouleau, Maximilien, et al.
Pubblicazione: (2024)

ZFLean: a framework for set-level mathematics in Lean
di: Trélat, Vincent
Pubblicazione: (2026)