Ian M. Mitchell

Victoria Stodden, Randall J. LeVeque, Ian Mitchell: Reproducible Research for Scientific Computing: Tools and Strategies for Changing the Culture. Computing in Science and Engineering 14(4): 13-17 (2012)

Kenneth Robert Alton, Ian M. Mitchell: An Ordered Upwind Method with Precomputed Stencil and Monotone Node Acceptance for Solving Static Convex Hamilton-Jacobi Equations. J. Sci. Comput. 51(2): 313-348 (2012)

Shahab Kaynama, John Maidens, Meeko Oishi, Ian M. Mitchell, Guy A. Dumont: Computing the viability kernel using maximal reachable sets. HSCC 2012: 55-64

Thao Dang, Ian M. Mitchell (Eds.): Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012. ACM 2012, isbn 978-1-4503-1220-2

D. A. Aruliah, C. Titus Brown, Neil P. Chue Hong, Matt Davis, Richard T. Guy, Steven H. D. Haddock, Katy Huff, Ian Mitchell, Mark Plumbley, Ben Waugh, Ethan P. White, Greg Wilson, Paul Wilson: Best Practices for Scientific Computing. CoRR abs/1210.0530 (2012)

Shahab Kaynama, Meeko Oishi, Ian M. Mitchell, Guy A. Dumont: The continual reachability set and its computation using maximal reachability techniques. CDC-ECE 2011: 6110-6115

Ian M. Mitchell: Scalable calculation of reach sets and tubes for nonlinear systems with terminal integrators: a mixed implicit explicit formulation. HSCC 2011: 103-112

Ian M. Mitchell: The Flexible, Extensible and Efficient Toolbox of Level Set Methods. J. Sci. Comput. 35(2-3): 300-329 (2008)

Kenneth Robert Alton, Ian M. Mitchell: Fast Marching Methods for Stationary Hamilton-Jacobi Equations with Axis-Aligned Anisotropy. SIAM J. Numerical Analysis 47(1): 363-385 (2008)

Kenneth Robert Alton, Ian M. Mitchell: Efficient dynamic programming for optimal multi-location robot rendezvous. CDC 2008: 2794-2799

Ian M. Mitchell, Yoshihiko Susuki: Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics. HSCC 2008: 630-633

Ian M. Mitchell: Comparing Forward and Backward Reachability as Tools for Safety Analysis. HSCC 2007: 428-443

Nan Jiang, Wendy Xinyu Wu, Ian Mitchell: MESSM: a framework for protein fold recognition using Neural Networks and Support Vector Machines. IJBRA 2(4): 381-393 (2006)

Kenneth Robert Alton, Ian M. Mitchell: Optimal Path Planning under Defferent Norms in Continuous State Spaces. ICRA 2006: 866-872

Jonathan Sprinkle, Aaron D. Ames, J. Mikael Eklund, Ian M. Mitchell, Shankar Sastry: Online safety calculations for glide-slope recapture. ISSE 1(2): 157-175 (2005)

Ian M. Mitchell, Alexandre M. Bayen, Claire J. Tomlin: A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games. IEEE Trans. Automat. Contr. 50(7): 947-957 (2005)

Ian M. Mitchell, Jeremy A. Templeton: A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems. HSCC 2005: 480-494

Nan Jiang, Wendy Xinyu Wu, Ian Mitchell: Protein Fold Recognition by Mixed Environment-Specific Amino Acid Substitution Mapping Using Neural Networks. ICPADS (2) 2005: 341-345

Nan Jiang, Wendy Xinyu Wu, Ian Mitchell: Protein Fold Recognition Using Neural Networks and Support Vector Machines. IDEAL 2005: 462-469

Nan Jiang, Wendy Xinyu Wu, Ian Mitchell: Protein threading with residue-environment matching by artificial neural networks. SAC 2004: 209-210

Ian M. Mitchell, Claire Tomlin: Overapproximating Reachable Sets by Hamilton-Jacobi Projections. J. Sci. Comput. 19(1-3): 323-346 (2003)

Claire Tomlin, Ian Mitchell, Alexandre M. Bayen, Meeko Oishi: Computational techniques for the verification of hybrid systems. Proceedings of the IEEE 91(7): 986-1001 (2003)

Angela Carbone, Ian Mitchell, Dick Gunstone, John Hurst: Designing Programming Tasks to Elicit Self-Management Metacognitive Behavior. ICCE 2002: 533-534

Claire Tomlin, Ian Mitchell, Ronojoy Ghosh: Safety verification of conflict resolution manoeuvres. IEEE Transactions on Intelligent Transportation Systems 2(2): 110-120 (2001)

Paul A. Cairns, Christian R. Huyck, Ian Mitchell, Wendy Xihyu Wu: A Comparison of Categorisation Algorithms for Predicting the Cellular Localisation Sites of Proteins. DEXA Workshop 2001: 296-300

Angela Carbone, John Hurst, Ian Mitchell, Dick Gunstone: Characteristics of programming exercises that lead to poor learning tendencies: Part II. ITiCSE 2001: 93-96

Angela Carbone, John Hurst, Ian Mitchell, Dick Gunstone: Principles for designing programming exercises to minimise poor learning behaviours in students. ACSE 2000: 26-33

Ian Mitchell, Claire Tomlin: Level Set Methods for Computation in Hybrid Systems. HSCC 2000: 310-323

Ian Mitchell, Philip Pocknell: A Temporal Representation for GA and TSP. PPSN 2000: 651-660

Bor-Yuan Tsai, Simon Stobart, Norman Parrington, Ian Mitchell: Automated class testing using threaded multi-way trees to represent the behaviour of state machines. Ann. Software Eng. 8: 203-221 (1999)

Mark R. Greenstreet, Ian Mitchell: Reachability Analysis Using Polygonal Projections. HSCC 1999: 103-116

Bor-Yuan Tsai, Simon Stobart, Norman Parrington, Ian Mitchell: An Automatic Test Case Generator Derived from State-Based Testing. APSEC 1998: 270-277

Mark R. Greenstreet, Ian Mitchell: Integrating Projections. HSCC 1998: 159-174

Ian Mitchell, Hugues Lecoeuche: On an Improved Approach to the Elicitation of O-O State Machines by Use-Case. JOOP 9(9): 52-55 (1997)

Ian Mitchell, Ian Ferguson, Norman Parrington: Rapid Prototyping: An Integrated CASE Based Approach. OOER 1995: 308-317