| Slow technology–designing for reflection L Hallnäs, J Redström Personal and ubiquitous computing 5, 201-212, 2001 | 868 | 2001 |
| From use to presence: on the expressions and aesthetics of everyday computational things L Hallnäs, J Redström ACM Transactions on Computer-Human Interaction (TOCHI) 9 (2), 106-124, 2002 | 407 | 2002 |
| Informative art: using amplified artworks as information displays J Redström, T Skog, L Hallnäs Proceedings of DARE 2000 on Designing augmented reality environments, 103-114, 2000 | 245 | 2000 |
| A proof-theoretic approach to logic programming. I. Clauses as rules L Hallnäs, P Schroeder-Heister Journal of Logic and Computation 1 (2), 261-283, 1990 | 162* | 1990 |
| Interaction design: foundations, experiments L Hallnäs, J Redström Textile Research Centre, Swedish School of, 2006 | 160 | 2006 |
| Partial inductive definitions L Hallnas Theoretical Computer Science 87 (1), 115-142, 1991 | 153 | 1991 |
| On the foundations of interaction design aesthetics: Revisiting the notions of form and expression L Hallnäs International Journal of design 5 (1), 2011 | 65 | 2011 |
| Abstract information appliances: Methodological exercises in conceptual design of computational things L Hallnäs, J Redström Proceedings of the 4th conference on Designing interactive systems …, 2002 | 64 | 2002 |
| Introduction to special issue on the aesthetics of interaction MG Petersen, L Hallnäs, RJK Jacob ACM Transactions on Computer-Human Interaction (TOCHI) 15 (4), 1-5, 2008 | 61* | 2008 |
| Towards a next wave of wearable and fashionable interactions O Tomico, L Hallnäs, RH Liang, SAG Wensveen International Journal of Design 11 (3), 2017 | 59 | 2017 |
| Textile displays: Using textiles to investigate computational technology as design material L Hallnäs, L Melin, J Redström Proceedings of the second Nordic conference on Human-computer interaction …, 2002 | 53 | 2002 |
| The programming language GCLA—a definitional approach to logic programming M Aronsson, LH Eriksson, A Gäredal, L Hallnäs, P Olin New Generation Computing 7, 381-404, 1990 | 46 | 1990 |
| On normalization of proofs in set theory L Hallnäs Dissertationes Mathematicae, 1988 | 41 | 1988 |
| On normalization of proofs in set theory H Lars PhD thesis, University of Stockholm, 1983 | 41* | 1983 |
| Expressions: Towards a Design Practice of Slow Technology. L Hallnäs, P Jaksetic, P Ljungstrand, J Redström, T Skog INTERACT, 447-454, 2001 | 36 | 2001 |
| A survey of GCLA: a definitional approach to logic programming M Aronsson, LH Eriksson, L Hallnäs, P Kreuger Extensions of Logic Programming: International Workshop Tübingen, FRG …, 1991 | 27 | 1991 |
| A proof-theoretic approach to logic programming, I. Generalized horn clauses L Hallnäs, P Schroeder-Heister Swedish Institute of Computer Science, 1988 | 26 | 1988 |
| On the proof-theoretic foundation of general definition theory L Hallnäs Synthese 148, 589-602, 2006 | 25 | 2006 |
| A design research program for textiles and computational technology L Hallnäs, L Melin, J Redström Nordic textile journal 1 (2), 56-63, 2002 | 22 | 2002 |
| Teaching interaction design: Matters, materials and means S Lundgren, O Torgersson, L Hallnäs, P Ljungstrand, E Eriksson | 18 | 2006 |
