default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 807

> Home > Journals > Theoretical Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 807, February 2020

In memory of Maurice Nivat, a founding father of Theoretical Computer Science - Part II

- view
  authority control:
- export record
  dblp key:
  - journals/tcs/AusielloKRSSC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AusielloKRSSC20
Giorgio Ausiello, Lila Kari, Grzegorz Rozenberg, Donald Sannella, Paul G. Spirakis, Pierre-Louis Curien:
Preface. 1-2
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Abramsky20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Abramsky20
Samson Abramsky:
Whither semantics? 3-14
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/AlurFMRS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AlurFMRS20
Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford:
Streamable regular transductions. 15-41
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/AvniHK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AvniHK20
Guy Avni, Thomas A. Henzinger, Orna Kupferman:
Dynamic resource allocation games. 42-55
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Bar-NoyPR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Bar-NoyPR20
Amotz Bar-Noy, David Peleg, Dror Rawitz:
Vertex-weighted realizations of graphs. 56-72
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/BlassG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BlassG20
Andreas Blass, Yuri Gurevich:
Braided distributivity. 73-94
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/BruniMM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BruniMM20
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Bayesian network semantics for Petri nets. 95-113
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/CaludeJMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CaludeJMS20
Cristian S. Calude, Sanjay Jain, Wolfgang Merkle, Frank Stephan:
Searching for shortest and least programs. 114-127
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/CastellaniDGH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CastellaniDGH20
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini, Ross Horne:
Global types with internal delegation. 128-153
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/DurierHS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DurierHS20
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi:
Towards 'up to context' reasoning about higher-order processes. 154-168
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/EhrhardKJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/EhrhardKJ20
Thomas Ehrhard, Jean Krivine, Ying Jiang:
A calculus of branching processes. 169-184
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/GeorgiadisIK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GeorgiadisIK20
Loukas Georgiadis, Giuseppe F. Italiano, Aikaterini Karanasiou:
Approximating the smallest 2-vertex connected spanning subgraph of a directed graph. 185-200
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/IwamaT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/IwamaT20
Kazuo Iwama, Junichi Teruyama:
Improved average complexity for comparison-based sorting. 201-219
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/KozenS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/KozenS20
Dexter Kozen, Alexandra Silva:
Left-handed completeness. 220-233
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/LeoneSR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LeoneSR20
Pierre Leone, Kasun Samarasinghe, José D. P. Rolim:
Every Schnyder drawing is a greedy embedding. 234-244
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/MahalingamPK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MahalingamPK20
Kalpana Mahalingam, Palak Pandoh, Kamala Krithivasan:
On the least number of palindromes in two-dimensional words. 245-256
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Matijasevic20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Matijasevic20
Yuri V. Matijasevic:
The Riemann Hypothesis in computer science. 257-265
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/MavronicolasM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MavronicolasM20
Marios Mavronicolas, Burkhard Monien:
Conditional Value-at-Risk: Structure and complexity of equilibria. 266-283
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Mislove20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Mislove20
Michael W. Mislove:
Domains and stochastic processes. 284-297
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/WuWRHK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/WuWRHK20
Min Wu, Matthew Wicker, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska:
A game-based approximate verification of deep neural networks with provable guarantees. 298-329
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/YuQWLLG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/YuQWLLG20
Fang Yu, Daowen Qiu, Xiaoming Wang, Qin Li, Lvzhou Li, Jozef Gruska:
Security improvements of several basic quantum private query protocols with O(log N) communication complexity. 330-340

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.