×

Found 287 Documents (Results 1–100)

Parameterized analysis of reconfigurable broadcast networks. (English) Zbl 07793023

Bouyer, Patricia (ed.) et al., Foundations of software science and computation structures. 25th international conference, FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13242, 61-80 (2022).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Online allocation and display ads optimization with surplus supply. (English) Zbl 07722937

Hansen, Kristoffer Arnsfelt (ed.) et al., Web and internet economics. 18th international conference, WINE 2022, Troy, NY, USA, December 12–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13778, 41-59 (2022).
MSC:  68M11 91A80 91B26
PDFBibTeX XMLCite
Full Text: DOI arXiv

Complexity of coverability in bounded path broadcast networks. (English) Zbl 07799613

Bojańczyk, Mikołaj (ed.) et al., 41st IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2021, virtual conference, December 15–17, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 213, Article 35, 16 p. (2021).
MSC:  68N30 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Adaptive synchronisation of pushdown automata. (English) Zbl 07730619

Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 17, 15 p. (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Finding cut-offs in leaderless rendez-vous protocols is easy. (English) Zbl 07410418

Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 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. Cham: Springer. Lect. Notes Comput. Sci. 12650, 42-61 (2021).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Complexity of verification and synthesis of threshold automata. (English) Zbl 1517.68221

Hung, Dang Van (ed.) et al., Automated technology for verification and analysis. 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12302, 144-160 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Characterizing consensus in the heard-of model. (English) Zbl 07559465

Konnov, Igor (ed.) et al., 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. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 9, 18 p. (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

A production inventory system with renewal and retrial demands. (English) Zbl 1471.90004

Joshua, V. C. (ed.) et al., Applied probability and stochastic processes. Selected papers based on the presentations at the international conference, Kerala, India, January, 7–10 2019. In honour of Prof. Dr. A. Krishnamoorthy. Singapore: Springer. Infosys Sci. Found. Ser., 129-142 (2020).
MSC:  90B05 60K10
PDFBibTeX XMLCite
Full Text: DOI

Complexity of controlled bad sequences over finite sets of \(\mathbb{N}^d\). (English) Zbl 1499.06006

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). 130-140 (2020).
MSC:  06A07 03D20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Leavitt path algebras and classical \(K\)-theory. Based on the international workshop on Leavitt path algebras and \(K\)-theory, Kerala, India, July 1–3, 2017. (English) Zbl 1433.19001

Indian Statistical Institute Series. Singapore: Springer (ISBN 978-981-15-1610-8/hbk; 978-981-15-1611-5/ebook). xv, 335 p. (2020).
MSC:  19-06 16-06 00B25
PDFBibTeX XMLCite
Full Text: DOI

Parameterized verification of coverability in well-structured broadcast networks. (English) Zbl 1528.68207

Orlandini, Andrea (ed.) et al., Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26–28, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 133-146 (2018).
MSC:  68Q60 68M10 68Q85
PDFBibTeX XMLCite
Full Text: arXiv Link

Supersymmetric field theories and geometric Langlands: the other side of the coin. (English) Zbl 1452.81160

Kashani-Poor, Amir-Kian (ed.) et al., String-Math 2016. Proceedings of the conference, Collège de France, Paris, France, June 27 – July 2, 2016. Providence, RI: American Mathematical Society (AMS); Boston, MA: International Press. Proc. Symp. Pure Math. 98, 79-105 (2018).
MSC:  81T60 22E57 14D21
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Parameterized verification of synchronization in constrained reconfigurable broadcast networks. (English) Zbl 1423.68273

Beyer, Dirk (ed.) et al., Tools and algorithms for the construction and analysis of systems. 24th international conference, TACAS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10806, 38-54 (2018).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software