Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Richard Bubel
Verified Resource Guarantees Using COSTA and KeY
Related publications
Automatically Verified Mechanized Proof of One-Encryption Key Exchange
Joint Optimization of Delay Guarantees and Resource Allocation for Service Function Chaining
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
Dynamic Symmetric Key Mobile Commerce Scheme Based on Self-Verified Mechanism
Mathematical Problems in Engineering
Mathematics
Engineering
Energy Efficient Resource Allocation in Two-Tier OFDMA Networks With QoS Guarantees
Wireless Networks
Computer Networks
Electronic Engineering
Information Systems
Electrical
Communications
Web Data Cleansing for Information Retrieval Using Key Resource Page Selection
Verified Development of Hardware Using CSP∥B
Resource-Efficient Common Randomness and Secret-Key Schemes
An Efficient Method of Resource Allocation in Optical Networks Using Quantum Key Distribution and OSTBC Encoding Process
International Journal of Innovative Technology and Exploring Engineering
Mechanics of Materials
Electronic Engineering
Civil
Structural Engineering
Electrical
Computer Science
Validation of Route Origination Using the Resource Certificate Public Key Infrastructure (PKI) and Route Origin Authorizations (ROAs)
