( en | de | ru )

 

Disambiguation of "Krause, Paul J."

Author of the publication

copydeleteadd this publication to your clipboard
Using formal specifications to support testing.

, , , , , , , , , , , , , , and . ACM Comput. Surv., 41 (2): 9:1-9:76 (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Paul Krause

Paul Krause

Paul Krause

Paul Krause

Paul Krause

 

Other publications of authors with the same name

Representing uncertain knowledge - an artificial intelligence approach., and . Intellect Books, (1993)Qualitative risk assessment fulfils a need., , , and . Applications of Uncertainty Formalisms, volume 1455 of Lecture Notes in Computer Science, page 138-156. Springer, (1998)Computer Aided Transformation of Z into Prolog., , and . Z User Workshop, page 71-85. Springer, (1989)Qualitative frameworks for decision support: lessons from medicine., and . Knowl. Eng. Rev., 7 (1): 19-33 (1992)Knowledge representation and reasoning: The view from cognitive psychology., and . Knowl. Eng. Rev., 10 (1): 1 (1995)A Unified Framework for Hypothetical and Practical Reasoning (1): Theoretical Foundations., , and . FAPR, volume 1085 of Lecture Notes in Computer Science, page 58-72. Springer, (1996)Argumentation as a General Framework for Uncertain Reasoning., , and . UAI, page 428-434. Morgan Kaufmann, (1993)Is There a Role for Qualitative Risk Assessment?, , and . UAI, page 386-393. Morgan Kaufmann, (1995)Acceptability of arguments as 'logical uncertainty'., , and . ECSQARU, volume 747 of Lecture Notes in Computer Science, page 85-90. Springer, (1993)Flypeer: A JXTA Implementation of DE Transactions., , , and . OPAALS, volume 67 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 213-223. Springer, (2010)