Dept. of Computer and Information science, Linköping University
Last updated: Tue, 02 Dec 1997 11:02:02
Ahrenberg, L. (1986). Lexikalisk-funktionell grammatik på svenska. Technical Report LiTH-IDA-R-86-07, Department of Computer and Information Science, Linköping University, Sweden. Finns i proc. från föredrag vid de nordiska datalingvistikdagarna 1985, Helsingfors Universitet, institutionen för lingvistik, (abstract), (bibtex).
Dahlbäck, N. and Jönsson, A. (1986). A System for Studying Human-Computer Dialogues in Natural Language. Technical Report LiTH-IDA-R-86-42, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Dean, J. A., Lingas, A., and Sack, J.-R. (1986). On Recognizing Polygons, or how to Eavesdrop. Technical Report LiTH-IDA-R-86-41, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc of the Allerton Conference on Communication, Control, and Computing, Urbana, Illinois, 1986, (abstract), (bibtex).
Drabent, W. and Maluszynski, J. (1986). Proving Run-Time Properties of Logic Programs. Technical Report LiTH-IDA-R-86-23, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Driankov, D. (1986). A Calculus for Belief-Intervals Representation of Uncertainty. Technical Report LiTH-IDA-R-86-17, Department of Computer and Information Science, Linköping University, Sweden. Also in International Conference on Information Processing and Management of Uncertainty in Expert Systems, Paris, June 30-July 4, 1986, (bibtex).
Driankov, D. (1986). Inference with a Single Fuzzy Conditional Proposition. Technical Report LiTH-IDA-R-86-15, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc of IJCAI87 and in International Journal for Fuzzy Sets and Systems, (abstract), (bibtex).
Driankov, D. (1986). Inference with Consistent Probabilities in Expert Systems. Technical Report LiTH-IDA-R-86-12, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of IJCAI-87, (abstract), (bibtex).
Driankov, D. (1986). An Outline of Fuzzy Sets Approach to Decision Making with Independent Goals. Technical Report LiTH-IDA-R-86-16, Department of Computer and Information Science, Linköping University, Sweden. Also in International Journal for Fuzzy Sets and Systems, (abstract), (bibtex).
Driankov, D. (1986). Uncertainty Calculus with Verbally Defined Belief-Intervals. Technical Report LiTH-IDA-R-86-14, Department of Computer and Information Science, Linköping University, Sweden. Also in International Journal of Intelligent Systems, (bibtex).
Fagerström, J. (1986). Tradeoffs in an Architecture based on Asynchronous Processes. Technical Report LiTH-IDA-R-86-22, Department of Computer and Information Science, Linköping University, Sweden. Accepted for 2nd Nordic Symposium on VLSI in Computers and Communications, 1986, (abstract), (bibtex).
Fagerström, J., Larsson, Y., and Strömberg, L. (1986). Debugging Techniques for Distributed Environments. Technical Report LiTH-IDA-R-86-35, Department of Computer and Information Science, Linköping University, Sweden. Accepted for the Workshop on Compiler and Incremental Compilation, Bautzen, East Germany, October 11-18, 1986 and the Workshop on Programming Environments - Programming Paradigms, Roskilde, Denmark, October 22-24, 1986, (abstract), (bibtex).
Fagerström, J., Larsson, Y., and Strömberg, L. (1986). Distributed Debugging - Collected Ideas. Technical Report LiTH-IDA-R-86-21, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Fagerström, J. and Patel, M. R. (1986). High-level Simulation of Systolic Architecture. Technical Report LiTH-IDA-R-86-24, Department of Computer and Information Science, Linköping University, Sweden. Accepted for the International Workshop on Systolic Arrays, Oxford, July 2-4, 1986, (abstract), (bibtex).
Fjellborg, B. (1986). A Simulation Study of Four Binary Tree Structures. Technical Report LiTH-IDA-R-86-19, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Fritzson, P. (1986). A Common Intermediate Representation for C, Pascal, Modula-2 and Fortran-77. Technical Report LiTH-IDA-R-86-38, Department of Computer and Information Science, Linköping University, Sweden. Also presented at the Workshop on Compiler Compilers and Incremental Compilation, Bautzen, DDR, October 12-17, 1986, (abstract), (bibtex).
Fritzson, P. (1986). Systems and Tools for Exploratory Programming Overview and Examples. Technical Report LiTH-IDA-R-86-36, Department of Computer and Information Science, Linköping University, Sweden. Also presented at the Workshop on Programming Environments - Programming Paradigms, Roskilde, Denmark, October 22-24, 1986, (abstract), (bibtex).
Jönsson, A. and Patel, M. (1986). An Interactive Flowcharting Technique for Communicating and Realizing Algorithms. Technical Report LiTH-IDA-R-86-04, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the 19th Annual Hawaii International Conference on System Science, January 8-10, 1986, (abstract), (bibtex).
Kamkar, M. and Shahmehri, N. (1986). Runtime Dependent Program Flow Analysis. Technical Report LiTH-IDA-R-86-40, Department of Computer and Information Science, Linköping University, Sweden. This is a revised version of paper presented at the Workshop on Programming Environments - Programming Paradigms, Roskilde, Denmark, October 22-24, 1986, (abstract), (bibtex).
Karlsson, R. G. (1986). Greedy Matching on a Grid. Technical Report LiTH-IDA-R-86-25, Department of Computer and Information Science, Linköping University, Sweden. Also in BIT, (abstract), (bibtex).
Karlsson, R. G. (1986). Point Location in Discrete Computational Geometry. Technical Report LiTH-IDA-R-86-26, Department of Computer and Information Science, Linköping University, Sweden. A preliminary version appeared in Proc. 6th Brazilian Congress on Computing, July 1986, (abstract), (bibtex).
Karlsson, R. G. and Munro, J. I. (1986). Proximity on a Grid under L1 and L1 Metrics. Technical Report LiTH-IDA-R-86-27, Department of Computer and Information Science, Linköping University, Sweden. A preliminary version appeared in 2nd Symposium on Theoretical Aspects of Computer Science, 1985, Springer-Verlag, LNCS, 182, 187-196, (abstract), (bibtex).
Karlsson, R. G. and Overmars, M. H. (1986). Normalized Divide and Conquer: A Scaling Technique for Solving Multi-Dimentional Problems. Technical Report LiTH-IDA-R-86-37, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Karlsson, R. G. and Overmars, M. H. (1986). Scanline Algorithms on a Grid. Technical Report LiTH-IDA-R-86-30, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Komorowski, J. and Maluszynski, J. (1986). Logic Programming and Rapid Prototyping. Technical Report LiTH-IDA-R-86-20, Department of Computer and Information Science, Linköping University, Sweden. Also published as report TR-01-86, Harward University, Aiken Computation Laboratory, USA, (bibtex).
Lawson, Jr., and W., H. (1986). An Asynchronous Approach to Microprogramming. Technical Report LiTH-IDA-R-86-09, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Lawson, Jr., and W., H. (1986). The DATASAAB Flexible Central Processing Unit. Technical Report LiTH-IDA-R-86-06, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Lennartsson, B. (1986). Programming Environments and Paradigms - Some Reflections. Technical Report LiTH-IDA-R-86-32, Department of Computer and Information Science, Linköping University, Sweden. Appeared at the Workshop on Programming Environments - Programming Paradigms, Roskilde, Denmark, October 22-24, 1986, (abstract), (bibtex).
Levcopoulos, C. (1986). A fast Heuristic for Covering Polygons by Rectangles. Technical Report LiTH-IDA-R-86-03, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of Int. Conf. on Fundamentals of Computation Theory (FCT'85), Cottbus, GDR, September 1985 and in Lecture Notes in Computer Science No 199, (abstract), (bibtex).
Levcopoulos, C. (1986). Fast Heuristic for Minimum Length Rectangular Partitions of Polygons. Technical Report LiTH-IDA-R-86-08, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the Second ACM Symposium on Computational Geometry, Yorktown Heights, New York, June 2-4, 1986, (abstract), (bibtex).
Levcopoulos, C. (1986). Minimum Length and "Thickest-First" Rectangular Partitions of Polygons. Technical Report LiTH-IDA-R-86-01, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc.of the 23rd Annual Allerton Conference on Communication, Control and Computing, Monticello, Illinois, October, 1985, (abstract), (bibtex).
Lingas, A. (1986). Subgraph Isomorphism for Biconnected Outerplanar Graphs in Cubic Time. Technical Report LiTH-IDA-R-86-10, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the 3rd Symposium on Theoretical Aspects of Computer Science, January 1986, Orsay, France and Lecture Notes in Computer Science, Springer Verlag, (abstract), (bibtex).
Lingas, A. (1986). THE GREEDY TRIANGULATION HEURISTIC FOR MINIMUM WEIGHT TRIANGULATION OF CONVEX POLYGONS APPROXIMATES THE OPTIMUM. Technical Report LiTH-IDA-R-86-11, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the 2nd ACM Symposium on Computational Geometry, Yorktown Heights, New York, June 1986, (bibtex).
Merkel, M. (1986). A Swedish Grammar in D-PATR. Experiences of working with D-PATR. Technical Report LiTH-IDA-R-86-31, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Padgham, L. (1986). LINCKS Linköpings Intelligent Knowledge Communication System. Technical Report LiTH-IDA-R-86-18, Department of Computer and Information Science, Linköping University, Sweden. Also presented at I.F.I.P. Conference on Methods and Tools for Office Systems, Pisa, Italy, October 22-24, 1986 and at Interactiva Administrativa System Konferens, Åre 14-16 April, 1986, (bibtex).
Peng, Z. (1986). Integration of VLSI Design Tools by a Unified Design Representation. Technical Report LiTH-IDA-R-86-29, Department of Computer and Information Science, Linköping University, Sweden. Published as a part of the Proc of the 2nd Nordic Symposium on VLSI in Computers and Communications, June 2-4, 1986, (abstract), (bibtex).
Peng, Z. (1986). Synthesis of VLSI Systems with the CAMAD Design Aid. Technical Report LiTH-IDA-R-86-28, Department of Computer and Information Science, Linköping University, Sweden. Also published as part of the Proc of the 23rd ADM/IEEE Design Automation Conference, Las Vegas, June 29 - July 2, 1986, (abstract), (bibtex).
Rankin, I. (1986). SMORF - an Implementation of Hellberg's Morphology System. Technical Report LiTH-IDA-R-86-34, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc of the Fifth Scandinavian Conference of Computational Linguistics, University of Helsinki, pp 161-172, (bibtex).
Rankin, I. (1986). SMORF User's Guide. Technical Report LiTH-IDA-R-86-33, Department of Computer and Information Science, Linköping University, Sweden. (bibtex).
Rönnquist, R. (1986). The Information Lattice of Networks Used for Knowledge Representation. Technical Report LiTH-IDA-R-86-02, Department of Computer and Information Science, Linköping University, Sweden. (bibtex).
Sandewall, E. (1986). Department of Computer and Information Science Annual Research Report 1985. Technical Report LiTH-IDA-R-86-05, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Sandewall, E. et al. (1986). Department of Computer and Information Science Annual Research Report 1986. Technical Report LiTH-IDA-R-86-44, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Sandewall, E. and Rönnquist, R. (1986). A Representation of Action Structures. Technical Report LiTH-IDA-R-86-13, Department of Computer and Information Science, Linköping University, Sweden. (bibtex).
Strömfors, O. (1986). Editing Large Programs Using a Structure-Oriented Text Editor. Technical Report LiTH-IDA-R-86-43, Department of Computer and Information Science, Linköping University, Sweden. Also presented at the International Workshop on Advanced Programming Environments, Trondheim, Norway, June 16-18, 1986, (abstract), (bibtex).
Strömfors, O. (1986). A Structure Editor as a Template for Programming Environment Functions. Technical Report LiTH-IDA-R-86-39, Department of Computer and Information Science, Linköping University, Sweden. Also presented at the Workshop on Programming Environments - Programming Paradigms, Roskilde, Denmark, October 22-24, 1986, (abstract), (bibtex).