Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/tcs/tcs807.bht:"
@article{DBLP:journals/tcs/Abramsky20, author = {Samson Abramsky}, title = {Whither semantics?}, journal = {Theor. Comput. Sci.}, volume = {807}, pages = {3--14}, year = {2020}, url = {https://doi.org/10.1016/j.tcs.2019.06.029}, doi = {10.1016/J.TCS.2019.06.029}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Abramsky20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/AlurFMRS20, author = {Rajeev Alur and Dana Fisman and Konstantinos Mamouras and Mukund Raghothaman and Caleb Stanford}, title = {Streamable regular transductions}, journal = {Theor. Comput. Sci.}, volume = {807}, pages = {15--41}, year = {2020}, url = {https://doi.org/10.1016/j.tcs.2019.11.018}, doi = {10.1016/J.TCS.2019.11.018}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/AlurFMRS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/AusielloKRSSC20, author = {Giorgio Ausiello and Lila Kari and Grzegorz Rozenberg and Donald Sannella and Paul G. Spirakis and Pierre{-}Louis Curien}, title = {Preface}, journal = {Theor. Comput. Sci.}, volume = {807}, pages = {1--2}, year = {2020}, url = {https://doi.org/10.1016/j.tcs.2019.12.021}, doi = {10.1016/J.TCS.2019.12.021}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/AusielloKRSSC20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/AvniHK20, author = {Guy Avni and Thomas A. Henzinger and Orna Kupferman}, title = {Dynamic resource allocation games}, journal = {Theor. Comput. Sci.}, volume = {807}, pages = {42--55}, year = {2020}, url = {https://doi.org/10.1016/j.tcs.2019.06.031}, doi = {10.1016/J.TCS.2019.06.031}, timestamp = {Fri, 31 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/AvniHK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Bar-NoyPR20, author = {Amotz Bar{-}Noy and David Peleg and Dror Rawitz}, title = {Vertex-weighted realizations of graphs}, journal = {Theor. Comput. Sci.}, volume = {807}, pages = {56--72}, year = {2020}, url = {https://doi.org/10.1016/j.tcs.2019.12.020}, doi = {10.1016/J.TCS.2019.12.020}, timestamp = {Fri, 31 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Bar-NoyPR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BlassG20, author = {Andreas Blass and Yuri Gurevich}, title = {Braided distributivity}, journal = {Theor. Comput. Sci.}, volume = {807}, pages = {73--94}, year = {2020}, url = {https://doi.org/10.1016/j.tcs.2019.11.027}, doi = {10.1016/J.TCS.2019.11.027}, timestamp = {Fri, 31 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BlassG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BruniMM20, author = {Roberto Bruni and Hern{\'{a}}n C. Melgratti and Ugo Montanari}, title = {Bayesian network semantics for Petri nets}, journal = {Theor. Comput. Sci.}, volume = {807}, pages = {95--113}, year = {2020}, url = {https://doi.org/10.1016/j.tcs.2019.07.034}, doi = {10.1016/J.TCS.2019.07.034}, timestamp = {Fri, 31 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BruniMM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/CaludeJMS20, author = {Cristian S. Calude and Sanjay Jain and Wolfgang Merkle and Frank Stephan}, title = {Searching for shortest and least programs}, journal = {Theor. Comput. Sci.}, volume = {807}, pages = {114--127}, year = {2020}, url = {https://doi.org/10.1016/j.tcs.2019.10.011}, doi = {10.1016/J.TCS.2019.10.011}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/CaludeJMS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/CastellaniDGH20, author = {Ilaria Castellani and Mariangiola Dezani{-}Ciancaglini and Paola Giannini and Ross Horne}, title = {Global types with internal delegation}, journal = {Theor. Comput. Sci.}, volume = {807}, pages = {128--153}, year = {2020}, url = {https://doi.org/10.1016/j.tcs.2019.09.027}, doi = {10.1016/J.TCS.2019.09.027}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/CastellaniDGH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/DurierHS20, author = {Adrien Durier and Daniel Hirschkoff and Davide Sangiorgi}, title = {Towards 'up to context' reasoning about higher-order processes}, journal = {Theor. Comput. Sci.}, volume = {807}, pages = {154--168}, year = {2020}, url = {https://doi.org/10.1016/j.tcs.2019.09.036}, doi = {10.1016/J.TCS.2019.09.036}, timestamp = {Fri, 31 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/DurierHS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/EhrhardKJ20, author = {Thomas Ehrhard and Jean Krivine and Ying Jiang}, title = {A calculus of branching processes}, journal = {Theor. Comput. Sci.}, volume = {807}, pages = {169--184}, year = {2020}, url = {https://doi.org/10.1016/j.tcs.2019.06.028}, doi = {10.1016/J.TCS.2019.06.028}, timestamp = {Fri, 31 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/EhrhardKJ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/GeorgiadisIK20, author = {Loukas Georgiadis and Giuseppe F. Italiano and Aikaterini Karanasiou}, title = {Approximating the smallest 2-vertex connected spanning subgraph of a directed graph}, journal = {Theor. Comput. Sci.}, volume = {807}, pages = {185--200}, year = {2020}, url = {https://doi.org/10.1016/j.tcs.2019.09.040}, doi = {10.1016/J.TCS.2019.09.040}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/GeorgiadisIK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/IwamaT20, author = {Kazuo Iwama and Junichi Teruyama}, title = {Improved average complexity for comparison-based sorting}, journal = {Theor. Comput. Sci.}, volume = {807}, pages = {201--219}, year = {2020}, url = {https://doi.org/10.1016/j.tcs.2019.06.032}, doi = {10.1016/J.TCS.2019.06.032}, timestamp = {Fri, 31 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/IwamaT20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/KozenS20, author = {Dexter Kozen and Alexandra Silva}, title = {Left-handed completeness}, journal = {Theor. Comput. Sci.}, volume = {807}, pages = {220--233}, year = {2020}, url = {https://doi.org/10.1016/j.tcs.2019.10.040}, doi = {10.1016/J.TCS.2019.10.040}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/KozenS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/LeoneSR20, author = {Pierre Leone and Kasun Samarasinghe and Jos{\'{e}} D. P. Rolim}, title = {Every Schnyder drawing is a greedy embedding}, journal = {Theor. Comput. Sci.}, volume = {807}, pages = {234--244}, year = {2020}, url = {https://doi.org/10.1016/j.tcs.2019.07.021}, doi = {10.1016/J.TCS.2019.07.021}, timestamp = {Fri, 31 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/LeoneSR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/MahalingamPK20, author = {Kalpana Mahalingam and Palak Pandoh and Kamala Krithivasan}, title = {On the least number of palindromes in two-dimensional words}, journal = {Theor. Comput. Sci.}, volume = {807}, pages = {245--256}, year = {2020}, url = {https://doi.org/10.1016/j.tcs.2019.06.030}, doi = {10.1016/J.TCS.2019.06.030}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/MahalingamPK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Matijasevic20, author = {Yuri V. Matijasevic}, title = {The Riemann Hypothesis in computer science}, journal = {Theor. Comput. Sci.}, volume = {807}, pages = {257--265}, year = {2020}, url = {https://doi.org/10.1016/j.tcs.2019.07.028}, doi = {10.1016/J.TCS.2019.07.028}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/Matijasevic20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/MavronicolasM20, author = {Marios Mavronicolas and Burkhard Monien}, title = {Conditional Value-at-Risk: Structure and complexity of equilibria}, journal = {Theor. Comput. Sci.}, volume = {807}, pages = {266--283}, year = {2020}, url = {https://doi.org/10.1016/j.tcs.2019.09.015}, doi = {10.1016/J.TCS.2019.09.015}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/MavronicolasM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Mislove20, author = {Michael W. Mislove}, title = {Domains and stochastic processes}, journal = {Theor. Comput. Sci.}, volume = {807}, pages = {284--297}, year = {2020}, url = {https://doi.org/10.1016/j.tcs.2019.05.002}, doi = {10.1016/J.TCS.2019.05.002}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Mislove20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/WuWRHK20, author = {Min Wu and Matthew Wicker and Wenjie Ruan and Xiaowei Huang and Marta Kwiatkowska}, title = {A game-based approximate verification of deep neural networks with provable guarantees}, journal = {Theor. Comput. Sci.}, volume = {807}, pages = {298--329}, year = {2020}, url = {https://doi.org/10.1016/j.tcs.2019.05.046}, doi = {10.1016/J.TCS.2019.05.046}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/WuWRHK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/YuQWLLG20, author = {Fang Yu and Daowen Qiu and Xiaoming Wang and Qin Li and Lvzhou Li and Jozef Gruska}, title = {Security improvements of several basic quantum private query protocols with O(log {N)} communication complexity}, journal = {Theor. Comput. Sci.}, volume = {807}, pages = {330--340}, year = {2020}, url = {https://doi.org/10.1016/j.tcs.2019.12.008}, doi = {10.1016/J.TCS.2019.12.008}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/YuQWLLG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.