Peter Ørbæk

9 papers and 90 indexed citations i.

Peter Ørbæk has authored 9 papers that have received a total of 90 indexed citations. This includes 4 papers in Artificial Intelligence, 4 papers in Computer Vision and Pattern Recognition and 3 papers in Sociology and Political Science. The topics of these papers are Logic, programming, and type systems (3 papers), Formal Methods in Verification (2 papers) and Interactive and Immersive Displays (2 papers). Peter Ørbæk is often cited by papers focused on Logic, programming, and type systems (3 papers), Formal Methods in Verification (2 papers) and Interactive and Immersive Displays (2 papers) and collaborates with scholars based in Denmark and South Africa. Peter Ørbæk's co-authors include Kaj Grønbæk, Jens Palsberg, Mette Agger Eriksen, Preben Mogensen and Lennert Sloth and has published in prestigious journals such as Computer Networks, Journal of Functional Programming and New Review of Hypermedia and Multimedia