Dept. of Computer and Information science, Linköping University
Last updated: Tue, 02 Dec 1997 11:02:46
Axelsson, K. (1994). Informationssystemstrategiers betydelse vid förändring av informationssystem.. Technical Report LiTH-IDA-R-94-47, Department of Computer and Information Science, Linköping University, Sweden. Föredrag presenterat på Sundsvall 42, Sundsvall, 18-20 oktober 1994., (bibtex).
Bäckström, C. (1994). Executing Parallel Plans Faster by Adding Actions. Technical Report LiTH-IDA-R-94-22, Department of Computer and Information Science, Linköping University, Sweden. This paper will appear in the proceedings of the 11th European Conference on Artificial Intelligence, Amsterdam, Netherlands, August 1994. Wiley, (abstract), (bibtex).
Bäckström, C. (1994). Finding Least Constrained Plans and Optimal Parallel Executions is Harder than we thought. Technical Report LiTH-IDA-R-94-20, Department of Computer and Information Science, Linköping University, Sweden. This paper is published in C. Bäckström and E. Sandewall (eds.), Current Trends in AI Planning: EWSP'93---2nd European Workshop on Planning, Vadstena, Sweden, Dec. 1993. IOS Press. It will also be presented at the workshop on Algorithms, Complexit and Commonsense Reasoning at the 11th European Conference on Artificial Intelligence, Amsterdam, Netherlands, Aug. 1994, (abstract), (bibtex).
Bennet, T., Olhager, J., and Rapp, B. (1994). Datorisering av MPS-system i svenska företag 1987-1993. Technical Report LiTH-IDA-R-94-41, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Carlshamre, P. (1994). A Field Study in Usability Engineering: Bringing in the Technical Communicators.. Technical Report LiTH-IDA-R-94-44, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Doherty, P. (1994). Notes on PMON Circumscription. Technical Report LiTH-IDA-R-94-43, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Doherty, P., Lukaszewicz, W., and Szalas, A. (1994). Computing Circumscription Revisited: A Reduction Algorithm. Technical Report LiTH-IDA-R-94-42, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Eles, P., Kuchcinski, K., Peng, Z., and Doboli, A. (1994). Back-Annotation of VHDL Behavioral Models for Postsynthesis Simulation. Technical Report LiTH-IDA-R-94-36, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Eles, P., Kuchcinski, K., Peng, Z., and Doboli, A. (1994). Specification of Timing Constraints in VHDL for High-Level Synthesis. Technical Report LiTH-IDA-R-94-37, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Flodin, S. (1994). An Incremental Query Compiler with Resolution of Late Binding.. Technical Report LiTH-IDA-R-94-46, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Fritzson, P. (1994). Proceedings of the Poster Session of CC'94 - International Conference om Compiler Construction. Technical Report LiTH-IDA-R-94-11, Department of Computer and Information Science, Linköping University, Sweden. (bibtex).
Germundsson, R., Gunnarsson, J., Jansson, A., Krus, P., Morin, M., Nadjm-Tehrani, S., Plantin, J., Sethson, M., and Strömberg, J.-E. (1994). Complex Hybrid Systems I - A Study of available Tools and Specification of planned Work. Technical Report LiTH-IDA-R-94-29, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Goldkuhl, G. (1994). Några problem vid datadriven strukturering av informationssystem.. Technical Report LiTH-IDA-R-94-53, Department of Computer and Information Science, Linköping University, Sweden. Presenterat på LISS 94 (Linköpings InformationsSystem Seminarium 1994), 20 april 1994, Linköpings universitet, Linköping., (bibtex).
Goldkuhl, G. (1994). Välgrundad Metodutveckling. Presenterat på VITS. Technical Report LiTH-IDA-R-94-04, Department of Computer and Information Science, Linköping University, Sweden. Höstseminarium, September 28-29, 1993, Institutionen för Datavetenskap, Linköpings universitet, (abstract), (bibtex).
Göran Goldkuhl, D. F. (1994). Metodanalys - en beskrivning av metametoden SIMM.. Technical Report LiTH-IDA-R-94-52, Department of Computer and Information Science, Linköping University, Sweden. Föredrag presenterat på VITS Höstseminarium 1994, Linköping, 23-24 november 1994, (bibtex).
Gu, X., Kuchcinski, K., and Peng, Z. (1994). Testability Analysis and Improvement from VHDL Behavioral Specifications. Technical Report LiTH-IDA-R-94-27, Department of Computer and Information Science, Linköping University, Sweden. Accepted to EURO-DAC'94 with EURO-VHDL'94 Conference, Grenoble, France, September 19-23, 1994, (bibtex).
Karin Pettersson, Annie Röstlinger, A. B. (1994). Datadriven utveckling i kommun - en fallstudie om strukturering av informationssystem.. Technical Report LiTH-IDA-R-94-50, Department of Computer and Information Science, Linköping University, Sweden. (bibtex).
Karin Pettersson, O. E. (1994). VBS på Skogsbolag - en fallstudie om strukturering av informationssystem.. Technical Report LiTH-IDA-R-94-48, Department of Computer and Information Science, Linköping University, Sweden. (bibtex).
Karlsson, L. (1994). Specification and Synthesis of Plans Using the Features and Fluents Framework. Technical Report LiTH-IDA-R-94-28, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Laurent Fribourg, H. O. (1994). Direct, Dual and Contrapositive Proofs by Induction.. Technical Report LiTH-IDA-R-94-45, Department of Computer and Information Science, Linköping University, Sweden. Accepted to LOPSTR 94 (Preproceedings), Pisa, Italy, June 1994., (bibtex).
Lin Padgham, B. N. (1994). Combining Classification and Nonmonotonic Inheritance Reasoning: A First Step.. Technical Report LiTH-IDA-R-94-31, Department of Computer and Information Science, Linköping University, Sweden. Accepted to Proceedings of the Seventh International Symposium on Methodologies for Intelligent Systems, LNAI 689, PP 132-141, Trondheim, Norway., (bibtex).
Malec, J. (1994). Bahaviour-Based Autonomous Systems: Towards an Analysis Framework. Technical Report LiTH-IDA-R-94-03, Department of Computer and Information Science, Linköping University, Sweden. Accepted to the 12th European Meeting on Cybernetics and Systems Research, Vienna, Austria, April 5-8, 1994, (abstract), (bibtex).
Malec, J. (1994). On Implementing Behaviours Using a three-layered Architecture. Technical Report LiTH-IDA-R-94-21, Department of Computer and Information Science, Linköping University, Sweden. Accepted to Intelligent Robotic Systems'94, Grenoble, France, 11-15 July 1994, (abstract), (bibtex).
Malec, J. (1994). A Unified Approach to Intelligent Agency. Technical Report LiTH-IDA-R-94-23, Department of Computer and Information Science, Linköping University, Sweden. Accepted to ECAI'94 Workshop on Agent Theories, Architectures and Languages, Amsterdam, Netherlands, 8-12 Aug 1994, (abstract), (bibtex).
Malec, J., Morin, M., and Palmqvist, U. (1994). Driver Support in Intelligent Autonomous Cruise Control. Technical Report LiTH-IDA-R-94-26, Department of Computer and Information Science, Linköping University, Sweden. Accepted to Intelligent Vehicles Symposium'94, Paris, France, October 24-26, 1994, (abstract), (bibtex).
Orsborn, K. (1994). Applying Next Generation Object-Oriented DBMS to Finite Element Analysis. Technical Report LiTH-IDA-R-94-16, Department of Computer and Information Science, Linköping University, Sweden. Accepted to The 1st International Conference on Applications of Databases (ADB-94), Vadstena, Sweden, June 21-23, 1994, (abstract), (bibtex).
Padgham, L. and Lambrix, P. (1994). A Framework for Part-of Hierarchies in Terminological Logics. Technical Report LiTH-IDA-R-94-30, Department of Computer and Information Science, Linköping University, Sweden. Accepted to Principles of Knowledge Representation and Reasoning, Proceedings of the Fourth International Conference, Eds. Doyle, Sandewall, Torasso, pages:485-496 Bonn, Germany, May 24-27, 1994, (abstract), (bibtex).
Padgham, L. and Löwgren, J. (1994). A User Interface Management Approach for Object-Oriented Database Applications. Technical Report LiTH-IDA-R-94-33, Department of Computer and Information Science, Linköping University, Sweden. Accepted to Journal of Systems and Software, (abstract), (bibtex).
Padgham, L. and Zhang, T. (1994). A Terminological Logic with Defaults: A Definition and an Application. Technical Report LiTH-IDA-R-94-32, Department of Computer and Information Science, Linköping University, Sweden. Accepted to Proceedings of the 13th International JOINT Conference on Artificial Intelligence, pages 662-668 Chambe'ry, France, July 29 - September 3, 1993, (abstract), (bibtex).
Peng, Z. (1994). Digital System Simulation with VHDL in a High-Level Synthesis System. Technical Report LiTH-IDA-R-94-02, Department of Computer and Information Science, Linköping University, Sweden. Published in Microprocessing and Microprogramming, the EUROMICRO Journal Vol 35, 1992, (abstract), (bibtex).
Peng, Z. and Kuchcinski, K. (1994). An Algorithm for Partitioning of Application Specific Systems. Technical Report LiTH-IDA-R-94-01, Department of Computer and Information Science, Linköping University, Sweden. Published in Proceedings of the European Conference on Design Automation EDAC'93, Paris, France, February 22-25, 1993, (abstract), (bibtex).
Pettersson, K. (1994). Consequences of an IRM-based System Development - Experiences from a Case Study. Technical Report LiTH-IDA-R-94-05, Department of Computer and Information Science, Linköping University, Sweden. Accepted to the 16th Information Systems Research Seminar in Scandinavia, Copenhagen, Denmark, August 7-10, 1993, (abstract), (bibtex).
Pettersson, K. (1994). IRM på försäkringsbolag - en fallstudie om strukturering av informationssystem. Technical Report LiTH-IDA-R-94-18, Department of Computer and Information Science, Linköping University, Sweden. (bibtex).
Pettersson, K. (1994). Några problem vid verksamhetsbaserad systemstrukturering. Erfarenheter från tre fallstudier.. Technical Report LiTH-IDA-R-94-49, Department of Computer and Information Science, Linköping University, Sweden. Föredrag presenterat på LISS 94, Linköpings universitet, Linköping, 20 april 1994., (bibtex).
Pettersson, K. (1994). VBS i industriföretag - en fallstudie om strukturering av informationssystem. Technical Report LiTH-IDA-R-94-19, Department of Computer and Information Science, Linköping University, Sweden. (bibtex).
Pettersson, K. and Goldkuhl, G. (1994). A Comparison between two Strategies for Information Systems Architectures. Technical Report LiTH-IDA-R-94-08, Department of Computer and Information Science, Linköping University, Sweden. Accepted to the " Sundsvall 42" , Sundsvall, Sweden, October 19-21, 1993, (bibtex).
Pettersson, M. (1994). RML - A New Language and Implementation for Natural Semantics. Technical Report LiTH-IDA-R-94-25, Department of Computer and Information Science, Linköping University, Sweden. Presented at the International Conference on Programming Language Implementation and Logic Programming (PLILP'94), Madrid, September 14-16, 1994, (abstract), (bibtex).
Röstlinger, A. (1994). STYRKEANALYS Ett arbetssätt för att tillvarata positiva aspekter i verksamheten. Technical Report LiTH-IDA-R-94-24, Department of Computer and Information Science, Linköping University, Sweden. Föredrag presenterat på VITS Höstseminarium, 28-29 sep 1993, Institutionen för datavetenskap, Linköpings universitet, (abstract), (bibtex).
Röstlinger, A. (1994). Att tillvarata styrkan i gjorda IT-investeringar.. Technical Report LiTH-IDA-R-94-54, Department of Computer and Information Science, Linköping University, Sweden. Föredrag presenterat på Sundsvall 42, Sundsvall, 18-20 oktober 1994., (bibtex).
Sandahl, K. (1994). Transferring Knowledge from Active Expert to End-user Environment. Technical Report LiTH-IDA-R-94-34, Department of Computer and Information Science, Linköping University, Sweden. Accepted to Knowledge Acquisition, vol 6, no 1, pages 1-22, (abstract), (bibtex).
Sandahl, K., Eriksson, H., and Österlund, B. (1994). Tool-Based Knowledge Management and Distribution of Knowledge to Customers' End-User in a Biochemical Domain. Technical Report LiTH-IDA-R-94-35, Department of Computer and Information Science, Linköping University, Sweden. Accepted to The International Symposium on the Management of Industrial and Corporate Knowledge, Compi\x8f gne, France, October 26-27, 1994, (abstract), (bibtex).
Sandewall, E. (1994). Features and Fluents. A Systematic Approach to the Representation of Knowledge about Dynamical Systems. Final Review Version. Technical Report LiTH-IDA-R-94-15, Department of Computer and Information Science, Linköping University, Sweden. To be published by Oxford University Press, (abstract), (bibtex).
Sandewall, E. (1994). The Range of Applicability of some Nonmonotonic Logics for Strict Inertia. Technical Report LiTH-IDA-R-94-14, Department of Computer and Information Science, Linköping University, Sweden. To appear in the Journal of Logic and Computation, (abstract), (bibtex).
Save'n, B. (1994). Beslutsstöd och simulering i verkstadsföretag - En sammanfattning av två enkätstudier. Technical Report LiTH-IDA-R-94-17, Department of Computer and Information Science, Linköping University, Sweden. (bibtex).
Sköld, M. and Risch, T. (1994). Compiling Active Object-Relational Rule Conditions into Partially Diffirentiated Relations. Technical Report LiTH-IDA-R-94-10, Department of Computer and Information Science, Linköping University, Sweden. Presented at the Dagstuhl-Seminar on Active Databases, Schloss, Dagstuhl, Germany, March 1994, (abstract), (bibtex).
Söderman, U. (1994). Conceptual Modelling of Physical Systems - a Frame od Reference. Technical Report LiTH-IDA-R-94-39, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Söderman, U. and and, J.-E. S. (1994). Switched Bond Graphs: Towards Systematic Composition of Computational Models. Accepetd to The International Conference on Bond Graph Modeling and Simulation ICBGM95, Las Vegas, USA, January 1995. Technical Report LiTH-IDA-R-94-38, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Söderman, U., Top, J., and Strömberg, J.-E. (1994). The Conceptual Side of Mode Switching. Technical Report LiTH-IDA-R-94-07, Department of Computer and Information Science, Linköping University, Sweden. Accepted to 1993, IEEE International Conference on Systems, Man and Cybernetics, Le Touquet, France, October 1993, (abstract), (bibtex).
Söderman, U., Top, J., and Strömberg, J. E. (1994). Modelling Physical Systems with Changing Structure. Technical Report LiTH-IDA-R-94-06, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Stefan Cronholm, G. G. (1994). Meanings and Motives of Method Customizations in CASE Environments - Observations and categorizations from an empirical study.. Technical Report LiTH-IDA-R-94-51, Department of Computer and Information Science, Linköping University, Sweden. Accepted to the 5th European Workshop on next Generation of CASE Tools, Utrecht, the Netherlands, June 6-7, 1994., (bibtex).
Strömbäck, L. (1994). FLUF: A Flexible Unification Formalism - Syntax and Semantics. Technical Report LiTH-IDA-R-94-13, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Strömbäck, L. (1994). FLUF: A Flexible Unification Formalism - the Idea. The short version accepted to the 15th International Conference on Computational Linguistics, Kyoto, Japan, 5-9 Augusti 1994. Technical Report LiTH-IDA-R-94-12, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Strömberg, J.-E., Söderman, U., and Top, J. (1994). Conceptual Modelling of Hybrid Systems. Technical Report LiTH-IDA-R-94-40, Department of Computer and Information Science, Linköping University, Sweden. Accepted to The European Simulation Conference ESM'94 Barcelona, Spain, June 1994, (abstract), (bibtex).