Bollig, Benedikt; Leucker, Martin; Neider, Daniel A survey of model learning techniques for recurrent neural networks. (English) Zbl 07719258 Jansen, Nils (ed.) et al., A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13560, 81-97 (2022). MSC: 68T07 68Q45 PDF BibTeX XML Cite \textit{B. Bollig} et al., Lect. Notes Comput. Sci. 13560, 81--97 (2022; Zbl 07719258) Full Text: DOI
Zhang, Kuize Detectability of labeled weighted automata over monoids. (English) Zbl 07600210 Discrete Event Dyn. Syst. 32, No. 3, 435-494 (2022). MSC: 68Q45 68Q25 68Q85 90C35 93B07 PDF BibTeX XML Cite \textit{K. Zhang}, Discrete Event Dyn. Syst. 32, No. 3, 435--494 (2022; Zbl 07600210) Full Text: DOI arXiv
Barkalov, Alexander; Titarenko, Larysa; Mielcarek, Kamil; Mazurkiewicz, Małgorzata; Kawecka, Elżbieta Logic synthesis for VLSI-based combined finite state machines. Synthesis targeting ASICs, CPLDs and FPGAs. (English) Zbl 1502.68007 Lecture Notes in Electrical Engineering 922. Cham: Springer (ISBN 978-3-031-16026-4/hbk; 978-3-031-16029-5/pbk; 978-3-031-16027-1/ebook). xv, 291 p. (2022). MSC: 68-02 68Q45 94C11 PDF BibTeX XML Cite \textit{A. Barkalov} et al., Logic synthesis for VLSI-based combined finite state machines. Synthesis targeting ASICs, CPLDs and FPGAs. Cham: Springer (2022; Zbl 1502.68007) Full Text: DOI
Golmohamadian, Masoumeh; Zahedi, Mohammad Mehdi The language of epidemic. (English) Zbl 07595351 Bull. Iran. Math. Soc. 48, No. 5, 2105-2123 (2022). MSC: 68Q45 05C82 92D30 PDF BibTeX XML Cite \textit{M. Golmohamadian} and \textit{M. M. Zahedi}, Bull. Iran. Math. Soc. 48, No. 5, 2105--2123 (2022; Zbl 07595351) Full Text: DOI
Muškardin, Edi; Aichernig, Bernhard K.; Pill, Ingo; Tappler, Martin Learning finite state models from recurrent neural networks. (English) Zbl 1502.68263 ter Beek, Maurice H. (ed.) et al., Integrated formal methods. 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13274, 229-248 (2022). MSC: 68T05 68Q32 68Q45 PDF BibTeX XML Cite \textit{E. Muškardin} et al., Lect. Notes Comput. Sci. 13274, 229--248 (2022; Zbl 1502.68263) Full Text: DOI
Banerjee, Siddhartha; Freund, Daniel; Lykouris, Thodoris Pricing and optimization in shared vehicle systems: an approximation framework. (English) Zbl 1497.90066 Oper. Res. 70, No. 3, 1783-1805 (2022). MSC: 90B22 68M20 60K25 90B06 68Q45 90B05 PDF BibTeX XML Cite \textit{S. Banerjee} et al., Oper. Res. 70, No. 3, 1783--1805 (2022; Zbl 1497.90066) Full Text: DOI arXiv
Fried, Dror; Legay, Axel; Ouaknine, Joël; Vardi, Moshe Y. Sequential relational decomposition. (English) Zbl 1497.68173 Log. Methods Comput. Sci. 18, No. 1, Paper No. 37, 29 p. (2022). MSC: 68Q01 68Q06 68Q25 68Q45 PDF BibTeX XML Cite \textit{D. Fried} et al., Log. Methods Comput. Sci. 18, No. 1, Paper No. 37, 29 p. (2022; Zbl 1497.68173) Full Text: arXiv Link
Alves, Marcos V. S.; Barcelos, Raphael J.; Carvalho, Lilian K.; Basilio, João C. Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacks. (English) Zbl 1483.68015 Nonlinear Anal., Hybrid Syst. 44, Article ID 101162, 23 p. (2022). MSC: 68M10 68M15 68Q45 93C65 PDF BibTeX XML Cite \textit{M. V. S. Alves} et al., Nonlinear Anal., Hybrid Syst. 44, Article ID 101162, 23 p. (2022; Zbl 1483.68015) Full Text: DOI
Bridoux, Florian Sequentialization and procedural complexity in automata networks. (English) Zbl 1478.68121 Theor. Comput. Sci. 898, 92-109 (2022). MSC: 68Q45 68R10 PDF BibTeX XML Cite \textit{F. Bridoux}, Theor. Comput. Sci. 898, 92--109 (2022; Zbl 1478.68121) Full Text: DOI arXiv
Parrot, Rémi; Briday, Mikaël; Roux, Olivier H. Timed Petri nets with reset for pipelined synchronous circuit design. (English) Zbl 1489.68166 Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 55-75 (2021). MSC: 68Q85 68Q06 68Q45 68Q60 PDF BibTeX XML Cite \textit{R. Parrot} et al., Lect. Notes Comput. Sci. 12734, 55--75 (2021; Zbl 1489.68166) Full Text: DOI HAL
Koucký, Michal Circuit complexity of regular languages. (English) Zbl 1510.68037 Pin, Jean-Éric (ed.), Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 493-523 (2021). Reviewer: Klaus D. Kiermeier (Berlin) MSC: 68Q45 68Q06 68Q70 PDF BibTeX XML Cite \textit{M. Koucký}, in: Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 493--523 (2021; Zbl 1510.68037) Full Text: DOI
Dassow, Jürgen; Truthe, Bianca Accepting networks of evolutionary processors with resources restricted and structure limited filters. (English) Zbl 1508.68188 RAIRO, Theor. Inform. Appl. 55, Paper No. 8, 27 p. (2021). MSC: 68Q45 68Q06 68Q07 68Q42 PDF BibTeX XML Cite \textit{J. Dassow} and \textit{B. Truthe}, RAIRO, Theor. Inform. Appl. 55, Paper No. 8, 27 p. (2021; Zbl 1508.68188) Full Text: DOI
Winkler, Stefanie; Körner, Andreas; Breitenecker, Felix Modelling framework for artificial hybrid dynamical systems. (English) Zbl 1478.93303 Nonlinear Anal., Hybrid Syst. 42, Article ID 101072, 17 p. (2021). MSC: 93C30 93B70 68Q45 68T07 PDF BibTeX XML Cite \textit{S. Winkler} et al., Nonlinear Anal., Hybrid Syst. 42, Article ID 101072, 17 p. (2021; Zbl 1478.93303) Full Text: DOI
Zhang, Han; Zhang, Chi; Azevedo de Amorim, Arthur; Agarwal, Yuvraj; Fredrikson, Matt; Jia, Limin Netter: probabilistic, stateful network models. (English) Zbl 1472.68012 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 486-508 (2021). MSC: 68M10 60J20 68N15 68Q45 68Q60 PDF BibTeX XML Cite \textit{H. Zhang} et al., Lect. Notes Comput. Sci. 12597, 486--508 (2021; Zbl 1472.68012) Full Text: DOI
Perrot, Kévin; Perrotin, Pacôme; Sené, Sylvain Optimising attractor computation in Boolean automata networks. (English) Zbl 07405978 Leporati, Alberto (ed.) et al., Language and automata theory and applications. 15th international conference, LATA 2021, Milan, Italy, March 1–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12638, 68-80 (2021). MSC: 68Q45 PDF BibTeX XML Cite \textit{K. Perrot} et al., Lect. Notes Comput. Sci. 12638, 68--80 (2021; Zbl 07405978) Full Text: DOI arXiv
Yellin, Daniel M.; Weiss, Gail Synthesizing context-free grammars from recurrent neural networks. (English) Zbl 1467.68077 Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 351-369 (2021). MSC: 68Q32 68Q42 68Q45 68T05 PDF BibTeX XML Cite \textit{D. M. Yellin} and \textit{G. Weiss}, Lect. Notes Comput. Sci. 12651, 351--369 (2021; Zbl 1467.68077) Full Text: DOI arXiv
Bansal, Suguman; Chatterjee, Krishnendu; Vardi, Moshe Y. On satisficing in quantitative games. (English) Zbl 1467.68161 Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 20-37 (2021). MSC: 68T20 68Q45 90C35 91A43 91A80 PDF BibTeX XML Cite \textit{S. Bansal} et al., Lect. Notes Comput. Sci. 12651, 20--37 (2021; Zbl 1467.68161) Full Text: DOI arXiv
Lück, Alexander; Wolf, Verena A stochastic automata network description for spatial DNA-methylation models. (English) Zbl 1484.92030 Hermanns, Holger (ed.), Measurement, modelling and evaluation of computing systems. 20th international GI/ITG conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12040, 54-64 (2020). MSC: 92C42 92C40 68Q45 PDF BibTeX XML Cite \textit{A. Lück} and \textit{V. Wolf}, Lect. Notes Comput. Sci. 12040, 54--64 (2020; Zbl 1484.92030) Full Text: DOI arXiv
Cabessa, Jérémie; Tchaptchet, Aubin Automata complete computation with Hodgkin-Huxley neural networks composed of synfire rings. (English) Zbl 1468.68095 Neural Netw. 126, 312-334 (2020). MSC: 68Q06 68Q45 PDF BibTeX XML Cite \textit{J. Cabessa} and \textit{A. Tchaptchet}, Neural Netw. 126, 312--334 (2020; Zbl 1468.68095) Full Text: DOI
Šíma, Jiří Analog neuron hierarchy. (English) Zbl 1468.68099 Neural Netw. 128, 199-215 (2020). MSC: 68Q06 68Q04 68Q45 PDF BibTeX XML Cite \textit{J. Šíma}, Neural Netw. 128, 199--215 (2020; Zbl 1468.68099) Full Text: DOI
Dassow, Jürgen; Truthe, Bianca Generating networks of evolutionary processors with resources restricted and structure limited filters. (English) Zbl 1462.68035 J. Autom. Lang. Comb. 25, No. 2-3, 83-113 (2020). MSC: 68Q06 68Q07 68Q45 PDF BibTeX XML Cite \textit{J. Dassow} and \textit{B. Truthe}, J. Autom. Lang. Comb. 25, No. 2--3, 83--113 (2020; Zbl 1462.68035) Full Text: Link
Barkalov, Alexander; Titarenko, Larysa; Mielcarek, Kamil Improving characteristics of LUT-based mealy FSMs. (English) Zbl 1503.68019 Int. J. Appl. Math. Comput. Sci. 30, No. 4, 745-759 (2020). MSC: 68M07 68Q45 94C11 PDF BibTeX XML Cite \textit{A. Barkalov} et al., Int. J. Appl. Math. Comput. Sci. 30, No. 4, 745--759 (2020; Zbl 1503.68019) Full Text: DOI
Zhao, Hengjun; Zeng, Xia; Chen, Taolue; Liu, Zhiming Synthesizing barrier certificates using neural networks. (English) Zbl 07300866 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 25, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{H. Zhao} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 25, 11 p. (2020; Zbl 07300866) Full Text: DOI
Kushner, Taisa; Sankaranarayanan, Sriram; Breton, Marc Conformance verification for neural network models of glucose-insulin dynamics. (English) Zbl 07300854 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 13, 12 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{T. Kushner} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 13, 12 p. (2020; Zbl 07300854) Full Text: DOI
Ferlez, James; Shoukry, Yasser AReN: assured ReLU NN architecture for model predictive control of LTI systems. (English) Zbl 07300847 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 6, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{J. Ferlez} and \textit{Y. Shoukry}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 6, 11 p. (2020; Zbl 07300847) Full Text: DOI arXiv
Barkalov, A. A.; Titarenko, L. A.; Baiev, A. V.; Matviienko, A. V. Optimizing the combined automation scheme in the ASIS basis. (English. Russian original) Zbl 1496.68172 Cybern. Syst. Anal. 56, No. 6, 863-871 (2020); translation from Kibern. Sist. Anal. 2020, No. 6, 3-11 (2020). MSC: 68Q45 94C11 PDF BibTeX XML Cite \textit{A. A. Barkalov} et al., Cybern. Syst. Anal. 56, No. 6, 863--871 (2020; Zbl 1496.68172); translation from Kibern. Sist. Anal. 2020, No. 6, 3--11 (2020) Full Text: DOI
Bridoux, Florian; Gadouleau, Maximilien; Theyssier, Guillaume Expansive automata networks. (English) Zbl 1460.68050 Theor. Comput. Sci. 843, 25-44 (2020). MSC: 68Q45 68Q17 PDF BibTeX XML Cite \textit{F. Bridoux} et al., Theor. Comput. Sci. 843, 25--44 (2020; Zbl 1460.68050) Full Text: DOI arXiv
Klinge, Titus H.; Lathrop, James I.; Lutz, Jack H. Robust biomolecular finite automata. (English) Zbl 1432.68148 Theor. Comput. Sci. 816, 114-143 (2020). MSC: 68Q07 68Q45 PDF BibTeX XML Cite \textit{T. H. Klinge} et al., Theor. Comput. Sci. 816, 114--143 (2020; Zbl 1432.68148) Full Text: DOI arXiv
Bridoux, Florian; Castillo-Ramirez, Alonso; Gadouleau, Maximilien Complete simulation of automata networks. (English) Zbl 1435.68148 J. Comput. Syst. Sci. 109, 1-21 (2020). MSC: 68Q45 68Q09 68Q10 68Q70 PDF BibTeX XML Cite \textit{F. Bridoux} et al., J. Comput. Syst. Sci. 109, 1--21 (2020; Zbl 1435.68148) Full Text: DOI arXiv Link
Dassow, Jürgen; Truthe, Bianca Networks with evolutionary processors and ideals and codes as filters. (English) Zbl 1430.68112 Int. J. Found. Comput. Sci. 31, No. 1, 73-89 (2020). MSC: 68Q07 68Q45 PDF BibTeX XML Cite \textit{J. Dassow} and \textit{B. Truthe}, Int. J. Found. Comput. Sci. 31, No. 1, 73--89 (2020; Zbl 1430.68112) Full Text: DOI
Emek, Yuval; Uitto, Jara Dynamic networks of finite state machines. (English) Zbl 1437.68020 Theor. Comput. Sci. 810, 58-71 (2020). MSC: 68M14 05C69 68Q07 68Q45 68R10 68W15 PDF BibTeX XML Cite \textit{Y. Emek} and \textit{J. Uitto}, Theor. Comput. Sci. 810, 58--71 (2020; Zbl 1437.68020) Full Text: DOI arXiv
Rodríguez, Ismael; Rosa-Velardo, Fernando; Rubio, Fernando Introducing complexity to formal testing. (English) Zbl 1494.68099 J. Log. Algebr. Methods Program. 111, Article ID 100502, 30 p. (2020). MSC: 68Q25 68M15 68Q45 PDF BibTeX XML Cite \textit{I. Rodríguez} et al., J. Log. Algebr. Methods Program. 111, Article ID 100502, 30 p. (2020; Zbl 1494.68099) Full Text: DOI
Weisbuch, Gérard Complex systems dynamics. An introduction to automata networks. Volume II. Translated from the French. Reprint of the 1989 edition. (English) Zbl 1502.37001 Milton Park, Abingdon: Routledge (ISBN 978-0-367-00299-2/hbk; 978-0-367-15286-4/pbk; 978-0-429-03285-1/ebook). xvii, 190 p. (2019). MSC: 37-01 68-01 82-01 92-01 37N20 68Q45 82C32 92B20 PDF BibTeX XML Cite \textit{G. Weisbuch}, Complex systems dynamics. An introduction to automata networks. Volume II. Translated from the French. Reprint of the 1989 edition. Milton Park, Abingdon: Routledge (2019; Zbl 1502.37001) Full Text: DOI
Das, Shantanu; Giachoudis, Nikos; Luccio, Flaminia L.; Markou, Euripides Gathering of robots in a grid with mobile faults. (English) Zbl 1444.68017 Catania, Barbara (ed.) et al., SOFSEM 2019: theory and practice of computer science. 45th international conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11376, 164-178 (2019). MSC: 68M14 68M15 68Q45 68R10 68T40 PDF BibTeX XML Cite \textit{S. Das} et al., Lect. Notes Comput. Sci. 11376, 164--178 (2019; Zbl 1444.68017) Full Text: DOI Link
Sysoeva, Lyubov’ Nikolaevna Quasiuniversal Boolean automaton with four constant states. (English. Russian original) Zbl 1452.68109 Mosc. Univ. Math. Bull. 74, No. 6, 241-245 (2019); translation from Vestn. Mosk. Univ., Ser. I 74, No. 6, 51-55 (2019). MSC: 68Q45 06E30 94C11 PDF BibTeX XML Cite \textit{L. N. Sysoeva}, Mosc. Univ. Math. Bull. 74, No. 6, 241--245 (2019; Zbl 1452.68109); translation from Vestn. Mosk. Univ., Ser. I 74, No. 6, 51--55 (2019) Full Text: DOI
Holroyd, Alexander E.; Levine, Lionel; Winkler, Peter Abelian logic gates. (English) Zbl 1433.68138 Comb. Probab. Comput. 28, No. 3, 388-422 (2019). MSC: 68Q06 68Q10 68Q45 PDF BibTeX XML Cite \textit{A. E. Holroyd} et al., Comb. Probab. Comput. 28, No. 3, 388--422 (2019; Zbl 1433.68138) Full Text: DOI arXiv
Beurier, Erwan; Pastor, Dominique; Spivak, David I. Memoryless systems generate the class of all discrete systems. (English) Zbl 1486.68091 Int. J. Math. Math. Sci. 2019, Article ID 6803526, 10 p. (2019). MSC: 68Q45 92C42 PDF BibTeX XML Cite \textit{E. Beurier} et al., Int. J. Math. Math. Sci. 2019, Article ID 6803526, 10 p. (2019; Zbl 1486.68091) Full Text: DOI
Czarnetzki, Silke; Krebs, Andreas A topological approach to non-uniform complexity. (English) Zbl 1435.68106 Inf. Comput. 269, Article ID 104443, 24 p. (2019). MSC: 68Q15 68Q06 68Q70 PDF BibTeX XML Cite \textit{S. Czarnetzki} and \textit{A. Krebs}, Inf. Comput. 269, Article ID 104443, 24 p. (2019; Zbl 1435.68106) Full Text: DOI
Arvind, Vikraman; Joglekar, Pushkar S.; Mukhopadhyay, Partha; Raja, S. Randomized polynomial-time identity testing for noncommutative circuits. (English) Zbl 1477.68531 Theory Comput. 15, Paper No. 7, 36 p. (2019). MSC: 68W20 68Q06 68Q25 68Q45 PDF BibTeX XML Cite \textit{V. Arvind} et al., Theory Comput. 15, Paper No. 7, 36 p. (2019; Zbl 1477.68531) Full Text: DOI
Bentriou, Mahmoud; Ballarini, Paolo; Cournède, Paul-Henry Reachability design through approximate Bayesian computation. (English) Zbl 1422.92052 Bortolussi, Luca (ed.) et al., Computational methods in systems biology. 17th international conference, CMSB 2019, Trieste, Italy, September 18–20, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11773, 207-223 (2019). MSC: 92C42 92C40 93B03 68Q45 PDF BibTeX XML Cite \textit{M. Bentriou} et al., Lect. Notes Comput. Sci. 11773, 207--223 (2019; Zbl 1422.92052) Full Text: DOI
Kozhevnikov, V. V. Fundamentals of mathematical modeling of cognitive digital automata. (English) Zbl 1463.68054 JNAIAM, J. Numer. Anal. Ind. Appl. Math. 13, No. 1-2, 15-27 (2019). MSC: 68T05 68Q45 68Q85 PDF BibTeX XML Cite \textit{V. V. Kozhevnikov}, JNAIAM, J. Numer. Anal. Ind. Appl. Math. 13, No. 1--2, 15--27 (2019; Zbl 1463.68054) Full Text: Link
Allender, Eric; Krebs, Andreas; McKenzie, Pierre Better complexity bounds for cost register automata. (English) Zbl 1435.68137 Theory Comput. Syst. 63, No. 3, 367-385 (2019). MSC: 68Q45 68Q06 68Q25 PDF BibTeX XML Cite \textit{E. Allender} et al., Theory Comput. Syst. 63, No. 3, 367--385 (2019; Zbl 1435.68137) Full Text: DOI Link
Aguirre-Guerrero, D.; Ducoffe, G.; Fàbrega, L.; Vilà, P.; Coudert, D. Low time complexity algorithms for path computation in Cayley graphs. (English) Zbl 1409.05099 Discrete Appl. Math. 259, 218-225 (2019). MSC: 05C25 05C85 05C38 05C12 68Q25 68Q45 PDF BibTeX XML Cite \textit{D. Aguirre-Guerrero} et al., Discrete Appl. Math. 259, 218--225 (2019; Zbl 1409.05099) Full Text: DOI Link
Cabessa, Jérémie; Finkel, Olivier Computational capabilities of analog and evolving neural networks over infinite input streams. (English) Zbl 1410.68120 J. Comput. Syst. Sci. 101, 86-99 (2019). MSC: 68Q05 68Q45 92B20 PDF BibTeX XML Cite \textit{J. Cabessa} and \textit{O. Finkel}, J. Comput. Syst. Sci. 101, 86--99 (2019; Zbl 1410.68120) Full Text: DOI HAL
Šíma, Jiří Three analog neurons are Turing universal. (English) Zbl 07750441 Fagan, David (ed.) et al., Theory and practice of natural computing. 7th international conference, TPNC 2018, Dublin, Ireland, December 12–14, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11324, 460-472 (2018). MSC: 68Q06 68Q07 68Q45 PDF BibTeX XML Cite \textit{J. Šíma}, Lect. Notes Comput. Sci. 11324, 460--472 (2018; Zbl 07750441) Full Text: DOI
Gadouleau, Maximilien; Richard, Adrien On fixable families of Boolean networks. (English) Zbl 1515.68162 Mauri, Giancarlo (ed.) et al., Cellular automata. 13th international conference on cellular automata for research and industry, ACRI 2018, Como, Italy, September 17–21, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11115, 396-405 (2018). MSC: 68Q45 37B10 37E25 68R10 PDF BibTeX XML Cite \textit{M. Gadouleau} and \textit{A. Richard}, Lect. Notes Comput. Sci. 11115, 396--405 (2018; Zbl 1515.68162) Full Text: DOI arXiv
Gąsior, Jakub; Seredyński, Franciszek; Hoffmann, Rolf Towards self-organizing sensor networks: game-theoretic \(\epsilon\)-learning automata-based approach. (English) Zbl 1515.68083 Mauri, Giancarlo (ed.) et al., Cellular automata. 13th international conference on cellular automata for research and industry, ACRI 2018, Como, Italy, September 17–21, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11115, 125-136 (2018). MSC: 68M18 68Q45 68T42 91A12 91A80 PDF BibTeX XML Cite \textit{J. Gąsior} et al., Lect. Notes Comput. Sci. 11115, 125--136 (2018; Zbl 1515.68083) Full Text: DOI
Nasti, Lucia; Milazzo, Paolo A computational model of Internet addiction phenomena in social networks. (English) Zbl 1461.91231 Cerone, Antonio (ed.) et al., Software engineering and formal methods. SEFM 2017 collocated workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4–5, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10729, 86-100 (2018). MSC: 91D30 68Q45 92C20 PDF BibTeX XML Cite \textit{L. Nasti} and \textit{P. Milazzo}, Lect. Notes Comput. Sci. 10729, 86--100 (2018; Zbl 1461.91231) Full Text: DOI
Fried, Dror; Legay, Axel; Ouaknine, Joël; Vardi, Moshe Y. Sequential relational decomposition. (English) Zbl 1497.68172 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 432-441 (2018). MSC: 68Q01 68Q06 68Q25 68Q45 PDF BibTeX XML Cite \textit{D. Fried} et al., in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 432--441 (2018; Zbl 1497.68172) Full Text: DOI arXiv
Bertrand, Clément; Klaudel, Hanna; Latapy, Matthieu; Peschanski, Frédéric Pattern matching in link streams: a token-based approach. (English) Zbl 1427.68182 Khomenko, Victor (ed.) et al., Application and theory of Petri nets and concurrency. 39th international conference, PETRI NETS 2018, Bratislava, Slovakia, June 24–29, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10877, 227-247 (2018). MSC: 68Q85 68Q45 PDF BibTeX XML Cite \textit{C. Bertrand} et al., Lect. Notes Comput. Sci. 10877, 227--247 (2018; Zbl 1427.68182) Full Text: DOI HAL
Bertrand, Clément; Peschanski, Frédéric; Klaudel, Hanna; Latapy, Matthieu Pattern matching in link streams: timed-automata with finite memory. (English) Zbl 1424.68083 Sci. Ann. Comput. Sci. 28, No. 2, 161-198 (2018). MSC: 68Q45 68Q85 68T10 68W32 PDF BibTeX XML Cite \textit{C. Bertrand} et al., Sci. Ann. Comput. Sci. 28, No. 2, 161--198 (2018; Zbl 1424.68083) Full Text: DOI
Carvalho, Lilian Kawakami; Wu, Yi-Chin; Kwong, Raymond; Lafortune, Stéphane Detection and mitigation of classes of attacks in supervisory control systems. (English) Zbl 1406.93006 Automatica 97, 121-133 (2018). MSC: 93A13 93C65 68Q45 93-04 93A30 93B05 90B18 94A62 PDF BibTeX XML Cite \textit{L. K. Carvalho} et al., Automatica 97, 121--133 (2018; Zbl 1406.93006) Full Text: DOI arXiv
Nguena Timo, Omer; Petrenko, Alexandre; Ramesh, S. Checking sequence generation for symbolic input/output FSMs by constraint solving. (English) Zbl 1518.68349 Fischer, Bernd (ed.) et al., Theoretical aspects of computing – ICTAC 2018. 15th international colloquium, Stellenbosch, South Africa, October 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11187, 354-375 (2018). MSC: 68T20 68M15 68Q45 PDF BibTeX XML Cite \textit{O. Nguena Timo} et al., Lect. Notes Comput. Sci. 11187, 354--375 (2018; Zbl 1518.68349) Full Text: DOI
Jirásek, Jozef; Jirásková, Galina The exact complexity of star-complement-star. (English) Zbl 1509.68133 Câmpeanu, Cezar (ed.), Implementation and application of automata. 23rd international conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10977, 223-235 (2018). MSC: 68Q45 68R10 94C15 PDF BibTeX XML Cite \textit{J. Jirásek} and \textit{G. Jirásková}, Lect. Notes Comput. Sci. 10977, 223--235 (2018; Zbl 1509.68133) Full Text: DOI
Hague, Matthew; Penelle, Vincent Constrained dynamic tree networks. (English) Zbl 1515.68207 Potapov, Igor (ed.) et al., Reachability problems. 12th international conference, RP 2018, Marseille, France, September 24–26, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11123, 45-58 (2018). MSC: 68Q85 68Q45 68Q60 PDF BibTeX XML Cite \textit{M. Hague} and \textit{V. Penelle}, Lect. Notes Comput. Sci. 11123, 45--58 (2018; Zbl 1515.68207) Full Text: DOI
Nasti, Lucia; Milazzo, Paolo A hybrid automata model of social networking addiction. (English) Zbl 1418.91431 J. Log. Algebr. Methods Program. 100, 215-229 (2018). MSC: 91D30 68Q45 05C90 92B99 91A90 PDF BibTeX XML Cite \textit{L. Nasti} and \textit{P. Milazzo}, J. Log. Algebr. Methods Program. 100, 215--229 (2018; Zbl 1418.91431) Full Text: DOI
Silvestre-Ryan, Jordi; Holmes, Ian Consensus decoding of recurrent neural network basecallers. (English) Zbl 1392.92008 Jansson, Jesper (ed.) et al., Algorithms for computational biology. 5th international conference, ALCoB 2018, Hong Kong, China, June 25–26, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-91937-9/pbk; 978-3-319-91938-6/ebook). Lecture Notes in Computer Science 10849. Lecture Notes in Bioinformatics, 128-139 (2018). MSC: 92B20 92C40 68Q45 68T05 PDF BibTeX XML Cite \textit{J. Silvestre-Ryan} and \textit{I. Holmes}, Lect. Notes Comput. Sci. 10849, 128--139 (2018; Zbl 1392.92008) Full Text: DOI
Gerhold, Marcus; Stoelinga, Mariëlle Model-based testing of probabilistic systems. (English) Zbl 1380.68303 Formal Asp. Comput. 30, No. 1, 77-106 (2018). MSC: 68Q87 68M15 68Q45 68Q60 PDF BibTeX XML Cite \textit{M. Gerhold} and \textit{M. Stoelinga}, Formal Asp. Comput. 30, No. 1, 77--106 (2018; Zbl 1380.68303) Full Text: DOI
Behaegel, Jonathan; Comet, Jean-Paul; Folschette, Maxime Constraint identification using modified Hoare logic on hybrid models of gene networks. (English) Zbl 1515.68158 Schewe, Sven (ed.) et al., 24th international symposium on temporal representation and reasoning, TIME 2017, Mons, Belgium, October 16–18, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 90, Article 5, 21 p. (2017). MSC: 68Q45 03B70 92C42 PDF BibTeX XML Cite \textit{J. Behaegel} et al., LIPIcs -- Leibniz Int. Proc. Inform. 90, Article 5, 21 p. (2017; Zbl 1515.68158) Full Text: DOI
Schivo, Stefano; Langerak, Rom Discretization of continuous dynamical systems using UPPAAL. (English) Zbl 1498.68142 Katoen, Joost-Pieter (ed.) et al., ModelEd, testEd, trustEd. Essays dedicated to Ed Brinksma on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10500, 297-315 (2017). MSC: 68Q45 37M15 65L05 68Q60 92C42 PDF BibTeX XML Cite \textit{S. Schivo} and \textit{R. Langerak}, Lect. Notes Comput. Sci. 10500, 297--315 (2017; Zbl 1498.68142) Full Text: DOI
Allender, Eric; Krebs, Andreas; McKenzie, Pierre Better complexity bounds for cost register automata. (English) Zbl 1435.68138 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 24, 14 p. (2017). MSC: 68Q45 68Q06 68Q25 PDF BibTeX XML Cite \textit{E. Allender} et al., LIPIcs -- Leibniz Int. Proc. Inform. 83, Article 24, 14 p. (2017; Zbl 1435.68138) Full Text: DOI
Langerak, Rom; van de Pol, Jaco; Post, Janine N.; Schivo, Stefano Improving the timed automata approach to biological pathway dynamics. (English) Zbl 1431.68059 Aceto, Luca (ed.) et al., Models, algorithms, logics and tools. Essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10460, 96-111 (2017). MSC: 68Q45 92C42 PDF BibTeX XML Cite \textit{R. Langerak} et al., Lect. Notes Comput. Sci. 10460, 96--111 (2017; Zbl 1431.68059) Full Text: DOI Link
Jürgensen, Helmut The arduous road of modelling: excerpts from records of an enjoyable co-operation of nearly 20 years. (English) Zbl 1395.68005 Konstantinidis, Stavros (ed.) et al., The role of theory in computer science. Essays dedicated to Janusz Brzozowski. Hackensack, NJ: World Scientific (ISBN 978-981-3148-19-2/hbk; 978-981-3148-21-5/ebook). 83-120 (2017). MSC: 68-03 68Q01 68Q45 68W20 94C12 PDF BibTeX XML Cite \textit{H. Jürgensen}, in: The role of theory in computer science. Essays dedicated to Janusz Brzozowski. Hackensack, NJ: World Scientific. 83--120 (2017; Zbl 1395.68005) Full Text: DOI Link
Gianola, Alessandro; Kasangian, Stefano; Sabadini, Nicoletta Cospan/Span(Graph): an algebra for open, reconfigurable automata networks. (English) Zbl 1433.68223 Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 2, 17 p. (2017). MSC: 68Q70 18M05 68Q85 PDF BibTeX XML Cite \textit{A. Gianola} et al., LIPIcs -- Leibniz Int. Proc. Inform. 72, Article 2, 17 p. (2017; Zbl 1433.68223) Full Text: DOI
Vahidipour, S. Mehdi; Meybodi, Mohammad Reza; Esnaashari, Mehdi Finding the shortest path in stochastic graphs using learning automata and adaptive stochastic Petri nets. (English) Zbl 1377.68153 Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 25, No. 3, 427-455 (2017). MSC: 68Q85 68Q45 90B15 90C35 PDF BibTeX XML Cite \textit{S. M. Vahidipour} et al., Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 25, No. 3, 427--455 (2017; Zbl 1377.68153) Full Text: DOI
Cabessa, Jérémie; Finkel, Olivier Expressive power of evolving neural networks working on infinite input streams. (English) Zbl 1495.68058 Klasing, Ralf (ed.) et al., Fundamentals of computation theory. 21st international symposium, FCT 2017, Bordeaux, France, September 11–13, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10472, 150-163 (2017). MSC: 68Q06 03D05 03E15 68Q45 PDF BibTeX XML Cite \textit{J. Cabessa} and \textit{O. Finkel}, Lect. Notes Comput. Sci. 10472, 150--163 (2017; Zbl 1495.68058) Full Text: DOI HAL
Ye, Lina; Dague, Philippe An optimized algorithm of general distributed diagnosability analysis for modular structures. (English) Zbl 1366.93369 IEEE Trans. Autom. Control 62, No. 4, 1768-1780 (2017). MSC: 93C65 94C30 68Q45 PDF BibTeX XML Cite \textit{L. Ye} and \textit{P. Dague}, IEEE Trans. Autom. Control 62, No. 4, 1768--1780 (2017; Zbl 1366.93369) Full Text: DOI
Bridoux, Florian; Guillon, Pierre; Perrot, Kévin; Sené, Sylvain; Theyssier, Guillaume On the cost of simulating a parallel Boolean automata network by a block-sequential one. (English) Zbl 1485.68136 Gopal, T. V. (ed.) et al., Theory and applications of models of computation. 14th annual conference, TAMC 2017, Bern, Switzerland, April 20–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10185, 112-128 (2017). MSC: 68Q45 68R10 PDF BibTeX XML Cite \textit{F. Bridoux} et al., Lect. Notes Comput. Sci. 10185, 112--128 (2017; Zbl 1485.68136) Full Text: DOI arXiv
Haar, Stefan; Haddad, Serge; Melliti, Tarek; Schwoon, Stefan Optimal constructions for active diagnosis. (English) Zbl 1350.68052 J. Comput. Syst. Sci. 83, 101-120 (2017). MSC: 68M15 68Q25 68Q45 68Q85 93B50 93C65 PDF BibTeX XML Cite \textit{S. Haar} et al., J. Comput. Syst. Sci. 83, 101--120 (2017; Zbl 1350.68052) Full Text: DOI
Nakajima, Shin; Lamraoui, Si-Mohamed Fault localization of timed automata using maximum satisfiability. (English) Zbl 1461.68103 Liu, Shaoying (ed.) et al., Structured object-oriented formal language and method. 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9559, 72-85 (2016). MSC: 68Q45 68M15 PDF BibTeX XML Cite \textit{S. Nakajima} and \textit{S.-M. Lamraoui}, Lect. Notes Comput. Sci. 9559, 72--85 (2016; Zbl 1461.68103) Full Text: DOI
Cimatti, Alessandro; Mover, Sergio; Sessa, Mirko From electrical switched networks to hybrid automata. (English) Zbl 1427.94116 Fitzgerald, John (ed.) et al., FM 2016: formal methods. 21st international symposium, Limassol, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9995, 164-181 (2016). MSC: 94C15 37B10 68Q45 PDF BibTeX XML Cite \textit{A. Cimatti} et al., Lect. Notes Comput. Sci. 9995, 164--181 (2016; Zbl 1427.94116) Full Text: DOI
Moradabadi, Behnaz; Meybodi, Mohammad Reza Link prediction based on temporal similarity metrics using continuous action set learning automata. (English) Zbl 1400.91482 Physica A 460, 361-373 (2016). MSC: 91D30 68T05 68Q45 68T10 PDF BibTeX XML Cite \textit{B. Moradabadi} and \textit{M. R. Meybodi}, Physica A 460, 361--373 (2016; Zbl 1400.91482) Full Text: DOI
Alcolei, Aurore; Perrot, Kévin; Sené, Sylvain On the flora of asynchronous locally non-monotonic Boolean automata networks. (English) Zbl 1401.68140 Paulevé, Loïc (ed.) et al., Post-proceedings of the 6th international workshop on static analysis and systems biology (SASB 2015), Saint-Malo, France, September 8, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 326, 3-25 (2016). MSC: 68Q45 68R10 92C42 PDF BibTeX XML Cite \textit{A. Alcolei} et al., Electron. Notes Theor. Comput. Sci. 326, 3--25 (2016; Zbl 1401.68140) Full Text: DOI arXiv
Artho, Cyrille (ed.); Ölveczky, Peter Csaba (ed.) Formal techniques for safety-critical systems. Fourth international workshop, FTSCS 2015, Paris, France, November 6–7, 2015. Revised selected papers. (English) Zbl 1393.68009 Communications in Computer and Information Science 596. Cham: Springer (ISBN 978-3-319-29509-1/pbk; 978-3-319-29510-7/ebook). x, 271 p. (2016). MSC: 68-06 68M15 68N99 68Q60 68U20 00B25 PDF BibTeX XML Cite \textit{C. Artho} (ed.) and \textit{P. C. Ölveczky} (ed.), Formal techniques for safety-critical systems. Fourth international workshop, FTSCS 2015, Paris, France, November 6--7, 2015. Revised selected papers. Cham: Springer (2016; Zbl 1393.68009) Full Text: DOI
Moreira, Marcos V.; Basilio, João C.; Cabral, Felipe G. “Polynomial time verification of decentralized diagnosability of discrete event systems” versus “Decentralized failure diagnosis of discrete event systems”: a critical appraisal. (English) Zbl 1359.68198 IEEE Trans. Autom. Control 61, No. 1, 178-181 (2016). MSC: 68Q60 68M15 68Q45 93C55 93C65 PDF BibTeX XML Cite \textit{M. V. Moreira} et al., IEEE Trans. Autom. Control 61, No. 1, 178--181 (2016; Zbl 1359.68198) Full Text: DOI
Zhang, Kuize; Zhang, Lijun; Su, Rong A weighted pair graph representation for reconstructibility of Boolean control networks. (English) Zbl 1350.93048 SIAM J. Control Optim. 54, No. 6, 3040-3060 (2016). MSC: 93C30 68Q45 94C15 92B99 68Q80 PDF BibTeX XML Cite \textit{K. Zhang} et al., SIAM J. Control Optim. 54, No. 6, 3040--3060 (2016; Zbl 1350.93048) Full Text: DOI arXiv Link
Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco Dynamic controllability via timed game automata. (English) Zbl 1350.68251 Acta Inf. 53, No. 6-8, 681-722 (2016). MSC: 68T42 68P05 68Q45 PDF BibTeX XML Cite \textit{A. Cimatti} et al., Acta Inf. 53, No. 6--8, 681--722 (2016; Zbl 1350.68251) Full Text: DOI Link
Cadilhac, Michaël; Krebs, Andreas; Lange, Klaus-Jörn A language-theoretical approach to descriptive complexity. (English) Zbl 1436.68130 Brlek, Srečko (ed.) et al., Developments in language theory. 20th international conference, DLT 2016, Montréal, Canada, July 25–28, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9840, 64-76 (2016). MSC: 68Q19 68Q45 94C11 PDF BibTeX XML Cite \textit{M. Cadilhac} et al., Lect. Notes Comput. Sci. 9840, 64--76 (2016; Zbl 1436.68130) Full Text: DOI
Cabessa, Jérémie; Villa, Alessandro E. P. Expressive power of first-order recurrent neural networks determined by their attractor dynamics. (English) Zbl 1351.68097 J. Comput. Syst. Sci. 82, No. 8, 1232-1250 (2016). Reviewer: T. C. Mohan (Chennai) MSC: 68Q05 68Q10 68Q45 68T05 92B20 PDF BibTeX XML Cite \textit{J. Cabessa} and \textit{A. E. P. Villa}, J. Comput. Syst. Sci. 82, No. 8, 1232--1250 (2016; Zbl 1351.68097) Full Text: DOI
Paiva, Sofia Costa; Simao, Adenilso Generation of complete test suites from Mealy input/output transition systems. (English) Zbl 1335.68022 Formal Asp. Comput. 28, No. 1, 65-78 (2016). MSC: 68M15 68Q45 PDF BibTeX XML Cite \textit{S. C. Paiva} and \textit{A. Simao}, Formal Asp. Comput. 28, No. 1, 65--78 (2016; Zbl 1335.68022) Full Text: DOI
Ipate, Florentin; Dranidis, Dimitris A unified integration and component testing approach from deterministic stream X-machine specifications. (English) Zbl 1335.68021 Formal Asp. Comput. 28, No. 1, 1-20 (2016). MSC: 68M15 68Q45 68Q60 PDF BibTeX XML Cite \textit{F. Ipate} and \textit{D. Dranidis}, Formal Asp. Comput. 28, No. 1, 1--20 (2016; Zbl 1335.68021) Full Text: DOI
Czarnetzki, Silke; Krebs, Andreas Using duality in circuit complexity. (English) Zbl 1443.68063 Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 10th international conference, LATA 2016, Prague, Czech Republic, March 14–18, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9618, 283-294 (2016). MSC: 68Q06 68Q17 68Q70 PDF BibTeX XML Cite \textit{S. Czarnetzki} and \textit{A. Krebs}, Lect. Notes Comput. Sci. 9618, 283--294 (2016; Zbl 1443.68063) Full Text: DOI arXiv
Aman, Bogdan; Ciobanu, Gabriel Modelling and verification of weighted spiking neural systems. (English) Zbl 1336.68064 Theor. Comput. Sci. 623, 92-102 (2016). MSC: 68Q05 68Q10 68Q45 68Q60 PDF BibTeX XML Cite \textit{B. Aman} and \textit{G. Ciobanu}, Theor. Comput. Sci. 623, 92--102 (2016; Zbl 1336.68064) Full Text: DOI
Henzinger, Thomas A.; Otop, Jan; Samanta, Roopsha Lipschitz robustness of timed I/O systems. (English) Zbl 1475.68154 Jobstmann, Barbara (ed.) et al., Verification, model checking, and abstract interpretation. 17th international conference, VMCAI 2016, St. Petersburg, FL, USA, January 17–19, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9583, 250-267 (2016). MSC: 68Q45 68Q06 68Q25 PDF BibTeX XML Cite \textit{T. A. Henzinger} et al., Lect. Notes Comput. Sci. 9583, 250--267 (2016; Zbl 1475.68154) Full Text: DOI arXiv
Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Othmane; Sangnier, Arnaud; Traverso, Riccardo Parameterized verification of time-sensitive models of ad hoc network protocols. (English) Zbl 1332.68137 Theor. Comput. Sci. 612, 1-22 (2016). MSC: 68Q60 68M12 68Q45 68Q85 PDF BibTeX XML Cite \textit{P. A. Abdulla} et al., Theor. Comput. Sci. 612, 1--22 (2016; Zbl 1332.68137) Full Text: DOI
Jezequel, Loïg; Fabre, Eric Factored cost-optimal planning using message passing algorithms. (English) Zbl 1357.68138 Fundam. Inform. 139, No. 4, 369-401 (2015). MSC: 68Q85 68Q45 90B50 PDF BibTeX XML Cite \textit{L. Jezequel} and \textit{E. Fabre}, Fundam. Inform. 139, No. 4, 369--401 (2015; Zbl 1357.68138) Full Text: DOI
Dassow, Jürgen; Manea, Florin; Truthe, Bianca On the power of accepting networks of evolutionary processors with special topologies and random context filters. (English) Zbl 1335.68089 Fundam. Inform. 136, No. 1-2, 1-35 (2015). MSC: 68Q05 68Q45 PDF BibTeX XML Cite \textit{J. Dassow} et al., Fundam. Inform. 136, No. 1--2, 1--35 (2015; Zbl 1335.68089) Full Text: DOI
Li, Rui; Hong, Yiguang On observability of automata networks via computational algebra. (English) Zbl 1451.68154 Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 9th international conference, LATA 2015, Nice, France, March 2–6, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8977, 249-262 (2015). MSC: 68Q45 68W30 PDF BibTeX XML Cite \textit{R. Li} and \textit{Y. Hong}, Lect. Notes Comput. Sci. 8977, 249--262 (2015; Zbl 1451.68154) Full Text: DOI
Blondel, Vincent D.; Jungers, Raphaël M.; Olshevsky, Alex On primitivity of sets of matrices. (English) Zbl 1337.15024 Automatica 61, 80-88 (2015). MSC: 15B48 68Q25 68Q45 PDF BibTeX XML Cite \textit{V. D. Blondel} et al., Automatica 61, 80--88 (2015; Zbl 1337.15024) Full Text: DOI arXiv
Rezvanian, Alireza; Meybodi, Mohammad Reza Finding maximum clique in stochastic graphs using distributed learning automata. (English) Zbl 1323.05113 Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 23, No. 1, 1-31 (2015). MSC: 05C80 05C69 05C82 68Q45 68W15 PDF BibTeX XML Cite \textit{A. Rezvanian} and \textit{M. R. Meybodi}, Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 23, No. 1, 1--31 (2015; Zbl 1323.05113) Full Text: DOI
Šíma, Jiří Energy-time tradeoff in recurrent neural nets. (English) Zbl 1341.68052 Koprinkova-Hristova, Petia (ed.) et al., Artificial neural networks. Methods and applications in bio-/neuroinformatics. Selected and extended papers based on the presentations at the 23rd international conference on artificial neural networks, ICANN 2013, Sofia, Bulgaria, September 10–13, 2013. Cham: Springer (ISBN 978-3-319-09902-6/hbk; 978-3-319-09903-3/ebook). Springer Series in Bio-/Neuroinformatics 4, 51-62 (2015). MSC: 68Q05 68Q45 92B20 PDF BibTeX XML Cite \textit{J. Šíma}, Springer Ser. Bio-/Neuroinform. 4, 51--62 (2015; Zbl 1341.68052) Full Text: DOI
Hahn, Michael; Krebs, Andreas; Lange, Klaus-Jörn; Ludwig, Michael Visibly counter languages and the structure of \(\mathrm {NC}^{1}\). (English) Zbl 1465.68078 Italiano, F. (ed.) et al., Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24–28, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9235, 384-394 (2015). MSC: 68Q06 68Q15 68Q45 PDF BibTeX XML Cite \textit{M. Hahn} et al., Lect. Notes Comput. Sci. 9235, 384--394 (2015; Zbl 1465.68078) Full Text: DOI
Cadilhac, Michaël; Krebs, Andreas; Ludwig, Michael; Paperman, Charles A circuit complexity approach to transductions. (English) Zbl 1465.68076 Italiano, F. (ed.) et al., Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24–28, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9234, 141-153 (2015). MSC: 68Q06 68Q45 PDF BibTeX XML Cite \textit{M. Cadilhac} et al., Lect. Notes Comput. Sci. 9234, 141--153 (2015; Zbl 1465.68076) Full Text: DOI Link
Bortolussi, Luca; Lanciani, Roberta Fluid model checking of timed properties. (English) Zbl 1465.68171 Sankaranarayanan, Sriram (ed.) et al., Formal modeling and analysis of timed systems. 13th international conference, FORMATS 2015, Madrid, Spain, September 2–4, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9268, 172-188 (2015). MSC: 68Q60 34K50 60K20 68Q45 68Q87 PDF BibTeX XML Cite \textit{L. Bortolussi} and \textit{R. Lanciani}, Lect. Notes Comput. Sci. 9268, 172--188 (2015; Zbl 1465.68171) Full Text: DOI arXiv
Melliti, Tarek; Noual, Mathilde; Regnault, Damien; Sené, Sylvain; Sobieraj, Jérémy Asynchronous dynamics of Boolean automata double-cycles. (English) Zbl 1465.68163 Calude, S. (ed.) et al., Unconventional computation and natural computation. 14th international conference, UCNC 2015, Auckland, New Zealand, August 30 – September 3, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9252, 250-262 (2015). MSC: 68Q45 37B15 PDF BibTeX XML Cite \textit{T. Melliti} et al., Lect. Notes Comput. Sci. 9252, 250--262 (2015; Zbl 1465.68163) Full Text: DOI
Cabessa, Jérémie; Duparc, Jacques Expressive power of non-deterministic evolving recurrent neural networks in terms of their attractor dynamics. (English) Zbl 1465.68084 Calude, S. (ed.) et al., Unconventional computation and natural computation. 14th international conference, UCNC 2015, Auckland, New Zealand, August 30 – September 3, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9252, 144-156 (2015). MSC: 68Q09 37B35 68Q45 92B20 PDF BibTeX XML Cite \textit{J. Cabessa} and \textit{J. Duparc}, Lect. Notes Comput. Sci. 9252, 144--156 (2015; Zbl 1465.68084) Full Text: DOI
Casteigts, Arnaud; Flocchini, Paola; Godard, Emmanuel; Santoro, Nicola; Yamashita, Masafumi On the expressivity of time-varying graphs. (English) Zbl 1327.68174 Theor. Comput. Sci. 590, 27-37 (2015). MSC: 68R10 68Q45 PDF BibTeX XML Cite \textit{A. Casteigts} et al., Theor. Comput. Sci. 590, 27--37 (2015; Zbl 1327.68174) Full Text: DOI
Casagrande, Alberto; Piazza, Carla Unwinding biological systems. (English) Zbl 1328.92027 Theor. Comput. Sci. 587, 26-48 (2015). MSC: 92C42 68Q45 68Q85 PDF BibTeX XML Cite \textit{A. Casagrande} and \textit{C. Piazza}, Theor. Comput. Sci. 587, 26--48 (2015; Zbl 1328.92027) Full Text: DOI Link
Bartocci, Ezio; Bortolussi, Luca; Nenzi, Laura; Sanguinetti, Guido System design of stochastic models using robustness of temporal properties. (English) Zbl 1327.68147 Theor. Comput. Sci. 587, 3-25 (2015). MSC: 68Q45 03B44 68Q60 68Q87 92C42 PDF BibTeX XML Cite \textit{E. Bartocci} et al., Theor. Comput. Sci. 587, 3--25 (2015; Zbl 1327.68147) Full Text: DOI
Kumar, Neeraj; Iqbal, Rahat; Misra, Sudip; Rodrigues, Joel J. P. C. An intelligent approach for building a secure decentralized public key infrastructure in VANET. (English) Zbl 1329.90032 J. Comput. Syst. Sci. 81, No. 6, 1042-1058 (2015). MSC: 90B20 68Q45 68T05 91A12 91A80 94A60 94A62 PDF BibTeX XML Cite \textit{N. Kumar} et al., J. Comput. Syst. Sci. 81, No. 6, 1042--1058 (2015; Zbl 1329.90032) Full Text: DOI