• Kroghstræde 3

    9220 Aalborg Ø

    Denmark

Research Output 1975 2019

Filter
Report
2011
151 Downloads (Pure)

Hands Deliverable 1.3.1 A: HANDS – final publishable summary report: Final Project Report

Øhrstrøm, P., Mintz, J., Gyori, M., Aagaard, M., Kanizsai-Nagy, I. & Stefanik, K., 21 Nov 2011, 44 p.

Research output: Book/ReportReportResearchpeer-review

File

Hands deliverable 1.3.4: Annual progress report

Øhrstrøm, P., Aagaard, M., Paulsen, E., Berglund, T., Moca, A. & Vuust, J., 2011, 42 p.

Research output: Book/ReportReportResearchpeer-review

Hands Deliverable 4.1.5: Evaluation of Prototype 2 - as seen from the perspective of persuasive technology.

Schärfe, H., Aagaard, M. & Øhrstrøm, P., 2011, 36 p.

Research output: Book/ReportReportResearchpeer-review

HANDS Deliverable D7.4.1 Report on the Ethics of HANDS

Ploug, T., Øhrstrøm, P., Stefanik, K. G. & Holm, S., 2011

Research output: Book/ReportReportResearch

Reasoning about Plural Entities in a Temporal Logic

Øhrstrøm, P. & Hasle., P. F. V., 2011, AAU, Aalborg. 7 p. (Natural and Formal Languages, Vol. 16).

Research output: Book/ReportReportResearch

2008
128 Downloads (Pure)

HANDS Deliverable D4.1.1 Report on Test Methodology

Schärfe, H., 2008, Aalborg: Aalborg Universitet. 18 p.

Research output: Book/ReportReportResearch

Open Access
File

HANDS Deliverable D4.2.1 Requirements Report

Aagaard, M., Sandborg-Petersen, U., Schärfe, H. & Albrechtslund, A., 2008, AAU: Aalborg Universitet. 155 p.

Research output: Book/ReportReportResearch

Engineers
273 Downloads (Pure)

Project Quality Plan

Sandborg-Petersen, U. & Øhrstrøm, P., 2008, Aalborg: Aalborg Universitet.

Research output: Book/ReportReportResearch

Open Access
File
1992

C.S. Peirce on the Possibility of a Temporal Logic, WPCS-92-9

Øhrstrøm, P., 1992, Cognitive Science Center, Roskilde. 15 p.

Research output: Book/ReportReportResearchpeer-review

Hypertid: WPCS-92-9

Øhrstrøm, P. & Andersen., P. B., 1992, Cognitive Science Center, Roskilde. 19 p.

Research output: Book/ReportReportResearchpeer-review

1991

Design and Implementation of a Symptom Language used for Diagnosing Component Faults in a Nuclear Power Plant, RISØ-I-582

Øhrstrøm, P. & Nielsen, F. R., 1991, Risø National Laboratory. 10 p.

Research output: Book/ReportReportResearchpeer-review

1988

The Supernatural: Reality, Time and the Transcendent

Øhrstrøm, P. (ed.) & Wilder-Smith, A. E. (ed.), 1988, Pro Universitate.

Research output: Book/ReportReportCommunication

1987

Dialectica, Naturlige og formelle sprog

Øhrstrøm, P. & Nørreklit, L., 1987, AUC, Aalborg.

Research output: Book/ReportReportResearch

Skitse af det tidslogiske system, TEMPUS

Øhrstrøm, P., 1987, Naturlige og formelle sprog.

Research output: Book/ReportReportResearch

1984

Hvad er et videnskabeligt fremskridt?

Øhrstrøm, P., 1984, Institut for Eksakte Videnskabers Historie, Aarhus Universitet 1984. .

Research output: Book/ReportReportCommunication

1983

Tidens gang i tidens løb

Øhrstrøm, P., 1983, Århus: Videnskabshistorisk Museums Venner. 54 p.

Research output: Book/ReportReportCommunication