
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 Hemimetrics between InfiniteState Stochastic Games. [Citation Graph (, )][DBLP]
Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics. [Citation Graph (, )][DBLP]
A LinearnonLinear Model for a Computational CallbyValue Lambda Calculus (Extended Abstract). [Citation Graph (, )][DBLP]
The omegaRegular 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 KleeneSchü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]
ModelChecking omegaRegular Properties of Interval Markov Chains. [Citation Graph (, )][DBLP]
Prevision Domains and Convex Powercones. [Citation Graph (, )][DBLP]
RPO, SecondOrder Contexts, and lambdaCalculus. [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 CutElimination That Simulates betaReduction. [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 InformationHiding. [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 OneCounter Automata. [Citation Graph (, )][DBLP]
