Ian M. Mitchell

Ian Mitchell

2008
25	EE	Ian M. Mitchell, Yoshihiko Susuki: Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics. HSCC 2008: 630-633
24	EE	Ian M. Mitchell: The Flexible, Extensible and Efficient Toolbox of Level Set Methods. J. Sci. Comput. 35(2-3): 300-329 (2008)
2007
23	EE	Ian M. Mitchell: Comparing Forward and Backward Reachability as Tools for Safety Analysis. HSCC 2007: 428-443
2006
22		Ken Alton, Ian M. Mitchell: Optimal Path Planning under Defferent Norms in Continuous State Spaces. ICRA 2006: 866-872
21	EE	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)
2005
20	EE	Ian M. Mitchell, Jeremy A. Templeton: A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems. HSCC 2005: 480-494
19	EE	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
18	EE	Nan Jiang, Wendy Xinyu Wu, Ian Mitchell: Protein Fold Recognition Using Neural Networks and Support Vector Machines. IDEAL 2005: 462-469
17	EE	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)
2004
16	EE	Nan Jiang, Wendy Xinyu Wu, Ian Mitchell: Protein threading with residue-environment matching by artificial neural networks. SAC 2004: 209-210
2003
15	EE	Ian M. Mitchell, Claire Tomlin: Overapproximating Reachable Sets by Hamilton-Jacobi Projections. J. Sci. Comput. 19(1-3): 323-346 (2003)
14		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)
2002
13		Angela Carbone, Ian Mitchell, Dick Gunstone, John Hurst: Designing Programming Tasks to Elicit Self-Management Metacognitive Behavior. ICCE 2002: 533-534
2001
12		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
11	EE	Angela Carbone, John Hurst, Ian Mitchell, Dick Gunstone: Characteristics of programming exercises that lead to poor learning tendencies: Part II. ITiCSE 2001: 93-96
10	EE	Claire Tomlin, Ian Mitchell, Ronojoy Ghosh: Safety verification of conflict resolution manoeuvres. IEEE Transactions on Intelligent Transportation Systems 2(2): 110-120 (2001)
2000
9	EE	Angela Carbone, John Hurst, Ian Mitchell, Dick Gunstone: Principles for designing programming exercises to minimise poor learning behaviours in students. ACSE 2000: 26-33
8	EE	Ian Mitchell, Claire Tomlin: Level Set Methods for Computation in Hybrid Systems. HSCC 2000: 310-323
7		Ian Mitchell, Philip Pocknell: A Temporal Representation for GA and TSP. PPSN 2000: 651-660
1999
6	EE	Mark R. Greenstreet, Ian Mitchell: Reachability Analysis Using Polygonal Projections. HSCC 1999: 103-116
5		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)
1998
4	EE	Bor-Yuan Tsai, Simon Stobart, Norman Parrington, Ian Mitchell: An Automatic Test Case Generator Derived from State-Based Testing. APSEC 1998: 270-277
3		Mark R. Greenstreet, Ian Mitchell: Integrating Projections. HSCC 1998: 159-174
1997
2		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)
1995
1	EE	Ian Mitchell, Ian Ferguson, Norman Parrington: Rapid Prototyping: An Integrated CASE Based Approach. OOER 1995: 308-317

Coauthor Index

1	Ken Alton	[22]
2	Aaron D. Ames	[17]
3	Alexandre M. Bayen	[14]
4	Paul A. Cairns	[12]
5	Angela Carbone	[9] [11] [13]
6	J. Mikael Eklund	[17]
7	Ian Ferguson	[1]
8	Ronojoy Ghosh	[10]
9	Mark R. Greenstreet	[3] [6]
10	Dick Gunstone	[9] [11] [13]
11	John Hurst	[9] [11] [13]
12	Christian R. Huyck	[12]
13	Nan Jiang	[16] [18] [19] [21]
14	Hugues Lecoeuche	[2]
15	Meeko Oishi	[14]
16	Norman Parrington	[1] [4] [5]
17	Philip Pocknell	[7]
18	Shankar Sastry (Shankar S. Sastry)	[17]
19	Jonathan Sprinkle	[17]
20	Simon Stobart	[4] [5]
21	Yoshihiko Susuki	[25]
22	Jeremy A. Templeton	[20]
23	Claire Tomlin	[8] [10] [14] [15]
24	Bor-Yuan Tsai	[4] [5]
25	Wendy Xihyu Wu	[12]
26	Wendy Xinyu Wu	[16] [18] [19] [21]

Colors in the list of coauthors