11
Publications
533
Citations
10
H-Index
1995
Active since
Affiliations
Peter Ørbæk is an author at Aarhus University specializing in engineering, computer science, and data security.
Top concepts
EngineeringComputer ScienceTrustDesignVerificationData SecurityFormal MethodsSoftware AnalysisFormal VerificationTechnology
Publications per year
1995–2003
11
11
Peter Ørbæk, Jens Palsberg · Journal of Functional Programming · 1997 · 97 citations · Full text
Jens Palsberg, Peter Ørbæk · 1995 · 85 citations
Relational Reasoning about Functions and Nondeterminism
Søren B. Lassen, Olivier Danvy, Glynn Winskel et al. · 1999 · 76 citations
Kaj Grønbæk, Jannie F. Kristensen, Peter Ørbæk et al. · 2003 · 65 citations
Architectural Design, Tangible User Interface, Physical Material +14
Rows per page
1–5 of 11