×

zbMATH — the first resource for mathematics

Found 11,077 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Haddad, Serge (ed.); Varacca, Daniele (ed.)
32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. (English) Zbl 07386909
LIPIcs – Leibniz International Proceedings in Informatics 203. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (ISBN 978-3-95977-203-7). xiv, 36 articles, not consecutively paged, electronic only, open access (2021).
MSC:  68-06 68Q85 00B25
PDF BibTeX XML Cite
\textit{S. Haddad} (ed.) and \textit{D. Varacca} (ed.), 32nd international conference on concurrency theory, CONCUR 2021, August 24--27, 2021, virtual conference. Wadern: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik (2021; Zbl 07386909)
Full Text: DOI Link
OpenURL
Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg
General decidability results for asynchronous shared-memory programs: higher-order and beyond. (English) Zbl 1467.68040
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, 449-467 (2021).
MSC:  68N30 68Q45 68Q60 68Q85
PDF BibTeX XML Cite
\textit{R. Majumdar} et al., Lect. Notes Comput. Sci. 12651, 449--467 (2021; Zbl 1467.68040)
Full Text: DOI
OpenURL
Bisping, Benjamin; Nestmann, Uwe
A game for linear-time-branching-time spectroscopy. (English) Zbl 1467.68129
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, 3-19 (2021).
MSC:  68Q85 03B70 91A80
PDF BibTeX XML Cite
\textit{B. Bisping} and \textit{U. Nestmann}, Lect. Notes Comput. Sci. 12651, 3--19 (2021; Zbl 1467.68129)
Full Text: DOI
OpenURL
Buchs, Didier (ed.); Carmona, Josep (ed.)
Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. (English) Zbl 07372860
Lecture Notes in Computer Science 12734. Cham: Springer (ISBN 978-3-030-76982-6/pbk; 978-3-030-76983-3/ebook). xi, 486 p. (2021).
MSC:  68-06 68Q85 00B25
PDF BibTeX XML Cite
\textit{D. Buchs} (ed.) and \textit{J. Carmona} (ed.), Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23--25, 2021. Proceedings. Cham: Springer (2021; Zbl 07372860)
Full Text: DOI
OpenURL
Koutny, Maciej (ed.); Kordon, Fabrice (ed.); Pomello, Lucia (ed.)
Transactions on Petri Nets and Other Models of Concurrency XV. (English) Zbl 1462.68004
Lecture Notes in Computer Science 12530. Journal Subline. Berlin: Springer (ISBN 978-3-662-63078-5/pbk; 978-3-662-63079-2/ebook). xvii, 185 p. (2021).
MSC:  68-06 68Q85 00B15
PDF BibTeX XML Cite
\textit{M. Koutny} (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency XV. Berlin: Springer (2021; Zbl 1462.68004)
Full Text: DOI
OpenURL
Alexandrov, A.; Andreev, R.; Ilchev, S.; Boneva, A.; Ivanov, S.; Doshev, J.
Modeling and simulation of low power wireless sensor networks based on generalized nets. (English) Zbl 1440.68025
Dimov, Ivan (ed.) et al., Advances in high performance computing. Results of the international conference on high performance computing, Borovets, Bulgaria, September 2–6, 2019. Cham: Springer. Stud. Comput. Intell. 902, 3-14 (2021).
MSC:  68M18 68Q85
PDF BibTeX XML Cite
\textit{A. Alexandrov} et al., Stud. Comput. Intell. 902, 3--14 (2021; Zbl 1440.68025)
Full Text: DOI
OpenURL
Bozveliev, Boris; Sotirov, Sotir; Simeonov, Stanislav; Videv, Tihomir
Generalized net model of common Internet payment gateway with intuitionistic fuzzy estimations. (English) Zbl 07392049
Castillo, Oscar (ed.) et al., Intuitionistic and type-2 fuzzy logic enhancements in neural and optimization algorithms: theory and applications. Cham: Springer. Stud. Comput. Intell. 862, 91-98 (2020).
MSC:  68T37 68Q85 68M11
PDF BibTeX XML Cite
\textit{B. Bozveliev} et al., Stud. Comput. Intell. 862, 91--98 (2020; Zbl 07392049)
Full Text: DOI
OpenURL
Lange, Julien (ed.); Mavridou, Anastasia (ed.); Safina, Larisa (ed.); Scalas, Alceste (ed.)
Proceedings of the 13th interaction and concurrency experience workshop, ICE’20, online, June 19, 2020. (English) Zbl 1466.68021
Electronic Proceedings in Theoretical Computer Science (EPTCS) 324. Waterloo: Open Publishing Association (OPA). 95 p., electronic only, open access (2020).
MSC:  68-06 68Q85 00B25
PDF BibTeX XML Cite
\textit{J. Lange} (ed.) et al., Proceedings of the 13th interaction and concurrency experience workshop, ICE'20, online, June 19, 2020. Waterloo: Open Publishing Association (OPA) (2020; Zbl 1466.68021)
Full Text: DOI Link Link
OpenURL
Dardha, Ornela (ed.); Rot, Jurriaan (ed.)
Proceedings of the combined 27th international workshop on expressiveness in concurrency and the 17th workshop on structural operational semantics, EXPRESS/SOS 2020, online, August 31, 2020. (English) Zbl 1466.68010
Electronic Proceedings in Theoretical Computer Science (EPTCS) 322. Waterloo: Open Publishing Association (OPA). 105 p., electronic only, open access (2020).
MSC:  68-06 68Q55 68Q85 00B25
PDF BibTeX XML Cite
\textit{O. Dardha} (ed.) and \textit{J. Rot} (ed.), Proceedings of the combined 27th international workshop on expressiveness in concurrency and the 17th workshop on structural operational semantics, EXPRESS/SOS 2020, online, August 31, 2020. Waterloo: Open Publishing Association (OPA) (2020; Zbl 1466.68010)
Full Text: DOI Link Link
OpenURL
Huang, Bo; Zhou, MengChu
Supervisory control and scheduling of resource allocation systems. Reachability graph perspective. (English) Zbl 1456.93001
IEEE Press Series on Systems Science and Engineering. Piscataway, NJ: IEEE Press; Hoboken, NJ: John Wiley & Sons (ISBN 978-1-119-61968-0/hbk; 978-1-119-61972-7/ebook). xxv, 256 p. (2020).
MSC:  93-02 93B03 91B32 90B35 68Q85
PDF BibTeX XML Cite
\textit{B. Huang} and \textit{M. Zhou}, Supervisory control and scheduling of resource allocation systems. Reachability graph perspective. Piscataway, NJ: IEEE Press; Hoboken, NJ: John Wiley \& Sons (2020; Zbl 1456.93001)
Full Text: DOI
OpenURL
Leroux, Jérôme
When reachability meets Grzegorczyk. (English) Zbl 07299453
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 1-6 (2020).
MSC:  68Q85
PDF BibTeX XML Cite
\textit{J. Leroux}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 1--6 (2020; Zbl 07299453)
Full Text: DOI
OpenURL
Jain, Manisha; Madeira, Alexandre; Martins, Manuel A.
A fuzzy modal logic for fuzzy transition systems. (English) Zbl 1452.68126
Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 348, 85-103 (2020).
MSC:  68Q85 03B45 03B52
PDF BibTeX XML Cite
\textit{M. Jain} et al., Electron. Notes Theor. Comput. Sci. 348, 85--103 (2020; Zbl 1452.68126)
Full Text: DOI
OpenURL
Hüls, Jannik
Model checking hybrid Petri nets with multiple general transition firings. (English) Zbl 1446.68001
Münster: Univ. Münster, Mathematisch-Naturwissenschaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.). 216 p. (2020).
MSC:  68-02 68Q60 68Q85
PDF BibTeX XML Cite
\textit{J. Hüls}, Model checking hybrid Petri nets with multiple general transition firings. Münster: Univ. Münster, Mathematisch-Naturwissenschaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.) (2020; Zbl 1446.68001)
OpenURL
Schewe, Klaus-Dieter; Aït-Ameur, Yamine; Benyagoub, Sarah
Realisability of choreographies. (English) Zbl 1462.68127
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 263-280 (2020).
Reviewer: T. C. Mohan (Chennai)
MSC:  68Q85 68Q11
PDF BibTeX XML Cite
\textit{K.-D. Schewe} et al., Lect. Notes Comput. Sci. 12012, 263--280 (2020; Zbl 1462.68127)
Full Text: DOI
OpenURL
Zorin, A. V.; Tretyakov, N. P.
Calculation of transition probabilities in quantum mechanics with a nonnegative distribution function in the Maple computer algebra system. (English. Russian original) Zbl 1450.81069
Comput. Math. Math. Phys. 60, No. 1, 82-89 (2020); translation from Zh. Vychisl. Mat. Mat. Fiz. 60, No. 1, 88-95 (2020).
MSC:  81V45 81S30 81S20 81P15 81P05 81V80 65L60 68Q85 81-08
PDF BibTeX XML Cite
\textit{A. V. Zorin} and \textit{N. P. Tretyakov}, Comput. Math. Math. Phys. 60, No. 1, 82--89 (2020; Zbl 1450.81069); translation from Zh. Vychisl. Mat. Mat. Fiz. 60, No. 1, 88--95 (2020)
Full Text: DOI
OpenURL
Konnov, Igor (ed.); Kovács, Laura (ed.)
31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. (English) Zbl 1445.68020
LIPIcs – Leibniz International Proceedings in Informatics 171. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-160-3). xvi, 50 articles, not consecutively paged, electronic only, open access (2020).
MSC:  68-06 68Q85 00B25
PDF BibTeX XML Cite
\textit{I. Konnov} (ed.) and \textit{L. Kovács} (ed.), 31st international conference on concurrency theory. CONCUR 2020, September 1--4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl -- Leibniz Zentrum für Informatik (2020; Zbl 1445.68020)
Full Text: DOI Link
OpenURL
Zuleger, Florian
The polynomial complexity of vector addition systems with states. (English) Zbl 1442.68154
Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 622-641 (2020).
MSC:  68Q85 68Q25
PDF BibTeX XML Cite
\textit{F. Zuleger}, Lect. Notes Comput. Sci. 12077, 622--641 (2020; Zbl 1442.68154)
Full Text: DOI
OpenURL
Akshay, S.; Genest, Blaise; Hélouët, Loïc; Mital, Sharvik
Timed negotiations. (English) Zbl 07250931
Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 37-56 (2020).
MSC:  68Q85
PDF BibTeX XML Cite
\textit{S. Akshay} et al., Lect. Notes Comput. Sci. 12077, 37--56 (2020; Zbl 07250931)
Full Text: DOI
OpenURL
Pacheco, Carlos G.
A Gaussian analytic function. (English) Zbl 07244865
Bauer, Wolfram (ed.) et al., Operator algebras, Toeplitz operators and related topics. Selected papers based on the presentations at the international workshop, Boca del Rio, Veracruz, Mexico, November 13–19, 2018. In honor of Nikolai Vasilevskin on the occasion of his 70th birthday. Cham: Springer. Oper. Theory: Adv. Appl. 279, 343-349 (2020).
MSC:  47-XX 46Lxx
PDF BibTeX XML Cite
\textit{C. G. Pacheco}, Oper. Theory: Adv. Appl. 279, 343--349 (2020; Zbl 07244865)
Full Text: DOI
OpenURL
Belton, Robin; Brooks, Robyn; Ebli, Stefania; Fajstrup, Lisbeth; Fasy, Brittany Terese; Ray, Catherine; Sanderson, Nicole; Vidaurre, Elizabeth
Towards directed collapsibility (research). (English) Zbl 1440.55013
Acu, Bahar (ed.) et al., Advances in mathematical sciences. AWM research symposium, Houston, TX, USA, April 6–7, 2019. Cham: Springer. Assoc. Women Math. Ser. 21, 255-271 (2020).
MSC:  55P99 68Q85 68N30 55P10 57Q05 57Q10
PDF BibTeX XML Cite
\textit{R. Belton} et al., Assoc. Women Math. Ser. 21, 255--271 (2020; Zbl 1440.55013)
Full Text: DOI
OpenURL
Aman, Bogdan; Ciobanu, Gabriel
Employing costs in multiagent systems with timed migration and timed communication. (English) Zbl 1440.68306
Chatzigeorgiou, Alexander (ed.) et al., SOFSEM 2020: theory and practice of computer science. 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12011, 441-453 (2020).
MSC:  68T42 68Q55 68Q60 68Q85
PDF BibTeX XML Cite
\textit{B. Aman} and \textit{G. Ciobanu}, Lect. Notes Comput. Sci. 12011, 441--453 (2020; Zbl 1440.68306)
Full Text: DOI
OpenURL
Erkens, Rick; Rot, Jurriaan; Luttik, Bas
Up-to techniques for branching bisimilarity. (English) Zbl 1440.68176
Chatzigeorgiou, Alexander (ed.) et al., SOFSEM 2020: theory and practice of computer science. 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12011, 285-297 (2020).
MSC:  68Q85
PDF BibTeX XML Cite
\textit{R. Erkens} et al., Lect. Notes Comput. Sci. 12011, 285--297 (2020; Zbl 1440.68176)
Full Text: DOI
OpenURL
Tredup, Ronny
Parameterized complexity of synthesizing \(b\)-bounded \((m,n)\)-T-systems. (English) Zbl 1440.68179
Chatzigeorgiou, Alexander (ed.) et al., SOFSEM 2020: theory and practice of computer science. 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12011, 223-235 (2020).
MSC:  68Q85 68Q27
PDF BibTeX XML Cite
\textit{R. Tredup}, Lect. Notes Comput. Sci. 12011, 223--235 (2020; Zbl 1440.68179)
Full Text: DOI
OpenURL
Bădică, Amelia; Bădică, Costin; Logofătu, Doina; Buligiu, Ion; Ciora, Liviu
Modeling block structured project scheduling with resource constraints. (English) Zbl 1437.68162
Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 12th international conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11958, 484-492 (2020).
MSC:  68T20 68N17 68Q85 90B35
PDF BibTeX XML Cite
\textit{A. Bădică} et al., Lect. Notes Comput. Sci. 11958, 484--492 (2020; Zbl 1437.68162)
Full Text: DOI
OpenURL
Alexandrov, Alexander; Monov, Vladimir; Tashev, Tasho
Generalized nets model of data parallel processing in large scale wireless sensor networks. (English) Zbl 1437.68027
Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 12th international conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11958, 475-483 (2020).
MSC:  68M18 68Q85
PDF BibTeX XML Cite
\textit{A. Alexandrov} et al., Lect. Notes Comput. Sci. 11958, 475--483 (2020; Zbl 1437.68027)
Full Text: DOI
OpenURL
Simone, Pernice; Laura, Follia; Gianfranco, Balbo; Luciano, Milanesi; Giulia, Sartini; Niccoló, Totis; Pietro, Lió; Ivan, Merelli; Francesca, Cordero; Marco, Beccuti
Integrating Petri nets and flux balance methods in computational biology models: a methodological and computational practice. (English) Zbl 1444.92035
Fundam. Inform. 171, No. 1-4, 367-392 (2020).
MSC:  92C42 68Q85 92-08
PDF BibTeX XML Cite
\textit{P. Simone} et al., Fundam. Inform. 171, No. 1--4, 367--392 (2020; Zbl 1444.92035)
Full Text: DOI
OpenURL

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Biographic Reference
all top 3
Software