Linköping University

Department of Computer and Information Science

Publication Register

Articles reported during 1994/95
as published or accepted for publication


The present page contains those articles
which were reported in the department's official activity report
for the 12-month period from 1.7.1994 to 30.6.1995.

Unlike the pages for later year, this page has not been generated from the database; it's taken directly from the department's official activity report (verksamhetsberättelse). It's intended to convert it into the data base in a near future.


A/B

Alendahl K, Timpka T, Sjöberg C. (1995). Computerized knowledge bases in primary health care: a curse or a blessing for health promotion, prevention and patient quality? Proc. of MedInfo '95. Amsterdam: Elsevier, 1995.

Andersson, B., Nilsson, P. (1992). How to manage complexity in inter-organizational information systems - some preliminary conclusions. In Proc. of IFIP 8.3/8.5 Conf. "Decision support in public administration", Noordwijkerhout, The Netherlands.

Andersson, N., Fritzson, P. (1995). Generating Parallel Code from Object Oriented Mathematical Models. In Proc. of the Fifth ACM SIGPLAN Symp. on Principles and Practice of Parallel Programming, Santa Barbara, California, pp. 48-57, July 19-21, 1995.

Axelsson, J. (1995). Hardware/software partitioning of real-time systems. In IEE Colloquium on Partitioning in Hardware/Software Codesigns, Digest No: 1995/032, pp. 5/1-5/8, London, U.K., Feb. 13, 1995.

Axelsson, J. (1995). Analysis and improvement of task schedulability in hardware/software codesign. In Proc. 7th Euromicro Workshop on Real-Time Systems, pp. 276-283, Odense, Denmark, June 14-16, 1995.

Axelsson, J. (1995). A portable model for predicting the size and execution time of programs. Accepted to the 21st Euromicro Conference (short contributions session), Como, Italy, Sept. 4-7, 1995.

Axelsson, K. (1995). Centralized or Decentralized Responsibility for Information Systems? - Consequences of two different strategies, In Proc. of the 18th Information Systems Research Seminar in Scandinavia, Gjern, Denmark, Aug. 11-13, 1995.

Axelsson, K. (1995). Realization of a Decentralized IS-Strategy, In Proc. of the IFIP Working Conference on Information Systems Development for Decentralized Organizations, Trondheim, Norway, Aug. 21-23, 1995.

Björklund, L., Björklind, A., Hjerppe, R. (1994). Highways and Backroads of Internet: Strategies and Tactics. In Information Superhighway: The Role of Librarians, Information Scientists and Intermediaries, Proc. of the 17th Int. Essen Symp. Essen, Germany, Oct. 24-27, 1994. In press.

Bol, R., Degerstedt, L. (1993). The Underlying Search for Magic Templates and Tabulation. In D.S. Warren, ed., Proc. of 10th Int. Conf. on Logic Programming, pp. 793-811, MIT Press, 1993, Budapest, Hungary, June, 1993.

Bol, R., Degerstedt, L. (1993). Tabulated Resolution for Well Founded Semantics. In D. Miller, ed., Proc. of the Int. Logic Programming Symp., ILPS '93, The MIT Press, Vancouver, Canada, Oct. 26-29, 1993.

Boye. J. (1993). Avoiding Dynamic Delays in Functional Logic Programs. In M. Bruynooghe and J. Penjam, eds., Programming Language Implementation and Logic Programming 93, LNCS 724, pp. 12-27, Springer-Verlag, 1993.

Boye, J., Maluszynski, J. (1995). Two Aspects of Directional Types. In Proc. of Int. Conf. on Logic Programming 95., Tokyo, Japan, MIT Press, June 13-16, 1995.

Boye, J., Paakki, J., Maluszynski, J. (1993). Synthesis of Directionality Information for Functional Logic Programs. In P. Cousot, M. Falschi, G. File, and A. Rauzy, eds., Proc. of the Workshop on Static Analysis, WSA'93, LNCS 724, pp. 165-177, Springer-Verlag, 1993.

Busch, D. (1993). An Expressive Three-Valued Logic with Two Negations. Seventh Int. Symp. on Methodologies for Intelligent Systems, ISMIS'93, Trondheim, Norway, June 15-18, 1993. In Proc. by Springer-Verlag in the series LNAI.

Busch, D. (1993). A Sequent Axiomatization of Three-Valued Logic with Two Negations. In Proc. of LPNMR'93. The Second Int. Logic Programming and Nonmonotonic Reasoning Workshop, Lisbon, Portugal, June 28-30, 1993.

Bäckström, C. (1994). Tractable Planning Problems: A Challenge for Deductive Planning. In Proc. of Deductive Approaches to Plan Generation and Plan Recognition, Schloss Dagstuhl, Wadern, Germany, Oct., 1993.

Bäckström, C. (1994). Finding Least Constrained Plans and Optimal Parallel Executions is harder than we thought. Presented at ECAI'94, Workshop on Algorithms, Complexity and Commonsense Reasoning, Amsterdam, The Netherlands, Aug. 8-12, 1994.

Bäckström, C. (1994). Executing Plans faster by adding Actions. In Proc. of ECAI'94, 10th European Conference on Artificial Intelligence, Amsterdam, The Netherlands, Aug. 8-12, 1994.

