Lars Hallnäs

Publication Activity (10 Years)

Years Active: 1987-2008
Publications (10 Years): 0

Publications

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)
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)
Lars Hallnäs
On the Proof-theoretic Foundation of General Definition Theory. Synth. 148 (3) (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) (2002)
Lars Hallnäs, Johan Redström
Abstract information appliances: methodological exercises in conceptual design of computational things. Symposium on Designing Interactive Systems (2002)
Lars Hallnäs, Linda Melin, Johan Redström
Textile displays: using textiles to investigate computational technology as design material. NordiCHI (2002)
Lars Hallnäs, Johan Redström
Slow Technology - Designing for Reflection. Pers. Ubiquitous Comput. 5 (3) (2001)
Lars Hallnäs, Patricija Jaksetic, Peter Ljungstrand, Johan Redström, Tobias Skog
Expressions: Towards a Design Practice of Slow Technology. INTERACT (2001)
Johan Redström, Tobias Skog, Lars Hallnäs
Informative art: using amplified artworks as information displays. Designing Augmented Reality Environments (2000)
Lars Hallnäs, Per Kreuger
Partial Inductive Definitions (Tutorial). ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)
Göran Falkman, Lars Hallnäs, Olof Torgersson
Program Separation in GCLA. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)
Lars Hallnäs
On Systems of Definitions, Induction and Recursion. BIT 32 (1) (1992)
Lars Hallnäs
Partial Inductive Definitions. Theor. Comput. Sci. 87 (1) (1991)
Lars Hallnäs, Peter Schroeder-Heister
A Proof-Theoretic Approach to Logic Programming. II. Programs as Definitions. J. Log. Comput. 1 (5) (1991)
Lars Hallnäs
Logical and Computational Invariants of Programs. ELP (1991)
Lars Hallnäs, Peter Schroeder-Heister
A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules. J. Log. Comput. 1 (2) (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 Gener. Comput. 7 (4) (1990)
Martin Aronsson, Lars-Henrik Eriksson, Lars Hallnäs, Per Kreuger
A Survey of GCLA: A Definitional Approach to Logic Programming. ELP (1989)
Martin Aronsson, Lars-Henrik Eriksson, Anette Gäredal, Lars Hallnäs, Peter Olin
GCLA: Generalized Horn Clauses as a Programming Language. SCAI (1989)
Lars Hallnäs
On the syntax of infinite objects: an extension of Martin-Löf's theory of expressions. Conference on Computer Logic (1988)
Lars Hallnäs
An Intensional Characterization of the Largest Bisimulation. Theor. Comput. Sci. 53 (1987)