Dept. of Computer and Information science, Linköping University
Last updated: Tue, 02 Dec 1997 11:02:07
Ahrenberg, L. and Jönsson, A. (1987). An Interactive System for Tagging Dialogues. Technical Report LiTH-IDA-R-87-22, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of 14th Conference of the Association for Literary and Linguistic Computing, Göteborg 1-5 June, 1987, (abstract), (bibtex).
Bäckström, C. (1987). Logical Modelling of Simplified Geometrical Objects and Mechanical Assembly Processes. Technical Report LiTH-IDA-R-87-05, Department of Computer and Information Science, Linköping University, Sweden. Also published in Spatial Reasoning, vol. 1" ed. Su-shing Chen, Ablex, (abstract), (bibtex).
Bilos, R. (1987). A Token-Based Syntax Sensitive Editor. Technical Report LiTH-IDA-R-87-02, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Chowdhury, S. I. (1987). State of the Art in Statistical Expert Systems. Technical Report LiTH-IDA-R-87-16, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the Conference on Expert Systems and their Applications, Avignon, May 1987, (abstract), (bibtex).
Dahlbäck, N. (1987). Kommunikation med datorer i naturligt språk - vad är det och vem behöver det?. Technical Report LiTH-IDA-R-87-15, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Drabent, W. (1987). Do Logic Programs Resemble Programs in Conventional Languages?. Technical Report LiTH-IDA-R-87-01, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc of the Fourth IEEE Symposium on Logic Programming, San Francisco, Aug.31-Sept.4. 1987, (bibtex).
Fritzson, P. (1987). Window System Architectures - an Overview. Technical Report LiTH-IDA-R-87-14, Department of Computer and Information Science, Linköping University, Sweden. Also presented at A Tutorial on Software Development Environments, Linköping University, Nov. 24-25 1986, (bibtex).
Hägglund, S. (1987). Knowledge-Based Training of Case Management Routines and Emergency Procedures. Technical Report LiTH-IDA-R-87-11, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Haneclou, P. (1987). A Formal Approach to Reason-Maintenance based on Abstract Domains. Technical Report LiTH-IDA-R-87-07, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Hultman, J. (1987). COOPS - A Software System for Defining and Controlling Actions in a Mechanical System. Technical Report LiTH-IDA-R-87-06, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Kuchcinski, K. and Peng, Z. (1987). Parallelism Extraction from Sequential Programs for VLSI Applications. Technical Report LiTH-IDA-R-87-20, Department of Computer and Information Science, Linköping University, Sweden. Also published in Microprocessing and Microprogramming, the Euromicro Journal, 1988, (abstract), (bibtex).
Larsson:, T. (1987). Specification and Verification of VLSI Systems Actional Behaviour. Technical Report LiTH-IDA-R-87-17, Department of Computer and Information Science, Linköping University, Sweden. This is a close version of a paper presented at the 8th international conference on Computer Hardware Description Languages, CHDL, 1987, (abstract), (bibtex).
Lawson, H. W. (1987). Challenges and Directions in Computers and Education. Technical Report LiTH-IDA-R-87-21, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Levcopoulos, C., Lingas, A., and Sack, J.-R. (1987). Nearly Optimal Heuristics for Binary Search Trees with Geometric Generalizations. Technical Report LiTH-IDA-R-87-08, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc of ICALP'87, Karlsruhe, July 1987, (abstract), (bibtex).
Lingas, A. (1987). On Parallel Complexity of the Subgraph Isomorphism Problem. Technical Report LiTH-IDA-R-87-10, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Lingas, A. and Karpinski, M. (1987). Subtree Isomorphism and Bipartite Perfect Matching are Mutually NC Reducible. Technical Report LiTH-IDA-R-87-09, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Löwgren, J. (1987). Applying a Rapid Prototyping System to Control Panel Dialogues. Technical Report LiTH-IDA-R-87-26, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Moen, S. (1987). Drawing Dynamic Trees. Technical Report LiTH-IDA-R-87-24, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Nordin, H. (1987). Reuse and Maintenance Techniques in Knowledge-based Systems. Technical Report LiTH-IDA-R-87-18, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Patel, M. R. (1987). A Threaded Interpretive Language Supporting Programming in the Large. Technical Report LiTH-IDA-R-87-03, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc of the Sixth Rochester Forth Conference, University of Rochester, Rochester, New York, June 11-14, 1986, (abstract), (bibtex).
Peng, Z. (1987). Construction of Asynchronous Concurrent Systems from their Behavioral Specifications. Technical Report LiTH-IDA-R-87-19, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the 10th World Computer Congress, Dublin, Ireland, Sept. 1-5, 1986, (abstract), (bibtex).
Wire'n, M. (1987). A Comparison of Rule-Invocation Strategies in Context-Free Chart Parsing. Technical Report LiTH-IDA-R-87-13, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the Third Conference of the European Chapter of the Association for Computational Linguistics. Copenhagen, April 1|3, 1987, (bibtex).