Lars Hallnäs

Marianne Graves Petersen, Lars Hallnäs, Robert J. K. Jacob: Introduction to special issue on the aesthetics of interaction. ACM Trans. Comput.-Hum. Interact. 15(3) (2008)

Marianne Graves Petersen, Lars Hallnäs, Robert J. K. Jacob: Introduction to special issue on the aesthetics of interaction. ACM Trans. Comput.-Hum. Interact. 15(4) (2008)

Lars Hallnäs: Design process: design rationale the Affective Diary. NordiCHI 2008: 565-566

Lars Hallnäs: On the Proof-theoretic Foundation of General Definition Theory. Synthese 148(3): 589-602 (2006)

Lars Hallnäs, Johan Redström: From use to presence: on the expressions and aesthetics of everyday computational things. ACM Trans. Comput.-Hum. Interact. 9(2): 106-124 (2002)

Lars Hallnäs, Johan Redström: Abstract information appliances: methodological exercises in conceptual design of computational things. Symposium on Designing Interactive Systems 2002: 105-116

Lars Hallnäs, Linda Melin, Johan Redström: Textile displays: using textiles to investigate computational technology as design material. NordiCHI 2002: 157-166

Lars Hallnäs, Johan Redström: Slow Technology - Designing for Reflection. Personal and Ubiquitous Computing 5(3): 201-212 (2001)

Johan Redström, Tobias Skog, Lars Hallnäs: Informative art: using amplified artworks as information displays. Designing Augmented Reality Environments 2000: 103-114

Lars Hallnäs: On Systems of Definitions, Induction and Recursion. BIT 32(1): 45-63 (1992)

Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister (Eds.): Extensions of Logic Programming, Second International Workshop, ELP'91, Stockholm, Sweden, January 27-29, 1991, Proceedings. Lecture Notes in Computer Science 596, Springer 1992, isbn 3-540-55498-X

Lars Hallnäs, Peter Schroeder-Heister: A Proof-Theoretic Approach to Logic Programming. II. Programs as Definitions. J. Log. Comput. 1(5): 635-660 (1991)

Lars Hallnäs: Partial Inductive Definitions. Theor. Comput. Sci. 87(1): 115-142 (1991)

Lars Hallnäs: Logical and Computational Invariants of Programs. ELP 1991: 181-191

Lars Hallnäs, Peter Schroeder-Heister: A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules. J. Log. Comput. 1(2): 261-283 (1990)

Martin Aronsson, Lars-Henrik Eriksson, Anette Gäredal, Lars Hallnäs, Peter Olin: The programming language GCLA - A definitional approach to logic programming. New Generation Comput. 7(4): 381-404 (1990)

Martin Aronsson, Lars-Henrik Eriksson, Lars Hallnäs, Per Kreuger: A Survey of GCLA: A Definitional Approach to Logic Programming. ELP 1989: 49-99

Martin Aronsson, Lars-Henrik Eriksson, Anette Gäredal, Lars Hallnäs, Peter Olin: GCLA: Generalized Horn Clauses as a Programming Language. SCAI 1989: 873-887

Lars Hallnäs: On the syntax of infinite objects: an extension of Martin-Löf's theory of expressions. Conference on Computer Logic 1988: 94-104

Lars Hallnäs: An Intensional Characterization of the Largest Bisimulation. Theor. Comput. Sci. 53: 335-343 (1987)