Extended Nested Dual System Groups, Revisited (Q2798774): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q3165946 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Monitoring Metric First-Order Temporal Properties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Comparing LTL Semantics for Runtime Verification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bounded variability of metric temporal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4472252 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A brief account of runtime verification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal Modeling and Analysis of Timed Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Online timed pattern matching using derivatives / rank
 
Normal rank
Property / cites work
 
Property / cites work: Analyzing program termination and complexity automatically with \textsf{AProVE} / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proving non-termination / rank
 
Normal rank
Property / cites work
 
Property / cites work: Alternation for Termination / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constrained Term Rewriting tooL / rank
 
Normal rank
Property / cites work
 
Property / cites work: Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Policy Iteration-Based Conditional Termination and Ranking Functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Verification, Model Checking, and Abstract Interpretation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Loop Summarization and Termination Analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Non-termination Checking for Imperative Programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Programming Language for Spatial Distribution of Net Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Limits indexed by category-valued 2-functors / rank
 
Normal rank

Latest revision as of 18:36, 11 July 2024

scientific article
Language Label Description Also known as
English
Extended Nested Dual System Groups, Revisited
scientific article

    Statements

    Extended Nested Dual System Groups, Revisited (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    13 April 2016
    0 references
    identity based encryptions
    0 references
    dual system groups
    0 references
    tight security
    0 references
    security model
    0 references
    prime-order bilinear groups
    0 references

    Identifiers