Pages that link to "Item:Q4621157"
From MaRDI portal
The following pages link to Scientific Annals of Computer Science (Q4621157):
Displaying 50 items.
- Contract-Oriented Computing in CO2 (Q4621158) (← links)
- Indirect Jumps Improve Instruction Sequence Performance (Q4621162) (← links)
- Standard Type Soundness for Agents and Artifacts (Q4621163) (← links)
- On Safety Properties and Their Monitoring (Q4621164) (← links)
- Position Automata for Kleene Algebra with Tests (Q4621165) (← links)
- GUBS, a Behaviour-Based Language for Design in Synthetic Biology (Q4621166) (← links)
- RNA-Editing with Combined Insertion and Deletion Preserves Regularity (Q4621167) (← links)
- Modular Verification of Qualitative Pathway Models with Fairness (Q4621168) (← links)
- Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models (Q4621170) (← links)
- Timed Tuplix Calculus and the Wesseling and van den Bergh Equation (Q4621171) (← links)
- Algorithmics of Posets Generated by Words Over Partially Commutative Alphabets (Extended Version) (Q4621173) (← links)
- Locality and Applications to Subsumption Testing in EL and Some of its Extensions (Q4621174) (← links)
- A Logic for Complex Computing Systems: Properties Preservation Along Integration and Abstraction (Q4621175) (← links)
- Instruction Sequence Based Non-uniform Complexity Classes (Q4621176) (← links)
- A Flat Process Calculus for Nested Membrane Interactions (Q4621177) (← links)
- Applications in Enumerative Combinatorics of Infinite Weighted Automata and Graphs (Q4621179) (← links)
- Theoretical Aspects of Computing (Q4621180) (← links)
- Probabilistic Recursion Theory and Implicit Computational Complexity (Q4621181) (← links)
- Rely-Guarantee Based Reasoning for Message-Passing Programs (Q4621182) (← links)
- Learning Cover Context-Free Grammars from Structural Data (Q4621183) (← links)
- Arithmetic and Boolean Operations on Recursively Run-Length Compressed Natural Numbers (Q4621184) (← links)
- Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces (Q4621185) (← links)
- A Grand Master of Discrete Mathematics (Q4621186) (← links)
- Non-Deterministic Finite Cover Automata (Q4621187) (← links)
- Boolean Lifting Properties for Bounded Distributive Lattices (Q4621189) (← links)
- Mutually Exclusive Nuances of Truth in Moisil Logic (Q4621190) (← links)
- Quasi-Algebras versus Regular Algebras - Part I (Q4621191) (← links)
- Identifying Almost Sorted Permutations from TCP Buffer Dynamics (Q4621192) (← links)
- Several Remarks on Dissimilarities and Ultrametrics (Q4621193) (← links)
- Formations of Monoids, Congruences, and Formal Languages (Q4621194) (← links)
- Probabilistic Thread Algebra (Q4621195) (← links)
- The Consistency and Complexity of Multiplicative Additive System Virtual (Q4621196) (← links)
- Verification and Validation of Formal Data-Centric Business Models (Q4621198) (← links)
- On Instruction Sets for Boolean Registers in Program Algebra (Q4621199) (← links)
- Formal Analysis of Android's Permission-Based Security Model (Q4621200) (← links)
- Faithful Modeling of Product Lines with Kripke Structures and Modal Logic (Q4621201) (← links)
- Errata to "Formations of Monoids, Congruences, and Formal Languages" (Q4621202) (← links)
- A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences (Q4621203) (← links)
- RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing Model (Q4621204) (← links)
- On Activation, Connection, and Behavior in Dynamic Architectures (Q4621205) (← links)
- Dynamic Chromatic Number of Bipartite Graphs (Q4621208) (← links)
- Subvarieties of the Variety of Meadows (Q4621209) (← links)
- A Provably Correct Compilation of Functional Languages into Scripting Languages (Q4621210) (← links)
- Model Checking Delay Differential Equations Against Metric Interval Temporal Logic (Q4621211) (← links)
- Axioms for Behavioural Congruence of Single-Pass Instruction Sequences (Q4621212) (← links)
- Derived-Term Automata of Multitape Expressions with Composition (Q4621213) (← links)
- Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities (Q4621214) (← links)
- The Theory of Finitely Supported Structures and Choice Forms (Q4621215) (← links)
- Instruction Sequences Expressing Multiplication Algorithms (Q4621216) (← links)
- The Reticulation of a Universal Algebr (Q4621217) (← links)
