Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #101 to #150.

Block-Sorted Quantified Conjunctive Queries: Label: en
Self-shuffling Words: Label: en
Coalgebraic Announcement Logics: Label: en
Nondeterminism in the Presence of a Diverse or Unknown Future: Label: en
Complexity of Two-Variable Logic on Finite Trees: Label: en
A Maximal Entropy Stochastic Process for a Timed Automaton,: Label: en
Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs: Label: en
Decision Problems for Additive Regular Functions: Label: en
A Guided Tour in Random Intersection Graphs: Label: en
Formalizing and Reasoning about Quality: Label: en
Recent Advances for a Classical Scheduling Problem: Label: en
Star Partitions of Perfect Graphs: Label: en
Geometry of Online Packing Linear Programs: Label: en
Bypassing Erdős’ Girth Conjecture: Hybrid Stretch and Sourcewise Spanners: Label: en
Sending Secrets Swiftly: Approximation Algorithms for Generalized Multicast Problems: Label: en
The Melbourne Shuffle: Improving Oblivious Storage in the Cloud: Label: en
Does Adding More Agents Make a Difference? A Case Study of Cover Time for the Rotor-Router: Label: en
Orienting Fully Dynamic Graphs with Worst-Case Time Bounds: Label: en
Optimal Competitiveness for Symmetric Rectilinear Steiner Arborescence and Related Problems: Label: en
Online Independent Set Beyond the Worst-Case: Secretaries, Prophets, and Periods: Label: en
Randomized Rumor Spreading in Dynamic Graphs: Label: en
Near-Optimal Distributed Approximation of Minimum-Weight Connected Dominating Set: Label: en
Solving the ANTS Problem with Asynchronous Finite State Machines: Label: en
Facility Location in Evolving Metrics: Label: en
Jamming-Resistant Learning in Wireless Networks: Label: en
The Power of Two Choices in Distributed Voting: Label: en
Data Delivery by Energy-Constrained Mobile Agents on a Line: Label: en
Fault-Tolerant Rendezvous in Networks: Label: en
Distributed Computing on Core-Periphery Networks: Axiom-Based Design: Label: en
Bounded-Angle Spanning Tree: Modeling Networks with Angular Constraints: Label: en
Labeling Schemes for Bounded Degree Graphs: Label: en
Branching Bisimilarity Checking for PRS: Label: en
Hardness Results for Intersection Non-Emptiness: Label: en
Going Higher in the First-Order Quantifier Alternation Hierarchy on Words: Label: en
Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences: Label: en
On the Positivity Problem for Simple Linear Recurrence Sequences,: Label: en
Non-uniform Polytime Computation in the Infinitary Affine Lambda-Calculus: Label: en
All–Instances Termination of Chase is Undecidable: Label: en
Kleene Algebra with Equations: Label: en
Stability and Complexity of Minimising Probabilistic Automata: Label: en
Monodic Fragments of Probabilistic First-Order Logic: Label: en
Context Unification is in PSPACE: Label: en
Bisimulation Equivalence of First-Order Grammars: Label: en
Between Linearizability and Quiescent Consistency: Label: en
Piecewise Boolean Algebras and Their Domains: Label: en
Coalgebraic Weak Bisimulation from Recursive Equations over Monads: Label: en
Computability in Anonymous Networks: Revocable vs. Irrecovable Outputs: Label: en
A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic: Label: en
Robustness against Power is PSpace-complete: Label: en
Unary Pushdown Automata and Straight-Line Programs: Label: en