Pages that link to "Item:Q163528"
From MaRDI portal
The following pages link to Electronic Notes in Theoretical Computer Science (Q163528):
Displaying 50 items.
- Pauli measurements are universal (Q2864170) (← links)
- Simulating and compiling code for the sequential quantum random access machine (Q2864171) (← links)
- Quantum patterns and types for entanglement and separability (Q2864172) (← links)
- Dagger compact closed categories and completely positive maps (extended abstract) (Q2864173) (← links)
- Quantum programs with classical output streams (extended abstract) (Q2864174) (← links)
- Quantum programming with mixed states (Q2864175) (← links)
- Algorithmic techniques for maintaining shortest routes in dynamic networks (Q2864176) (← links)
- Design, analysis and performance evaluation of group key establishment in wireless sensor networks (Q2864178) (← links)
- On dynamic distribution of private keys over MANETs (Q2864179) (← links)
- Secure node discovery in ad-hoc networks and applications (Q2864180) (← links)
- A mechanism for communication-efficient broadcast encryption over wireless ad hoc networks (Q2864182) (← links)
- Rijndael for sensor networks: is speed the main issue? (Q2864184) (← links)
- On the security of tag-KEM for signcryption (Q2864185) (← links)
- Efficient and adaptive threshold signatures for ad hoc networks (Q2864187) (← links)
- Establishment of ad-hoc communities through policy-based cryptography (Q2864190) (← links)
- Membrane computing and brane calculi (some personal notes) (Q2864191) (← links)
- Translating mobile ambients into P systems (Q2864193) (← links)
- Membrane systems with marked membranes (Q2864194) (← links)
- Membrane systems with peripheral proteins: transport and evolution (Q2864195) (← links)
- Biological transactions for quantitative models (Q2864196) (← links)
- On reachability and spatial reachability in fragments of BioAmbients (Q2864197) (← links)
- A linear-time tissue P system based solution for the 3-coloring problem (Q2864198) (← links)
- Computing by floating strings (Q2864199) (← links)
- Tissue P systems and (mem)brane systems with mate and drip operations working on strings (Q2864200) (← links)
- Timed concurrent constraint programming for analysing biological systems (Q2864201) (← links)
- A simple calculus for proteins and cells (Q2864202) (← links)
- The decidability of the structural congruence for beta-binders (Q2864203) (← links)
- Encoding catalytic P systems in {\(\pi\)}\@ (Q2864204) (← links)
- Communication via mobile vesicles in brane calculi (Q2864206) (← links)
- Modelling of biochemical reactions by stochastic automata networks (Q2864207) (← links)
- A model in {\(\kappa\)} for DNA addition (Q2864208) (← links)
- Term collections in {\(\lambda\)} and {\(\rho\)}-calculi (Q2864209) (← links)
- Handshake games (Q2864210) (← links)
- Light Dialectica program extraction from a classical Fibonacci proof (Q2864211) (← links)
- Virtual organizations in \texttt{Arigatoni} (Q2864213) (← links)
- The better bubbling lemma (Q2864214) (← links)
- On the computational representation of classical logical connectives (Q2864215) (← links)
- A fully labelled lambda calculus: towards closed reduction in the geometry of interaction machine (Q2864217) (← links)
- A calculus of global interaction based on session types (Q2864218) (← links)
- Schedulability criteria and analysis for dynamic and flexible resource management (Q2864353) (← links)
- A game theoretic approach to the analysis of dynamic networks (Q2864354) (← links)
- Modelling adaptive systems in ForSyDe (Q2864356) (← links)
- Deduction, strategies, and rewriting (Q2864357) (← links)
- Rewrite-based decision procedures (Q2864358) (← links)
- PVS\#: streamlined tacticals for PVS (Q2864359) (← links)
- Translation templates to support strategy development in PVS (Q2864361) (← links)
- Ad-hoc threshold broadcast encryption with shorter ciphertexts (Q2864362) (← links)
- Securing ad hoc storage through probabilistic cooperation assessment (Q2864365) (← links)
- An application-oriented framework for wireless sensor network key establishment (Q2864366) (← links)
- A clustering-based group key agreement protocol for ad-hoc networks (Q2864368) (← links)
