×

Found 116 Documents (Results 1–100)

Unboundedness problems for machines with reversal-bounded counters. (English) Zbl 07770340

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 240-264 (2023).
MSC:  68Nxx 68Qxx

Unboundedness problems for languages of vector addition systems. (English) Zbl 1499.68170

Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 119, 15 p. (2018).
MSC:  68Q45 68Q85

Coverability synthesis in parametric Petri nets. (English) Zbl 1442.68133

Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 14, 16 p. (2017).
MSC:  68Q85
Full Text: DOI

Entropy production and non-equilibrium steady states. (English) Zbl 1329.82103

Accardi, Luigi (ed.) et al., Quantum bio-informatics V. Proceedings of the 5th conference, QBIC 2011, Tokyo University of Science, Tokyo, Japan, March 7–12, 2011. Hackensack, NJ: World Scientific (ISBN 978-981-4460-01-9/hbk; 978-981-4460-03-3/ebook). QP-PQ: Quantum Probability and White Noise Analysis 30, 315-325 (2013).
MSC:  82C35 82C70 15B52
Full Text: DOI

Boundedness and periodicity of a fuzzy max-difference equation. (English) Zbl 1172.39017

Bohner, Martin (ed.) et al., Difference equations and applications. Proceedings of the fourteenth international conference on difference equations and applications (ICDEA), Istanbul, Turkey, July 21–25, 2008. Istanbul: Bahçeşehir University Press (ISBN 978-975-6437-80-3/pbk). 299-306 (2009).
MSC:  39A11 39A20 26E50

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software