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 #1 to #50.

Maximizing the Number of Visible Labels on a Rotating Map: Label: en
A Translation of Weighted LTL Formulas to Weighted Buchi Automata over omega-valuation Monoids: Label: en
On Quantum-MV Algebras - Part I: The Orthomodular Algebras: Label: en
Topological Characterization of the Third Type of Triangular Hex-derived Networks: Label: en
Small Longest Tandem Scattered Subsequences: Label: en
A Note on Congruences of Infinite Bounded Involution Lattices: Label: en
Qualifications of Instruction Sequence Failures, Faults and Defects: Dormant, Effective, Detected, Temporary, and Permanent: Label: en
Probabilistic Process Algebra and Strategic Interleaving: Label: en
Sumterms, Summands, Sumtuples, and Sums and the Meta-Arithmetic of Summation: Label: en
Instruction Sequence Faults with Formal Change Justification: Label: en
A Complete Axiomatisation for Probabilistic Trace Equivalence: Label: en
A Modified Decomposition Algorithm for Maximum Weight Bipartite Matching and Its Experimental Evaluation: Label: en
An Optimum Lower Bound for the Weights of Maximum Weight Matching in Bipartite Graphs: Label: en
Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers: Label: en
Identifying and Querying Regularly Visited Places: Label: en
Generalising KAT to Verify Weighted Computations: Label: en
Program Algebra for Turing-Machine Programs: Label: en
On the Relationship Between Matiyasevich's and Smorynski's Theorems: Label: en
Enumerating Collinear Points in Higher Dimensions: Label: en
Weighted Context-Free Grammars Over Bimonoids: Label: en
Adams Conditioning and Likelihood Ratio Transfer Mediated Inference: Label: en
Fault-Free Refinements for Interface Automata: Label: en
SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME: Label: en
A Precise Characterisation of Step Traces and Their Concurrent Histories: Label: en
Simultaneous Petri Net Synthesis: Label: en
Pattern Matching in Link Streams: Timed-Automata with Finite Memory: Label: en
High-Level Koutny Net: Label: en
On Partition Metric Space, Index Function, and Data Compression: Label: en
(Skew) Filters in Residuated Skew Lattic: Label: en
The Reticulation of a Universal Algebr: Label: en
Instruction Sequences Expressing Multiplication Algorithms: Label: en
The Theory of Finitely Supported Structures and Choice Forms: Label: en
Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities: Label: en
Derived-Term Automata of Multitape Expressions with Composition: Label: en
Axioms for Behavioural Congruence of Single-Pass Instruction Sequences: Label: en
Model Checking Delay Differential Equations Against Metric Interval Temporal Logic: Label: en
A Provably Correct Compilation of Functional Languages into Scripting Languages: Label: en
Subvarieties of the Variety of Meadows: Label: en
Dynamic Chromatic Number of Bipartite Graphs: Label: en
On Activation, Connection, and Behavior in Dynamic Architectures: Label: en
RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing Model: Label: en
A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences: Label: en
Errata to "Formations of Monoids, Congruences, and Formal Languages": Label: en
Faithful Modeling of Product Lines with Kripke Structures and Modal Logic: Label: en
Formal Analysis of Android's Permission-Based Security Model: Label: en
On Instruction Sets for Boolean Registers in Program Algebra: Label: en
Verification and Validation of Formal Data-Centric Business Models: Label: en
The Consistency and Complexity of Multiplicative Additive System Virtual: Label: en
Probabilistic Thread Algebra: Label: en
Formations of Monoids, Congruences, and Formal Languages: Label: en