Search

Classifying Discrete Temporal Properties

Deciding the First Level of the [my]-calculus Alternation Hierarchy

Simulation Relations for Alternating Büchi Automata

Computationally Sound Analysis of a Probabilistic Contract Signing Protocol

Ancient Egypt, an economist's view

Statistical Approaches to the Spectrum of the QCD Dirac Operator

A Treatise on the Law of Divorce and Annulment of Marriage

A Simulation-based Treatment of Authenticated Message Exchange

The automata theoretic method works for TCTL model checking

Algebras for classifying regular tree languages and an application to frontier testability