Pages that link to "Item:Q3401930"
From MaRDI portal
The following pages link to Perspectives of Systems Informatics (Q3401930):
Displayed 50 items.
- Separability in Conflict-Free Petri Nets (Q3401931) (← links)
- An Universal Resolving Algorithm for Inverse Computation of Lazy Languages (Q3401933) (← links)
- Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method (Q3401934) (← links)
- A Versioning and Evolution Framework for RDF Knowledge Bases (Q3401936) (← links)
- Chase of Recursive Queries (Q3401938) (← links)
- Improving Semistatic Compression Via Pair-Based Coding (Q3401939) (← links)
- Encoding Mobile Ambients into the π-Calculus (Q3401940) (← links)
- Characterizations of CD Grammar Systems Working in Competence Mode by Multicounter Machine Resources (Q3401941) (← links)
- Deriving State-Based Implementations of Interactive Components with History Abstractions (Q3401943) (← links)
- Introducing Debugging Capabilities to Natural Semantics (Q3401945) (← links)
- Solution Strategies for Multi-domain Constraint Logic Programs (Q3401948) (← links)
- Information-Flow Attacks Based on Limited Observations (Q3401949) (← links)
- Verifying Generalized Soundness of Workflow Nets (Q3401950) (← links)
- Specifying Monogenetic Specializers by Means of a Relation Between Source and Residual Programs (Q3401951) (← links)
- Satisfiability of Viability Constraints for Pfaffian Dynamics (Q3401952) (← links)
- Preconditions for Structural Synthesis of Programs (Q3401953) (← links)
- How to Verify and Exploit a Refinement of Component-Based Systems (Q3401955) (← links)
- Refinements in Typed Abstract State Machines (Q3401956) (← links)
- Loop Parallelization in Multi-dimensional Cartesian Space (Q3401958) (← links)
- An ASM Semantics of Token Flow in UML 2 Activity Diagrams (Q3401960) (← links)
- Well-Structured Model Checking of Multiagent Systems (Q3401961) (← links)
- Pushout: A Mathematical Model of Architectural Merger (Q3401962) (← links)
- A Formal Model of Data Privacy (Q3401963) (← links)
- Linear Complementarity and P-Matrices for Stochastic Games (Q3401964) (← links)
- Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L (Q3401966) (← links)
- Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction (Q3401967) (← links)
- Security for Multithreaded Programs Under Cooperative Scheduling (Q3401968) (← links)
- A Fully Dynamic Algorithm for Recognizing and Representing Chordal Graphs (Q3401970) (← links)
- Compositional and Quantitative Model Checking (Extended Abstract) (Q3402273) (← links)
- Simulation of Kohn’s Molecular Interaction Maps through Translation into Stochastic CLS+ (Q3402275) (← links)
- SVM Paradoxes (Q3402277) (← links)
- Indexing Dense Nested Metric Spaces for Efficient Similarity Search (Q3402279) (← links)
- On the Containment Problem for Queries in Conjunctive Form with Negation (Q3402280) (← links)
- Extracting the Essence of Distillation (Q3402281) (← links)
- Σ K –constraints for Hybrid Systems (Q3402282) (← links)
- A Complete Invariant Generation Approach for P-solvable Loops (Q3402283) (← links)
- Standardization and Testing of Mathematical Functions (Q3402284) (← links)
- Cryptographic Protocols Analysis in Event B (Q3402286) (← links)
- A Query Language for Logic Architectures (Q3402287) (← links)
- Towards Checking Parametric Reachability for UML State Machines (Q3402288) (← links)
- History-Dependent Stochastic Petri Nets (Q3402290) (← links)
- Privacy Preserving Modules for Ontologies (Q3402291) (← links)
- Symbolic Bounded Conformance Checking of Model Programs (Q3402292) (← links)
- Anti-unification Algorithms and Their Applications in Program Analysis (Q3402293) (← links)
- Petri Net Distributability (Q3457969) (← links)
- Connector Algebras, Petri Nets, and BIP (Q3457970) (← links)
- Static Analysis of Run-Time Modes in Synchronous Process Network (Q3457971) (← links)
- Compositional Methods in Characterization of Timed Event Structures (Q3457972) (← links)
- Algorithmic Debugging of SQL Views (Q3457973) (← links)
- Timed Transition Systems with Independence and Marked Scott Domains: An Adjunction (Q3457974) (← links)