| No. |
Title |
Author |
Year |
| 1 |
A Brief History of History-Determinism (Invited Talk) |
Lehtinen, Karoliina |
2023 |
| 2 |
A Combinatorial Cut-Toggling Algorithm for Solving Laplacian Linear Systems |
Henzinger, Monika et al. |
2023 |
| 3 |
A Curry-Howard Correspondence for Linear, Reversible Computation |
Chardonnet, Kostia et al. |
2023 |
| 4 |
A Cyclic Proof System for Full Computation Tree Logic |
Afshari, Bahareh et al. |
2023 |
| 5 |
A Framework for Adversarial Streaming via Differential Privacy and Difference Estimators |
Attias, Idan et al. |
2023 |
| 6 |
A Generalization of the Persistent Laplacian to Simplicial Maps |
Gülen, Aziz Burak et al. |
2023 |
| 7 |
A Lattice-Theoretical View of Strategy Iteration |
Baldan, Paolo et al. |
2023 |
| 8 |
A Modular Approach to Construct Signature-Free BRB Algorithms Under a Message Adversary |
Albouy, Timothé et al. |
2023 |
| 9 |
A New Conjecture on Hardness of 2-CSP’s with Implications to Hardness of Densest k-Subgraph and Other Problems |
Chuzhoy, Julia et al. |
2023 |
| 10 |
A Normalized Edit Distance on Infinite Words |
Fisman, Dana et al. |
2023 |
| 11 |
A Positive Perspective on Term Representation (Invited Talk) |
Miller, Dale et al. |
2023 |
| 12 |
A Privacy-Preserving and Transparent Certification System for Digital Credentials |
Saramago, Rodrigo Q. et al. |
2023 |
| 13 |
A Regular and Complete Notion of Delay for Streaming String Transducers |
Filiot, Emmanuel et al. |
2023 |
| 14 |
A Researcher’s Digest of GQL (Invited Talk) |
Francis, Nadime et al. |
2023 |
| 15 |
A Simple Algorithm for Consistent Query Answering Under Primary Keys |
Figueira, Diego et al. |
2023 |
| 16 |
A Simply Numbered Lambda Calculus |
Steimann, Friedrich |
2023 |
| 17 |
A Structural Approach to Tree Decompositions of Knots and Spatial Graphs |
Lunel, Corentin et al. |
2023 |
| 18 |
A Subpolynomial-Time Algorithm for the Free Energy of One-Dimensional Quantum Systems in the Thermodynamic Limit |
Fawzi, Hamza et al. |
2023 |
| 19 |
A Unifying Approach to Efficient (Near)-Gathering of Disoriented Robots with Limited Visibility |
Castenow, Jannik et al. |
2023 |
| 20 |
Absolute Expressiveness of Subgraph-Based Centrality Measures |
Pieris, Andreas et al. |
2023 |
| 21 |
Abstract Voronoi-Like Graphs: Extending Delaunay’s Theorem and Applications |
Papadopoulou, Evanthia |
2023 |
| 22 |
Adding Transitivity and Counting to the Fluted Fragment |
Pratt-Hartmann, Ian et al. |
2023 |
| 23 |
Adjacent LSTM-Based Page Scheduling for Hybrid DRAM/NVM Memory Systems |
Katsaragakis, Manolis et al. |
2023 |
| 24 |
Algebraic and Analytic Methods in Computational Complexity (Dagstuhl Seminar 22371) |
Bläser, Markus et al. |
2023 |
| 25 |
Algorithmic Aspects of Information Theory (Dagstuhl Seminar 22301) |
Kolaitis, Phokion G. et al. |
2023 |
| 26 |
Algorithms for Length Spectra of Combinatorial Tori |
Delecroix, Vincent et al. |
2023 |
| 27 |
Algorithms for Participatory Democracy (Dagstuhl Seminar 22271) |
Brill, Markus et al. |
2023 |
| 28 |
Algorithms with More Granular Differential Privacy Guarantees |
Ghazi, Badih et al. |
2023 |
| 29 |
All-Norm Load Balancing in Graph Streams via the Multiplicative Weights Update Method |
Assadi, Sepehr et al. |
2023 |
| 30 |
Amortised Analysis of Dynamic Data Structures (Invited Talk) |
Rotenberg, Eva |
2023 |
| 31 |
An Algebraic Approach to Vectorial Programs |
Paperman, Charles et al. |
2023 |
| 32 |
An Algorithmic Bridge Between Hamming and Levenshtein Distances |
Goldenberg, Elazar et al. |
2023 |
| 33 |
An Approximation Algorithm for Distance-Constrained Vehicle Routing on Trees |
Dufay, Marc et al. |
2023 |
| 34 |
An Evaluation of the State-Of-The-Art Software and Hardware Implementations of BIKE |
Galimberti, Andrea et al. |
2023 |
| 35 |
An Extension Theorem for Signotopes |
Bergold, Helena et al. |
2023 |
| 36 |
An Improved Lower Bound for Matroid Intersection Prophet Inequalities |
Saxena, Raghuvansh R. et al. |
2023 |
| 37 |
An Optimal Algorithm for Sliding Window Order Statistics |
Raykov, Pavel |
2023 |
| 38 |
An 𝒪(3.82^k) Time FPT Algorithm for Convex Flip Distance |
Li, Haohong et al. |
2023 |
| 39 |
Analysing the SML97 Definition: Lexicalisation |
Scott, Elizabeth et al. |
2023 |
| 40 |
Approximate Sampling and Counting of Graphs with Near-Regular Degree Intervals |
Amanatidis, Georgios et al. |
2023 |
| 41 |
Approximate Selection with Unreliable Comparisons in Optimal Expected Time |
Huang, Shengyu et al. |
2023 |
| 42 |
Approximating Highly Inapproximable Problems on Graphs of Bounded Twin-Width |
Bergé, Pierre et al. |
2023 |
| 43 |
Approximation and Semantic Tree-Width of Conjunctive Regular Path Queries |
Figueira, Diego et al. |
2023 |
| 44 |
Asymptotic Rewriting (Invited Talk) |
Faggian, Claudia |
2023 |
| 45 |
Asymptotically Tight Bounds on the Time Complexity of Broadcast and Its Variants in Dynamic Networks |
El-Hayek, Antoine et al. |
2023 |
| 46 |
Asynchronous Multi-Party Quantum Computation |
Goyal, Vipul et al. |
2023 |
| 47 |
Avoidance Games Are PSPACE-Complete |
Gledel, Valentin et al. |
2023 |
| 48 |
Barriers for Faster Dimensionality Reduction |
Nova Fandina, Ora et al. |
2023 |
| 49 |
Beeping Shortest Paths via Hypergraph Bipartite Decomposition |
Dufoulon, Fabien et al. |
2023 |
| 50 |
Beyond the Threaded Programming Model on Real-Time Operating Systems |
Jellum, Erling Rennemo et al. |
2023 |
| 51 |
Beyond Worst-Case Budget-Feasible Mechanism Design |
Rubinstein, Aviad et al. |
2023 |
| 52 |
Bit Complexity of Jordan Normal Form and Polynomial Spectral Factorization |
Dey, Papri et al. |
2023 |
| 53 |
Black-Box Constructive Proofs Are Unavoidable |
Chen, Lijie et al. |
2023 |
| 54 |
Bootstrapping Homomorphic Encryption via Functional Encryption |
Bitansky, Nir et al. |
2023 |
| 55 |
Budget Pacing in Repeated Auctions: Regret and Efficiency Without Convergence |
Gaitonde, Jason et al. |
2023 |
| 56 |
ByteNite: A New Business Model for Grid Computing (Invited Paper) |
Caironi, Fabio et al. |
2023 |
| 57 |
Certificate Games |
Chakraborty, Sourav et al. |
2023 |
| 58 |
Certification with an NP Oracle |
Blanc, Guy et al. |
2023 |
| 59 |
Challenges and Opportunities in C/C++ Source-To-Source Compilation (Invited Paper) |
Bispo, João et al. |
2023 |
| 60 |
Challenges and Opportunities of Democracy in the Digital Society (Dagstuhl Seminar 22361) |
Bernstein, Abraham et al. |
2023 |
| 61 |
Characterizing the Multi-Pass Streaming Complexity for Solving Boolean CSPs Exactly |
Kol, Gillat et al. |
2023 |
| 62 |
Chopin: Combining Distributed and Centralized Schedulers for Self-Adjusting Datacenter Networks |
Rozen-Schiff, Neta et al. |
2023 |
| 63 |
Clustering Permutations: New Techniques with Streaming Applications |
Chakraborty, Diptarka et al. |
2023 |
| 64 |
Cognitive Augmentation (Dagstuhl Seminar 22491) |
Kunze, Kai et al. |
2023 |
| 65 |
Cognitive Robotics (Dagstuhl Seminar 22391) |
Heintz, Fredrik et al. |
2023 |
| 66 |
Combinatorial Depth Measures for Hyperplane Arrangements |
Schnider, Patrick et al. |
2023 |
| 67 |
Combinatorial Designs Meet Hypercliques: Higher Lower Bounds for Klee’s Measure Problem and Related Problems in Dimensions d ≥ 4 |
Gorbachev, Egor et al. |
2023 |
| 68 |
Communication Complexity of Inner Product in Symmetric Normed Spaces |
Andoni, Alexandr et al. |
2023 |
| 69 |
Communication-Efficient BFT Using Small Trusted Hardware to Tolerate Minority Corruption |
Yandamuri, Sravya et al. |
2023 |
| 70 |
Compact Data Structures Meet Databases (Invited Talk) |
Navarro, Gonzalo |
2023 |
| 71 |
Comparative Learning: A Sample Complexity Theory for Two Hypothesis Classes |
Hu, Lunjia et al. |
2023 |
| 72 |
Comparing Bottom-Up with Top-Down Parsing Architectures for the Syntax Definition Formalism from a Disambiguation Standpoint |
Vinju, Jurgen J. |
2023 |
| 73 |
Completeness of Sum-Over-Paths for Toffoli-Hadamard and the Dyadic Fragments of Quantum Computation |
Vilmart, Renaud |
2023 |
| 74 |
Complexity Classifications via Algebraic Logic |
Jaakkola, Reijo et al. |
2023 |
| 75 |
Complexity of Polyadic Boolean Modal Logics: Model Checking and Satisfiability |
Jaakkola, Reijo |
2023 |
| 76 |
Computational Approaches to Digitised Historical Newspapers (Dagstuhl Seminar 22292) |
Ehrmann, Maud et al. |
2023 |
| 77 |
Computational Power of a Single Oblivious Mobile Agent in Two-Edge-Connected Graphs |
Inoue, Taichi et al. |
2023 |
| 78 |
Computational Social Dynamics (Dagstuhl Seminar 22452) |
Hoefer, Martin et al. |
2023 |
| 79 |
Computer Science Methods for Effective and Sustainable Simulation Studies (Dagstuhl Seminar 22401) |
Cai, Wentong et al. |
2023 |
| 80 |
Computing a Dirichlet Domain for a Hyperbolic Surface |
Despré, Vincent et al. |
2023 |
| 81 |
Computing Instance-Optimal Kernels in Two Dimensions |
Agarwal, Pankaj K. et al. |
2023 |
| 82 |
Computing Power of Hybrid Models in Synchronous Networks |
Fraigniaud, Pierre et al. |
2023 |
| 83 |
Concentration Bounds for Quantum States and Limitations on the QAOA from Polynomial Approximations |
Anshu, Anurag et al. |
2023 |
| 84 |
Conf Researchr: A Domain-Specific Content Management System for Managing Large Conference Websites |
Groenewegen, Danny M. et al. |
2023 |
| 85 |
Conjunctive Queries with Free Access Patterns Under Updates |
Kara, Ahmet et al. |
2023 |
| 86 |
Consensus Division in an Arbitrary Ratio |
Goldberg, Paul et al. |
2023 |
| 87 |
Consistent Query Answering for Primary Keys and Conjunctive Queries with Counting |
Amezian El Khalfioui, Aziz et al. |
2023 |
| 88 |
Constant-Delay Enumeration for SLP-Compressed Documents |
Muñoz, Martín et al. |
2023 |
| 89 |
Constant-Depth Sorting Networks |
Dobrokhotova-Maikova, Natalia et al. |
2023 |
| 90 |
Constant-Hop Spanners for More Geometric Intersection Graphs, with Even Smaller Size |
Chan, Timothy M. et al. |
2023 |
| 91 |
Constructing Concise Convex Covers via Clique Covers (CG Challenge) |
Abrahamsen, Mikkel et al. |
2023 |
| 92 |
Constructive and Synthetic Reducibility Degrees: Post’s Problem for Many-One and Truth-Table Reducibility in Coq |
Forster, Yannick et al. |
2023 |
| 93 |
Context in Parsing: Techniques and Applications |
Van Wyk, Eric |
2023 |
| 94 |
Control Systems in the Presence of Computational Problems (Invited Talk) |
Maggio, Martina |
2023 |
| 95 |
Coresets for Clustering in Geometric Intersection Graphs |
Bandyapadhyay, Sayan et al. |
2023 |
| 96 |
Counting and Matching |
Jacobs, Bart et al. |
2023 |
| 97 |
Counting and Sampling: Algorithms and Complexity (Dagstuhl Seminar 22482) |
Dell, Holger et al. |
2023 |
| 98 |
Counting Subgraphs in Somewhere Dense Graphs |
Bressan, Marco et al. |
2023 |
| 99 |
Counting Temporal Paths |
Enright, Jessica et al. |
2023 |
| 100 |
Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282) |
Delgrande, James P. et al. |
2023 |
