Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Fredrik Orava
An Algebraic Verification of a Mobile Network
Formal Aspects of Computing
Theoretical Computer Science
Software
Related publications
An Algebraic Approach for PLC Programs Verification
Algebraic Process Verification
Secure Neighbor Position Verification for Mobile Ad Hoc Network
IJARCCE
Deterministic Network Model Revisited: An Algebraic Network Coding Approach
IEEE Transactions on Information Theory
Computer Science Applications
Information Systems
Library
Information Sciences
An Automata Based Verification Environment for Mobile Processes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Navigation of an Autonomous Underwater Vehicle in a Mobile Network
Policy-Based Network Management in an Integrated Mobile Network
An Architecture for Anonymous Mobile Coupons in a Large Network
Journal of Computer Networks and Communications
Computer Networks
Information Systems
Communications
An Assessment of Mobile Ad-Hoc Network Security Threads: A Wormhole Attack
International Journal of Computer Applications
