|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 10 keywords
|
|
|
|
|
Results
Found 34 publication records. Showing 34 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nick F. Ryman-Tubb, Paul Krause |
Neural Network Rule Extraction to Detect Credit Card Fraud.  |
EANN/AIAI  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2009 |
DBLP DOI BibTeX RDF |
formal methods, Software testing |
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
Qualitative factors, Bayesian network, Decision support, Sensitivity analysis, Quantitative data, Software defect prediction |
| 1 | Yongyan Zheng, Jiong Zhou, Paul Krause |
An Automatic Test Case Generation Framework for Web Services. |
JSW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongyan Zheng, Jiong Zhou, Paul Krause |
A Model Checking based Test Case Generation Framework forWeb Services. |
ITNG |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongyan Zheng, Jiong Zhou, Paul Krause |
Analysis of BPEL Data Dependencies. |
EUROMICRO-SEAA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongyan Zheng, Paul Krause |
Asynchronous Semantics and Anti-patterns for Interacting Web Services. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | George Spanoudakis, Andrea Zisman, Elena Pérez-Miñana, Paul Krause |
Rule-based generation of requirements traceability relations. |
Journal of Systems and Software |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Zisman, George Spanoudakis, Elena Pérez-Miñana, Paul Krause |
Tracing Software Requirements Artifacts. |
Software Engineering Research and Practice |
2003 |
DBLP BibTeX RDF |
|
| 1 | Norman E. Fenton, Paul Krause, Martin Neil |
Software Measurement: Uncertainty and Causal Modeling. |
IEEE Software |
2002 |
DBLP DOI BibTeX RDF |
software quality estimation, Bayesian networks, risk management, Software measurement, causal modeling |
| 1 | Norman E. Fenton, Paul Krause, Martin Neil |
Probability modelling for software quality control. |
Journal of Applied Non-Classical Logics |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul Krause |
FORTEST: Formal Methods and Testing. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman E. Fenton, Paul Krause, Martin Neil |
Probabilistic Modelling for Software Quality Control. |
ECSQARU |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Pérez-Miñana, Paul Krause, Pierre America |
Empowering Requirements for a Product Family. (PDF / PS) |
RE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Harro Kiendl, Paul Krause |
Advanced Inference Filter Defuzzification. |
Fuzzy Days |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2000 |
DBLP BibTeX RDF |
|
| 1 | Subrata Kumar Das, John Fox, Paul Krause |
A Unified Framework for Hypothetical and Practical Reasoning (1): Theoretical Foundations. |
FAPR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Krause, Simon Ambler, Morten Elvang-Gøransson, John Fox |
A Logic of Argumentation for Reasoning under Uncertainty. |
Computational Intelligence |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Myriam Abramson, Scott Bennett, William Brooks, Emily Hofmann, Paul Krause, Aaron Temin |
Using AI for Counternarcotics: The Predictive Analysis System. |
IEEE Expert |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Sharon Flank, Paul Krause, Carol Van Ess-Dykema |
Principled Multilingual Grammars for Large Corpora. |
AAAI |
1994 |
DBLP BibTeX RDF |
|
| 1 | 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. |
1993 |
DBLP BibTeX RDF |
|
| 1 | Paul Krause, Andrzej J. Glowinski |
Formal specifications and medical decision support systems. |
Applied Artificial Intelligence |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Krause, John Fox, Mike O'Neil, Andrzej J. Glowinski |
Can we Formally Specify a Medical Decision Support System? |
IEEE Expert |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Krause, Dominic Clark |
Representing uncertain knowledge - an artificial intelligence approach. |
|
1993 |
RDF |
|
| 1 | Chinatsu Aone, Sharon Flank, Douglas McKee, Paul Krause |
SRA: description of the SOLOMON system as used for MUC-5. |
MUC |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Morten Elvang-Gøransson, Paul Krause, John Fox |
Acceptability of arguments as `logical uncertainty'. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | John Fox, Paul Krause, Morten Elvang-Gøransson |
Argumentation as a General Framework for Uncertain Reasoning. |
UAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Morten Elvang-Gøransson, Paul Krause, John Fox |
Dialectic reasoning with inconsistent information. |
UAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | John Fox, Paul Krause, Simon Ambler |
Arguments, Contradicitions and Practical Reasoning. |
ECAI |
1992 |
DBLP BibTeX RDF |
|
| 1 | Paul Krause, Simon Ambler, John Fox |
The Development of a "Logic of Argumentation". |
IPMU |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Krause |
Can We formally Specify a Medical Decision Support System? |
EUROVAV |
1991 |
DBLP BibTeX RDF |
|
| 1 | John Fox, Paul Krause, Mirko Dohnal |
An Extended Logic Language For Representing Belief. |
ECSQARU |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | John Fox, Paul Krause |
Decision Theory and Autonomous Systems. |
UAI |
1991 |
DBLP BibTeX RDF |
|
Displaying result #1 - #34 of 34 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")