Ian M. Mitchell

Ian Mitchell

	2012
32		Thao Dang, Ian M. Mitchell: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012 ACM 2012
31		Shahab Kaynama, John Maidens, Meeko Oishi, Ian M. Mitchell, Guy A. Dumont: Computing the viability kernel using maximal reachable sets. HSCC 2012: 55-64
30		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)
	2011
29		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
28		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
	2008
27		Kenneth Robert Alton, Ian M. Mitchell: Efficient dynamic programming for optimal multi-location robot rendezvous. CDC 2008: 2794-2799
26		Ian M. Mitchell, Yoshihiko Susuki: Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics. HSCC 2008: 630-633
25		Ian M. Mitchell: The Flexible, Extensible and Efficient Toolbox of Level Set Methods. J. Sci. Comput. 35(2-3): 300-329 (2008)
24		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)
	2007
23		Ian M. Mitchell: Comparing Forward and Backward Reachability as Tools for Safety Analysis. HSCC 2007: 428-443
	2006
22		Kenneth Robert Alton, Ian M. Mitchell: Optimal Path Planning under Defferent Norms in Continuous State Spaces. ICRA 2006: 866-872
21		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		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		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		Nan Jiang, Wendy Xinyu Wu, Ian Mitchell: Protein Fold Recognition Using Neural Networks and Support Vector Machines. IDEAL 2005: 462-469
17		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		Nan Jiang, Wendy Xinyu Wu, Ian Mitchell: Protein threading with residue-environment matching by artificial neural networks. SAC 2004: 209-210
	2003
15		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		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		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		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		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		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		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		Ian Mitchell, Ian Ferguson, Norman Parrington: Rapid Prototyping: An Integrated CASE Based Approach. OOER 1995: 308-317

Coauthor Index

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

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page