IDA Dept. of Computer and Information science, Linköping University

IDA Technical Reports, 1985

Last updated: Tue, 02 Dec 1997 11:01:56


Deransart, P. and Maluszynski, J. (1985). RELATING LOGIC PROGRAMS AND ATTRIBUTE GRAMMARS (Revised version). Technical Report LiTH-IDA-R-85-08, Department of Computer and Information Science, Linköping University, Sweden. Revised version (LiTH-IDA-R.84-07) Also in Journal of Logic Programming, (abstract), (bibtex).

Drabent, W. (1985). An Experiment with Domain Construction for Denotational Semantics. Technical Report LiTH-IDA-R-85-17, Department of Computer and Information Science, Linköping University, Sweden. (bibtex).

Einarsson, B. (1985). The Structure of Mixed Language Programming Realization. Technical Report LiTH-IDA-R-85-01, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Fagerström, J. (1985). Experiences with Occam: A Simulator for Asynchronous Processes. Technical Report LiTH-IDA-R-85-14, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the Hawaii International Conference on System Sciences, HICSS-19, Hawaii, 1985.Proc. of the Hawaii International Conference on System Sciences, HICSS-19, Hawaii, 1985, (abstract), (bibtex).

Kuchinski, K. and Peng, Z. (1985). Microprogramming Implementation of Timed Petri Nets. Technical Report LiTH-IDA-R-85-19, Department of Computer and Information Science, Linköping University, Sweden. Also publ in North-Holland INTEGRATION, the VLSI Journal No 5, 1987, (abstract), (bibtex).

Lawson, Jr., and W., H. (1985). Architecting VLSI Systems. Technical Report LiTH-IDA-R-85-03, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the ASEAN-EEC Seminar "Introduction to Integrated Circuit Design", Singapore, 19-22 July 1983, (abstract), (bibtex).

Lawson, Jr., and W., H. (1985). Impact of CAD and Integrated Circuit Developments on Telecommunication. Technical Report LiTH-IDA-R-85-02, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the European Teleinformatics Conference in Varese, Italy, 3-6 October, 1983, (abstract), (bibtex).

Lingas, A. (1985). A Linear-Time Heuristic for Minimum Weight Triangulation of Convex Polygons. Technical Report LiTH-IDA-R-85-12, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the Allerton Conference on Communication, Control, and Computing, Urbana, Illinois, October, 1985, (abstract), (bibtex).

Lingas, A. (1985). On Partitioning Polygons. Technical Report LiTH-IDA-R-85-13, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the 1st ACM Symposium on Computational Geometry, Baltimore, Maryland, June 5-7, 1985, (abstract), (bibtex).

Lingas, A. (1985). Subgraph Isomorphism for Easily Separable Graphs of Bounded Valence. Technical Report LiTH-IDA-R-85-15, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of International Workshop on Graphtheoretic Concepts in Computer Science, Castle Schwanberg, Wuerzburg, Germany, June 18-21, 1985, (abstract), (bibtex).

Peng, Z. (1985). A Unified Approach to Design Representation and Synthesis of VLSI Systems. Technical Report LiTH-IDA-R-85-18, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the 19th Annual Hawaii International Conference on System Sciences, Jan 8-10, 1986, (abstract), (bibtex).

Rehmnert, R., Sandahl, K., and Granstedt, O. (1985). Knowledge Organization in an Expert System for Spot-Welding Robot Configuration. Technical Report LiTH-IDA-R-85-10, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the 5th Int. Workshop on Expert Systems and Their Applications, Avignon, 1985, (abstract), (bibtex).

Rönnquist, R. (1985). Relational Algebra in I.M.S. Theory. Technical Report LiTH-IDA-R-85-06, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Sandahl, K. (1985). Creating an Antibody Analysis Advisor as an Exploratory investigation into Expert System Development. Technical Report LiTH-IDA-R-85-20, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Sandahl, K., Hägglund, S., Hilde'n, J.-O., Rehmnert, R., and Reshagen, L. (1985). The Antibody Analysis Advisor and its Migration into a Production Environment. Technical Report LiTH-IDA-R-85-16, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the 1st Int. Conf. on Expert Systems, London 1985, (bibtex).

Sandewall, E. (1985). A Functional Approach to Non-Monotonic Logic. Technical Report LiTH-IDA-R-85-07, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of IJCAI-85, Los Angeles, 1985, (bibtex).

Siemienski, P. (1985). Towards an Integrated VLSI CAD System the Database and its Implementation. Technical Report LiTH-IDA-R-85-04, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).


Goto (at Linköping University):
CS Dept TR Overview
Maintained by webmaster