Kevin Jones

	2011
11		Thomas R. B. Grandjean, Michael J. Chappell, James T. W. Yates, Kevin Jones, Gemma Wood, Tanya Coleman: Compartmental modelling of the pharmacokinetics of a breast cancer resistance protein. Computer Methods and Programs in Biomedicine 104(2): 81-92 (2011)
	2010
10		Manabu Torii, Burt-Ujin Bayarsaikhan, Hongfang Liu, Thang Nguyen, Kevin Jones, Noele P. Nelson, David M. Hartley: An exploratory study of news article clustering for web-based bio-surveillance. IHI 2010: 435-439
9		Scott Little, David Walter, Kevin Jones, Chris J. Myers, Alper Sen: Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces. Int. J. Found. Comput. Sci. 21(2): 191-210 (2010)
	2009
8		Kevin Jones, Helge Janicke, Antonio Cau: A Property Based Framework for Trust and Reputation in Mobile Computing. AINA Workshops 2009: 1031-1036
7		Chris J. Myers, Nathan A. Barker, Hiroyuki Kuwahara, Kevin Jones, Curtis Madsen, Nam-Phuong D. Nguyen: Genetic design automation. ICCAD 2009: 713-716
6		Robert Thacker, Chris J. Myers, Kevin Jones, Scott Little: A new verification method for embedded systems. ICCD 2009: 193-200
5		Chris J. Myers, Nathan A. Barker, Kevin Jones, Hiroyuki Kuwahara, Curtis Madsen, Nam-Phuong D. Nguyen: iBioSim: a tool for the analysis and design of genetic circuits. Bioinformatics 25(21): 2848-2849 (2009)
	2007
4		Scott Little, David Walter, Kevin Jones, Chris J. Myers: Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces. ATVA 2007: 114-128
	2006
3		Kevin Jones, Frank Boria, Richard J. Bachmann, Ravi Vaidyanathan, Peter G. Ifju, Roger D. Quinn: MMALV - The Morphing Micro Air-Land Vehicle. IROS 2006
2		Helge Janicke, Antonio Cau, François Siewe, Hussein Zedan, Kevin Jones: A Compositional Event & Time-Based Policy Model. POLICY 2006: 173-182
	2005
1		Helge Janicke, François Siewe, Kevin Jones, Antonio Cau, Hussein Zedan: Analysis and Run-Time Verification of Dynamic Security Policies. DAMAS 2005: 92-103

Coauthor Index

1	Richard J. Bachmann	[3]
2	Nathan A. Barker	[5] [7]
3	Burt-Ujin Bayarsaikhan	[10]
4	Frank Boria	[3]
5	Antonio Cau	[1] [2] [8]
6	Michael J. Chappell	[11]
7	Tanya Coleman	[11]
8	Thomas R. B. Grandjean	[11]
9	David M. Hartley	[10]
10	Peter G. Ifju	[3]
11	Helge Janicke	[1] [2] [8]
12	Hiroyuki Kuwahara	[5] [7]
13	Scott Little	[4] [6] [9]
14	Hongfang Liu	[10]
15	Curtis Madsen	[5] [7]
16	Chris J. Myers	[4] [5] [6] [7] [9]
17	Noele P. Nelson	[10]
18	Nam-Phuong D. Nguyen	[5] [7]
19	Thang Nguyen	[10]
20	Roger D. Quinn	[3]
21	Alper Sen	[9]
22	François Siewe	[1] [2]
23	Robert Thacker	[6]
24	Manabu Torii	[10]
25	Ravi Vaidyanathan	[3]
26	David Walter	[4] [9]
27	Gemma Wood	[11]
28	James T. W. Yates	[11]
29	Hussein Zedan (Hussein S. M. Zedan)	[1] [2]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page