Normative design using inductive learning
Note on a simple type system for non-interference
NP Datalog: a Logic Language for Expressing NP Search and Optimization Problems
NP-Logic Systems and Model-Equivalence Reductions
Numerical Simulation guided Lazy Abstraction Refinement for Nonlinear Hybrid Automata
Numerically Representing A Stochastic Process Algebra