Chris Fox

2008
31	EE	Chris Fox, Maribel Fernández, Shalom Lappin: Lambda Calculus, Type Theory, and Natural Language II. J. Log. Comput. 18(2): 203 (2008)
2005
30	EE	Chris Fox, Arthorn Luangsodsai: And-Or Dependence Graphs for Slicing Statecharts. Beyond Program Slicing 2005
29	EE	Costin Badica, Maria Teodorescu, Cosmin Spahiu, Amelia Badica, Chris Fox: Integrating Role Activity Diagrams and Hybrid IDEF for Business Process Modeling Using MDA. SYNASC 2005: 71-74
28		Chris Fox, Shalom Lappin: Polymorphic Quantifiers and Underspecification in Natural Language. We Will Show Them! (1) 2005: 687-700
27	EE	Robert M. Hierons, Mark Harman, Chris Fox: Branch-Coverage Testability Transformation for Unstructured Programs. Comput. J. 48(4): 421-436 (2005)
26	EE	Sebastian Danicic, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Michael R. Laurence: Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas. Comput. J. 48(6): 737-748 (2005)
25	EE	Chris Fox, Shalom Lappin: Underspecified Interpretations in a Curry-typed Representation Language. J. Log. Comput. 15(2): 131-143 (2005)
24	EE	Sebastian Danicic, Mohammed Daoudi, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Lahcen Ouarbya, Martin P. Ward: ConSUS: a light-weight program conditioner. Journal of Systems and Software 77(3): 241-262 (2005)
2004
23	EE	Costin Badica, Chris Fox: On the Application of WF-Nets for Checking Hybrid IDEF0-IDEF3 Business Process Models. ADVIS 2004: 543-553
22	EE	Miguel Pérez-Ramírez, Chris Fox: Agents Interpreting Imperative Sentences. CICLing 2004: 56-67
21		Costin Badica, Chris Fox: Verification of Multiple Input/Multiple Output Business Processes. IRI 2004: 6-11
20	EE	Miguel Pérez-Ramírez, Chris Fox: The Role of Imperatives in Inference, Agents, and Actions. MICAI 2004: 448-457
19	EE	Chris Fox, Shalom Lappin: An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics. Logic Journal of the IGPL 12(2): 135-168 (2004)
18	EE	Chris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons: ConSIT: a fully automated conditioned program slicer. Softw., Pract. Exper. 34(1): 15-46 (2004)
2003
17	EE	Miguel Pérez-Ramírez, Chris Fox: Imperatives as Obligatory and Permitted Actions. CICLing 2003: 52-64
16		Chris Fox, Shalom Lappin: A type-theoretic approach to anaphora and ellipsis resolution. RANLP 2003: 1-16
2002
15	EE	Mark Harman, Lin Hu, Robert M. Hierons, Chris Fox, Sebastian Danicic, Joachim Wegener, Harmen Sthamer, André Baresel: Evolutionary Testing Supported by Slicing and Transformation. ICSM 2002: 285
14	EE	Mark Harman, Chris Fox, Robert M. Hierons, Lin Hu, Sebastian Danicic, Joachim Wegener: VADA: A Transformation-Based System for Variable Dependence Analysis. SCAM 2002: 55-64
13	EE	Mohammed Daoudi, Lahcen Ouarbya, John Howroyd, Sebastian Danicic, Mark Harman, Chris Fox, Martin P. Ward: ConSUS: A Scalable Approach to Conditioned Slicing. WCRE 2002: 109-118
12	EE	Lahcen Ouarbya, Sebastian Danicic, Mohammed Daoudi, Mark Harman, Chris Fox: A Denotational Interprocedural Program Slicer. WCRE 2002: 181-
11		Robert M. Hierons, Mark Harman, Chris Fox, Lahcen Ouarbya, Mohammed Daoudi: Conditioned slicing supports partition testing. Softw. Test., Verif. Reliab. 12(1): 23-28 (2002)
2001
10	EE	Mark Harman, Robert M. Hierons, Chris Fox, Sebastian Danicic, John Howroyd: Pre/Post Conditioned Slicing. ICSM 2001: 138-147
9	EE	Chris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons: Backward Conditioning: A New Program Specialisation Technique and Its Application to Program Comprehension. IWPC 2001: 89-97
8	EE	Chris Fox, Shalom Lappin: A Framework for the Hyperintensional Semantics of Natural Language with Two Implementations. LACL 2001: 175-192
7	EE	Mark Harman, Robert M. Hierons, Sebastian Danicic, John Howroyd, Michael R. Laurence, Chris Fox: Node Coarsening Calculi for Program Slicing. WCRE 2001: 25-34
6		Chris Fox: Book Review: Linux: The Complete Reference, Third Edition, by Richard Petersen, Osborne/McGraw-Hill. Softw. Test., Verif. Reliab. 11(1): 55-58 (2001)
2000
5	EE	Chris Fox, Mark Harman, Robert M. Hierons, Sebastian Danicic: ConSIT: A Conditioned Program Slicer. ICSM 2000: 216-
1999
4	EE	John P. McDermott, Chris Fox: Using Abuse Case Models for Security Requirements Analysis. ACSAC 1999: 55-
3	EE	Mark Harman, Chris Fox, Robert M. Hierons, David Binkley, Sebastian Danicic: Program Simplification as a Means of Approximating Undecidable Propositions. IWPC 1999: 208-217
1991
2		Barry G. T. Lowden, B. Walls, Anne N. De Roeck, Chris Fox, Raymond Turner: A Formal Approach to Translating English into SQL. BNCOD 1991: 110-127
1	EE	Anne N. De Roeck, Richard Ball, Keith Brown, Chris Fox, Marjolein Groefsema, Nadim Obeid, Raymond Turner: Helpful Answers To Modal And Hypothetical Questions. EACL 1991: 257-262

Coauthor Index

1	Amelia Badica	[29]
2	Costin Badica	[21] [23] [29]
3	Richard Ball	[1]
4	André Baresel	[15]
5	David Binkley	[3]
6	Keith Brown	[1]
7	Sebastian Danicic	[3] [5] [7] [9] [10] [12] [13] [14] [15] [18] [24] [26]
8	Mohammed Daoudi	[11] [12] [13] [24]
9	Maribel Fernández	[31]
10	Marjolein Groefsema	[1]
11	Mark Harman	[3] [5] [7] [9] [10] [11] [12] [13] [14] [15] [18] [24] [26] [27]
12	Robert M. Hierons	[3] [5] [7] [9] [10] [11] [14] [15] [18] [24] [26] [27]
13	John Howroyd	[7] [10] [13] [24] [26]
14	Lin Hu	[14] [15]
15	Shalom Lappin	[8] [16] [19] [25] [28] [31]
16	Michael R. Laurence	[7] [26]
17	Barry G. T. Lowden	[2]
18	Arthorn Luangsodsai	[30]
19	John P. McDermott	[4]
20	Nadim Obeid	[1]
21	Lahcen Ouarbya	[11] [12] [13] [24]
22	Miguel Pérez-Ramírez	[17] [20] [22]
23	Anne N. De Roeck	[1] [2]
24	Cosmin Spahiu	[29]
25	Harmen Sthamer	[15]
26	Maria Teodorescu	[29]
27	Raymond Turner	[1] [2]
28	B. Walls	[2]
29	Martin P. Ward	[13] [24]
30	Joachim Wegener	[14] [15]

Colors in the list of coauthors