×

Found 2,848 Documents (Results 201–300)

Round-bounded control of parameterized systems. (English) Zbl 1517.68257

Lahiri, Shuvendu K. (ed.) et al., Automated technology for verification and analysis. 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7–10, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11138, 370-386 (2018).
MSC:  68Q85 68Q60 91A80
PDFBibTeX XMLCite
Full Text: DOI

A fully abstract game semantics for countable nondeterminism. (English) Zbl 1528.68203

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 24, 18 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Fully abstract models of the probabilistic \(\lambda\)-calculus. (English) Zbl 1528.03117

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 16, 17 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Continuous probability distributions in concurrent games. (English) Zbl 1527.68141

Staton, Sam (ed.), Proceedings of the 34th conference on the mathematical foundations of programming semantics (MFPS XXXIV), Dalhousie University, Halifax, Canada, June 6–9, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 341, 321-344 (2018).
PDFBibTeX XMLCite
Full Text: DOI

A game semantics of concurrent separation logic. (English) Zbl 1525.68029

Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 241-256 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Solving QBF by abstraction. (English) Zbl 1528.68223

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, 88-102 (2018).
PDFBibTeX XMLCite
Full Text: arXiv Link

Automated detection of serializability violations under weak consistency. (English) Zbl 1520.68097

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 41, 18 p. (2018).
MSC:  68Q85 03B70 68P15
PDFBibTeX XMLCite
Full Text: DOI arXiv

The complexity of rational synthesis for concurrent games. (English) Zbl 1520.68091

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 38, 15 p. (2018).
MSC:  68Q85 68Q25 91A80
PDFBibTeX XMLCite
Full Text: DOI

(Metric) bisimulation games and real-valued modal logics for coalgebras. (English) Zbl 1520.68096

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 37, 17 p. (2018).
MSC:  68Q85 03B70 91A80
PDFBibTeX XMLCite
Full Text: DOI arXiv

The concurrent game semantics of probabilistic PCF. (English) Zbl 1497.68331

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). 215-224 (2018).
PDFBibTeX XMLCite
Full Text: DOI Link

Synthesis in distributed environments. (English) Zbl 1491.68121

Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 28, 14 p. (2018).
MSC:  68Q85 91A80
PDFBibTeX XMLCite
Full Text: DOI arXiv

Scalable load balancing in networked systems: universality properties and stochastic coupling methods. (English) Zbl 1490.90100

Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians 2018, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume IV. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 3893-3923 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Fair leader election for rational agents in asynchronous rings and networks. (English) Zbl 1429.68029

Proceedings of the 37th ACM symposium on principles of distributed computing, PODC ’18, Egham, UK, July 23–27, 2018. New York, NY: Association for Computing Machinery (ACM). 217-226 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Verified learning without regret. From algorithmic game theory to distributed systems with mechanized complexity guarantees. (English) Zbl 1418.68018

Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 561-588 (2018).
MSC:  68M14 68T05 68T15 91A10 91A80
PDFBibTeX XMLCite
Full Text: DOI

Alternating reachability games with behavioral and revenue objectives. (English) Zbl 1415.68150

Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 498-514 (2018).
MSC:  68Q60 68Q85 91A80
PDFBibTeX XMLCite
Full Text: DOI

Reaching distributed equilibrium with limited ID space. (English) Zbl 1517.68039

Lotker, Zvi (ed.) et al., Structural information and communication complexity. 25th international colloquium, SIROCCO 2018, Ma’ale HaHamisha, Israel, June 18–21, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11085, 48-51 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

EXPSPACE-complete variant of countdown games, and simulation on succinct one-counter nets. (English) Zbl 1515.68208

Potapov, Igor (ed.) et al., Reachability problems. 12th international conference, RP 2018, Marseille, France, September 24–26, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11123, 59-74 (2018).
MSC:  68Q85 68Q17 91A80
PDFBibTeX XMLCite
Full Text: DOI

Compression-decompression of multivariate data via maximum entropy resampling and applications to inference. (English) Zbl 1403.62002

Freiburg im Breisgau: Univ. Freiburg, Fakultät für Mathematik und Physik (Diss.). xvi, 167 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI Link

WQO dichotomy for 3-graphs. (English) Zbl 1496.68233

Baier, Christel (ed.) et al., Foundations of software science and computation structures. 21st international conference, FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10803, 548-564 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Non-angelic concurrent game semantics. (English) Zbl 1504.68123

Baier, Christel (ed.) et al., Foundations of software science and computation structures. 21st international conference, FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10803, 3-19 (2018).
MSC:  68Q55 68Q85 91A80
PDFBibTeX XMLCite
Full Text: DOI

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

all top 3

Software