×

Found 1,282 Documents (Results 1–100)

Newest Citations Relevance
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Ší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

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software