Property:Publication type

Toto je vlastnost typu Text.

Povolené hodnoty tejto vlastnosti sú:

journal article
conference paper
book
informal publication

Použití16Constraint schema

předchozích 20 20 50 100 250 500 dalších 20

Filter<p>The <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Property_page/Filter">search filter</a> allows the inclusion of <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Query_expressions">query expressions</a> such as <code>~</code> or <code>!</code>. The selected <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Query_engine">query engine</a> might also support case insensitive matching or other short expressions like:</p><ul><li><code>in:</code> result should include the term, e.g. '<code>in:Foo</code>'</li></ul><ul><li><code>not:</code> result should to not include the term, e.g. '<code>not:Bar</code>'</li></ul>

Showing 16 pages using this property.

C

Comparing the Notions of Opacity for Discrete-Event Systems +

journal article +

E

Efficient Assessment of State Liveness in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-based Transport Systems: The General Case +

conference paper +

H

Hierarchical Supervisory Control under Partial Observation: Normality +

journal article +

M

Modeling of safe timed Petri nets by two-level (max,+) automata +

conference paper +

Modular Control of Discrete-Event Systems using Similarity +

journal article +

O

On Opacity Verification for Discrete-Event Systems +

conference paper +

On Transformations among Opacity Notions +

conference paper +

On Verification of D-Detectability for Discrete Event Systems +

journal article +

On Verification of Strong Periodic D-Detectability for Discrete Event Systems +

conference paper +

On Verification of Weak and Strong k-Step Opacity for Discrete-Event Systems +

conference paper +

P

Partially Ordered Automata and Piecewise Testability +

journal article +

Polynomial-Time Optimal Liveness Enforcement for Guidepath-based Transport Systems +

journal article +

S

Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification +

conference paper +

Supervisory Control of Modular Discrete-Event Systems under Partial Observation: Normality +

journal article +

V

Verifying Weak and Strong k-Step Opacity in Discrete-Event Systems +

journal article +

W

Weak consistency of P-time event graphs +

conference paper +

The request is being processed and may take a moment.


Preparing ...
{
    "type": "PROPERTY_CONSTRAINT_SCHEMA",
    "constraints": {
        "type_constraint": "_txt",
        "allowed_values": [
            "journal article",
            "conference paper",
            "book",
            "informal publication"
        ]
    }
}