 | 2008 |
|---|
| 20 |       | Lars Hallnäs:
Design process: design rationale the Affective Diary.
NordiCHI 2008: 565-566 |
| 19 | | 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) |
| 18 | | 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) |
| 2006 |
|---|
| 17 | | Lars Hallnäs:
On the Proof-theoretic Foundation of General Definition Theory.
Synthese 148(3): 589-602 (2006) |
| 2002 |
|---|
| 16 | | Lars Hallnäs,
Linda Melin,
Johan Redström:
Textile displays: using textiles to investigate computational technology as design material.
NordiCHI 2002: 157-166 |
| 15 | | 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 |
| 14 | | 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) |
| 2001 |
|---|
| 13 | | Lars Hallnäs,
Johan Redström:
Slow Technology - Designing for Reflection.
Personal and Ubiquitous Computing 5(3): 201-212 (2001) |
| 2000 |
|---|
| 12 | | Johan Redström,
Tobias Skog,
Lars Hallnäs:
Informative art: using amplified artworks as information displays.
Designing Augmented Reality Environments 2000: 103-114 |
| 1992 |
|---|
| 11 |  | Lars-Henrik Eriksson,
Lars Hallnäs,
Peter Schroeder-Heister:
Extensions of Logic Programming, Second International Workshop, ELP'91, Stockholm, Sweden, January 27-29, 1991, Proceedings
Springer 1992 |
| 10 | | Lars Hallnäs:
On Systems of Definitions, Induction and Recursion.
BIT 32(1): 45-63 (1992) |
| 1991 |
|---|
| 9 | | Lars Hallnäs:
Logical and Computational Invariants of Programs.
ELP 1991: 181-191 |
| 8 | | 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) |
| 7 | | Lars Hallnäs:
Partial Inductive Definitions.
Theor. Comput. Sci. 87(1): 115-142 (1991) |
| 1990 |
|---|
| 6 | | 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) |
| 5 | | 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) |
| 1989 |
|---|
| 4 | | Martin Aronsson,
Lars-Henrik Eriksson,
Lars Hallnäs,
Per Kreuger:
A Survey of GCLA: A Definitional Approach to Logic Programming.
ELP 1989: 49-99 |
| 3 | | 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 |
| 1988 |
|---|
| 2 | | 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 |
| 1987 |
|---|
| 1 | | Lars Hallnäs:
An Intensional Characterization of the Largest Bisimulation.
Theor. Comput. Sci. 53: 335-343 (1987) |
Data released under the ODC-BY 1.0 license — See also our legal information page