Bäckström, C. (1994). Planning using transformation between equivalent formalisms: A case study of efficiency. Presented at The Workshop on Comparative Analysis of AI Planning Systems at the 12th (US) National Conference on Artificial Intelligence (AAAI'94), Seattle, WA, USA, July 31-Aug. 4, 1994.

Bäckström, C. (1995). Expressive Equivalence of Planning Formalisms. Accepted for publication in the journal Artificial Intelligence, Special Issue on Planning and Scheduling, 1995.

Bäckström, C., Jonsson, P. (1994). Planning with abstraction hierarchies can be exponentially less efficient. Accepted to the 14th Int. Joint Conf. on Artificial Intelligence (IJCAI'95), Montreal, Canada, Aug., 1995.

Bäckström, C., Nebel, B. (1993). Complexity results for SAS+ planning. In Ruzena Bajcsy, ed., Proc. of the 13th Int. Joint Conf. on Artificial Intelligence (IJCAI-93), Chambery, France, Aug.-Sept., 1993, Morgan Kaufmann, pp. 1430-1435.

Bäckström, C., Nebel, B. (1994). Complexity results for SAS+ planning. Computational Intelligence. Will be published in Vol. 12, 1996.

Bäckström, C., Sandewall, E. (eds.) (1994). Current Trends in AI Planning: EWSP'93 - 2nd European Workshop on Planning. Proc. from this conf. in Vadstena, Sweden, Dec. 9-11, 1993, printed by IOS Press, Amsterdam, The Netherlands, 1994.

Cheikes, B. A., Ragnemalm, E. L. (1995) Simulator-based training-support tools for process-control operators. In Beun, R.-J., Baker, M., eds. Dialogue and Instruction; Modeling Interaction in Intelligent Turoring Systems, pp. 85-101. Springer Verlag.

Cronholm, S. (1995). Why CASE Tools in Information Systems Development? - An Empirical Study Concerning Motives for Investing in CASE Tools. In Proc. of the 18th Information Systems Research Seminar in Scandinavia, Gjern, Denmark, Aug. 11-13, 1995.

Dahlbäck, N. (1995). Kinds of Agents and Types of Dialogues. I J. A. Andernack, S. P. van de Burgt and G. F. van der Hoeven (eds.): Corpus-based Approaches to Dialogue Modelling, proc. of the ninth Twente Workshop on Language Technology (TWLT 9), pp. 1-11.

Degerstedt, L., Nilsson, U. (1995). Magic Computation for Well-founded Semantics. In Proc. Non-monotonic Extensions of Logic Programming, LNAI 927, Springer-Verlag., 1995.

Deransart, P., Maluszynski, J. (1993). A Grammatical View of Logic Programming. MIT Press, 1993.

Drabent, W. (1993). Completeness of SLDNF-Resolution for Non-floundering Queries. In Proc. Int. Logic Programming Symposium, 1993. Poster abstract. (Extended version accepted in the Journal of Logic Programming.)

Drabent, W. (1993). SLS-resolution Without Floundering. In L. M. Pereira and A. Nerode, eds., Proc. 2nd Int. Workshop on Logic Programming and Non-Monotonic Reasoning, pp. 82-98, MIT Press, 1993.

Drabent, W. (1995). What is Failure? An Approach to Constructive Negation. In Acta Informatica, Vol. 32, pp. 27-59, 1995.

Drakengren, T. (1995). Uniqueness of Scott's Reflexive Domain in Pw. Accepted to Journal of Theoretical Computer Science, The Notes Section, 1995.

Driankov, D., Hellendoorn, H. (1995). Chaining of Fuzzy IF-THEN Rules in Mamdani-Controllers. Accepted to the Conf. FUZZ-IEEE/IFES'95, Yokohama, Japan, Mar. 20-24, 1995.

Driankov, D., Lang, J. (1993). Possibilistic Decreasing Persistence. In Proc. of the Ninth Conf. on Uncertainty in Artificial Intelligence, Washington DC, USA, July 9-11, 1993.

Ekman, A., Strömberg, D., Törne, A. (1994). Exploration of Polygon Environments using Range Data. Accepted for publication in IEEE Transactions on Systems, Man and Cybernetics.

Eles, P., Kuchcinski, K., Peng, Z., Doboli, A. (1995). Post-synthesis Back-Annotation of Timing Information in Behavioral VHDL. 21st EUROMICRO conference, Design of Hardware/Software Systems, Como, Sept. 4-7, 1995.

Eles, P., Kuchcinski, K., Peng, Z., Doboli, A. (1995) Timing Constraint Specification and Synthesis in Behavioral VHDL, EURO-DAC'95, Sept. 18-22, 1995, Brighton, UK.

Eles, P., Peng, Z., Doboli, A. (1994). VHDL System-Level Specification and Partitioning in a Hardware/Software Co-Synthesis Environment, Proc. 3rd International Workshop on Hardware/Software Co-Design, Grenoble, France, Sept. 22-25, 1994.

Engström,K., Fritzson, P. (1995). Porting the Erlang Language and The Intelligent Network Simulator to the Parsytec MIMD Platform. In Proc. of the ZEUS'95 Workshop on Parallel Programming and Computation, Linköping, Sweden, May 17-18, 1995. Published by IOS Press, Amsterdam.

Eriksson, H. (1992a). Metatool support for custom-tailored domain-oriented knowledge acquisition. Knowledge Acquisition, 4(4):445-476.

Eriksson, H. (1993). Specification and generation of custom-tailored knowledge-acquisition tools. In Proc. of the Thirteen Int. Joint Conf. on Artificial Intelligence, IJCAI '93, Chambéry, France.

Eriksson, H. (1994). Models for knowledge-acquisition tool design. Knowledge Acquisition, 6(1):47-74.

Eriksson, H. (1994). A survey of knowledge acquisition techniques and tools and their relationship to software engineering. Journal of Systems and Software, 19(1):97-107.

Eriksson, H., Puerta, A. R., Gennari, J. H., Rothenfluh, T. E., Tu, S. W., Musen, M.A. (1995). Custom-Tailored Development Tools for Knowledge-Based Systems In John H. Boose and Brian R. Gaines, eds. Proc. of the Ninth Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, Canada.

Eriksson, H., Musen, M. A. (1993a). Conceptual models for automatic generation of knowledge-acquisition tools. Knowledge Engineering Review, 8(1):27-47.

Eriksson, H., Musen, M. A. (1993b). Metatools for software development and knowledge acquisition. IEEE Software, 10(3):23-29.

Forslund, G. (1994). Cooperative or autonomous agents: Considerations for knowledge acquisition and representation. IEEE Expert, Special issue on Cooperative Systems for Workgroups.

Forslund, G. (1995). Designing for flexibility: A case study. Expert Systems, 12(1), pp. 27-37.

Fritzson, D., Nordling, P. (1995). Solving Ordinary Differential Equations on Parallel Computers applied to Dynamic Rolling Bearings Simulation. In Proc. of the ZEUS'95 Workshop on Parallel Programming and Computation, Linköping, Sweden, May 17-18, 1995. Published by IOS Press, Amsterdam.

Fritzson, P. ed. (1993). Proc. of AADEBUG'93 - the 1:st Int. Workshop on Automated and Algorithmic Debugging, Linköping, May 3-5, 1993, LNCS 749, Springer-Verlag.

Fritzson, P., Andersson, N. (1993). Generating Parallel Code from Equations in the ObjectMath Programming Environment. In Proc of the 2nd Int. Conf. of the Austrian Center for Parallel Computation, Oct., 1993, LNCS 734, Springer-Verlag.

Fritzson, P., Finmo, L. eds. (1995). Proc. of Parallel Programming and Applications, Linköping, May 17-18, 1995, Published by IOS Press, Amsterdam.

Fritzson, P., Auguston, M., Shahmehri, N. (1994). Using Assertions in Declarative and Operational Models for Automated Debugging. Journal of Systems and Software, 25:223-239, June, 1994.

Fritzson, P., Engelson, V., Viklund, L. (1993). Variant Handling, Inheritance and Composition in the ObjectMath Computer Algebra Environment. In Proc. of DISCO'93 - Conf. on Design and Implementation of Symbolic Computation Systems, LNCS 722, Sept., 1993.

Fritzson, P., Viklund, L., Fritzson, D., Herber, J. (1994). ObjectMath - An Environment for High Level Mathematical Modeling and Programming in Scientific Computing. Accepted Sept. 1994 to IEEE Software.

Fritzson, P., Viklund, L., Fritzson, D., Herber, J. (1995). High Level Mathematical Modeling and Programming in Scientific Computing. IEEE Software, pp. 77-87, July 1995.

Granlund, R. (1994). Developing models for describing actors in a distributed problem solving situation. In Langemyr, L., ed., Proc. of the SIMS Simulation Conf., pp. 238-243. A previous version was presented at the 4th IDA Conf., 1994, Linköping, Sweden.

Goldkuhl, G., Röstlinger, A. (1993). An import aspect of change analysis. Joint elicitation of problems. In Proc. of IFI 8.2 Conf. "Information systems development - organizational, social and human aspects", Noordwijkerhout, The Netherlands, May, 1993.

Gu, X. (1995). RT level testability-driven partitioning. In Proc. 13th IEEE VLSI Test Symp, Princeton, New Jersey, Apr. 30 - May 3, 1995, USA.

Gu, X., Kuchcinski, K., Peng, Z. (1995) An Efficient and Economic Partitioning Approach for Testability, International Test Conference, ITC'95, Washington D.C., Oct.23-25, 1995.

Hallberg, J., Peng, Z. (1995). Synthesis under Local Timing Constraints in the CAMAD High-Level Synthesis System. 21st EUROMICRO conference, Design of Hardware/Software Systems, Como, Sept., 4-7, 1995.

Harmelen, F. v., Mántaras, R. L. de., Malec, J., Treur, J. (1993). Comparing Formal Specification Languages for Complex Reasoning Systems. A chapter in the book: Formal Specification of Complex Reasoning Systems. Publ.: Ellis Horwood, eds.: J. Treur, T. Wetter, 1993.

Harrius, J. (1993). From problem solving to solution critiquing by reusing an existing knowledge base. In Proc. of SCAI, Stockholm, Sweden, May, 1993.

Hoffner, T., Kamkar, M., Fritzson, P. (1995). Evaluation of Program Slicing Tools. In Proc. of AADEBUG '95, 2nd Int. Workshop on Automated and Algorithmic Debugging, St. Malo, France, May 22-24, 1995.

Hägglund, S. (1993a). A framework for expert critiquing. In Hägglund, S., ed., Working notes from 11th National Conf. on Artificial Intelligence (AAAI'93) Workshop on Expert Critiquing Systems, Washington, DC, USA.

Hägglund, S., Granlund, R. (1994). Computer support for collaborative C3I decision making and training. SIGOIS Bulletin, 15(2):5-7. Presented at the Workshop on Collaborative Realtime Process Management CSCW'94.

Jonsson, P., Bäckström, C. (1995). Incremental Planning. Accepted to Third European Workshop on Planning, Assisi, Italy, Sept. 27-29, 1995.

Jönsson, A. (1993b). A Method for Development of Dialogue Managers for Natural Language Interface. In Proc. of the Eleventh National Conf. of Artificial Intelligence (AAAI'93), Washington DC, USA, July 13-15, 1993.

Jönsson, A. (1995). A Dialogue Manager for Natural Language Interfaces. In Proc. of the Pacific Association for Computational Linguistics, Second Conf., The Univ. of Queensland, Brisbane, Australia.

Kamkar, M. (1993). A Comparative Classification of Program Slicing Techniques. Accepted 1993 to the Journal of Systems and Software.

Kamkar, M., Krajina, P. (1995). Dynamic Slicing of Distributed Programs, has been accepted to the IEEE International Conference on Software Maintenance, ICSM'95, Opio (Nice), France, Oct., 1995.

Kamkar, M., Fritzson, P., Shahmehri, N. (1993). Interprocedural Dynamic Slicing with Applications to Interprocedural Data Flow Testing. In Proc of the IEEE Conf. on Software Maintenance, CSM-93, San Diego, USA, Sept., 1993.

Kamkar, M., Shahmehri, N., Fritzson, P. (1993). Three Approaches to Interprocedural Dynamic Slicing. In Proc. of EUROMICRO'93 (Journal of Microprocessing and Microprogramming), Vol. 38, No. 1-5. Published by North-Holland, Sept., 1993.

Kim, E. H-C., Driankov, D. (1993). A Probability-Like Measure for Conditional Statements. In Proc. of IFSA '93, Int. Fuzzy Systems Association, Seoul, South Korea, July, 1993.

Kinnunen, K., Timpka, T., Forsum, U. (1995). Decentralised diagnostics of beta haemolytic streptococci group A - introduction of a developmental model for microbiological consultations in primary health care. Scand. J Prim Health Care 1995. In press.

Klein, I., Jonsson, P., Bäckström, C. (1995). Tractable Planning for an Assembly Line. Accepted to Third European Workshop on Planning, Assisi, Italy, Sept. 27-29, 1995.

Kågedal, A. (1993). Improvements to Compile-Time Analysis for Ground Prolog. In M. Bruynooghe and J. Penjam, eds., Programming Language Implementation and Logic Program-ming 93, pp. 92-107, Springer-Verlag, 1993, LNCS 724.

Lambrix, P., Padgham, L. (1995). Analysis of Part-of Reasoning in Description Logics for Use in a Document Management Application. Proc. of the Eight International Symposium on Artificial Intelligence, Monterrey, Mexico, 1995.

Larsson, M. (1994b). Towards Amalgamating High-Level Synthesis and Proof Systems. Microprocessing and Microprogramming, Vol. 40, No. 10-12. Presented as a Short Note on the EUROMICRO Conf., Liverpool, England, 1994.

Larsson, M. (1995). An Engineering Approach to Formal Digital System Design. BCS Computer Journal, 38(2), 1995. To appear.

Larsson, M., Gordon, A. (1995). A HOL Embedding of a Small Parallel HDL. In 8th International Conference on Higher Order Logic Theorem Proving and Its Applications, Aspen Grove, Utah, USA, Sept., 1995.

Litwin, L., Risch, T. (eds.) (1994). Applications of Databases, 1st Int. Conf., ADB-94, Vadstena, Sweden, June, 1994, (Proc.) LNCS, Springer-Verlag, ISBN 3-540-58183-9, 1994.

Loborg, P., Törne, A. (1995) , A Layered Architecture for Real Time Applications. In Proc. of the Euromicro Workshop on Real Time Systems, Odense, Denmark, June, 1995.

Lukaszewicz, W., Madalinska-Bugaj, E. (1994). Program verification techniques as a tool for reasoning about actions and change. In Proc. of the 18th German Conf. on Artificial Intelligence, Vol. 861 of LNAI, pp. 226-236, Springer-Verlag, 1994.

Löwgren, J. (1993b). Using domain knowledge to support graphical editing. In Salvendy, G. and Smith, M., eds. In Proc. Fifth Int. Conf. on Human-Computer Interaction (HCI Int. '93), Vol. 2, pp. 421-426, Elsevier, Amsterdam, The Netherlands.

Löwgren, J. (1995) Applying design methodology to software development. In Proc. Symp. Designing Interactive Systems (DIS'95)_, pp. 87-95. New York: ACM Press.

Malec, J. (1993). Timed Process Transition Networks. Presented at Third Conf. on Computer Generated Forces and Behaviour Representation, Orlando, Florida, USA, Mar. 17-19, 1993.

Malec, J. (1993). On Semantics of Behaviour Languages. In Proc. of 4th National Conf. on Robotics. Wroclaw, Poland, Sept. 22-24, 1993.

Malec, J., Morin, M. (1993). A Pre-Intelligent Driver Information Unit. In Proc. of IEEE Intelligent Vehicles '93 Symp., Tokyo, Japan, July 14-16, 1993.

Malec, J., Morin, M. (1993). An AI-Based Design of a Driver Information Unit. In Proc. of the Conf. Vehicle Navigation and Information Systems -93, Ottawa, Canada, Oct. 12-15, 1993.

Malec, J., Österling, P. (1993). Driver Support System for Traffic Manoeuvres. In the book Artificial Intelligence in Traffic Engineering by eds. G. Ambrosino, M. Bielli, M. Boero. Publ.: VSP Int. Science Publ. Zeist, The Netherlands, 1993.

Malec, J., Morin, M., Nadjm-Tehrani, S. (1995). A Layered Software Architecture for Design and Analysis of Embedded Systems. Presented at International Symposium on Systems Engineering of Computer Based Systems, Tucson, USA, Mar., 1995.

Maluszynski, J., Bonnier, S., Boye, J., Kågedal, Kluzniak, F., Nilsson, U. (1993).Logic Programs with External Procedures. In K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten, eds., Logic Programming Languages, Constraints, Functions, and Objects, pp. 21-48, The MIT Press, 1993.

Nadjm-Tehrani, S. (1995). Reactive Systems in Physical Environments. Accepted to AISB-95, 10th Biennial Conf. on AI and Cognitive Science, Sheffield, England, Apr., 1995.

Nadjm-Tehrani, S., Strömberg, J.-E. (1993). Modelling and Verification of Hybrid Systems: A Case Study. In Proc. of 4th Int. Conf. on AI, Simulation and Planning in High-Autonomy Systems, Tucson, USA, Sept. 18-22, 1993.

Nadjm-Tehrani, S., Strömberg, J-E. (1995). Modelling and Formal Analysis of an Aircraft Landing Gear System. Presented at 2nd European Workshop on Real-Time and Hybrid Systems, Grenoble, France, May 1995.

Nadjm-Tehrani, S., Strömberg, J-E. (1995). Proving Dynamic Properties in an Aerospace Application. Accepted to RTSS'95, IEEE International Symposium on Real-Time Systems, Pisa, Italy, December 1995.

Nilsson, H., Fritzson, P. (1993). Lazy Algorithmic Debugging: Ideas for Practical Implementation. AADEBUG'93 -1st Int. Workshop on Automated and Algorithmic Debugging, May, 1993. In LNCS 749, Nov., 1993.

Nilsson, H., Fritzson, P. (1994). Declarative Algorithmic Debugging for Lazy Functional Languages. The Journal of Functional Languages, 4 (3), 337-370, July, 1994.

Nilsson, U. (1994). Abstract Interpretation: A Kind of Magic. Theoretical Computer Science. Vol 142, pp. 125-138, May, 1995.

Nilsson, U., Maluszynski, J. (1995). Logic, Programming and Prolog, (2nd edition). John Wiley & Sons.

Nordling, P., Fritzson, P. (1995). Parallelization of the CVODE Ordinary Differential Equation Solver with Applications to Rolling Bearing Simulation. In proc of HPCN'95, Int. Conf. on High-Performance Computing and Networking, Milano, Italy, May 2-5, 1995. Proc in the LNCS series, by Springer Verlag.

Nyce, JM., Löwgren, J. (1995). Towards foundational analysis in human-computer interaction. In Thomas, P. ed. The Social and Interactional Dimensions of Human-Computer Interfaces, pp. 37-47. Cambridge: Cambridge University Press.

Nyce, JM., Timpka, T. (1993). Work, Knowledge and Argument in Specialist Consultations: Incorporating Tacit Knowledge into System Design and Development. Med Biol Eng Comp, 1993;31:S13-7.

Näslund, T. (1994). Supporting design communication with explicit representation of evaluation feedback. Scand. Journal of Information Systems, 6(2):21-42. Earlier version published in Proc. of 16th IRIS (Information systems research seminar in Scandinavia).

Näslund, T. (1995). Computers in Context - But in Which Context? Accepted for presentation at the 3rd decennial conference Computers in Context : Joining Forces in Design, Århus, Denmark, Aug., 1995.

Olhager, J., Rapp, B. (1995). Operations Research Techniques in Manufacturing Planning and Control Systems. Int. Trans. Opl. Res., Vol. 2, No. 1, pp. 29-43. Elsevier Science Ltd.

Padgham, L., Lambrix, P. (1994). A Framework for Part-Of Hierarchies in Terminological Logics. Principles of Knowledge Representation and Reasoning: Proc. of the Fourth International Conference, Bonn, Germany, 1994.

Padgham, L., Lambrix, P. Kalmelid, S. (1995). Integrating a Description Logic System and an Object-Centered Database System. Proc. of the International KRUSE Symposium - Knowledge Retrieval, Use and Storage for Efficiency, pp. 40-48. Santa Cruz, California, USA, Aug. 11-13, 1995.

Padgham, L., Löwgren, J. (1994). A user interface management approach for object-oriented database applications. Journal of Systems and Software, 27(3), pp. 183-205.

Peng, Z. (1994). Testability-Driven High-Level Synthesis, Proc.of the 1994 International Conference on ASIC, 1994.

Peng, Z. (1995). High-Level Test Synthesis Using Design Transformations. Second Int. Test Synthesis Workshop, Santa Barbara, USA, May 8-10, 1995.

Peng, Z. Kuchcinski, K. (1994). Automated Transformation of Algorithms into Register-Transfer Level Implementations, IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, Vol. 13, 1994, pp. 150-166.

Peng, Z., Törne, A. (1994). Timing Analysis and Conditional Scheduling in a Real-Time System Designh Environment. In Proc. 6th EUROMICRO Workshop on Real-Time Systems, Västerås, June 15-17, 1994, IEEE Computer Society Press, pp. 214-219.

Ragnemalm, E. L. (1994). Simulator-based training using a learning companion. In Brouwer-Janse, M. and Harrington, T., eds, Human-Machine Communication for Educational Systems Design, Vol. 129, pp. 207-212, Springer-Verlag, Proc. from the 1993 NATO-ASI in Eindhoven, The Netherlands.

Ragnemalm, E. L. (1995). Student Diagnosis in Practice; Bridging a Gap User Modelling and User Adapted Interaction. In Press.

Rankin, I. (1993a). Generating argumentative discourse in expert in critiquing systems. In Hägglund, S., ed., Working notes from AAAI'93 Workshop on Expert Critiquing Systems, Washington, DC, USA.

Rankin, I., Harrius, J. (1993). Critique generation - language games, argumentation and rhetorical aggregates. In Ahrenberg, L., ed., Papers from the 3rd Nordic Conf. on Text Comprehension in Man and Machine, Linköping, Sweden.

Sandewall, E. (1993). Systematic Assessment of Temporal Reasoning Methods for Use in Autonomous Agents. Invited paper to ISMIS, The Int. Symp. on Methodologies for Intelligent Systems, Trondheim, Norway, June 15-18, 1993.

Sandewall, E. (1993). The Role of Temporal Reasoning Subsystems in the Architecture of Autonomous Robots. Invited paper to Conf. on Applications of Artificial Intelligence in Engineering, Toulouse, France, June 29 - July 1, 1993.

Sandewall, E. (1993). Nonmonotonic Temporal Logics and Autonomous Agents: Each Contributes to the Rigorous Basis for the Other. In Proc. of the 17. Fachtagung für Künstliche Intelligenz (invited paper) Berlin, Germany, Sept. 13-16, 1993. Published in O. Herzog et al. (eds): Grundlagen und Anwendungen der Künstlichen Intelligenz, Springer-Verlag, 1993.

Sandewall, E. (1994). The Range of Applicability of Some Nonmonotonic Logics for Strict Inertia. In Journal of Logic and Computation, 1994.

Sandewall, E. (1995). Reasoning about Actions and Change with Ramification. Will be published in the book Computer Science Today, Lecture Notes in Computer Science, Vol. 1000, Springer-Verlag, Berlin, 1995.

Sandewall, E., Shoham, Y. (1994). Nonmonotonic Temporal Reasoning. Will appear as a chapter in Handbook of Artificial Intelligence and Logic Programming, 1994.

Shu, H. (1993). The Preferential Semantics of a Multi-Modal Nonmonotonic Logic. In Proc. of 2nd European Conf. on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU'93, Granada, Spain, Nov., 1993.

Shu, H. (1993). A Multi-Modal Preferential Logic: Theory and Application. In Proc. of 5th Int. Conf. on Tools with Artificial Intelligence, TAI'93, Boston, USA, Nov., 1993.

Sjöberg, C., Timpka, T. (1995). Inside multi-disciplinary design in medical informatics: experiences from the use of an argumentative design method. Proc. of MedInfo `95, Amsterdam, The Netherlands, Elsevier, 1995. In press.

Sjölin, M. (1994). LINCKS - ett verktyg för CSCW. Lars Oestreicher, ed., Design i MDI - Konferensdokumentation till STIMDI 94, 1994. (Swedish).

Sjölin, M. (1994). A WWW Front End to an OODBMS. Proc. of the Second International World Wide Web Conference, Chicago, USA, 1994. Also available as LiTH-IDA-R-95-19.

Sjölin, M. (1995). Introduction to LINCKS. Linux Journal, 1 (11), 26-30, 1995.

Sjölin, M. (1995). The LINCKS GPD. Linux Journal, 1 (15), 17-23, 1995.

Sköld, M., Falkenroth, E., Risch, T. (1995). Rule Contexts in Active Databases - A Mechanism for Dynamic Rule Grouping, In Proc. RIDS'95 2nd International Workshop on Rules in Database Systems, Athens, Greece, Sept. 25-27, 1995.

Sparud, J., Nilsson, H. (1995). The Architecture of a Debugger for Lazy Functional Languages. To be presented at AADEBUG '95, 2nd Int. Workshop on Automated and Algorithmic Debugging, St. Malo, France, May 22-24, 1995.

Stoy, E. Peng, Z. (1994) An Integrated Modelling Technique for Hardware/Software Systems, International Symposium on Circuits and Systems, London 1994.

Stoy, E. Peng, Z. (1994) A Design Representation for Hardware/Software Co-Synthesis, Euromicro 94, Liverpool 1994.

Strömbäck, L. (1995a). Using Logic Programming Results while Developing a Flexible Unification-Based Grammar Formalism. Proc. of the 15th Int. Workshop on Natural Language Understanding and Logic Programming, Lissabon, Portugal, May, 1995.

Strömbäck, L. (1995b). User-Defined Nonmonotonicity in Unification-Based Formalisms. Proc. of the 1995 Conference of the Association for Computational Linguistics, Cambridge, Massachusetts, June, 1995.

Söderman, U., Strömberg, J-E. (1995). Switched Bond Graphs: Towards Systematic Composition of Computational Models. Accepted to The Int. Conf. on Bond Graph Modelling and Simulation, ICBGM95, Las Vegas, USA, Jan., 1995.

Söderman, U., Top, J., Strömberg, J-E. (1993). The Conceptual Side of Mode Switching. In Proc. of the IEEE/SMC '93 Conf., IEEE Int. Conf. on Systems, Man and Cybernetics, Le Touquet, France, Oct. 17-20, 1993.

Timpka, T. (1993). Teknik och lärande i serviceverksamheter: Datorstöd för primärvården (Swedish). In Lennerlöf L (red.) Människor, datateknik, arbetsliv, Stockholm, Allmänna Förlaget, 1993. (Swedish).

Timpka, T. (1995). Situated clinical cognition. Editorial. Artificial Intelligence in Medicine. 1995;7. In press.

Timpka, T., Marmolin, H. (1995). Beyond computer-based clinical remainders: improvement of the total service quality by small-group based organizational learning in primary care. Proc. of MedInfo `95, Amsterdam, The Netherlands, Elsevier, 1995. In press.

Timpka, T., Hensing, G., Alexanderson, K. (1995). Dilemmas in sickness certification among Swedish physicians. Euro J Pub Health 1995. In press.

Timpka T, Rauch E, Nyce JM. (1994). Towards productive knowledge based systems in medicine: a methods perspective. Artificial Intelligence in Medicine, 1994;6, pp. 501-18.

Timpka, T., Sjöberg, C., Svensson, B. (1995). The pragmatics of clinical hypermedia: experiences from five years of participatory design in the MEDEA project. Comp Meth Prog Biomed 1995. In press.

Timpka T., Svensson, B., Molin, B. (1995). Development of community nursing: analysis of the central services and practice dilemmas. Int J Nurs Stud 1995. In press.

Timpka, T., Nyce, JM., Sjöberg, C., Johansson, M. (1993). Action Design: From Modeling to Support of the Software Process. In Blum BI, Chang L eds. Proc. of Software Engineering and Knowledge Engineering '93, San Francisco: IEEE Press, 1993.

Timpka, T., Nyce, JM., Sjöberg, C., Rehnwall, H., Herbert, I. (1993). Bar code technology in health care: Using a business model for study of technology application and dissemination. Proc. of MIE '93, Elsevier, Amsterdam, 1993.

Timpka T, Sjöberg C, Hallberg N, Eriksson H, Lindblom P, Svensson B, Marmolin H. (1995). Participatory Design of Computer-Supported Organizational Learning in health care: methods and experiences. Proc. of SCAMC '95. New York: McGraw Hill, 1995, in press.

Toller, E., Kamkar, M. (1995). A Multiparadigm Parallel Language Based on Object-Oriented and Rule-Like Actions. In Proc. of the ZEUS'95 Workshop on Parallel Programming and Computation, Linköping, Sweden, May 17-18, 1995. Published by IOS Press, Amsterdam.

Viklund, L., Fritzson, P. (1994). ObjectMath - An Object-Oriented Language for Symbolic and Numeric Processing in Scientific Computing. Accepted for Scientific Programming, Sep., 1994.

Westman, R., Fritzson, P. (1993). Graphical User Interfaces for Algorithmic Debugging. AADEBUG'93 -1st Int. Workshop on Automated and Algorithmic Debugging, Linköping, Sweden, May, 1993. In LNCS 749, Nov., 1993.

Wærn, Y., Hägglund, S., Ramberg, R., Rankin, I., Harrius, J. (1995). Computational advice and explanations - Behavioural and computational aspects. In Proc. of INTERACT'95, Lillehammer, Norway.

Yi, C.-H. (1995). Towards the Assessment of Logics for Concurrent Actions. Accepted to AAAI'95 Spring Symp.: Extending Theories of Action, Stanford Univ., USA, Mar. 27-29, , 1995.

Zuhdy, B., Fritzson, P., Engström, K. (1995). Implementation of the Real-Time Functional Language Erlang on a Massively Parallel Platform, with Applications to Telecommunications Services. In Proc. of HPCN'95, Int. Conf. on High-Performance Computing and Networking, Milano, Italy, May 2-5, 1995. Proc. in the LNCS series, by Springer Verlag.

B/C

Ahrenberg, L., Dahlbäck, N., Jönsson, A. (1995). Coding Schemes for Studies of Natural Language Dialogue. In Working notes from AAAI Spring Symp., Stanford, Mar. 27-29, 1995.

Axelsson, J. (1995). Analysis and Improvement of Task Scheduability in Hardware/Software Codesign. LiTH-IDA-R-95-05.

Axelsson, K. (1994). Informationssystemstrategiers betydelse vid förändring av informationssystem. LiTH-IDA-R-R-94-47. Föredrag presenterat på Sundsvall 42, Sundsvall, 18-20 oktober 1994.

Bennet, T., Olhager, J., Rapp, B. (1994). Datorisering av MPS-system i svenska företag 1987-1993. LiTH-IDA-R-94-41. Denna rapport är inskickad för publicering i tidningen Verkstäderna i början av 1995. En något annorlunda version är också publicerad som proceeding från The IFIP WG5.7 Working Conference on Evaluation of Production Management Methods, Gramado, Brazil, Mar. 21-24, 1994.

Carlshamre, P. (1994). A Field Study in Usability Engineering: Bringing in the Technical Communicators. LiTH-IDA-R-94-44.

Doherty, P. (1994). Notes on PMON Circumscription. LiTH-IDA-R-94-43.

Doherty, P., Lukaszewicz, W., Szalas, A. (1994). Computing Circumscription Revisited: A Reduction Algorithm. LiTH-IDA-R-94-42.

Eklund, F., Kågedal, A. (1994). Optimization of GAPLog Programs. Presented at 10th Logic Programming Workshop, Zürich, Switzerland, 1994.

Eles, P., Kuchcinski, K., Peng, Z., Doboli, A. (1994a). Back-Annotation of VHDL Behavioral Models for Postsynthesis Simulation. LiTH-IDA-R-94-36.

Eles, P., Kuchcinski, K., Peng, Z., Doboli, A. (1994b). Specification of Timing Constraints in VHDL for High-Level Synthesis. LiTH-IDA-R-94-37.

Fahl, G., Risch, T. (1995). Query Processing over Object Views of Relational Data. LiTH-IDA-R-95-11.

Falkenroth, E. T., Risch, T., Törne A. (1995). Using an Embedded Active Database in a Control System Architecture. Submitted to the 2nd International Conference on Applications of Databases, ADB'95, Santa Clara, California, USA,

Fjällström, P-O. (1994). Range Searching on a Mesh-Connected Parallel Computer. Submitted for publication.

Fjällström, P-O., Petersson, J., Nilsson, L., Zhong, Z-H. (1995). Evaluation of Range Searching Methods for Contact Searching in Mechanical Engineering. Submitted for publication.

Flodin, S. (1994). An Incremental Query Compiler with Resolution of Late Binding. LiTH-IDA-R-94-46.

Flodin, S., Risch, T. (1995). Processing Object-Oriented Queries with Invertible Late Bound Functions. LiTH-IDA-R-95-10.

Forslund, G. (1994). Cooperative or Autonomous Agents: Considerations for Knowledge Acquisition and Representation. Technical Report ASLAB-memo 94-08.

Forslund, G. (1995). In search for flexible decision procedures for real-world applications. Technical Report ASLAB-memo 95-01.

Fritzson, P., Engström, K. (1995). Implementation of the Real-Time Functional Language Erlang on a Massively Parallel Platform, with Applications to Telecommunications Services. In the 3rd National Swedish Conference on Real-Time Systems (SNART'95). Göteborg, 22-23 Aug., 1995.

Germundsson, R., Gunnarsson, J., Jansson, A., Krus, P., Morin, M., Nadjm-Tehrani, S., Plantin, J., Sethson, M., Strömberg, J.-E. (1994). Complex Hybrid Systems I - A Study of available Tools and Specification of planned Work. LiTH-IDA-R-94-29.

Goldkuhl, G. (1995). Information as Action and Communication. LiTH-IDA-R-95-09.

Hall, T. (1994). A Framework for User Support. Proc. of Fourth Annual IDA Conference on Computer and Information Science, Department of Computer and Information Science, University of Linköping, Sweden.

Heyer, T. (1995). Debugging in GAPLog has been accepted to AADEBUG '95, 2nd Int. Workshop on Automated and Algorithmic Debugging, St. Malo, France, May 22-24, 1995.

Hoffner, T. (1995). Evaluation and Comparison of Program Slicing Tools. LiTH-IDA-R-95-01.

Ingels, P. (1994) Robust parsing with charts and relaxation. NODALIDA '93 - Proc. of `9:e Nordiska Datalingvistikdagarna', pp. 123-132, Stockholm, Sweden, June 3-5, 1993.

Johansson, O. (1994). Prototypbaserad utveckling av ett produktmodellorienterad konstruktionsstödsystem med objektorienterad datamodelleringsteknik. LiTH-IDA-R-94-09.

Johansson, O. (1995). Utvecklingsmiljö för Produktmodelleringssystem, in Proc. PRODUKTMODELLER-95, Linköping, April 25-26, 1995, pp 231-246, ISBN 91-7871-541-5.

Karlsson, J., Lindvall, M. (1995). Experience with Requirements Specification Evolution. Technical Report ASLAB-memo 95-02

Karlsson, L. (1994). Specification and Synthesis of Plans Using the Features and Fluents Framework. LiTH-IDA-R-94-28.

Kuchcinski, K. (1994). High-Level Synthesis of Digital Systems, Conference on Electronic Design Automation, EDA-Träff'94, Stockholm, 1994.

Lambrix, P. (1994). Extending Standard Description Logics. Proc. of the International Workshop on Description Logics, Bonn, Germany, 1994.

Lambrix, P., Maleki, J. (1995). Learning Composite Concepts in Description Logics: A First Step. Proc. of the Swedish Artificial Intelligence Workshop, Göteborg, Sweden, 1995.

Lambrix, P., Padgham, L. (1995). Part-of Reasoning in Description Logics: A Document Management Application. Proc. of the International Workshop on Description Logics, Roma, Italy, 1995.

Lin, M. (1994). From Process Transition Networks to Rule Layer Language. Rkllab Report IDA-RKL-94-TR14.

Lindström, J., Rapp, B. (1995). On Co-ordination and Communication Costs in Teleworking, Paper presented at The International Federation of Operational research Societies Special Conference (SPC 3), Santa Monica, Jan., 1995.

Lindvall, M., Sandahl, K. (1995). Exempel på spårbarhet i en industriell tillämpning av Objectory. LiTH-IDA-R-95-08.

Lindvall, M. (1995). A Study of Traceability in Object- Oriented Systems Development has been accepted to OOPSLA 95 in Austin, Texas, Oct. 15-19, 1995. Available from the author.

Linge, L. et al. (eds.) (1994). Department of Computer and Information Science Acitivity Report 1993-94.

Löwgren, J., Carlshamre, P., Näslund, T. (1995). Developing and studying usability-oriented methods in professional contexts. Poster to be presented at the Third Decennial Conference Computers in Context, Århus, Denmark. Aug., 1995.

Malec, J., Morin, M. (1994). Driver Information Unit Software: User's guide. Annual report 1993. Rkllab Report IDA-RKL-94-TR4.

Malec, J., Morin, M. (1995). Driver Information Unit: The Concept and its Implementation. A DALTM-Report. Final Report. Rkllab Report IDA-RKL-95-TR2.

Nadjm-Tehrani, S. (1994). Verification of a Landing Gear: A Case Study. Rkllab Report IDA-RKL-94-TR13.

Nilsson, A. (1995a). Klassisk informationsteori: Fokus på Börje Langefors infologiska teoribildning. LiTH-IDA-R-95-14.

Nilsson, A. (1995b). Utveckling av metoder för systemarbete - Ett historiskt perspektiv. LiTH-IDA-R-95-13.

Orsborn, K.(1995). Managing Product Data for Finite Element Analysis by Object-Relational DBMS Techniques, in Produktmodeller -95, ISBN 91-7871-541-5, Linköping 1995.

Peng, Z. (1994). Design for Testability, Conference on Electronic Design Automation, EDA-Träff'94, Stockholm, 1994.

Peppas, P. (1995). Epistemic Entrenchment and the Possible Models Approach. LiTH-IDA-R-95-02.

Petersson, J. (1995). Parallel Algorithms for Geometric Dominance Problems. Presented at the Third DIMACS International Algorithm Implementation Challenge Rutgers University, Piscataway, NJ, Oct. 1994. Submitted for publication.

Petersson, J., Fjällström, P-O. (1995) A Parallel Algorithm for the All-Nearest-Neighbors Problem. Submitted for publication.

Pettersson, K. (1994). Några problem vid verksamhetsbaserad systemstrukturering. erfarenheter från tre fallstudier. LiTH-IDA-R-94-49. Föredrag presenterat på LISS 94, Linköpings universitet, Linköping, 20 april 1994.

Pettersson, K., Röstlinger, A., Brolin, A. (1994). Datadriven utveckling i kommun - en fallstudie om strukturering av informationssystem. LiTH-IDA-R-94-50.

Pettersson, M. (1993). Main-Memory Linear Hashing - some Enhancements of Larsson's Algorithm. LiTH-IDA-R-93-04. Submitted to Software - Practice and Experience.

Pettersson, M. (1995). The Definition of RML. Forthcoming technical report, Spring 1995.

Pettersson, M. (1995). Portable tailcalls in C. Forthcoming research report, Dept. of Computer and Information Science, Linköping University, Spring 1995.

Röstlinger, A. (1994). Att tillvarata styrkan i gjorda IT-investeringar. LiTH-IDA-R-94-54. Föredrag presenterat på Sundsvall 42, Sundsvall, 18-20 oktober 1994.

Sandewall, E. (1995). Systematic Comparison of Approaches to Ramification using Restricted Minimization of change. LiTH-IDA-R-95-15.

Savén, B. (1994a). Cyclic MRP: Introducing Capacity Constraints into MRP. Les Cahshiers du FEPIMS, May/June, 1994.

Strömberg, J.-E., Söderman, U. (1995). Modular Modelling of Mode-switching Systems. LiTH-IDA-R-95-06.

Strömbäck, L., L. Ragnemalm, E. (1994). Women in Computing in Linköping. Frauenarbeit und Informatik (Organ des Fachausschusses "Frauenarbeit ond Informatik" der Gesellschafr fur Informatik e. V.) 10, pp 6-7.

Stoy, E., Peng, Z., (1995). Hardware/Software Co-Simulation Using a Unified Design Representation, 6th Swedish Workshop on Computer System Architecture, Stockholm, 1995.

Stys, M., Zemke, S. (1995). Incorporating Discourse Aspects in English-Polish MT:Towards Robust Implementation. Accepted to the conference Recent Advances in Natural Language Processing. LiTH-IDA-R-95-18.

Söderman, U. (1994). Conceptual Modelling of Physical Systems - a Frame of Reference. LiTH-IDA-R-94-39.

Söderman, U., Strömberg, J.-E. (1995). Switched Bond Graphs: Multiport Switches, Mathematical Characterization and Systematic Composition of Computational Models. LiTH-IDA-R-95-07.

Söderman, U., Strömberg, J.-E., Top, J. (1995). Mode Invariant Modelling. LiTH-IDA-R-95-04.

Törne, A. (1994). Handling Complexity in Software Design, workshop on Complex Technical Systems (book in preparation), NUTEK, FRN, Linköping University at Sigtuna, Dec , 1994.

Törne, A. (1995). Development of Complex Systems, in Proc. of Hydraulikdagarna, Linköping University, May 1995.

Öberg, J., Eles, P., Hemani, A., Kuchcinski, K., Peng, Z. (1995). Specifying Local Timing Constraints in VHDL for HLS of Digital System, 6th Swedish Workshop on Computer System Architecture, Stockholm, 1995.

D

LICENTIATE THESES:

No. 450 Henrik Nilsson: A Declarative Approach to Debugging for Lazy Functional Languages, 1994.

No. 451 Jonas Lind: Crediter - Firm Relations: an Interdisciplinary Analysis, 1994.

No. 452 Martin Sköld: Active Rules based on Object Relational Queries - Efficient Change Monitoring Techniques, 1994.

No. 455 Pär Carlshamre: A Collaborative Approach to Usability Engineering: Technical Communicators and System Developers in Usability-Oriented Systems Development, 1994.

FHS 5 Stefan Cronholm: Varför CASE-verktyg i systemutveckling? - en motiv- och konsekvensstudie avseende arbetssätt och arbetsformer, 1994. (Swedish).

No. 462 Mikael Lindvall: A Study of Traceability in Object-Oriented Systems Development, 1994.

No. 463 Fredrik Nilsson: Strategi och ekonomisk styrning - En studie av Sandviks förvärv av Bahco Verktyg, 1994. (Swedish).

No. 464 Hans Olsén: Collage Induction: Proving Program Properties by Program Synthesis, 1994.

No. 469 Lars Karlsson: Specification and Synthesis of Plans Using the Features and Fluents Framework, 1995.

No. 473 Ulf Söderman: On Conceptual Modelling of Mode Switching Systems, 1995.

No. 475 Choong-ho Yi: Reasoning about Concurrent Actions in the Trajectory Semantics, 1995.

FHS 7 Anders Avdic: Arbetsintegrerad systemutveckling med kalkylprogram, 1995.

No. 476 Bo Lagerström: Successiv resultatavräkning av pågående arbeten. Fallstudier i tre byggföretag, 1995.

No. 478 Peter Jonsson: Complexity of State-Variable Planning under Structural Restrictions, 1995.

No. 482 Eva L Ragnemalm: Towards Student Modelling through Collaborative Dialogue with a Learning Companion, 1995.

No. 488 Eva Toller: Contributions to Parallel Multiparadigm Languages: Combining Object-Oriented and Rule-Based Programming, 1995.

No. 489 Erik Stoy: A Petri Net Based Unified Representation for Hardware/Software Co-Design, 1995.

No. 497 Johan Herber: Environment Support for Building Structured Mathematical Models, 1995.

No. 498 Stefan Svenberg: Structure Driven Derivation of Inter-Lingual Functor-Argument Trees for Multi-Lingual Generation, 1995.

DISSERTATIONS:

No 371 Bengt Savén: Business Models for Decision Support and Learning. A Study of Discrete-Event Manufacturing Simulation at Asea/ABB 1968-1993, 1995.

No 375 Ulf Söderman: Conceptual Modelling och Mode Switching Physical Systems, 1995.

No 383 Andreas Kågedal: Exploiting Groundness in Logic Programs, 1995.



[Top] [Prev] [Next] [Bottom]

yourEmail@xyzcorp.com
Copyright © 1996, XYZ Corporation. All rights reserved.