Lars Hallnäs

14 papers and 451 indexed citations i.

Lars Hallnäs has authored 14 papers that have received a total of 451 indexed citations. This includes 8 papers in Artificial Intelligence, 5 papers in Human-Computer Interaction and 3 papers in Computer Vision and Pattern Recognition. The topics of these papers are Logic, programming, and type systems (7 papers), Logic, Reasoning, and Knowledge (7 papers) and Innovative Human-Technology Interaction (5 papers). Lars Hallnäs is often cited by papers focused on Logic, programming, and type systems (7 papers), Logic, Reasoning, and Knowledge (7 papers) and Innovative Human-Technology Interaction (5 papers) and collaborates with scholars based in Sweden, Germany and Denmark. Lars Hallnäs's co-authors include Johan Redström, Peter Schroeder‐Heister, Göran Falkman, Marianne Graves Petersen and Olof Torgersson and has published in prestigious journals such as Theoretical Computer Science, Synthese and ACM Transactions on Computer-Human Interaction.