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 OpenURL
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 OpenURL
Parrot, Rémi; Briday, Mikaël; Roux, Olivier H. Timed Petri nets with reset for pipelined synchronous circuit design. (English) Zbl 07493571 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 07493571) Full Text: DOI OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
Ší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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
Beurier, Erwan; Pastor, Dominique; Spivak, David I. Memoryless systems generate the class of all discrete systems. (English) Zbl 07162051 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 07162051) Full Text: DOI OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 Link OpenURL
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 OpenURL
Ší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}, in: 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. 51--62 (2015; Zbl 1341.68052) Full Text: DOI OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
Goles, Eric; Montealegre, Pedro The complexity of the majority rule on planar graphs. (English) Zbl 1319.68110 Adv. Appl. Math. 64, 111-123 (2015). MSC: 68Q25 05C10 68Q17 68Q45 PDF BibTeX XML Cite \textit{E. Goles} and \textit{P. Montealegre}, Adv. Appl. Math. 64, 111--123 (2015; Zbl 1319.68110) Full Text: DOI OpenURL
Bordihn, Henning; Kutrib, Martin; Malcher, Andreas Measuring communication in parallel communicating finite automata. (English) Zbl 1464.68151 Ésik, Zoltán (ed.) et al., Proceedings of the 14th international conference on automata and formal languages, AFL’14, Szeged, Hungary, May 27–29, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 151, 124-138 (2014). MSC: 68Q45 68Q06 PDF BibTeX XML Cite \textit{H. Bordihn} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 151, 124--138 (2014; Zbl 1464.68151) Full Text: arXiv Link OpenURL
Šíma, Jiří Energy complexity of recurrent neural networks. (English) Zbl 1416.92020 Neural Comput. 26, No. 5, 953-973 (2014). MSC: 92B20 68Q45 PDF BibTeX XML Cite \textit{J. Šíma}, Neural Comput. 26, No. 5, 953--973 (2014; Zbl 1416.92020) Full Text: DOI OpenURL
Kirchler, Dominik; Liberti, Leo; Calvo, Roberto Wolfler Efficient computation of shortest paths in time-dependent multi-modal networks. (English) Zbl 1348.90105 ACM J. Exp. Algorithm. 19, Spec. Iss. 1, Article No. 2.5, 29 p. (2014). MSC: 90B06 05C85 68Q45 90C35 PDF BibTeX XML Cite \textit{D. Kirchler} et al., ACM J. Exp. Algorithm. 19, Article No. 2.5, 29 p. (2014; Zbl 1348.90105) Full Text: DOI Link OpenURL
Su, Li; Gomez, Rodolfo; Bowman, Howard Analysing neurobiological models using communicating automata. (English) Zbl 1342.92024 Formal Asp. Comput. 26, No. 6, 1169-1204 (2014). MSC: 92B20 68Q45 68Q60 68T05 PDF BibTeX XML Cite \textit{L. Su} et al., Formal Asp. Comput. 26, No. 6, 1169--1204 (2014; Zbl 1342.92024) Full Text: DOI OpenURL
Casagrande, Alberto; Piazza, Carla External interactions on hybrid models of biological systems. (English) Zbl 1402.92198 Fages, François (ed.) et al., Formal methods in macro-biology. First international conference, FMMB 2014, Nouméa, New Caledonia, September 22–24, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-10397-6/pbk). Lecture Notes in Computer Science 8738. Lecture Notes in Bioinformatics, 63-81 (2014). MSC: 92C42 92C60 68Q45 93B35 PDF BibTeX XML Cite \textit{A. Casagrande} and \textit{C. Piazza}, Lect. Notes Comput. Sci. 8738, 63--81 (2014; Zbl 1402.92198) Full Text: DOI OpenURL
Collins, Pieter Model-checking in systems biology – from micro to macro. (English) Zbl 1402.92199 Fages, François (ed.) et al., Formal methods in macro-biology. First international conference, FMMB 2014, Nouméa, New Caledonia, September 22–24, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-10397-6/pbk). Lecture Notes in Computer Science 8738. Lecture Notes in Bioinformatics, 1-22 (2014). MSC: 92C42 92C30 68Q45 PDF BibTeX XML Cite \textit{P. Collins}, Lect. Notes Comput. Sci. 8738, 1--22 (2014; Zbl 1402.92199) Full Text: DOI OpenURL
Yang, Xiaoming; Zhang, Xiang; Wang, Jiahao; Wu, Jin; Qin, Zhiguang RFID intrusion detection with finite automation. (Chinese. English summary) Zbl 1324.68009 J. Univ. Electron. Sci. Technol. China 43, No. 5, 775-780 (2014). MSC: 68M10 68M15 68Q45 PDF BibTeX XML Cite \textit{X. Yang} et al., J. Univ. Electron. Sci. Technol. China 43, No. 5, 775--780 (2014; Zbl 1324.68009) Full Text: DOI OpenURL
Lázár, Katalin Anna A computational model of XACML-based access control management in distributed networks. (English) Zbl 1432.68264 Beckmann, Arnold (ed.) et al., Language, life, limits. 10th conference on computability in Europe, CiE 2014, Budapest, Hungary, June 23–27, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8493, 265-274 (2014). MSC: 68Q60 68Q06 68Q45 PDF BibTeX XML Cite \textit{K. A. Lázár}, Lect. Notes Comput. Sci. 8493, 265--274 (2014; Zbl 1432.68264) Full Text: DOI OpenURL
Wu, Sichao; Adiga, Abhijin; Mortveit, Henning S. Limit cycle structure for dynamic bi-threshold systems. (English) Zbl 1360.68621 Theor. Comput. Sci. 559, 34-41 (2014). MSC: 68Q80 37B10 37B15 68Q45 PDF BibTeX XML Cite \textit{S. Wu} et al., Theor. Comput. Sci. 559, 34--41 (2014; Zbl 1360.68621) Full Text: DOI OpenURL
Goles, Eric; Montealegre, Pedro Computational complexity of threshold automata networks under different updating schemes. (English) Zbl 1360.68557 Theor. Comput. Sci. 559, 3-19 (2014). MSC: 68Q45 68Q15 68Q17 68Q25 68Q80 PDF BibTeX XML Cite \textit{E. Goles} and \textit{P. Montealegre}, Theor. Comput. Sci. 559, 3--19 (2014; Zbl 1360.68557) Full Text: DOI OpenURL
Antić, Christian On cascade products of answer set programs. (English) Zbl 1309.68026 Theory Pract. Log. Program. 14, No. 4-5, 711-723 (2014). MSC: 68N17 68Q70 68T27 PDF BibTeX XML Cite \textit{C. Antić}, Theory Pract. Log. Program. 14, No. 4--5, 711--723 (2014; Zbl 1309.68026) Full Text: DOI arXiv OpenURL
Roche-Lima, Abiel; Domaratzki, Michael; Fristensky, Brian Pairwise rational kernels obtained by automaton operations. (English) Zbl 1302.68178 Holzer, Markus (ed.) et al., Implementation and application of automata. 19th international conference, CIAA 2014, Giessen, Germany, July 30 – August 2, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08845-7/pbk). Lecture Notes in Computer Science 8587, 332-345 (2014). MSC: 68Q45 92C42 PDF BibTeX XML Cite \textit{A. Roche-Lima} et al., Lect. Notes Comput. Sci. 8587, 332--345 (2014; Zbl 1302.68178) Full Text: DOI OpenURL
Barceló, Pablo; Libkin, Leonid; Reutter, Juan L. Querying regular graph patterns. (English) Zbl 1295.68125 J. ACM 61, No. 1, Article No. 8, 54 p. (2014). MSC: 68Q25 05C82 68P15 68Q45 PDF BibTeX XML Cite \textit{P. Barceló} et al., J. ACM 61, No. 1, Article No. 8, 54 p. (2014; Zbl 1295.68125) Full Text: DOI Link OpenURL
Casagrande, A.; Dreossi, T.; Fabriková, J.; Piazza, C. \(\epsilon\)-semantics computations on biological systems. (English) Zbl 1312.68127 Inf. Comput. 236, 35-51 (2014). MSC: 68Q55 68Q45 68Q60 92C42 PDF BibTeX XML Cite \textit{A. Casagrande} et al., Inf. Comput. 236, 35--51 (2014; Zbl 1312.68127) Full Text: DOI OpenURL
Mohamadi, Hosein; Ismail, Abdul Samad Bin Haji; Salleh, Shaharuddin A learning automata-based algorithm for solving coverage problem in directional sensor networks. (English) Zbl 1319.68184 Computing 95, No. 1, 1-24 (2013). MSC: 68T05 68M14 68Q45 68Q80 PDF BibTeX XML Cite \textit{H. Mohamadi} et al., Computing 95, No. 1, 1--24 (2013; Zbl 1319.68184) Full Text: DOI OpenURL
Benerecetti, Massimo; Faella, Marco; Minopoli, Stefano Automatic synthesis of switching controllers for linear hybrid systems: safety control. (English) Zbl 1294.93041 Theor. Comput. Sci. 493, 116-138 (2013). MSC: 93C05 68Q45 91A80 68M15 PDF BibTeX XML Cite \textit{M. Benerecetti} et al., Theor. Comput. Sci. 493, 116--138 (2013; Zbl 1294.93041) Full Text: DOI arXiv OpenURL
Bresolin, Davide; Capiluppi, Marta A game-theoretic approach to fault diagnosis and identification of hybrid systems. (English) Zbl 1294.68102 Theor. Comput. Sci. 493, 15-29 (2013). MSC: 68Q45 68M15 91A80 91A05 93C30 PDF BibTeX XML Cite \textit{D. Bresolin} and \textit{M. Capiluppi}, Theor. Comput. Sci. 493, 15--29 (2013; Zbl 1294.68102) Full Text: DOI OpenURL
Balaguer, Sandie; Chatain, Thomas Avoiding shared clocks in networks of timed automata. (English) Zbl 1314.68196 Log. Methods Comput. Sci. 9, No. 4, Paper No. 13, 26 p. (2013). MSC: 68Q85 68Q45 PDF BibTeX XML Cite \textit{S. Balaguer} and \textit{T. Chatain}, Log. Methods Comput. Sci. 9, No. 4, Paper No. 13, 26 p. (2013; Zbl 1314.68196) Full Text: DOI arXiv OpenURL
Lázár, Katalin Anna A bridge between self-organizing networks and grammar systems theory. (English) Zbl 1310.68032 Int. J. Found. Comput. Sci. 24, No. 4, 501-517 (2013). MSC: 68M11 68M14 68Q45 68Q42 PDF BibTeX XML Cite \textit{K. A. Lázár}, Int. J. Found. Comput. Sci. 24, No. 4, 501--517 (2013; Zbl 1310.68032) Full Text: DOI OpenURL
Torkestani, Javad Akbari A learning automata-based algorithm to the stochastic min-degree constrained minimum spanning tree problem. (English) Zbl 1286.68296 Int. J. Found. Comput. Sci. 24, No. 3, 329-348 (2013). MSC: 68Q45 68Q32 90C27 90C35 05C80 68Q17 PDF BibTeX XML Cite \textit{J. A. Torkestani}, Int. J. Found. Comput. Sci. 24, No. 3, 329--348 (2013; Zbl 1286.68296) Full Text: DOI OpenURL
Bortolussi, Luca; Policriti, Alberto (Hybrid) automata and (stochastic) programs. The hybrid automata lattice of a stochastic program. (English) Zbl 1272.68289 J. Log. Comput. 23, No. 4, 761-798 (2013). MSC: 68Q85 68N19 68N30 68Q45 68Q87 92C42 93A30 PDF BibTeX XML Cite \textit{L. Bortolussi} and \textit{A. Policriti}, J. Log. Comput. 23, No. 4, 761--798 (2013; Zbl 1272.68289) Full Text: DOI Link OpenURL
Casteigts, Arnaud; Flocchini, Paola; Godard, Emmanuel; Santoro, Nicola; Yamashita, Masafumi Expressivity of time-varying graphs. (English) Zbl 1351.68195 Gąsieniec, Leszek (ed.) et al., Fundamentals of computation theory. 19th international symposium, FCT 2013, Liverpool, UK, August 19–21, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40163-3/pbk). Lecture Notes in Computer Science 8070, 95-106 (2013). MSC: 68R10 68Q45 PDF BibTeX XML Cite \textit{A. Casteigts} et al., Lect. Notes Comput. Sci. 8070, 95--106 (2013; Zbl 1351.68195) Full Text: DOI Link OpenURL