Lars Hallnäs

发表

Expressions: Towards a Design Practice of Slow Technology

Peter Ljungstrand, Johan Redström, Lars Hallnäs, 2001, INTERACT.

Editorial: Where Art, Technology and Design Meet

Lars Hallnäs, Nancy de Freitas, 2012 .

On the Proof-theoretic Foundation of General Definition Theory

Lars Hallnäs, L. Hallnäs, 2006, Synthese.

Extensions of Logic Programming

Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister, 1993, Lecture Notes in Computer Science.

Slow Technology – Designing for Reflection

Johan Redström, Lars Hallnäs, L. Hallnäs, 2001, Personal and Ubiquitous Computing.

The programming language GCLA — A definitional approach to logic programming

Lars-Henrik Eriksson, Lars Hallnäs, Martin Aronsson, 2009, New Generation Computing.

Textile displays: using textiles to investigate computational technology as design material

Johan Redström, Lars Hallnäs, Linda Melin, 2002, NordiCHI '02.

An Intensional Characterization of the Largest Bisimulation

Lars Hallnäs, 1987, Theor. Comput. Sci..

Ambience08, Proceedings : Smart Textiles- Technology and Design

Lars Hallnäs, Pernilla Walkenström, Lennart Wasling, 2008 .

Logical and Computational Invariants of Programs

Lars Hallnäs, 1991, ELP.

Design for Sound Hiders

Lars Hallnäs, Margareta Zetterblom, 2003 .

On the Proof-Theoretic Foundations of Set Theory

Lars Hallnäs, L. Hallnäs, Lars Hallnäs, 2016, Advances in Proof-Theoretic Semantics.

Design process: design rationale the Affective Diary

Lars Hallnäs, 2008, NordiCHI.

Interaction Design Methods in Fashion Design Teaching

Clemens Thornquist, Lars Hallnäs, Maria Nordström, 2007 .

Modedesign – samtal med Ann-Sofie Back - Ann-Sofie Back, Åsa Göransson - Blank, Astrid Olsson - Fifth Avenue Shoe Repair, Karl-Wilhelm Björk - Velour, Rickard Lindqvist - Rickard Lindqvist, Sandra Backlund - Sandra Backlund

Lars Hallnäs, Lotta Lundstedt, 2008 .

GCLA: Generalized Horn Clauses as a Programming Language

Lars-Henrik Eriksson, Lars Hallnäs, Martin Aronsson, 1989, SCAI.

Informative art: using amplified artworks as information displays

Johan Redström, Lars Hallnäs, Tobias Skog, 2000, DARE '00.

Smart Textiles : Strategic Issues and the Role of Experimental Design

Lars Hallnäs, 2008 .

A Delphi study of research needs for Swedish libraries

Bengt Persson, Maria Nyström, Lars Hallnäs, 2009 .

A Proof-Theoretic Approach to Logic Programming. II. Programs as Definitions

Lars Hallnäs, Peter Schroeder-Heister, P. Schroeder-Heister, 1991, J. Log. Comput..

Program Separation in GCLA

Olof Torgersson, Göran Falkman, Lars Hallnäs, 1994, ICLP Workshop: Proof-Theoretical Extensions on Logic Programming.

Integrerad design : Några inledande tankar Juni 2006

Lars Hallnäs, Lars Höglund, Olov Forsgren, 2006 .

Interaction Design: Foundations, Experiments

Johan Redström, Lars Hallnäs, L. Hallnäs, 2006 .

Teaching Interaction Design: Matters, Materials and Means

Sus Lundgren, Eva Eriksson, Olof Torgersson, 2006 .

Proceedings of the Second International Workshop on Extensions of Logic Programming

Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister, 1991 .

On systems of definitions, induction and recursion

Lars Hallnäs, Lars Hallnäs, 1992, BIT.

The all-important difference… concepts of creativity in the fashion design process

Lars Hallnäs, 2009 .

Partial Inductive Definitions (Tutorial)

Lars Hallnäs, Per Kreuger, 1994, ICLP Workshop: Proof-Theoretical Extensions on Logic Programming.

A Design Research Program for Textiles and Computational Technology

Johan Redström, Lars Hallnäs, Linda Melin, 2002 .

A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules

Lars Hallnäs, Peter Schroeder-Heister, L. Hallnäs, 1990, J. Log. Comput..

Smart Textiles : what for and why?

Lars Hallnäs, Linda Worbin, Margareta Zetterblom, 2005 .

Abstract information appliances: methodological exercises in conceptual design of computational things

Johan Redström, Lars Hallnäs, 2002, DIS '02.

From use to presence: on the expressions and aesthetics of everyday computational things

Johan Redström, Lars Hallnäs, L. Hallnäs, 2002, TCHI.

The Textile-Thinking Paradox

Lars Hallnäs, 2018 .

Introduction to special issue on the aesthetics of interaction

Robert J. K. Jacob, Marianne Graves Petersen, Lars Hallnäs, 2008, TCHI.

The all important difference… Concepts of creativity in fashion design

Lars Hallnäs, 2007 .

The design research text and the poetics of foundational definitions

Lars Hallnäs, 2010 .

Textile interaction design

Johan Redström, Lars Hallnäs, 2008 .

Conference Proceedings on Extensions of logic programming

Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister, 1992 .

Ambience´11 Proceedings

Hanna Landin, Lars Hallnäs, Annika Hellström, 2011 .

Partial Inductive Definitions

Lars Hallnäs, L. Hallnäs, Lars Hallnäs, 1991, Theor. Comput. Sci..

In search of a new theory of professions

Bengt Persson, Lars Hallnäs, Lars Höglund, 2008 .

On the syntax of infinite objects: an extension of Martin-Löf's theory of expressions

Lars Hallnäs, Lars Hallnäs, 1988, Conference on Computer Logic.

Introduction to special issue on the aesthetics of interaction

Robert J. K. Jacob, Marianne Graves Petersen, Lars Hallnäs, 2008, TCHI.

Models of partial inductive definitions

Lars Hallnäs, 1991 .

Design Process : Design Rationale: The Affective Diary, Critique on Design Case in: Gulz, A. et. al.

Lars Hallnäs, 2008, NordiCHI 2008.

Towards a next wave of wearable and fashionable interactions (editorial)

Stephan Wensveen, Lars Hallnäs, O. Tomico Plasencia, 2017 .

Interaction design aesthetics

Lars Hallnäs, 2004 .

Generalized horn clauses

Lars Hallnäs, 1986 .

A proof-theoretic approach to logic programming, I. Generalized horn clauses

Lars Hallnäs, Peter Schroeder-Heister, L. Hallnäs, 1988 .

On normalization of proofs in set theory

Lars Hallnäs, Christer Lech, 1983 .

On the foundations of interaction design aesthetics: Revisiting the notions of form and expression

Lars Hallnäs, L. Hallnäs, Lars Hallnäs, 2011 .

A programming calculus based on partial inductive definitions (with an introduction to the theory of partial inductive definitions)

Lars-Henrik Eriksson, Lars Hallnäs, 1988 .

Partial inductive definitions

Lars Hallnäs, 1991 .