|
Conferences in DBLP
Finding Your Way in a Forest: On Different Types of Trees and Their Properties. [Citation Graph (, )][DBLP]
Simple Stochastic Games with Few Random Vertices Are Easy to Solve. [Citation Graph (, )][DBLP]
The Complexity of Nash Equilibria in Infinite Multiplayer Games. [Citation Graph (, )][DBLP]
Stochastic Games with Lossy Channels. [Citation Graph (, )][DBLP]
Simulation Hemi-metrics between Infinite-State Stochastic Games. [Citation Graph (, )][DBLP]
Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics. [Citation Graph (, )][DBLP]
A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract). [Citation Graph (, )][DBLP]
The omega-Regular Post Embedding Problem. [Citation Graph (, )][DBLP]
Complexity of Decision Problems for Mixed and Modal Specifications. [Citation Graph (, )][DBLP]
Classes of Tree Homomorphisms with Decidable Preservation of Regularity. [Citation Graph (, )][DBLP]
A Kleene-Schützenberger Theorem for Weighted Timed Automata. [Citation Graph (, )][DBLP]
Robust Analysis of Timed Automata via Channel Machines. [Citation Graph (, )][DBLP]
The Common Fragment of ACTL and LTL. [Citation Graph (, )][DBLP]
The Complexity of CTL* + Linear Past. [Citation Graph (, )][DBLP]
Footprints in Local Reasoning. [Citation Graph (, )][DBLP]
A Modal Deconstruction of Access Control Logics. [Citation Graph (, )][DBLP]
Coalgebraic Logic and Synthesis of Mealy Machines. [Citation Graph (, )][DBLP]
The Microcosm Principle and Concurrency in Coalgebra. [Citation Graph (, )][DBLP]
Systems of Equations Satisfied in All Commutative Finite Semigroups. [Citation Graph (, )][DBLP]
Optimal Lower Bounds on Regular Expression Size Using Communication Complexity. [Citation Graph (, )][DBLP]
On Decision Problems for Probabilistic Büchi Automata. [Citation Graph (, )][DBLP]
Model-Checking omega-Regular Properties of Interval Markov Chains. [Citation Graph (, )][DBLP]
Prevision Domains and Convex Powercones. [Citation Graph (, )][DBLP]
RPO, Second-Order Contexts, and lambda-Calculus. [Citation Graph (, )][DBLP]
Erasure and Polymorphism in Pure Type Systems. [Citation Graph (, )][DBLP]
The Implicit Calculus of Constructions as a Programming Language with Dependent Types. [Citation Graph (, )][DBLP]
Strong Normalisation of Cut-Elimination That Simulates beta-Reduction. [Citation Graph (, )][DBLP]
Symbolic Semantics Revisited. [Citation Graph (, )][DBLP]
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions. [Citation Graph (, )][DBLP]
Structural Operational Semantics for Stochastic Process Calculi. [Citation Graph (, )][DBLP]
Compositional Methods for Information-Hiding. [Citation Graph (, )][DBLP]
Products of Message Sequence Charts. [Citation Graph (, )][DBLP]
What Else Is Decidable about Integer Arrays?. [Citation Graph (, )][DBLP]
Model Checking Freeze LTL over One-Counter Automata. [Citation Graph (, )][DBLP]
|