Paul Krause

2007
30	EE	Yongyan Zheng, Jiong Zhou, Paul Krause: Analysis of BPEL Data Dependencies. EUROMICRO-SEAA 2007: 351-358
29	EE	Yongyan Zheng, Jiong Zhou, Paul Krause: A Model Checking based Test Case Generation Framework forWeb Services. ITNG 2007: 715-722
28	EE	Norman E. Fenton, Martin Neil, William Marsh, Peter Hearty, David Marquez, Paul Krause, Rajat Mishra: Predicting software defects in varying development lifecycles using Bayesian nets. Information & Software Technology 49(1): 32-43 (2007)
2006
27	EE	Daniel Bryant, Paul Krause, Sotiris Moschoyiannis: A Tool to Facilitate Agent Deliberation. JELIA 2006: 465-468
26	EE	Daniel Bryant, Paul Krause: An Implementation of a Lightweight Argumentation Engine for Agent Applications. JELIA 2006: 469-472
25	EE	Yongyan Zheng, Paul Krause: Asynchronous Semantics and Anti-patterns for Interacting Web Services. QSIC 2006: 74-84
2004
24	EE	George Spanoudakis, Andrea Zisman, Elena Pérez-Miñana, Paul Krause: Rule-based generation of requirements traceability relations. Journal of Systems and Software 72(2): 105-127 (2004)
2003
23		Andrea Zisman, George Spanoudakis, Elena Pérez-Miñana, Paul Krause: Tracing Software Requirements Artifacts. Software Engineering Research and Practice 2003: 448-455
2002
22	EE	Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul Krause: FORTEST: Formal Methods and Testing. COMPSAC 2002: 91-104
21	EE	Norman E. Fenton, Paul Krause, Martin Neil: Software Measurement: Uncertainty and Causal Modeling. IEEE Software 19(4): 116-122 (2002)
20		Norman E. Fenton, Paul Krause, Martin Neil: Probability modelling for software quality control. Journal of Applied Non-Classical Logics 12(2): 173-188 (2002)
2001
19	EE	Norman E. Fenton, Paul Krause, Martin Neil: Probabilistic Modelling for Software Quality Control. ECSQARU 2001: 444-453
18	EE	Harro Kiendl, Paul Krause: Advanced Inference Filter Defuzzification. Fuzzy Days 2001: 249-260
17	EE	Elena Pérez-Miñana, Paul Krause, Pierre America: Empowering Requirements for a Product Family. RE 2001: 302-303
2000
16		Paul Krause: Software Test Automation: Effective Use of Test Execution Tools, Mark Fewster and Dorothy Graham, Addison-Wesley, 1999 (Book Review). Softw. Test., Verif. Reliab. 10(2): 140-142 (2000)
1996
15		Subrata Kumar Das, John Fox, Paul Krause: A Unified Framework for Hypothetical and Practical Reasoning (1): Theoretical Foundations. FAPR 1996: 58-72
1995
14		Paul Krause, Simon Ambler, Morten Elvang-Gøransson, John Fox: A Logic of Argumentation for Reasoning under Uncertainty. Computational Intelligence 11: 113-131 (1995)
1994
13		Sharon Flank, Paul Krause, Carol Van Ess-Dykema: Principled Multilingual Grammars for Large Corpora. AAAI 1994: 833-838
12	EE	Myriam Abramson, Scott Bennett, William Brooks, Emily Hofmann, Paul Krause, Aaron Temin: Using AI for Counternarcotics: The Predictive Analysis System. IEEE Expert 9(5): 12-17 (1994)
1993
11		Morten Elvang-Gøransson, Paul Krause, John Fox: Acceptability of arguments as `logical uncertainty'. ECSQARU 1993: 85-90
10	EE	Morten Elvang-Gøransson, Paul Krause, John Fox: Dialectic reasoning with inconsistent information. UAI 1993: 114-121
9	EE	John Fox, Paul Krause, Morten Elvang-Gøransson: Argumentation as a General Framework for Uncertain Reasoning. UAI 1993: 428-434
8		Philippe Besnard, Yves Moinard, Wilmer Pereira, Michael Clarke, Nic Wilson, Miguel Delgado, Serafín Moral, Juan Cano, Didier Dubois, Henri Prade, Luis Fariñas del Cerro, Jérôme Lang, Stéphane Amarger, John Fox, Paul Krause, Michael Dohnal, Christine Froidevaux, Jérôme Mengin, Ramon López de Mántaras, Lluis Godo, E. H. Mamdani, John Bigham, Simon Parsons, Rudolf Kruse, Olivier Paillet, Pierre Siegel, Philippe Smets, Yen-Teh Hsia, Alessandro Saffiotti, Robert Kennes, Hong Xu, Elizabeth Umkehrer, Kurt Sundermeyer, Chris Whitney: DRUMS: Defeasible Reasoning and Uncertainty Management Systems. AI Commun. 6(1): 27-46 (1993)
7		Paul Krause, Andrzej J. Glowinski: Formal specifications and medical decision support systems. Applied Artificial Intelligence 7(3): 237-256 (1993)
6	EE	Paul Krause, John Fox, Mike O'Neil, Andrzej J. Glowinski: Can we Formally Specify a Medical Decision Support System? IEEE Expert 8(3): 56-61 (1993)
1992
5		John Fox, Paul Krause, Simon Ambler: Arguments, Contradicitions and Practical Reasoning. ECAI 1992: 623-627
4		Paul Krause, Simon Ambler, John Fox: The Development of a "Logic of Argumentation". IPMU 1992: 109-118
1991
3		John Fox, Paul Krause, Mirko Dohnal: An Extended Logic Language For Representing Belief. ECSQARU 1991: 63-69
2		Paul Krause: Can We formally Specify a Medical Decision Support System? EUROVAV 1991: 247-258
1	EE	John Fox, Paul Krause: Decision Theory and Autonomous Systems. UAI 1991: 103-110

Coauthor Index

1	Myriam Abramson	[12]
2	Stéphane Amarger	[8]
3	Simon Ambler	[4] [5] [14]
4	Pierre America	[17]
5	Scott Bennett	[12]
6	Philippe Besnard	[8]
7	John Bigham	[8]
8	Kirill Bogdanov	[22]
9	Jonathan P. Bowen	[22]
10	William Brooks	[12]
11	Daniel Bryant	[26] [27]
12	Juan Cano	[8]
13	Luis Fariñas del Cerro	[8]
14	John A. Clark	[22]
15	Michael Clarke	[8]
16	Subrata Kumar Das	[15]
17	Miguel Delgado	[8]
18	Michael Dohnal	[8]
19	Mirko Dohnal	[3]
20	Didier Dubois	[8]
21	Morten Elvang-Gøransson	[9] [10] [11] [14]
22	Carol Van Ess-Dykema	[13]
23	Norman E. Fenton	[19] [20] [21] [28]
24	Sharon Flank	[13]
25	John Fox	[1] [3] [4] [5] [6] [8] [9] [10] [11] [14] [15]
26	Christine Froidevaux	[8]
27	Andrzej J. Glowinski	[6] [7]
28	Lluis Godo	[8]
29	Mark Harman	[22]
30	Peter Hearty	[28]
31	Robert M. Hierons	[22]
32	Emily Hofmann	[12]
33	Yen-Teh Hsia	[8]
34	Robert Kennes	[8]
35	Harro Kiendl	[18]
36	Rudolf Kruse	[8]
37	Jérôme Lang	[8]
38	E. H. Mamdani	[8]
39	Ramon López de Mántaras	[8]
40	David Marquez	[28]
41	William Marsh	[28]
42	Jérôme Mengin	[8]
43	Rajat Mishra	[28]
44	Yves Moinard	[8]
45	Serafín Moral	[8]
46	Sotiris Moschoyiannis	[27]
47	Martin Neil	[19] [20] [21] [28]
48	Mike O'Neil	[6]
49	Olivier Paillet	[8]
50	Simon Parsons	[8]
51	Wilmer Pereira	[8]
52	Elena Pérez-Miñana	[17] [23] [24]
53	Henri Prade	[8]
54	Alessandro Saffiotti	[8]
55	Pierre Siegel	[8]
56	Philippe Smets	[8]
57	George Spanoudakis	[23] [24]
58	Kurt Sundermeyer	[8]
59	Aaron Temin	[12]
60	Elizabeth Umkehrer	[8]
61	Chris Whitney	[8]
62	Nic Wilson	[8]
63	Hong Xu	[8]
64	Yongyan Zheng	[25] [29] [30]
65	Jiong Zhou	[29] [30]
66	Andrea Zisman	[23] [24]

Colors in the list of coauthors