Chris Fox Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Azhar Alhindi, Udo Kruschwitz, Chris Fox: A Pilot Study on Using Profile-Based Summarisation for Interactive Search Assistance. ECIR 2013: 672-675
2012
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chris Fox: Obligations and Permissions. Language and Linguistics Compass 6(9): 593-610 (2012)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chris Fox: Imperatives: a Judgemental Analysis. Studia Logica 100(4): 879-905 (2012)
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fawaz Alarfaj, Udo Kruschwitz, David Hunter, Chris Fox: Finding the Right Supervisor: Expert-Finding in a University Domain. HLT-NAACL 2012: 1-6
2011
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mahmoud El-Haj, Udo Kruschwitz, Chris Fox: Exploring Clustering for Multi-document Arabic Summarisation. AIRS 2011: 550-561
2009
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mahmoud El-Haj, Udo Kruschwitz, Chris Fox: Experimenting with Automatic Text Summarisation for Arabic. LTC 2009: 490-499
2008
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chris Fox, Maribel Fernández, Shalom Lappin: Lambda Calculus, Type Theory, and Natural Language II. J. Log. Comput. 18(2): 203 (2008)
2006
b1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chris Fox: Essential Microsoft Operations Manager - get control of your Windows network with Microsoft's Operations Management Tools. O'Reilly 2006, isbn 978-0-596-00953-3, pp. I-XXI, 1-355
2005
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert M. Hierons, Mark Harman, Chris Fox: Branch-Coverage Testability Transformation for Unstructured Programs. Comput. J. 48(4): 421-436 (2005)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chris Fox, Shalom Lappin: Underspecified Interpretations in a Curry-typed Representation Language. J. Log. Comput. 15(2): 131-143 (2005)
c22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chris Fox, Shalom Lappin: Polymorphic Quantifiers and Underspecification in Natural Language. We Will Show Them! (1) 2005: 687-700
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chris Fox, Arthorn Luangsodsai: And-Or Dependence Graphs for Slicing Statecharts. Beyond Program Slicing 2005
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
2004
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons: ConSIT: a fully automated conditioned program slicer. Softw., Pract. Exper. 34(1): 15-46 (2004)
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Costin Badica, Chris Fox: On the Application of WF-Nets for Checking Hybrid IDEF0-IDEF3 Business Process Models. ADVIS 2004: 543-553
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Miguel Pérez-Ramírez, Chris Fox: Agents Interpreting Imperative Sentences. CICLing 2004: 56-67
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Costin Badica, Chris Fox: Verification of Multiple Input/Multiple Output Business Processes. IRI 2004: 6-11
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Miguel Pérez-Ramírez, Chris Fox: The Role of Imperatives in Inference, Agents, and Actions. MICAI 2004: 448-457
2003
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Miguel Pérez-Ramírez, Chris Fox: Imperatives as Obligatory and Permitted Actions. CICLing 2003: 52-64
c14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chris Fox, Shalom Lappin: A type-theoretic approach to anaphora and ellipsis resolution. RANLP 2003: 1-16
2002
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Lahcen Ouarbya, Sebastian Danicic, Mohammed Daoudi, Mark Harman, Chris Fox: A Denotational Interprocedural Program Slicer. WCRE 2002: 181-
2001
j1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mark Harman, Robert M. Hierons, Chris Fox, Sebastian Danicic, John Howroyd: Pre/Post Conditioned Slicing. ICSM 2001: 138-147
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chris Fox, Shalom Lappin: A Framework for the Hyperintensional Semantics of Natural Language with Two Implementations. LACL 2001: 175-192
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mark Harman, Robert M. Hierons, Sebastian Danicic, John Howroyd, Michael R. Laurence, Chris Fox: Node Coarsening Calculi for Program Slicing. WCRE 2001: 25-34
2000
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chris Fox, Mark Harman, Robert M. Hierons, Sebastian Danicic: ConSIT: A Conditioned Program Slicer. ICSM 2000: 216-
1999
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John P. McDermott, Chris Fox: Using Abuse Case Models for Security Requirements Analysis. ACSAC 1999: 55-64
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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

1Fawaz Alarfaj
[c25]
2Azhar Alhindi
[c26]
3Amelia Badica
[c20]
4Costin Badica
[c20] [c19] [c17]
5Richard Ball
[c1]
6André Baresel
[c13]
7David Binkley (Dave Binkley)
[c3]
8Keith Brown
[c1]
9Sebastian Danicic
[j7] [j6] [j3] [c13] [c12] [c11] [c10] [c9] [c8] [c6] [c5] [c3]
10Mohammed Daoudi
[j6] [j2] [c11] [c10]
11Mahmoud El-Haj
[c24] [c23]
12Maribel Fernández
[j9]
13Marjolein Groefsema
[c1]
14Mark Harman
[j8] [j7] [j6] [j3] [j2] [c13] [c12] [c11] [c10] [c9] [c8] [c6] [c5] [c3]
15Robert M. Hierons
[j8] [j7] [j6] [j3] [j2] [c13] [c12] [c9] [c8] [c6] [c5] [c3]
16John Howroyd
[j7] [j6] [c11] [c9] [c6]
17Lin Hu
[c13] [c12]
18David Hunter
[c25]
19Udo Kruschwitz
[c26] [c25] [c24] [c23]
20Shalom Lappin
[j9] [j5] [c22] [j4] [c14] [c7]
21Michael R. Laurence
[j7] [c6]
22Barry G. T. Lowden
[c2]
23Arthorn Luangsodsai
[c21]
24John P. McDermott
[c4]
25Nadim Obeid
[c1]
26Lahcen Ouarbya
[j6] [j2] [c11] [c10]
27Miguel Pérez-Ramírez
[c18] [c16] [c15]
28Anne N. De Roeck
[c2] [c1]
29Cosmin Spahiu
[c20]
30Harmen Sthamer
[c13]
31Maria Teodorescu
[c20]
32Raymond Turner
[c2] [c1]
33B. Walls
[c2]
34Martin P. Ward
[j6] [c11]
35Joachim Wegener
[c13] [c12]

Colors in the list of coauthors

Last update Sat May 18 19:48:24 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page