Embedding adaptive JLQG into LQ martingale control with a completely observable stochastic control matrix. - Mariken H. C. Everdij; Henk A. P. Blom (IEEE Trans. Autom. Control., 1996)

Petri-Nets and Hybrid-State Markov Processes in a Power-Hierarchy of Dependability Models. - Mariken H. C. Everdij; Henk A. P. Blom (ADHS, 2003)

Collision risk modeling of air traffic. - Henk A. P. Blom; Bert G. J. Bakker; Mariken H. C. Everdij; Marco van der Park (ECC, 2003)

Modelling Lateral Spacing and Separation for Airborne Separation Assurance Using Petri Nets. - Mariken H. C. Everdij; Henk A. P. Blom; Bert G. J. Bakker (Simul., 2007)

Bisimulation Relations Between Automata, Stochastic Differential Equations and Petri Nets - Mariken H. C. Everdij; Henk A. P. Blom (FMA, 2009)

Using i* Modelling as a Bridge between Air Traffic Management Operational Concepts and Agent-based Simulation Analysis. - James Lockerbie; David Bush; Neil A. M. Maiden; Henk A. P. Blom; Mariken H. C. Everdij (RE, 2010)

An overview of airborne time-spacing research in the JADE program. - Eri Itoh; Kazuhiko Uejima; Hidenori Chida; Katsuhiro Nishinari; Mariken H. C. Everdij; Bert G. J. Bakker; Henk A. P. Blom (ATACCS, 2012)

Agent-based modeling and simulation of emergent behavior in air transportation. - Soufiane Bouarfa; Henk A. P. Blom; Richard Curran; Mariken H. C. Everdij (Complex Adapt. Syst. Model., 2013)