Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jun XIE
A Noninterference Model for Nondeterministic Systems
Ruan Jian Xue Bao/Journal of Software
Software
Related publications
Noninterference for Concurrent Programs and Thread Systems
Theoretical Computer Science
Computer Science
Theoretical Computer Science
A Lightweight Data Location Service for Nondeterministic Exascale Storage Systems
ACM Transactions on Storage
Hardware
Architecture
Employing Behavioral Preorders to Define Controllability for Nondeterministic Discrete-Event Systems
Discrete Event Dynamic Systems: Theory and Applications
Control
Electronic Engineering
Systems Engineering
Simulation
Electrical
Modeling
Robust Option Replication for a Black-Scholes Model Extended With Nondeterministic Trends
Journal of Applied Mathematics and Stochastic Analysis
Noninterference Analysis of Delegation Subterfuge in Distributed Authorization Systems
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi
Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
A Nondeterministic Minimization Algorithm
On the Supremal Controllable Sublanguage in the Discrete-Event Model of Nondeterministic Hybrid Control Systems
IEEE Transactions on Automatic Control
Control
Systems Engineering
Computer Science Applications
Electrical
Electronic Engineering
Assumptions and Guarantees for Compositional Noninterference
