Found 14 Documents (Results 1–14)
On the dynamics of semilattice networks. (English) Zbl 1492.94221
Reviewer: Amir Hashemi (Isfahan)
Fixed points in generalized parallel and sequential dynamical systems induced by a minterm or maxterm Boolean functions. (English) Zbl 1484.94036
Existence, coexistence and uniqueness of fixed points in parallel and sequential dynamical systems over directed graphs. (English) Zbl 1478.90019
Synchronous Boolean finite dynamical systems on directed graphs over XOR functions. (English) Zbl 07559447
Esparza, Javier (ed.) et al., 45th international symposium on mathematical foundations of computer science, MFCS 2020, August 25–26, 2020, Prague, Czech Republic. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 170, Article 76, 13 p. (2020).
MSC:
68Qxx
Complexity of maximum fixed point problem in Boolean networks. (English) Zbl 1434.37013
Manea, Florin (ed.) et al., Computing with foresight and industry. 15th conference on computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11558, 132-143 (2019).
Generalized predecessor existence problems for Boolean finite dynamical systems on directed graphs. (English) Zbl 1434.68315
Generalized predecessor existence problems for Boolean finite dynamical systems. (English) Zbl 1441.68140
Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 8, 13 p. (2017).
Computational complexity studies of synchronous Boolean finite dynamical systems on directed graphs. (English) Zbl 1376.68068
Computational complexity studies of synchronous Boolean finite dynamical systems. (English) Zbl 1459.68084
Jain, Rahul (ed.) et al., Theory and applications of models of computation. 12th annual conference, TAMC 2015, Singapore, May 18–20, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9076, 87-98 (2015).
Filter Results by …
Document Type
- Journal Articles (10)
- Collection Articles (4)
all
top 5
Author
- Ogihara, Mitsunori (6)
- Uchizawa, Kei (6)
- Bridoux, Florian (3)
- Malekbala, Ghazaleh (3)
- Sharifan, Leila (3)
- Aledo, Juan Ángel (2)
- Barzanouni, Ali (2)
- Kawachi, Akinori (2)
- Perrot, Kévin (2)
- Richard, Adrien (2)
- Valverde, Jose C. (2)
- Barrett, Chris L. (1)
- Durbec, Amélia (1)
- Durbec, Nicolas (1)
- Homan, Christopher M. (1)
- Hunt, Harry Bowen III (1)
- Jazaeri, Leila Musavizadeh (1)
- Kosub, Sven (1)
- Marathe, Madhav V. (1)
- Ravi, S. S. (1)
- Rosenkrantz, Daniel J. (1)
- Stearns, Richard Edwin (1)
- Taha, Maryam (1)
Software
- OEIS (1)