Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mario Vega-Barbas
Automatic Translation and Enforcement of Cybersecurity Policies Using a High-Level Definition Language
Entropy
Electronic Engineering
Information Systems
Mathematical Physics
Electrical
Astronomy
Physics
Related publications
Trust-Based Enforcement of Security Policies
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Cost Enforcement of Security Policies
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Obligation Policies: An Enforcement Platform
The High-Level Variability Language
A Versatile Computing System for Sampling, Manipulation and Display of Biological Signals Using High-Level Language
Anaesthesia and Intensive Care
Critical Care
Anesthesiology
Pain Medicine
Intensive Care Medicine
Automatic Language Identification Using Deep Neural Networks
Performance Evaluation of High-Level Language Systems
Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement
Dynamic Enforcement of Determinism in a Parallel Scripting Language
ACM SIGPLAN Notices
Computer Science
