The SCEAS System
Navigation Menu

Search the dblp DataBase


Paul Krause: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sharon Flank, Paul Krause, Carol Van Ess-Dykema
    Principled Multilingual Grammars for Large Corpora. [Citation Graph (0, 0)][DBLP]
    AAAI, 1994, pp:833-838 [Conf]
  2. Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul Krause
    FORTEST: Formal Methods and Testing. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:91-104 [Conf]
  3. John Fox, Paul Krause, Simon Ambler
    Arguments, Contradicitions and Practical Reasoning. [Citation Graph (0, 0)][DBLP]
    ECAI, 1992, pp:623-627 [Conf]
  4. Morten Elvang-Gøransson, Paul Krause, John Fox
    Acceptability of arguments as `logical uncertainty'. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1993, pp:85-90 [Conf]
  5. Norman E. Fenton, Paul Krause, Martin Neil
    Probabilistic Modelling for Software Quality Control. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 2001, pp:444-453 [Conf]
  6. John Fox, Paul Krause, Mirko Dohnal
    An Extended Logic Language For Representing Belief. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1991, pp:63-69 [Conf]
  7. Paul Krause
    Can We formally Specify a Medical Decision Support System? [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1991, pp:247-258 [Conf]
  8. Subrata Kumar Das, John Fox, Paul Krause
    A Unified Framework for Hypothetical and Practical Reasoning (1): Theoretical Foundations. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:58-72 [Conf]
  9. Harro Kiendl, Paul Krause
    Advanced Inference Filter Defuzzification. [Citation Graph (0, 0)][DBLP]
    Fuzzy Days, 2001, pp:249-260 [Conf]
  10. Paul Krause, Simon Ambler, John Fox
    The Development of a "Logic of Argumentation". [Citation Graph (0, 0)][DBLP]
    IPMU, 1992, pp:109-118 [Conf]
  11. Yongyan Zheng, Jiong Zhou, Paul Krause
    A Model Checking based Test Case Generation Framework forWeb Services. [Citation Graph (0, 0)][DBLP]
    ITNG, 2007, pp:715-722 [Conf]
  12. Yongyan Zheng, Paul Krause
    Asynchronous Semantics and Anti-patterns for Interacting Web Services. [Citation Graph (0, 0)][DBLP]
    QSIC, 2006, pp:74-84 [Conf]
  13. Elena Pérez-Miñana, Paul Krause, Pierre America
    Empowering Requirements for a Product Family. [Citation Graph (0, 0)][DBLP]
    RE, 2001, pp:302-303 [Conf]
  14. Andrea Zisman, George Spanoudakis, Elena Pérez-Miñana, Paul Krause
    Tracing Software Requirements Artifacts. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2003, pp:448-455 [Conf]
  15. Morten Elvang-Gøransson, Paul Krause, John Fox
    Dialectic reasoning with inconsistent information. [Citation Graph (0, 0)][DBLP]
    UAI, 1993, pp:114-121 [Conf]
  16. John Fox, Paul Krause
    Decision Theory and Autonomous Systems. [Citation Graph (0, 0)][DBLP]
    UAI, 1991, pp:103-110 [Conf]
  17. John Fox, Paul Krause, Morten Elvang-Gøransson
    Argumentation as a General Framework for Uncertain Reasoning. [Citation Graph (0, 0)][DBLP]
    UAI, 1993, pp:428-434 [Conf]
  18. Paul Krause, Andrzej J. Glowinski
    Formal specifications and medical decision support systems. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 1993, v:7, n:3, pp:237-256 [Journal]
  19. 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. [Citation Graph (0, 0)][DBLP]
    AI Commun., 1993, v:6, n:1, pp:27-46 [Journal]
  20. Paul Krause, Simon Ambler, Morten Elvang-Gøransson, John Fox
    A Logic of Argumentation for Reasoning under Uncertainty. [Citation Graph (0, 0)][DBLP]
    Computational Intelligence, 1995, v:11, n:, pp:113-131 [Journal]
  21. Myriam Abramson, Scott Bennett, William Brooks, Emily Hofmann, Paul Krause, Aaron Temin
    Using AI for Counternarcotics: The Predictive Analysis System. [Citation Graph (0, 0)][DBLP]
    IEEE Expert, 1994, v:9, n:5, pp:12-17 [Journal]
  22. Paul Krause, John Fox, Mike O'Neil, Andrzej J. Glowinski
    Can we Formally Specify a Medical Decision Support System? [Citation Graph (0, 0)][DBLP]
    IEEE Expert, 1993, v:8, n:3, pp:56-61 [Journal]
  23. 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. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2007, v:49, n:1, pp:32-43 [Journal]
  24. Norman E. Fenton, Paul Krause, Martin Neil
    Probability modelling for software quality control. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2002, v:12, n:2, pp:173-188 [Journal]
  25. George Spanoudakis, Andrea Zisman, Elena Pérez-Miñana, Paul Krause
    Rule-based generation of requirements traceability relations. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2004, v:72, n:2, pp:105-127 [Journal]
  26. Norman E. Fenton, Paul Krause, Martin Neil
    Software Measurement: Uncertainty and Causal Modeling. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 2002, v:19, n:4, pp:116-122 [Journal]
  27. Paul Krause
    Software Test Automation: Effective Use of Test Execution Tools, Mark Fewster and Dorothy Graham, Addison-Wesley, 1999 (Book Review). [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2000, v:10, n:2, pp:140-142 [Journal]
  28. Yongyan Zheng, Jiong Zhou, Paul Krause
    Analysis of BPEL Data Dependencies. [Citation Graph (0, 0)][DBLP]
    EUROMICRO-SEAA, 2007, pp:351-358 [Conf]

  29. SRA: description of the SOLOMON system as used for MUC-5. [Citation Graph (, )][DBLP]

  30. Using formal specifications to support testing. [Citation Graph (, )][DBLP]

Search in 0.019secs, Finished in 0.020secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002