![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
40th FSTTCS 2020: Goa, India (Virtual Conference)
- Nitin Saxena
, Sunil Simon
:
40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference). LIPIcs 182, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-174-0 - Front Matter, Table of Contents, Preface, Conference Organization. 0:1-0:16
- Sanjeev Arora:
The Quest for Mathematical Understanding of Deep Learning (Invited Talk). 1:1-1:1 - Albert Atserias
:
Proofs of Soundness and Proof Search (Invited Talk). 2:1-2:1 - Yin Tat Lee:
Convex Optimization and Dynamic Data Structure (Invited Talk). 3:1-3:1 - Joël Ouaknine:
Holonomic Techniques, Periods, and Decision Problems (Invited Talk). 4:1-4:3 - Sanjit A. Seshia
:
Algorithmic Improvisation for Dependable Intelligent Autonomy (Invited Talk). 5:1-5:3 - Amir Shpilka
:
On Some Recent Advances in Algebraic Complexity (Invited Talk). 6:1-6:1 - Isolde Adler
, Polly Fahey
:
Faster Property Testers in a Variation of the Bounded Degree Model. 7:1-7:15 - Pankaj K. Agarwal, Hsien-Chih Chang, Kamesh Munagala, Erin Taylor, Emo Welzl:
Clustering Under Perturbation Stability in Near-Linear Time. 8:1-8:16 - Emmanuel Arrighi
, Henning Fernau
, Mateus de Oliveira Oliveira
, Petra Wolf
:
Width Notions for Ordering-Related Problems. 9:1-9:18 - Niranka Banerjee, Venkatesh Raman, Saket Saurabh:
Optimal Output Sensitive Fault Tolerant Cuts. 10:1-10:19 - Aaron Bernstein, Aditi Dudeja:
Online Matching with Recourse: Random Edge Arrivals. 11:1-11:16 - Olaf Beyersdorff
, Joshua Blinkhorn
, Meena Mahajan
, Tomás Peitl
, Gaurav Sood
:
Hard QBFs for Merge Resolution. 12:1-12:15 - Anup Bhattacharya, Dishant Goyal, Ragesh Jaiswal, Amit Kumar
:
On Sampling Based Algorithms for k-Means. 13:1-13:17 - Philip Bille
, Inge Li Gørtz
, Max Rishøj Pedersen, Eva Rotenberg
, Teresa Anna Steiner
:
String Indexing for Top-k Close Consecutive Occurrences. 14:1-14:17 - Davide Bilò
, Tobias Friedrich
, Pascal Lenzner
, Anna Melnichenko
, Louise Molitor
:
Fair Tree Connection Games with Topology-Dependent Edge Cost. 15:1-15:15 - Alexander R. Block
, Jeremiah Blocki
, Elena Grigorescu, Shubhang Kulkarni, Minshen Zhu:
Locally Decodable/Correctable Codes for Insertions and Deletions. 16:1-16:17 - Édouard Bonnet
, Nicolas Grelier, Tillmann Miltzow:
Maximum Clique in Disk-Like Intersection Graphs. 17:1-17:18 - Pratibha Choudhary, Lawqueen Kanesh, Daniel Lokshtanov, Fahad Panolan
, Saket Saurabh:
Parameterized Complexity of Feedback Vertex Sets on Hypergraphs. 18:1-18:15 - Joshua Cook:
Size Bounds on Low Depth Circuits for Promise Majority. 19:1-19:14 - Pavel Dvorák
, Bruno Loff:
Lower Bounds for Semi-adaptive Data Structures via Corruption. 20:1-20:15 - Karthik Gajulapalli, James A. Liu, Tung Mai, Vijay V. Vazirani:
Stability-Preserving, Time-Efficient Mechanisms for School Choice in Two Rounds. 21:1-21:15 - Prantar Ghosh
:
New Verification Schemes for Frequency-Based Functions on Data Streams. 22:1-22:15 - Anupam Gupta
, Ravishankar Krishnaswamy, Amit Kumar
, Sahil Singla:
Online Carpooling Using Expander Decompositions. 23:1-23:14 - Sushmita Gupta, Pallavi Jain, Sanjukta Roy
, Saket Saurabh, Meirav Zehavi:
On the (Parameterized) Complexity of Almost Stable Marriage. 24:1-24:17 - Telikepalli Kavitha:
Min-Cost Popular Matchings. 25:1-25:17 - Lidiya Khalidah binti Khalil, Christian Konrad
:
Constructing Large Matchings via Query Access to a Maximal Matching Oracle. 26:1-26:15 - Yash Khanna, Anand Louis:
Planted Models for the Densest k-Subgraph Problem. 27:1-27:18 - Kishore Kothapalli, Shreyas Pai
, Sriram V. Pemmaraju:
Sample-And-Gather: Fast Ruling Set Algorithms in the Low-Memory MPC Model. 28:1-28:18 - Nikhil S. Mande
, Swagato Sanyal:
On Parity Decision Trees for Fourier-Sparse Boolean Functions. 29:1-29:16 - Nils Morawietz, Niels Grüttemeier
, Christian Komusiewicz
, Frank Sommer
:
Colored Cut Games. 30:1-30:17 - Dana Moshkovitz, Justin Oh, David Zuckerman:
Randomness Efficient Noise Stability and Generalized Small Bias Sets. 31:1-31:16 - Shreyas Pai
, Sriram V. Pemmaraju:
Connectivity Lower Bounds in Broadcast Congested Clique. 32:1-32:17 - Omer Wasim
, Valerie King:
Fully Dynamic Sequential and Distributed Algorithms for MAX-CUT. 33:1-33:19 - C. Aiswarya
, Paul Gastin
:
Weighted Tiling Systems for Graphs: Evaluation Complexity. 34:1-34:17 - Shaull Almagor
:
Process Symmetry in Probabilistic Transducers. 35:1-35:14 - Christel Baier
, Florian Funke
, Simon Jantsch
, Toghrul Karimov
, Engel Lefaucheux
, Joël Ouaknine, Amaury Pouly
, David Purser
, Markus A. Whiteland
:
Reachability in Dynamical Systems with Rounding. 36:1-36:17 - A. R. Balasubramanian
:
Parameterized Complexity of Safety of Threshold Automata. 37:1-37:15 - Rebecca Bernemann
, Benjamin Cabrera, Reiko Heckel, Barbara König:
Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks. 38:1-38:17 - Nathalie Bertrand
, Patricia Bouyer
, Anirban Majumdar
:
Synthesizing Safe Coalition Strategies. 39:1-39:17 - Nathalie Bertrand
, Nicolas Markey
, Suman Sadhukhan, Ocan Sankur
:
Dynamic Network Congestion Games. 40:1-40:16 - Udi Boker, Denis Kuperberg
, Karoliina Lehtinen
, Michal Skrzypczak
:
On the Succinctness of Alternating Parity Good-For-Games Automata. 41:1-41:13 - Peter Chini, Prakash Saivasan:
A Framework for Consistency Algorithms. 42:1-42:17 - Oscar Darwin
, Stefan Kiefer
:
Equivalence of Hidden Markov Models with Continuous Observations. 43:1-43:14 - Manfred Droste
, Sven Dziadek
, Werner Kuich:
Nivat-Theorem and Logic for Weighted Pushdown Automata on Infinite Words. 44:1-44:14 - Henning Fernau
, Petra Wolf
:
Synchronization of Deterministic Visibly Push-Down Automata. 45:1-45:15 - Emmanuel Filiot, Christof Löding, Sarah Winter:
Synthesis from Weighted Specifications with Partial Domains over Finite Words. 46:1-46:16 - Paul Gastin
, Sayan Mukherjee
, B. Srivathsan
:
Reachability for Updatable Timed Automata Made Faster and More Effective. 47:1-47:17 - Stefan Haar
, Serge Haddad
, Stefan Schwoon
, Lina Ye
:
Active Prediction for Discrete Event Systems. 48:1-48:16 - Stefan Kiefer
, Qiyi Tang
:
Comparing Labelled Markov Decision Processes. 49:1-49:16 - Michal Konecný
, Florian Steinberg, Holger Thies
:
Computable Analysis for Verified Exact Real Computation. 50:1-50:18 - Orna Kupferman, Noam Shenwald:
Perspective Games with Notifications. 51:1-51:16 - Roland Meyer, Sören van der Wall:
On the Complexity of Multi-Pushdown Games. 52:1-52:35 - Pawel Parys
:
Higher-Order Nonemptiness Step by Step. 53:1-53:14 - Dominique Perrin, Andrew Ryzhikov
:
The Degree of a Finite Set of Words. 54:1-54:16 - M. Praveen:
What You Must Remember When Transforming Datawords. 55:1-55:14 - Sven Schewe
:
Minimising Good-For-Games Automata Is NP-Complete. 56:1-56:13 - Rishi Tulsyan, Rekha R. Pai
, Deepak D'Souza:
Static Race Detection for RTOS Applications. 57:1-57:20 - Petra Wolf
:
Synchronization Under Dynamic Constraints. 58:1-58:14
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.