Ahrenberg, L., Jönsson, A., and Thurée, Å. (1993). Customizing interaction for natural language interfaces workshop on pragmatics in dialogue. In The XIV:th Scandinavian Conference of Linguistics and the VIII:th Conference of Nordic and General Linguistics, Göteborg, Sweden.
Ahrenberg, L. and Merkel, M. (1994a). Translation corpora and translation support tools. Languages in Contrast. Text-based cross-linguistic studies, To be published.
Ahrenberg, L. and Merkel, M. (1994b). Using cross-language recurrence for phrase alignment and translation validation. Paper to be presented at the Workshop on Language Engineering on the Information Highway, September 26 - 30, 1994, Santorini.
Alberg, H., Johansson, Ö., and Ohlsson, N. (1993). Predicting error-prone software modules. In Ericsson Telecom AB, editor, Nordisk Teletrafik Seminarium, volume 11.
Andersson, N. and Fritzson, P. (1994). Overview and industrial application of code generator generators. Journal of Systems and Software, February issue.
Axelsson, J., Menth, S., and Semmler, K. (1993). Genetic algorithms in industrial design. In Fifth International Conference on Tools with Artificial Intelligence, Boston, USA.
Bäckström, C. (1993a). Finding least constrained plans and optimal parallel executions is harder than we thought. In Bäckström, C. and Sandewall, E., editors, Current trends in AI planning: EWSP'93-2nd European Workshop on Planning, Vadstena, Sweden. EWSP, IOS Press. Also accepted to Workshop on Algorithms, Complexity and Commonsense Reasoning at the 11th European Conference on Artificial Intelligence, ECAI'94, Amsterdam, The Netherlands, August 8-12, 1994.
Bäckström, C. (1993b). Tractable planning problems: A challenge for deductive planning. In Biundo, S. and Waldinger, R., editors, Deductive Approaches to Plan Generation and Plan Recognition, page 8, Schloß Dagstuhl, Wadern, Germany. Internationale Begegnungs- und Forschungszentrum für Informatik (IBFI). All talks invited. Only abstracts published.
Bäckström, C. (1994a). Executing parallel plans faster by adding actions. In Cohn, A. G., editor, Proceedings of the 11th European Conference on Artificial Intelligence, ECAI'94, pages 615-619, Amsterdam, The Netherlands. Wiley.
Bäckström, C. (1994b). Planning using transformation between equivalent formalisms: A case study of efficiency. In Wilkins, D., editor, Comparative Analysis of AI Planning Systems, Seattle, WA, USA. Held in conjunction with AAAI-94.
Bennet, T., Olhager, J., and Rapp, B. (1994). Computerization of manufacturing planning and control systems in Sweden 1980-1993. In IFIP Conference on Evaluation of Production Management Methods, Elsevier Amsterdam.
Björklind, A. (1994). An architecture for organising dynamic information about space and time. In Albrechtsen, H. and Oernager, S., editors, Knowledge Organization and Quality Management. Proc. of the Third Int. ISKOConf., volume 4, pages 358-365, Copenhagen, Denmark.
Björklund, L. (1994). The potential of using knowledge organising tools in collaborative system development. In Albrechtsen, H. and Oernager, S., editors, Knowledge Organization and Quality Management. Proc. of the Third Int. ISKOConf., volume 1, pages 264-271, Copenhagen, Denmark.
Busch, B. (1993). Intuitionistic three-valued logic and SLDNF-resolution. In Proc. of the Second International Workshop on Logic Programming and Non-Monotonic Reasoning, Lisbon.
Carlshamre, P. (1993). Looking back on my first year as a maintainer. The Software Practitioner, 3(6):10-13.
Carlshamre, P. (In press). Technical communicators and system developers collaborating in usability-oriented systems development: A case study. In Proc. SIGDOC'94. ACM SIGDOC.
Carlshamre, P., Löwgren, J., and Rantzer, M. (1994). Usability meets the real world: A case study of usability-oriented method development in industrial software production. In Bradley, G. E. and Hendrick, H. W., editors, Proc. 4th Int. Symp. Human Factors in Organization Design and Management (ODAM'94), pages 427-432. North-Holland.
Cheikes, B. (1993). Methodological issues in the design of intelligent and cooperative information systems. In Proc. of the International Conference on Intelligent and Cooperative Information Systems (ICICIS-93), pages 3-12, Rotterdam, The Netherlands. IEEE, Computer Society Press.
Cronholm, S. and Goldkuhl, G. (1992). Meanings and motives of method customizations in CASE environments - observations and categorizations from an empirical study. In Proc. of the 5th European Workshop on Next Generation of CASE tools, Utrecht, The Netherlands.
Dahlbäck, N., Jönsson, A., and Ahrenberg, L. (1993). Wizard of Oz Studies - Why and How. Knowledge-Based Systems, 6 (4):258-266.
Doherty, P. (1994). Reasoning about action and change using occlusion. In Cohn, A., editor, 11th European Conference on Artificial Intelligence, ECAI'94, Amsterdam, The Netherlands. ECAI, John Wiley & Sons.
Doherty, P., Driankov, D., and Hellendoorn, H. (1993). Fuzzy If-Then-Unless Rules and Their Implementation. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 1(2).
Doherty, P. and Lukaszewicz, W. (1994a). Circumscribing features and fluents. In 1st International Conference on Temporal Logic (ICTL94), Bonn, Germany.
Doherty, P. and Lukaszewicz, W. (1994b). Circumscribing features and fluents: A fluent logic for reasoning about action and change. Accepted to ISMIS'94, Charlotte, N.C., USA.
Driankov, D., Eklund, P. W., and Ralescu, A. L., editors (1994a). Fuzzy Logic and Fuzzy Control, volume 833 of Lecture Notes in Artificial Intelligence. Springer-Verlag.
Driankov, D. and Fodor, G. (1993). Ontological real-time control. In Proceedings of EUFIT'93, Aachen, Germany.
Driankov, D., Hellendoorn, H., and Reinfrank, M. (1993). Introduction to Fuzzy Control. Springer Verlag.
Driankov, D. and Palm, R. (1994). Fuzzy inputs. In Proceedings of the IEEE'94 Fuzzy Systems Conference, Orlando, USA.
Driankov, D., Palm, R., and Hellendoorn, H. (1994b). Fuzzy control with fuzzy inputs: the need for new rule semantics. In Proceedings of IEEE'94 Fuzzy Systems Conference, Orlando, USA.
Driankov, D., Palm, R., and Hellendoorn, H. (1994c). Some research directions in fuzzy control. In Yager, R. et al., editors, Theoretical Aspects of Fuzzy Control. John Wiley & Sons.
Ekman, A., Törne, A., and Strömberg, D. (1994). A robot control formalism based on an information quality concept. In AIAA/NASA Conference on Intelligent Robots for Factory, Field, Service, and Space, Houston, Texas.
Eles, P., Kuchcinski, K., Peng, Z., and Minea, M. (1993). Synthesis of VHDL subprograms and processes in the CAMAD system. In Proc. Workshop on Design Methodologies for Microelectronics and Signal Processing, Cracow, Poland.
Eles, P., Kuchcinski, K., Peng, Z., and Minea, M. (1994a). Synthesis of VHDL concurrent processes. In Proc. EURO-DAC'94 with EURO-DAC'94, Grenoble, France.
Eles, P., Peng, Z., and Doboli, A. (1994b). VHDL System-Level Specification and Partitioning in a Hardware/Software Co-Synthesis Environment. In Proc. 3rd International Workshop on Hardware/Software Co-Design, Grenoble, France.
Eriksson, H. (1994). Models for knowledge-acquisition tool design. Knowledge Acquisition, 6(1):47-74.
Eriksson, H., Puerta, A. R., and Musen, M. A. (in press). Generation of knowledge-acquisition tools from domain ontologies. International Journal of Human-Computer Studies.
Eriksson, H., Shahar, Y., Tu, S. W., Puerta, A. R., and Musen, M. A. (in press). Task modeling with reusable problem-solving methods. Artificial Intelligence.
Fahl, G., Risch, T., and Sköld, M. (1993). AMOS - an architecture for active mediators. In Proc. Workshop on Next Generation Information Technologies and Systems (NGITS 93), Haifa, Israel. To appear.
Fjällström, P.-O. (1993). Evaluation of a Delaunay-based method for surface approximation. Computer-Aided Design, 25(11):711-719.
Fodor, G. and Driankov, D. (1994). Fuzzy logic control under violations of ontological assumptions. In Proceedings of EUFIT'94, Aachen, Germany.
Forslund, G. (In Press). Designing for flexibility: A case study. Expert Systems. Accepted for publication.
Fritzson, D., Fritzson, P., Viklund, L., and Herber, J. (1994). Object-Oriented Mathematical Modelling - Applied to Machine Elements. Computers & Structures, 51(3):241-253.
Fritzson, P., editor (1994). Proceedings of CC'94 - the 5:th International Conference on Compiler Construction, volume 786 of Lecture Notes in Computer Science. Springer Verlag.
Gu, X., Kuchcinski, K., and Peng, Z. (1994). Testability analysis and improvement from VHDL behavioral specifications. In Proc. EURO-DAC'94 with EURO-DAC'94, Grenoble, France.
Hägglund, S. (1993). Introducing expert critiquing systems. The Knowledge Engineering Review, 8(4).
Hägglund, S. (1994). On the need and support for user-centred design. In Proc. 4th Int. Symp. Human Factors in Organization Design and Management (ODAM'94).
Hirsch, R. (1994a). Achieving reference: 'A rope of no use'. In Geiger, R. A., editor, Reference in a Multidisciplinary Perspective Philosophical Object, Cognitive Subject, Intersubjective Process. Hildesheim: Georg Olms Verlag. To appear.
Hirsch, R. (1994b). Gesture universals: Material and formal constraints. In Sebeok, T. A. and Umiker-Sebeok, J., editors, Advances in Visual Semiotics. Bloomington, Indiana: University of Indiana Press. To appear.
Hirsch, R. (1994c). Interaktive Argumentation: Theorie und Daten 'Auf der Suche nach einer Theorie interaktiver Argumentation'. In Wohlrapp, H., editor, Wege der Argumentationsforschung. Stuttgart/Bad Cannstatt: frommann-holzboog Verlag. To appear.
Hjerppe, R. (1994). A framework for the description of generalised documents. In Albrechtsen, H. and Oernager, S., editors, Knowledge Organization and Quality Management. Proc. of the Third Int. ISKOConf., volume 4, pages 173-180, Copenhagen, Denmark.
Johansson, M. (1994a). Identification of quality characteristics for methods in DSS requirements engineering using Quality Function Deployment (QFD). In Proceedings of IRIS '94, Uolu, Finland. Uolu University Press.
Johansson, O. (1994b). Using an extended ER-model based data dictionary to automatically generate product modeling systems. In itwin, W. and Risch, T., editors, 1st International Conference on Applications of Databases (ADB-94), volume 819 of Lecture Notes in Computer Science, Vadstena, Sweden. Springer Verlag.
Jonsson, P. and Bäckström, C. (1994a). Complexity results for state-variable planning under mixed syntactical and structural restrictions. In Jorrand, P., editor, Proceedings of the 6th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA-94), Sofia, Bulgaria. World Scientific Publishing. Also accepted to Workshop on Algorithms, Complexity and Commonsense Reasoning at the 11th European Conference on Artificial Intelligence, ECAI'94, Amsterdam, The Netherlands, August 8-12, 1994.
Jonsson, P. and Bäckström, C. (1994b). Tractable planning with state variables by exploiting structural restrictions. In Proceedings of the Twelfth US National Conference on Artificial Intelligence (AAAI-94), pages 998-1003, Seattle, USA. American Association for Artificial Intelligence, AAAI Press / The MIT Press.
Kågedal, A. (1994). A Dataflow Analysis Method for Ground Prolog. In Hentenryck, P. V., editor, Proceedings of the 11th International Conference on Logic Programming, pages 746-747. The MIT Press. Poster abstract.
Karlsson, J. and Lindvall, M. (In Press). Experience with requirements specification evolution. In Second IEEE International Symposium On Requirements. Submitted.
Kovordányi, R. (1994). Attention as an inhibiting force in 'creative' reinterpretation of ambigous images. In Proceedings of the First International Summer Institute in Cognitive Science. To be published.
Larsson, M. (1994). An engineering approach to formal digital system design. In Proc. 7th International Workshop on Higher Order Logic Theorem Proving and its Applications, Malta.
Lennartsson, B., Shahmehri, N., and Bonnier, S. (1994). On exploiting declarative programming and parallel execution in computer based real-time systems. In Proceedings of the IEEE Workshop on Systems Engineering of Computer Based Systems, ECBS'94. IEEE.
Lindvall, M. (1994a). Object-oriented maintenance. In Object-Oriented Programming - Issues and Actions. Presentation held at workshop arranged by Oregon Center for Advanced Technology Education, Feb 28 - Mar 1, 1994.
Lindvall, M. (1994b). Object-oriented modeling in practice. The Software Practitioner, 4(2).
Lindvall, M. (1994c). Objectory - a Swedish object-oriented methodology. In Object-Oriented Programming - Issues and Actions. Presentation held at workshop arranged by Oregon Center for Advanced Technology Education, Feb 28 - Mar 1, 1994.
Loborg, P. (1993). Error recovery - an overview. In LiTH Robotikdagar, Automatiserad tillverkning från högteknologi till tillämpning, Linköping. Later version presented at AAAI 94 Spring Symposium on Detecting and Resolving Errors in Manufacturing Systems, Stanford, Ca, spring 1994.
Loborg, P., Risch, T., Sköld, M., and Törne, A. (1993). Active OO databases in control applications, in microprocessing and microprogramming. In Proceedings of the 19th Euromicro Conference, volume 38, pages 255-264, Barcelona.
Loborg, P. and Törne, A. (1994). Manufacturing control system principles supporting error recovery. In Working notes of the AAAI 94 Spring Symposium Series: Detecting and Resolving Errors in Manufacturing Systems, Stanford, Ca.
Löwgren, J. (1994). Empirical foundations for design rationale as user-interface design support. In Opperman, R., Bagnara, S., and Benyon, D., editors, Proc of the 7th European Conf. Cognitive Ergonomics (ECCE 7), pages 305-310, St Augustin, Germany. GMD. GMD-Studien Nr. 233.
Löwgren, J. and Laurén, U. (1993). Supporting the use of guidelines and style guides in professional user-interface design. Interacting with Computers, 5(4):385-396.
Löwgren, J., Quinn, C., Gasen, J., and Gorny, P. (Forthcoming). Designing the teaching of HCI: Report from a CHI'94 workshop. SIGCHI Bulletin. Accepted for publication.
Malec, J. (1993). On formal analysis of emergent properties. In Bäckström, C. and Sandewall, E., editors, Current trends in AI planning, pages 213-225, Vadstena, Sweden. EWSP, IOS Press.
Malec, J. (1994a). Autonomous robot control using a three-layered architecture. Accepted to Scandinavian Symposium on Robotics, Stockholm - Helsinki.
Malec, J. (1994b). Behaviour-based autonomous systems: Towards an analysis framework. In Procedings of the 12th European Meeting on Cybernetics and Systems Research, Vienna, Austria.
Malec, J. (1994c). On implementing behaviours using a three-layered architecture. In Intelligent Robotic Systems '94, Grenoble, France.
Malec, J. (1994d). A unified approach to intelligent agency. Accepted to ECAI'94, Workshop on Agent Theories, Architectures and Languages, Amsterdam, The Netherlands.
Malec, J., Morin, M., and Palmqvist, U. (1994). Driver support in intelligent autonomous cruise control. Accepted to IEEE Intelligent Vehicles Symposium '94, Paris, France.
Malec, J. and Österling, P. (1994). Situation assessment in traffic scenarios. In Proc. of Second International Round Table on Abstract Intelligent Agents, "Situation Assessment", Rome, Italy. ENEA.
Merkel, M. (1993). Semiotics at work: Technical translation and communication in a multilingual corporate environment. In Proceedings of NODALIDA (Nordiska Datalingvistikdagarna), Stockholm University. Co-author: Arne Larsson, Nokia Telecommunications.
Merkel, M., Nilsson, B., and Ahrenberg, L. (1994). A phrase-retrieval system based on recurrence. In Proceedings from the Second Annual Workshop on Very Large Corpora, Kyoto, Japan.
Morin, M. and Karlsson, L. (1994). Object Oriented Simulation with WSIM. In Langemyr, L., editor, Proceedings of the 36th Simulation Conference, SIMS'94, pages 25-29, Stockholm, Sweden.
Nadjm-Tehrani, S. and Strömberg, J.-E. (1994). From physical modelling to compositional models of hybrid systems. Accepted to 3rd International Symposium on Formal Methods in Real-Time and Fault-Tolerant Systems, FMRTFT'94, Lübeck, Germany, September 1994. To appear as Lecture Notes in Computer Science, Springer Verlag.
Näslund, T. (1994). "Usability is extremely important - but it's somebody else's job, I hope". In Kerola, P., Juustila, A., and Järvinen, J., editors, Proceedings of the 17th Information systems research seminar in Scandinavia (IRIS17), Research paper series A21, pages 653-667. University of Oulu, Departement of Information Processing Science.
Nebel, B. and Bäckström, C. (1994). On the computational complexity of temporal projection, planning and plan validation. Artificial Intelligence, 66:125-160.
Nilsson, U. (1993). Goal-directed Bottom-up Evaluation of Normal Logic Programs. In Proc. of the International Logic Programming Symposium, Vancouver. MIT Press. Poster abstract.
Nordling, P. and Fritzson, P. (1994). Solving ordinary differential equations on parallel computers - applied to dynamic rolling bearings simulation. In Dongarra, J. J., Hansen, P. C., and Wasniewski, J., editors, PARA'94, Workshop on Parallel Scientific Computig. UNI-C, Danmarks EDB-Center for Forskning og Uddannelse.
Ohlsson, N. (1994a). Monitoring software projects. In Systems Engineering of Computer Based Systems. IEEE Society, FMV, NUTEK, IEEE Press. Position Paper.
Ohlsson, N. (1994b). Predicting error-prone software modules in telephone switches. In International Switching Symposium. Submitted.
Olhager, J. and Rapp, B. Different approaches to a flow shop problem. European Journal of Operational Research, 75(2):469-473.
Olhager, J. and Rapp, B. (1994). Operations research techniques in manufacturing planning and control systems. International Transactions in Operational Research, 1(4).
Orsborn, K. (1994). Applying next generation Object-Oriented DBMS to finite element analysis. In Litwin, W. and Risch, T., editors, 1st International Conference on Applications of Databases (ADB-94), volume 819 of Lecture Notes in Computer Science, Vadstena, Sweden. Springer Verlag. LiTH-IDA-R-94-16.
Paakki, J. (1994). Multi-pass evaluation of functional logic programs. In Proc. of 21th ACM Symposium on Principles of Programming Languages. The ACM, Portland, Oregon.
Padgham, L. and Lambrix, P. (1994). A framework for part-of hierarchies in terminological logics. In Doyle, J., Sandewall, E., and Torasso, P., editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference, pages 485-496, Bonn, Germany.
Padgham, L. and Löwgren, J. (1994). A user interface management approach for object-oriented database applications. Journal of Systems and Software, 27(3). In press.
Padgham, L. and Zhang, T. (1993). A terminological logic with defaults: A definition and an application. In 13th International Joint Conference on Artificial Intelligence, volume 2, pages 662-668, Chambéry, France.
Peng, Z. (1994). Testability-driven high-level synthesis. In Proceedings of the 1994 International Conference on ASIC, Beijing, China.
Peng, Z. and Kuchcinski, K. (1993). An algorithm for partitioning of application specific systems. In Proceedings of the European Conference on Design Automation EDAC'93, Paris, France.
Peng, Z. and Kuchcinski, K. (1994). Automated transformation of algorithms into register-transfer level implementations. IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, 13.
Peng, Z. and Törne, A. (1994). Timing analysis and conditional scheduling in a real-time system design environmen. In Proc. 6th EUROMICRO Workshop on Real-Time Systems, Västerås, Sweden.
Persson, J. (1994). A resource based approach to generalization in the context of GIS. In Harts, J., Ottens, H., and Scholten., H., editors, EGIS/MARI `94. Fifth European Conf. and Exhibition on Geographical Information Systems, volume 1, pages 142-150, Paris, France. Utrecht, EGIS Foundation.
Pettersson, M. (1994). RML - A new language and implementation for natural semantics. In Proceedings of PLILP'94, Programming Language Implementation and Logic Programming. Also in volume 844 pp 117-131 of Lecture Notes in Computer Science (LNCS).
Rankin, I. (1993). Natural language generation in critiquing. Knowledge Engineering Review, 8(4).
Ringström, J., Fritzson, P., and Pettersson, M. (1994). Generating an efficient compiler for a data parallel language from a denotational specification. In Fritzson, P. A., editor, Compiler Construction - 5th International Conference, CC '94, volume 786 of Lecture Notes in Computer Science, pages 248-262. Springer-Verlag.
Sandahl, K. (1993). Developing knowledge-based systems with active expert participation. In Proceedings of 5th Int. Conf. on Software Engineering and Knowledge Engineering, SEKE-93, pages 589-595, San Fransisco.
Sandahl, K. (1994). Transferring knowledge from active expert to end-user environment. Knowledge Aquisition, (6):1-22.
Sandahl, K., Eriksson, H., and Österlund, B. (1994). Tool-based knowledge management and distribution of knowledge to customer's end user in a biochemical domain. In Proc. of the International Symposium on the Management of Industrial and Corporate Knowledge, Compeigne, France. Accepted for presentation.
Sandewall, E. (1994). The range of applicability of some nonmonotonic logics for strict inertia. Journal of Logic and Computation. To appear.
Shahmehri, N., Kamkar, M., and Fritzson, P. (1993). Usability criteria for automated debugging systems. Journal of Systems and Software, November issue.
Sjöberg, C. and Timpka, T. (1994). Participatory design in practice: forgetfulness as a design resource. In Bradley, G., editor, Human Factors in Organizational Design and Management IV. Elsevier, Amsterdam.
Sjölin, M. (1994). A WWW Front End to an OODBMS. In Proceedings of the Second International World Wide Web Conference, Chicago, USA.
Sköld, M. and Risch, T. (1994). Compiling active object-relational rule conditions into partially differentiated relations. Technical report, IDA. Presented at the Dagstuhl seminar on Active Databases, Schloss Dagstuhl, Germany.
Stoy, E. and Peng, Z. (1994a). A design representation for hardware/software co-synthesis. In Proc. Euromicro Conference'94, System Architecture and Integration, Liverpool, UK.
Stoy, E. and Peng, Z. (1994b). An integrated modelling technique for hardware/software systems. In Proc. IEEE International Symposium on Circuits and Systems, London, UK.
Strömbäck, L. (1994a). Achieving flexibility in unification formalisms. In Proc. 15th International Conference on Computational Linguistics, volume II, pages 842-846, Kyoto, Japan.
Strömbäck, L. (1994b). FLUF: A Flexible Unification Formalism - the Idea. A short version accepted to the 15th International Conference on Computational Linguistics, IDA, Kyoto, Japan.
Strömberg, J.-E. and Nadjm-Tehrani, S. (1994). On discrete and hybrid representation of hybrid systems. In Proceedings of European Simulation Multiconference, ESM '94, Barcelona, Spain.
Strömberg, J.-E., Söderman, U., and Top, J. (1994). Conceptual modelling of hybrid systems. In Proceedings of European Simulation Multiconference, ESM '94, pages 1095-1099, Barcelona, Spain.
Svenberg, S. (1994). Representing conceptual and linguistic knowledge for multi-lingual generation in a technical domain. In Proc. of 7th Intl. Generation Workshop, pages 245-248, Kennebunkport, Maine.
Thomas, P. and Löwgren, J. (1994). From theory to action: Teaching research and practice in technology. In Proc. of the 11th Int. Conf. Technology and Education (ICTE'94), volume 2, pages 984-986, London.
Timpka, T. (1994a). The health care crisis: End or beginning of the hay-day of medical decision support systems. Meth Inf Med, 1994;33:332-5. (Editorial).
Timpka, T. (1994b). Organizational learning in the continuous development of health care: making use of information technology to increase the total service quality. In Bradley, G., editor, Human Factors in Organizational Design and Management IV. Elsevier, Amsterdam.
Timpka, T. and Arborelius, E. (1994). The primary health care nurse's dilemmas: a study of knowledge use and need during telephone consultations. In Bradley, G., editor, Readings in advanced nursing, pages 127-142. Oxford: Blackwells Scientific.
Timpka, T. and Johansson, M. (1994). The need for requirements engineering in the development of clinical decision support systems: a qualitative study. Meth Inf Med, (33):227-233.
Timpka, T. and Marmolin, H. (1994). Expertext systems at ambulatory clinics. In Proceedings of World Congress on Expert Systems '94, New York. Pergamon Press. (Invited paper).
Timpka, T., Rauch, E., and Nyce, J. M. (1994). Towards productive knowledge based systems in medicine: a methods perspective. Artificial Intelligence in Medicine, (6). In press.
Timpka, T. and Sjöberg, C. (1994). Voices of design: the dynamics pf participatory information system design. In Proceedings of Participatory Design T94, Chappel Hill. CPSR. (in press).
Wirén, M. (1993). Bounded incremental parsing. In Proceedings of the 6th Twente Workshop on Language Technology, pages 145-156, Twente, The Netherlands.
Wirén, M. (1994). Minimal change and bounded incremental parsing. In Proceedings of the 15th International Conference on Computational Linguistics, pages 461-467, Kyoto, Japan.
Björklund, L. (1993). Planning for the evaluation of TemaKat. Technical Report LiU-LIBLAB-WP:91, IDA. Paper presented at ECSCW 93, Workshop on Evaluation Studies, 12 sept. 1993, Milano.
Björklund, L. and Hjerppe, R. (1994). Visualisering: verktyg, metoder och data för använd-ning i bibliotekssammanhang. Technical Report LiU-LIBLAB-WP:93, IDA.
Brewer, J. (1993). Browsing explanation space. Memo 93-03, ASLAB, Linköping University.
Brolin, A., Cronholm, S., and Fristedt, D. (1993a). Business modelling. Technical Report LiTH-IDA-R-93-41, VITS Linköping University.
Brolin, A., Cronholm, S., and Fristedt, D. (1993b). Business modelling - en empirisk studie. Technical Report LiTH-IDA-R-93-40, VITS Linköping University.
Carlshamre, P., Löwgren, J., and Rantzer, M. (1994). Usability meets the real world: A case study of usability-oriented method development in industrial software production. In Proceedings of the 4th Annual IDA Conference on Computer and Information Science, Linköping, Sweden.
Doherty, P. and Lukaszewicz, W. A study in modal embeddings of NML3. In Doherty, P. and Lukaszewicz, W., editors, Partiality, Modality, and Nonmonotonicity. Also part of the WP6 DRUMS deliverable (conference).
Eklund, F. and Kågedal, A. (1994). Optimization of CAPLog programs. Accepted to the 10th Logic Programming Workshop, Zuerich.
Ekman, A. (1994). Exploration of polygonal environments. In 4th Annual IDA Conference on Computer and Information Science, Linköping, Sweden.
Eles, P., Kuchcinski, K., Peng, Z., and Minea, M. (1993). Two methods for synthesizing VHDL concurrent processes. Technical Report LiTH-IDA-R-93-22, IDA.
Engelson, V. and Auguston, M. (1994). The programming language rigal, a tool for compiler writing. In Proceedings of NWPER'94, Nordic Workshop on Programming Environment Research, pages 167-176, Lund University, Sweden. Department of Computer Science, Lund Institute of Technology.
Ericsson, M. (1994). User interface design support tools and critiquing. In Proceedings of the 4th Annual IDA Conference on Computer and Information Science, Linköping, Sweden.
Eriksson, M., Forslund, G., Granlund, R., Kovordányi, R., and Ragnemalm, E. L. (1994). Essays in cognitive science. Memo 94-01, ASLAB, Linköping University.
Eriksson, O. (1993). Att beteckna och benämna i samband med utformning av informations-system. VITS Höstseminarium 1993, IDA, Linköping Universitet.
Forslund, G. (1993). Textgenerering i 2:a generationens äventyrsspel. Memo 93-04, ASLAB, Linköping University.
Forslund, G. (1994). Decision making and judgement in humans and machines. In Proceedings of the 4th Annual IDA Conference on Computer and Information Science, Linköping, Sweden. A previous version appeared in the tech. report ASLAB-memo 94-01.
Fribourg, L. and Olsén, H. (1994). Direct, Dual and Contrapositive Proofs by Induction. In Proc. of International Workshop on Logic Program Synthesis and Transformation, LOPSTR'94. Preprints, Pisa University.
Fristedt, D. (1994). Metodmodellering av reflex - en fallstudie kring tillämpning av metod-analys enligt SIMM. Technical report, Institutionen för datavetenskap, Linköpings universitet.
Goldkuhl, G. Några problem vid datadriven strukturering av informationssystem. In LISS '94 IDA, Linköping, Sweden.
Goldkuhl, G. (1993). Välgrundad metodutveckling. VITS Höstseminarium 1993, IDA, Linköpings universitet.
Goldkuhl, G. and Cronholm, S. (1993). Customizable CASE environments: a framework for design and evaluation. In COPE IT'93/NordDATA, Copenhagen, Denmark.
Goldkuhl, G., Cronholm, S., and Krysander, C. (1992). Adaptation of CASE tools to different systems development methods. In Proc. of the 15th Information Systems Research Seminar in Scandinavia (IRIS), Larkollen, Norway.
Goldkuhl, G. and Fristedt, D. (1994). Metodanalys - en beskrivning av metametoden SIMM. IDA, Linköpings universitet.
Granlund, R. (1994a). Developing models for describing actors in a distributed problem solving situation. In Proceedings of the 4th Annual IDA Conference on Computer and Information Science, Linköping, Sweden. A previous version appeared in the tech. report ASLAB memo 94-01.
Granlund, R. (1994b). InfSS Borensberg: A military training center for commanders and staff. Memo 94-01, ASLAB, Linköping University.
Granlund, R. (1994c). Reflections on support tools for environment simulation in InfSS Borensberg. Memo 94-04, ASLAB, Linköping University.
Gu, X., Kuchcinski, K., and Peng, Z. (1994). Register-transfer level testability analysis and improvement. In 1st International Test Synthesis Workshop, Santa Barbara, CA, USA.
Hägglund, S., Wallgren, L., et al., editors (1993). Department of Computer and Information Science: Activity Report 1991-92. Department of Computer and Information Science.
Hall, T. (1994). A framework for user support. In Proceedings of Fourth Annual IDA Conference on Computer and Information Science, University of Linköping, Sweden. Department of Computer and Information Science.
Haraldsson, A. (1993). Programmering i Lisp. Studentlitteratur.
Hirsch, R. (1994a). A critique of Dennis Day's "The Culture of Intercultural Communication". In Day, D., editor, Proceedings from the XIVth Scandinavian Conference of Linguistics: Workshop on Anthropological Linguistics. August 16-21, 1993 Dept. of Linguistics. University of Göteborg. To appear.
Hirsch, R. (1994b). Desiderata for the representation of process and product in face-to-face interactive argumentation. In Eemeren, V. et al., editors, Proceedings on the Third International Conference on Argumentation, Amsterdam, The Netherlands.
Hirsch, R. (1994c). Linguistics without language. In Day, D., editor, Proceedings from the XIVth Scandinavian Conference of Linguistics: Workshop on Anthropological Linguistics. August 16-21, 1993 Dept. of Linguistics. University of Göteborg. To appear.
Hjerppe, R. (1994). Studier av användningen av IDAKat. En avslutning på TemaKat-projektet. Technical Report LiU-LIBLAB-WP:92, IDA.
Hjerppe, R., Jungert, E., and Ohlsson, K. (1994). Establishing and Managing Improvised Meetings. Improving Access to Heterogeneous Information Resources in Physical Planning. Technical Report LiU-LIBLAB-WP:95, IDA.
Hjerppe, R. and Öhrman, M. (1994). Semi-intelligent filtrering av elektronisk post. Technical Report LiU-LIBLAB-WP:94, IDA.
Johansson, O. (1993). Produktmodeller - objektorienterad datamodellering. In Proceedings of Produktmodeller-93 Workshop, ISBN 91-7871-212-2, pages 210-237, Linköping, Sweden.
Karlsson, J. (1994a). A survey of inspection methods. Memo 94-07, ASLAB, Linköping University.
Karlsson, J. S. (1994b). An implementation of transaction logging and recovery in a main memory resident database system. Master's thesis, Linköping University. LiTH-IDA-Ex-9404, 1994-01-28.
Kovordányi, R. (1994a). Attention as an inhibiting force in 'creative' reinterpretation of ambigous images. Memo 94-05, ASLAB, Linköping University.
Kovordányi, R. (1994b). Attention as an inhibiting force in 'creative' reinterpretation of ambigous images. In Proceedings of the 4th Annual IDA Conference on Computer and Information Science, Linköping, Sweden.
Kuchcinski, K. (1994). High-level synthesis. In Electronic Design Automation Conference, Stockholm, Sweden.
Kuchcinski, K. and Peng, Z. (1993). An integrated design methodology for digital systems. Workshop on Design Methodologies for Microelectronics and Signal Processing, Cracow, Poland.
Lachonius, C. and Lindberg, M. (1994). Utvärdering av IMPTEC i ett realtidssystem för styrning av en autonom minihelikopter. Technical Report IDA-RKL-94-TR6, IDA. En del av examensarbetet LiTH-IDA-Ex-9413.
Lambrix, P. (1994). Extending standard description logics. In Working Notes of the 1994 Description Logic Workshop, pages 42-44, Bonn, Germany.
Lambrix, P., Sjölin, M., and Pagdham, L. (1993). LINCKS - a platform for cooperative information systems. Technical report, Department of Computer and Information Science, LiTH, Sweden.
Larsson, S. (1994). Late binding and incremental compilation in an object oriented database management system - an implementation. In 4th Annual IDA Conference on Computer and Information Science, Linköping, Sweden.
Lindvall, M. (1994). Traceability aspects of a use-case driven object-oriented method. In Proceedings of the 4th Annual IDA Conference on Computer and Information Science, Linköping, Sweden.
Löwgren, J. (1993). Human-computer interaction - What every system developer should know. Studentlitteratur, Lund.
Löwgren, J. and Holmberg, L. (1993). Customizing the SIGCHI curriculum for use in Sweden. SIGCHI Bulletin, 25(4):8-11.
Minea, M. (1993). A VHDL compiler for a high-level synthesis system. Technical Report LiTH-IDA-R-93-23, IDA.
Morin, M. (1994a). Driver information unit fluent library. DALTM-report.
Morin, M. (1994b). Rl: An embedded rule-based system. DALTM-report.
Ohlsson, N. (1994). Predicting error-prone software modules in telephone switches. In Proceedings of the 4th Annual IDA Conference on Computer and Information Science, Linköping, Sweden.
Orsborn, K. (1994). Applying next generation object-oriented DBMS to finite element analysis. In 4th Annual IDA Conference on Computer and Information Science, Linköping, Sweden. Also submitted to ADB94, Vadstena, LiTH-IDA-R-93-15.
Orsborn, K., Risch, T., and Torstenfelt, B. (1993). Produktmodellering med objekt-orienterade databaser och frågespråk. In Proceedings of Produktmodeller-93 Workshop, ISBN 91-7871-212-2, Linköping, Sweden.
Pagdham, L., Lambrix, P., Wahllöf, N., and Zhang, T. (1994). Default inheritance in commonsense reasoning: Implementing, using, evaluating. Technical report, Department of Computer and Information Science, LiTH, Sweden. Submitted.
Partain, D. (1994). The xlincks User's Manual for Version 2.2 of the LINCKS Database System. IISLAB, Department of Computer and Information Science, University of Linköping, Sweden. Contributors: Ralph Rönnquist, Lin Pagdham and Martin Sjölin.
Peng, Z. (1994a). An approach to high-level synthesis for testability. In 1st International Test Synthesis Workshop, Santa Barbara, CA, USA.
Peng, Z. (1994b). Design for testability. In Electronic Design Automation Conference, Stockholm, Sweden.
Pettersson, K. (1993a). Consequences of an IRM-based systems development - experiences from a case study. In 16th Information Systems Research seminar In Scandinavia, Copenhagen University.
Pettersson, K. (1993b). IRM på försäkringsbolag - en fallstudie om strukturering av infomationssystem. Technical Report LiTH-IDA-R-94-18, IDA, Linköpings universitet.
Pettersson, K. (1993c). VBS i tillverkningsindustri - en fallstudie om strukturering av informationssystem. IDA, Linköpings universitet.
Pettersson, K. (1994a). VBS i industriföretag - en fallstudie om strukturering av informations-system. Technical Report LiTH-IDA-R-94-19, IDA, Linköpings universitet.
Pettersson, K., Brolin, A., and Röstlinger, A. (1994). Datadriven utveckling i kommun - en fallstudie om strukturering av informationssystem. IDA, Linköpings universitet.
Pettersson, K. and Eriksson, O. (1994). VBS på skogsbolag - en fallstudie om strukturering av informationssystem. IDA, Linköpings universitet.
Pettersson, K. and Goldkuhl, G. (1993a). A comparison between two strategies for information systems architectures. In Proceedings of Sundsvall42. Dataföreningen i Sverige.
Pettersson, K. and Goldkuhl, G. (1993b). IRM på byggföretag - en fallstudie om strukturering av informationssystem. VITS Höstseminarium 1993, IDA, Linköpings universitet.
Pettersson, M. (1994b). The RML2C compiler - present and future. In Magnusson, B., Hedin, G., and Minör, S., editors, Proceedings of NWPER'94, Nordic Workshop on Programming Environment Research, pages 303-304, Lund University, Sweden. Department of Computer Science, Lund Institute of Technology.
Ragnemalm, E. L. (1994a). Collecting information for a student model from a problem solving dialogue. Memo 94-06, ASLAB, Linköping University.
Ragnemalm, E. L. (1994b). Modelling student strategy based on problem solving dialogue. In Proceedings of the 4th Annual IDA Conference on Computer and Information Science, Linköping, Sweden.
Ragnemalm, E. L. (1994c). Simulator-based training using a learning companion. In Brouwer-Janse, M. D. and Harrington, T. L., editors, Human-Machine Communication for Educational Systems Design, volume 129 of NATO ASI Series F, pages 207-212.
Rankin, I. (1994). Some considerations in the generation of explanations. Memo 94-03, ASLAB, Linköping University. Presented at the Workshop on Explanations held at Linköping University, April 1994.
Röstlinger, A. (1993a). Styrkeanalys. ett arbetssätt för att tillvarata positiva aspekter i verksamheter. VITS Höstseminarium 1993, IDA, Linköpings universtet.
Röstlinger, A. (1993b). Verksamhetsinriktad värdering av datasystem inför förändring - metod och erfarenheter. In Proceedings of Sundsvall42. Dataföreningen i Sverige.
Sandewall, E. (1994a). Features and Fluents. A Systematic Approach to the Representation of Knowledge about Dynamical Systems. Final Review Version. To be published by Oxford University Press. LiTH-IDA-R-94-15.
Sandewall, E. (1994b). Handbook of Artificial Intelligence and Logic Programming, chapter Nonmonotonic Temporal Reasoning. To appear.
Savén, B. (1993). Cyklisk MRP - ett steg från MS till MPS. PLAN-nytt, (5). Swedish Production and Inventory Management Society, Stockholm.
Savén, B. (1994a). Beslutsstöd och simulering i verkstadsföretag - en sammanfattning av två enkätstudier. Technical Report LiTH-IDA-R-94-17, Dept. of Computer and Information Science, Linköping University.
Savén, B. (1994b). The consensus staircase - three case studies of manufacturing simulation projects. In Morito, Sakasegawa, Yoneda, Fushimi, and Nakano, editors, New Directions in Simulation for Manufacturing and Communications. ORJS T-94-1.
Savén, B. (1994c). Cyclic MRP: Introducing capacity constraints into MRP. Les Cashiers du FEPIMS.
Savén, B. and Villegas, J. (1993). The evolution of the user role in simulation studies. In 1993 European Simulation Multiconference, Lyon, France.
Sjölin, M. (1994a). LINCKS - a platform for computer supported cooperative work. In Demo at the Conference on Computer Supported Cooperative Work, Chapel Hill, North Carolina.
Sjölin, M. (1994b). LINCKS - ett verktyg för CSCW. In Oestreicher, L., editor, Design i MDI - Konferensdokumentation till STIMDI '94. Rapport i STIMDIs rapportserie, nr 2.
Söderman, U., Top, J., and Strömberg, J.-E. (1994). Modelling physical systems with changing structure. Technical Report LiTH-IDA-R-94-06, IDA.
Strömbäck, L. (1994a). FLUF: A flexible unification formalism - syntax and semantics. Technical Report LiTH-IDA-R-94-13, IDA.
Strömbäck, L. (1994b). FLUF: A flexible unification formalism - the idea. Technical Report LiTH-IDA-R-94-12, IDA.
Strömberg, J.-E. and Nadjm-Tehrani, S. (1993). Towards reliable modelling of hybrid systems. Technical Report LiTH-IDA-R-93-48, IDA.
Timpka, T., Sjöberg, C., Alendahl, K., Johansson, M., Rauch, E., Nyce, J. M., and Herbert, I. (1993). Action Design version 2.0. Cec/aim "dilemma" report, The MDA-group, Linköping University.
Toller, E. (1994). Action-oriented programming with joint actions. In Magnusson, B., Hedin, G., and Minör, S., editors, Proceedings of NWPER'94, Nordic Workshop on Programming Environment Research, pages 203-212, Lund University, Sweden. Department of Computer Science, Lund Institute of Technology.
Villegas, J. (1993). Qualification of decision makers: A process that can be supported by professional simulation games. In Proceedings of the European Simulation Symposium, Holland-Delph.
Villegas, J. (1994). Designing a management training programme for decision makers based on the "SSIT" methodology. In 4th Annual IDA Conference on Computer and Information Science, Linköping, Sweden.
Wærn, Y. and Hägglund, S. (1994). Communication and cognitive science research in Linköping. In Conf. Companion, CHI'94.
Werner, M. (1994). AMOS* an architecture for active cooperating database systems. In 4th Annual IDA Conference on Computer and Information Science, Linköping, Sweden.
No 406 Anna Moberg: Satellitkontor - en studie av kommunikationsmönster vid arbete på distans, 1993.
No 414 Peter Carlsson: Separation av företagsledning och finansiering - fallstudier av företagsledarutköp ur ett agentteoretiskt perspektiv, 1994.
No 417 Camilla Sjöström: Revision och lagreglering - ett historiskt perspektiv, 1994.
No 436 Cecilia Sjöberg: Voices in Design: Argumentation in Participatory Development, 1994.
No 437 Lars Viklund: Contributions to a High-level Programming Environment for a Scientific Computing, 1994.
No 440 Peter Loborg: Error Recovery Support in Manufacturing Control Systems, 1994.
FHS 3/94 Owen Eriksson: Informationssystem med verksamhetskvalitet - utvärdering baserat på ett verksamhetsinriktat och samskapande perspektiv, 1994.
FHS 4/94 Karin Pettersson: Informationssystemstrukturering, ansvarsfördelning och användarinflytande - En komparativ studie med utgångspunkt i två informationssystemstrategier, 1994.
No 441 Lars Poignant: Informationsteknologi och företagsetablering - Effekter på produktivitet och region, 1994.
No 446 Gustav Fahl: Object Views of Relational Data in Multidatabase Systems, 1994.