The SCEAS System
Navigation Menu

Search the dblp DataBase


Lars Hallnäs: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Lars Hallnäs, Johan Redström
    Abstract information appliances: methodological exercises in conceptual design of computational things. [Citation Graph (0, 0)][DBLP]
    Symposium on Designing Interactive Systems, 2002, pp:105-116 [Conf]
  2. Lars Hallnäs
    On the syntax of infinite objects: an extension of Martin-Löf's theory of expressions. [Citation Graph (0, 0)][DBLP]
    Conference on Computer Logic, 1988, pp:94-104 [Conf]
  3. Johan Redström, Tobias Skog, Lars Hallnäs
    Informative art: using amplified artworks as information displays. [Citation Graph (0, 0)][DBLP]
    Designing Augmented Reality Environments, 2000, pp:103-114 [Conf]
  4. Martin Aronsson, Lars-Henrik Eriksson, Lars Hallnäs, Per Kreuger
    A Survey of GCLA: A Definitional Approach to Logic Programming. [Citation Graph (0, 0)][DBLP]
    ELP, 1989, pp:49-99 [Conf]
  5. Lars Hallnäs
    Logical and Computational Invariants of Programs. [Citation Graph (0, 0)][DBLP]
    ELP, 1991, pp:181-191 [Conf]
  6. Martin Aronsson, Lars-Henrik Eriksson, Anette Gäredal, Lars Hallnäs, P. Olin
    GCLA: Generalized Horn Clauses as a Programming Language. [Citation Graph (0, 0)][DBLP]
    SCAI, 1989, pp:873-887 [Conf]
  7. Lars Hallnäs, Linda Melin, Johan Redström
    Textile displays: using textiles to investigate computational technology as design material. [Citation Graph (0, 0)][DBLP]
    NordiCHI, 2002, pp:157-166 [Conf]
  8. Lars Hallnäs
    On Systems of Definitions, Induction and Recursion. [Citation Graph (0, 0)][DBLP]
    BIT, 1992, v:32, n:1, pp:45-63 [Journal]
  9. Lars Hallnäs, Peter Schroeder-Heister
    A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1990, v:1, n:2, pp:261-283 [Journal]
  10. Lars Hallnäs, Peter Schroeder-Heister
    A Proof-Theoretic Approach to Logic Programming. II. Programs as Definitions. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1991, v:1, n:5, pp:635-660 [Journal]
  11. Lars Hallnäs, Johan Redström
    Slow Technology - Designing for Reflection. [Citation Graph (0, 0)][DBLP]
    Personal and Ubiquitous Computing, 2001, v:5, n:3, pp:201-212 [Journal]
  12. Lars Hallnäs
    An Intensional Characterization of the Largest Bisimulation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:53, n:, pp:335-343 [Journal]
  13. Lars Hallnäs
    Partial Inductive Definitions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:87, n:1, pp:115-142 [Journal]
  14. Lars Hallnäs, Johan Redström
    From use to presence: on the expressions and aesthetics of everyday computational things. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput.-Hum. Interact., 2002, v:9, n:2, pp:106-124 [Journal]

  15. Design process: design rationale the Affective Diary. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002