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 #51 to #100.

Probabilistic Logic over Paths: Label: en
Model Checking Quantitative Linear Time Logic: Label: en
Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions: Label: en
Relational Analysis and Precision via Probabilistic Abstract Interpretation: Label: en
Game-Based Probabilistic Predicate Abstraction in PRISM: Label: en
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking: Label: en
A Multi-Core Solver for Parity Games: Label: en
A Rewriting Calculus for Multigraphs with Ports: Label: en
A Rule-based Method to Match Software Patterns Against UML Models: Label: en
Maude as a Platform for Designing and Implementing Deep Inference Systems: Label: en
Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding: Label: en
FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRS: Label: en
Higher-Order Separation Logic in Isabelle/HOLCF: Label: en
Reasoning about B+ Trees with Operational Semantics and Separation Logic: Label: en
A Functional Algorithm for Exact Real Integration with Invariant Measures: Label: en
Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions: Label: en
Tensors of Comodels and Models for Operational Semantics: Label: en
A Categorical Model of the Fusion Calculus: Label: en
A Technique for Verifying Measurements: Label: en
Global State Considered Helpful: Label: en
Propositional Dynamic Logic with Program Quantifiers: Label: en
Presenting Dcpos and Dcpo Algebras: Label: en
Semimodule Enrichment: Label: en
Term Equational Systems and Logics: Label: en
Game Semantics for Quantum Stores: Label: en
Bases in Diagrammatic Quantum Protocols: Label: en
A Monotonicity Principle for Information Theory: Label: en
Expressivity in the κ Family: Label: en
Stochastic Bigraphs: Label: en
Proofs as Polynomials: Label: en
HYPE Applied to the Modelling of Hybrid Biological Systems: Label: en
The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories – an Intuitionistic Perspective: Label: en
Multimodal Separation Logic for Reasoning About Operational Semantics: Label: en
Various Constructions of Continuous Information Systems: Label: en
A Monoidal Category of Bifinite Chu Spaces: Label: en
Tree Process Calculus: Label: en
fficient and Provably Secure Generic Construction of Client-to-Client Password-Based Key Exchange Protocol: Label: en
Decidability of Weak Bisimilarity for a Subset of BPA: Label: en
Building Certified Static Analysers by Modular Construction of Well-founded Lattices: Label: en
Services and Contracts: Coalgebraically: Label: en
Checking Emptiness of Non-Deterministic Regular Types with Set Operators: Label: en
Reasoning About Multi-Lingual Exception Handling Using RIPLS: Label: en
Rewriting Interpolants: Label: en
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences: Label: en
Locality of Corner Transformation for Multidimensional Spatial Access Methods: Label: en
Cyclic Extensions of Order Varieties: Label: en
Modeling and Verifying Time Sensitive Security Protocols with Constraints: Label: en
Proof Search and Counter Model of Positive Minimal Predicate Logic: Label: en
A Novel Derivation Framework For Definite Logic Program: Label: en
Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration: Label: en