Paul Krause Vis

*	2009
32	EE	Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan: Using formal specifications to support testing. ACM Comput. Surv. 41(2): (2009)
	2008
31	EE	Norman E. Fenton, Martin Neil, William Marsh, Peter Hearty, Lukasz Radlinski, Paul Krause: On the effectiveness of early life cycle defect prediction with Bayesian Nets. Empirical Software Engineering 13(5): 499-537 (2008)
	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)
27	EE	Yongyan Zheng, Jiong Zhou, Paul Krause: An Automatic Test Case Generation Framework for Web Services. JSW 2(3): 64-77 (2007)
	2006
26	EE	Yongyan Zheng, Paul Krause: Asynchronous Semantics and Anti-patterns for Interacting Web Services. QSIC 2006: 74-84
	2004
25	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
24		Andrea Zisman, George Spanoudakis, Elena Pérez-Miñana, Paul Krause: Tracing Software Requirements Artifacts. Software Engineering Research and Practice 2003: 448-455
	2002
23	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
22	EE	Norman E. Fenton, Paul Krause, Martin Neil: Software Measurement: Uncertainty and Causal Modeling. IEEE Software 19(4): 116-122 (2002)
21		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
20	EE	Norman E. Fenton, Paul Krause, Martin Neil: Probabilistic Modelling for Software Quality Control. ECSQARU 2001: 444-453
19	EE	Harro Kiendl, Paul Krause: Advanced Inference Filter Defuzzification. Fuzzy Days 2001: 249-260
18	EE	Elena Pérez-Miñana, Paul Krause, Pierre America: Empowering Requirements for a Product Family. RE 2001: 302-303
	2000
17		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
16		Subrata Kumar Das, John Fox, Paul Krause: A Unified Framework for Hypothetical and Practical Reasoning (1): Theoretical Foundations. FAPR 1996: 58-72
	1995
15		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
14		Sharon Flank, Paul Krause, Carol Van Ess-Dykema: Principled Multilingual Grammars for Large Corpora. AAAI 1994: 833-838
13	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
12		Morten Elvang-Gøransson, Paul Krause, John Fox: Acceptability of arguments as `logical uncertainty'. ECSQARU 1993: 85-90
11	EE	Chinatsu Aone, Sharon Flank, Douglas McKee, Paul Krause: SRA: description of the SOLOMON system as used for MUC-5. MUC 1993: 207-220
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	[13]
2	Stéphane Amarger	[8]
3	Simon Ambler	[4] [5] [15]
4	Pierre America	[18]
5	Chinatsu Aone	[11]
6	Scott Bennett	[13]
7	Philippe Besnard	[8]
8	John Bigham	[8]
9	Kirill Bogdanov	[23] [32]
10	Jonathan P. Bowen	[23] [32]
11	William Brooks	[13]
12	Juan Cano	[8]
13	Luis Fariñas del Cerro	[8]
14	John A. Clark (John Andrew Clark)	[23]
15	Michael Clarke	[8]
16	Rance Cleaveland	[32]
17	Subrata Kumar Das	[16]
18	Miguel Delgado	[8]
19	John Derrick	[32]
20	Jeremy Dick	[32]
21	Michael Dohnal	[8]
22	Mirko Dohnal	[3]
23	Didier Dubois	[8]
24	Morten Elvang-Gøransson	[9] [10] [12] [15]
25	Carol Van Ess-Dykema	[14]
26	Norman E. Fenton	[20] [21] [22] [28] [31]
27	Sharon Flank	[11] [14]
28	John Fox	[1] [3] [4] [5] [6] [8] [9] [10] [12] [15] [16]
29	Christine Froidevaux	[8]
30	Marian Gheorghe	[32]
31	Andrzej J. Glowinski	[6] [7]
32	Lluis Godo	[8]
33	Mark Harman	[23] [32]
34	Peter Hearty	[28] [31]
35	Robert M. Hierons	[23] [32]
36	Emily Hofmann	[13]
37	Yen-Teh Hsia	[8]
38	Kalpesh Kapoor	[32]
39	Robert Kennes	[8]
40	Harro Kiendl	[19]
41	Rudolf Kruse	[8]
42	Jérôme Lang	[8]
43	Gerald Lüttgen	[32]
44	E. H. Mamdani	[8]
45	Ramon López de Mántaras	[8]
46	David Marquez	[28]
47	William Marsh	[28] [31]
48	Douglas McKee	[11]
49	Jérôme Mengin	[8]
50	Rajat Mishra	[28]
51	Yves Moinard	[8]
52	Serafín Moral	[8]
53	Martin Neil	[20] [21] [22] [28] [31]
54	Mike O'Neil	[6]
55	Olivier Paillet	[8]
56	Simon Parsons	[8]
57	Wilmer Pereira	[8]
58	Elena Pérez-Miñana	[18] [24] [25]
59	Henri Prade	[8]
60	Lukasz Radlinski	[31]
61	Alessandro Saffiotti	[8]
62	Pierre Siegel	[8]
63	Anthony J. H. Simons	[32]
64	Philippe Smets	[8]
65	George Spanoudakis	[24] [25]
66	Kurt Sundermeyer	[8]
67	Aaron Temin	[13]
68	Elizabeth Umkehrer	[8]
69	Sergiy A. Vilkomir	[32]
70	Chris Whitney	[8]
71	Nic Wilson	[8]
72	Martin R. Woodward	[32]
73	Hong Xu	[8]
74	Hussein Zedan (Hussein S. M. Zedan)	[32]
75	Yongyan Zheng	[26] [27] [29] [30]
76	Jiong Zhou	[27] [29] [30]
77	Andrea Zisman	[24] [25]

Colors in the list of coauthors