001: Ahrenberg L., Dahlbäck N, Jönsson A., Thurée Å.
Customizing Interaction for Natural Language Interfaces
Linköping Electronic Articles in Computer and Information Science,
Vol. 1(1996): Nr. 1, October 1, 1996.
http://www.ep.liu.se/ea/cis/1996/001/.
002: Ahrenberg L., Merkel M. (1996).
On translation corpora and translation support tools: A project report.
I (eds.) K. Aijmer, B. Altenberg, M. Johansson:
Languages in Contrast, Papers from a Symposium on
Text-based Cross-linguistic Studies,
Lund 4-5 March 1994, 183-200, Lund University Press, 1996.
003: Arias-Vimarlund V, Ljunggren M, Timpka T. (1996).
Implementation of computer-based patient records in
primary care: the societal health effects.
J Am Med Inform Assoc 1996; (symposium suppl):503-7.
004: Axelsson J., (1996).
Hardware/Software Partitioning Aiming at Fulfilment of Real-Time Constraints.
Journal of Systems Architecture 42(6-7):449-464, 1996.
005: 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 Symposium,
24 Oct-27 Oct. 1994.
Helal, Ahmed H. & Weiss, Joachim W. Eds.,
Publications of Essen University Library: 18, Essen, 1995,
pp.164-178.
006: Bol R., Degerstedt L. (1996).
Tabulated Resolution for Well-founded Semantics.
J. of Logic Programming, 1996. (Accepted for publication.)
007: Bonnier S., Heyer T.
COMPASS: A Comprehensible Assertion Method.
To appear in Proceedings FASE'97 (TAPSOFT'97)
Lille, France, April 1997, Springer-Verlag.
008: Boye J., Maluszynski J. (1996).
Directional Types and the Annotation Method.
J. Logic Programming, 1996. (Accepted for publication.)
009: Byers D., Kamkar M.
Towards Software Testability Based on Static Analysis,
Nordic Workshop on Programming Environment Research,
Aalborg, May 29-31, 1996.
010: Bäckström C., Jonsson P. (1994).
Planning with abstraction hierarchies can be exponentially less efficient.
In proc. 14th Int. Joint Conf. on Artificial Intelligence (IJCAI'95),
Montreal, Canada, Aug., 1995. LiTH-IDA-R-95-12.
011: Bäckström C. (1995).
Expressive Equivalence of Planning Formalisms.
Artificial Intelligence, 76(1-2):17-34, 1995. LiTH-IDA-R-95-03.
012: Bäckström C. (1995).
Five Years of Tractable Planning.
In proc. Third European Workshop on Planning,
Assisi, Italy, Sept. 27-29, 1995.
Invited paper. LiTH-IDA-R-95-32.
013: Bäckström C., Nebel B. (1995).
Complexity results for SAS+ planning.
Computational Intelligence 11(4):625-655, 1995.
014: Bäckström C., Jonsson P. (1996).
Planning with Abstraction Hierarchies can be Exponentially Less Efficient
In proc. 4th International Symposium of AI and Mathematics,
pp. 178,
Ft.Lauderdale, Fl., USA, Jan. 1996
Invited talk. Only abstract published.
015: Carlshamre P., Karlsson J. (1996).
A Usability-Oriented Approach to Requirements Engineering.
In 2nd IEEE International Conference On Requirements Engineering,
pp. 145-152.
016: Cederling U., Lennartsson B. (1996).
A System Family of Integrated, Distributed Embedded
System Products and its Architecture.
Proceedings of the International Workshop on Development and
Evolution of Software Architectures for Product Families.
Madrid, Spain, Nov. 18-19, 1996.
017: Coradeschi S. (1996).
Reasoning with Misperception in th Features and Fluents Framework.
in Proceedings of ECAI96, The 12th European Conference on Artificial
Intelligence, Budapest, Hungary, Aug. 1996. LiTH-IDA-R-96-02.
018: Coradeschi S., Karlsson, L. (1996).
A Decision-Mechanism for Reactive and Cooperating Soccer-Playing Agents,
in "RoboCup Workshop: Soccer as a problem for Multi-Agent Sysytems"
in the Second International Conference on Multi-Agent Systems (ICMAS-96),
Kyoto, Japan, Dec. 1996.
019: Coradeschi S., Karlsson L., Törne A. (1996).
Intelligent Agents for Aircraft Combat Simulation,
in Proc. of the 6th Conference on Computer Generated Forces
and Behavioral Representation,
Orlando, Florida USA, July 1996.
020: Dahlbäck N., Höök K., Sjölinder M.
Spatial Cognition in the Mind and in the World -
the case of hypermedia navigation.
In Proceedings of The Eighteenth Annual Meeting of the
Cognitive Science Society (CogSci'96),
University of California, San Diego, July, 1996.
021: Davidsson K., Trell E., Lionis C., Koutis A., Faresjo T., Timpka T.,
Fioretos M. (1996).
Following the thread of Aridane to the health of women.
Health Care for Women International 1996;17:201-8.
022: Di Pierro A., Drabent W. (1996).
On Negation as Instantiation.
In 5th International Conf. Algebraic and Logic Programming.
Lecture Notes in Computer Science 1139, Springer-Verlag, 1996.
023: Doherty P. (Ed.) (1996).
Partiality, Modality, and Nonmonotonicity.
CSLI Publications, 1996.
024: Doherty P., Lukaszewicz W., Szalas, A. (1995).
Computing Circumscription Revisited: Preliminary Report.
In Proceedings of the 14th Int'l Joint Conference on Artificial
Intelligence (IJCAI-95), volume 2, pages 1502--1508.
025: Doherty P., Peppas P. (1995).
A Comparison between two Approaches to Ramification: PMON(R) and AR0.
In Proceedings of the 8th Australian Joint Conference on Artificial
Intelligence (AJCAI'95), pp. 267-274.
026: Doherty P., Lukaszewicz W. (1996).
A Study in Modal Embeddings of NML3.
In Doherty, P., editor, Partiality, Modality, and Nonmonotonicity,
chapter 5, pages 145--168. CSLI Publications.
027: Doherty P., Lukaszewicz W., Szalas, A. (1996).
General Domain Circumscription and its First-Order Reduction.
In Proceedings of the 1st Int'l Conference on Formal and Applied
Practical Reasoning (FAPR'96), Bonn, Germany,
June 3-7, 1996. LiTH-IDA-R-96-01.
028: Doherty P., Lukaszewicz W., Szalas A. (1996).
Explaining Explanation Closure.
In Proceedings of the 9th Int'l Symposium on
Methodologies of Intelligent Systems (ISMIS'96),
June 9-13, 1996.
029: Doherty P., Lukaszewicz W., Szalas A. (1997).
Computing Circumscription Revisited: A Reduction Algorithm.
To appear in Journal of Automated Reasoning.
030: Doherty P., Lukaszewicz W., Szalas A. (1997).
A Reduction Result for Circumscribed Semi-Horn Formulas.
To appear in Fundamenta Informaticae.
031: Drabent W. (1996).
Completeness of SLDNF-Resolution for Nonfloundering Queries.
J. of Logic Programming, 27(2), 1996.
032: Drabent W., Di Pierro A. (1996)
On quantified negative queries.
In 1996 Joint Conference on Declarative Programming,
APPIA-GULP-PRODE'96, 1996.
033: Drakengren T. (1996).
Uniqueness of Scott's Reflexive Domain in Pomega.
Theoretical Computer Science 155(1):267-276, Feb 1996.
034: Drakengren T., Jonsson P. (1996).
Maximal Tractable Subclasses of Allen's Interval Algebra:
Preliminary Report
Proceedings of the 13th (US) National Conference on
Artificial Intelligence (AAAI-96), pp. 389--394,
Portland, OR, USA, Aug 1996. LiTH-IDA-R-96-14.
035: Drakengren T., Jonsson P. (1997).
Eight Maximal Tractable Subclasses of Allen's Algebra with
Metric Time
Accepted to Journal of Artificial Intelligence Research.
To appear in 1997. LiTH-IDA-R-96-26.
036: Driankov D., Hellendoorn H. (1995).
Chaining of fuzzy rules in Mamdani controllers,
Proc. FUZZ-IEEE'95, Yokohama, Japan, 1995.
037: Driankov D. (1996).
Model based fuzzy control,
Chapter in: Handbook of Fuzzy Computation, Oxford Univ. Press, 1966.
038: Driankov D., Fodor G. (1996),
Fuzzy control under violation of ontological assumptions,
Invited plenary talk: Proc. FLAMOC'96, Sydney, Australia,
15-18 Jan. 1996, pp. 109-115.
039: Driankov D., Hellendoorn H., Reinfrank M.
Introduction to Fuzzy Control (2nd revised edition),
Springer Verlag (Berlin, Heildelberg, New York), 1996.
040: Driankov D., Palm R. (1996).
Fuzzy gain scheduling,
Proc. 2nd World Automation Congress,
May 27-30, Montpellier, France, 1996.
041: Driankov D., Palm, R., Rehfuess U. (1996).
A Takagi-Sugeno fuzzy gain scheduler,
Proc. FUZZ-IEEE'96, September 8-11, New Orleans,
Louisianna, 1996, pp. 1053-1059.
042: Ehn P., Löwgren J. (1996).
The Qualitheque: Systems at an exhibition. interactions 3(3):53-55.
043: Ehn P., Löwgren J (forthcoming).
Design for quality-in-use:
Human-computer interaction meets information systems development.
To appear in Helander M, et al (eds)
Handbook of Human-Computer Interaction, 2nd ed. Amsterdam: Elsevier.
044: Eles P., Kuchcinski K., Peng Z., Doboli A.
Post-synthesis Back-Annotation of Timing Information in Behavioral VHDL,
Accepted for publication in Journal of System Architecture,
The EUROMICRO Journal (special issue on Design of Hardware and
Software Systems).
045: Eles P., Kuchcinski K., Peng Z.
Synthesis of Systems Specified as Interacting VHDL Processes,
Accepted for publication in INTEGRATION the VLSI journal.
046: Eles P., Peng Z., Kuchcinski K., Doboli A. (1996).
Hardware/Software Partitioning with Iterative Improvement Heuristics,
9th International Symposium on System Synthesis, La Jolla, USA,
Nov 6-8, 1996.
047: Eles P., Peng Z., Kuchcinski K., Doboli, A. (1996).
Hardware/Software Partitioning of VHDL System Specifications,
EURO-DAC'92, Sept 16-22, 1996, Geneva, Switzerland, pp. 434-439.
048: Eles P., Peng Z., Kuchcinski K., Doboli, A.
System Level Hardware/Software Partitioning Based on Simulated
Annealing and Tabu Search.
Accepted for publication in Kluwer Journal
DESIGN AUTOMATION FOR EMBADDED SYSTEMS.
049: Eriksson H. (1996).
Expert systems as knowledge servers.
IEEE Expert, 11(3):14-19.
050: Eriksson H., Frost, N. (1996).
Design critiquing for a knowledge-engineering development environment.
In Proceedings of the Tenth Banff Knowledge Acquisition for
Knowledge-Based Systems Workshop, Banff, Canada.
051: Eriksson, H., Shahar, Y., Tu, S. W., Puerta, A. R., and Musen, M. A. (1995).
Task modeling with reusable problem-solving methods.
Artificial Intelligence 79(2):293-326.
052: Ericsson M., Bauren M., Löwgren J, Waern Y. (1996).
Strategies for knowledge-based support in graphical
user-interface design: A Wizard-of-Oz study.
In Proc. 8th European Conf. on Cognitive Ergonomics
(ECCE 8), p. 1-4. Le Chesnay Cedex: EA CE.
053: Eriksson O. (1996).
A communicative action analysis of information systems: A sales support
systems and its effects.
In proceedings of conference Language/Action Perspective´96,
Springer Verlag; July, 1996.
054: Ericsson T. Subotic, A. Ursing, S.(1996).
Towards a Test Improvement Model.
In proc. of 4th European Conf on Software Testing Analysis and Review.
055: Fahl G., Risch T.
Query Processing over Object Views of Relational Data.
Accepted to VLDB Journal (Springer), 1997.
056: Falkenroth E., Törne A., Risch T.
Using an Embedded Active Database in a Control System Architecture,
in Proceedings of 2nd Intl Conf on Applications of Databases ADB'95,
(San Jose, CA, USA), Dec. 1995. LiTH-IDA-R-95-39.
057: Falkenroth E. (1996),
Computational Indexes for Time Series,
in 8th Intl Conf on Scientific and Statistical Database Management,
(Stockholm, Sweden), June 1996.
058: Fjällström P-O., Petersson J., Nilsson L., Zhong Z-H (1996).
Evaluation of Range Searching Methods for Contact Searching
in Mechanical Engineering.
Accepted for publication in International Journal of
Computational Geometry & Applications.
059: Flodin S., Risch T.
Processing Object-Oriented Queries with Invertible Late Bound Functions.
In The 21st International Conference on Very Large Databases (VLDB'95),
Zurich, Switzerland, Sept 11-15, 1995.
060: Forslund, G. (1995b).
Towards cooperative advice-giving systems: A case
study in knowledge-based decision support.
IEEE Expert. Special issue on Cooperative Systems for Workgroups.
061: Fribourg L., Olsen, H. (1996).
Reductions of Petri Nets and Unfolding of Propositional Logic Programs,
Proceedings of the 6th International Workshop on Logic Program
Synthesis and Transformation, Lecture Notes in Computer Science,
Springer-Verlag, 1996.
062: Goldkuhl G. (1996).
Generic business frameworks and action modelling.
In proceedings of
conference Language/Action Perspective´96, Springer Verlag;
July, 1996. LiTH-IDA-R-96-17.
063: Granlund, R. (1996).
C3fire - A Microworld for Emergency Managment Training.
In Woolf, B. P., editor, Proceedings of the Simulation-Based
Learning Technology Workshop at ITS'96, pages 18-22, Montreal, Canada.
064: Grufman S., Samson F., Embury S.M., Gray, P. M. D., Risch, T.
Distributing Semantic Constraints Between Heterogeneous Databases,
To be presented at The 13th International Conference on Data Engineering
(ICDE'97), (IEEE), Birmingham, England, 1997.
065: Gruen P., Eles P., Kuchcinski K., Peng Z. (1996).
Automatic Parallelisation of Petri Net Based Design Representation
for High-Level Synthesis, 22nd Euromicro Conference, Prague, Sept 2-5, 1996.
066: Gu X., Larsson E., Kuchcinski K., Peng Z.
A Controller Analysis and Enhancement Technique,
Accepted for European Design and Test Conference,
March 17-20, 1997, Paris, France.
067: Gustafsson J., Doherty P. (1996).
Embracing Occlusion in Specifying the Indirect Effects of Actions.
In Proceedings of the 5th Int'l Conference on the Principles of
Knowledge Representation in Reasoning (KR'96).
068: Gustafsson M., Shahmehri N. (1996).
A Role Description Framework and its Applications
to Role-Based Access Control.
Proceedings of the Nordic Workshop on Secure Computer
Systems, Göteborg, Sweden, November 1996. Also Presented
at the IEEE WET-ICE International Workshop on Enterprise
Security, Palo Alto, USA, June 1996.
069: Hall T., Shahmehri N. (1996).
An Intelligent Multi-Agent Architecture for Support of
Process Reuse in a Workflow Management System.
Proceedings of the First International Conference on the
Practical Application of Intelligent Agents and Multi-Agent Technology,
London, UK, April 1996.
070: Hallberg J., Peng Z. (1996).
Multicycle Scheduling under Local Timing Constraints using
Genetic Algorithms and Tabu Search.
Short contributions, 22nd EUROMICRO conference,
Beyond 2000: Hardware and Software Design Strategies,
Prague, Sept., 2-5, 1996.
071: Hallberg J., Peng Z. (1996).
High-Level Synthesis under Local Timing Constraints using Genetic Algorithms.
The International Conference on Technical Informatics CONTI'96,
Timisoara, Nov., 14-16, 1996.
072: Hallberg N, Timpka T.
Experiences from QFD Techniques in Service Development,
In: Transaction from The Eighth Symposium on Quality Function Deployment,
June 9-11, 1996, Novi, Michigan, USA
073: Hallberg N, Timpka T.
Quality function deployment (QFD) for developing a customized
social medical service.
Scand J Soc Welfare 1997; accepted for publication.
074: Hermansson AC., Hornquist JO., Timpka T.
The well-being of war-wounded asylum applicants and quota
refugees following arrival in Sweden.
Journal of Refugee Studies 1996; In press.
075: Hermansson AC., Thyberg M., Timpka T.
War-wounded refugees: the type of injury and influence of disability on
well-being and social integration.
Medicine and War 1996; In press.
076: Hermansson AC., Timpka, T.
War-wounded refugees: labour market integration after two years in Sweden.
Scand J Social Welfare 1996; In press.
077: Hjerppe R. (1995).
Muddling through Flux, Challenges of Change for Libraries and Archives.
NORDINFO Nytt. no.4 1995
078: Hjerppe R. (1996).
Go with the flow, or abide by the side, or watch the waves? Challenges of
Change for Knowledge Organization.
(Keynote Address) In "Knowledge Organization and Change"
Proc. Fourth International ISKO Conf., Washington, DC, USA July 15-18 1996.
Green, Rebecca Ed. INDEKS Verlag, Frankfurt/Main, 1996.
079: Hjerppe R. (1996).
Access to ...tainment: Issues and Approaches.
Presented at Research Seminar: Fiction - OPACS - Networks. Copenhagen Nov. 11-13, 1996. (To be published)
080: Hjerppe R.
Keynote Address for: Hypostatizing Data Collections, Especially Bibliographic:
Abstractions, Representations, Sensualizations,
Adaptations/personalizations, ... Visualizing Subject
Access for 21st Century Information Resources.
34th Annual Clinic on Library Applications of Data Processing. March 2-4,
1997, at the Beckman Institute for Advanced Science and Technology on the
University of Illinois at Urbana-Champaign campus.
081: Hjerppe R.
The Upper CYC Ontology and Universal Classifications:
similarities, differences, consequences.
Accepted for presentation at: KNOWLEDGE ORGANIZATION FOR
INFORMATION RETRIEVAL, 6th International Study
Conference on Classification Research, 6 -19 June 1997,
organized by FID/CR and University College London,
in association with ASLIB, Classification Research
Group and the International Society for Knowledge Organization,
will be held in University College London, 16-19 June, 1997
082: Holmlid S. (1997).
Learning for usability: An explorative study of qualities in use.
To appear in Proceedings of CHI '97 Conference on Human
Factors in Computing Systems.
083: Håkegård J., Carlsson G., Peng Z. (1996).
A Board-Level Test Controller to Support a Hierarchical DFT Architecture,
Proc. European Test Workshop `96, Montpellier, France, June 12-14, 1996.
084: Hägglund, S.
Knowledge Management for Collective Learning and Organisational Memory.
Position paper for the ECSCW'95 Workshop on coping with dynamic complexity.
Revised version to appear in Waern (ed.) Cooperation in process management -
Cognition and Information Technology, Taylor and Francis, London.
085: Höst M., Wohlin C.
A Subjective Effort Estimation Experiment.
Accepted for publication at EASE: Empirical Assessment & Evaluation in
Software Engineering, Keele University, Staffordshire, UK, March 1997.
086: Höök K., Karlgren J., Waern A., Dahlbäck N., Jansson C-G., Karlgren K.,
Lemaire B.
A Glass Box Approach to Adaptive Hypermedia Journal of User Modelling
and User-Adaptive Interaction,
6:157-184, 1996 (Special issue on adaptive hypermedia.)
087: Höök K., Sjölinder M., Dahlbäck D.
Individual Differences and Navigation in Hypermedia,
In Proceedings from ECCE-8, 1996.
088: Ingels P.
Connected Text Recognition Using Layered {HMM}s and Token Passing,
In (eds.) K. Oflazer and H. Somers Proceedings of the Second
Conference on New Methods in Language Processing, Bilkent University,
Turkey, 121-132, Sept. 1996.
089: Jenvald J, Morin M.
Multiple Use of Information from Force-on-Force Battle Training.
To be presented at The 8th International Training and Education
Conference, 22-25 april 1997, Lausanne, Schweiz.
090: Johansson M, Timpka T.
Identification of quality characteristics for methods
in DSS requirements engineering using Quality Function Deployment.
Med Inform 1996; in press.
091: Jonsson P., Bäckström C. (1995).
Incremental Planning.
In proc. Third European Workshop on Planning, Assisi,
Italy, Sept. 27-29, 1995. LiTH-IDA-R-95-31.
092: Jonsson P., Bäckström C. (1996).
Tractable plan existence does not imply tractable plan generation
In proc. 4th International Symposium of AI and Mathematics,
pp. 91--94, Ft. Lauderdale, Fl., USA, Jan. 1996.
093: Jonsson P., Bäckström C. (1996).
On the Size of Reactive Plans
Proceedings of the 13th (US) National Conference on Artificial
Intelligence (AAAI-96), pp. 1182--1187, Portland, OR, USA, Aug 1996.
LiTH-IDA-R-96-10.
094: Jonsson P., Bäckström C. (1996).
A Linear-Programming Approach to Temporal Reasoning
Proceedings of the 13th (US) National Conference on
Artificial Intelligence (AAAI-96), pp. 1235--1240,
Portland, OR, USA, Aug 1996.
095: Jonsson P., Drakengren T., Bäckström C. (1996).
Tractable Subclasses of the Point-Interval Algebra: A
Complete Classification
Proceedings of the 5th International Conference on Principles on
Knowledge Representation and Reasoning (KR-96), pp. 352--363,
Cambridge, MA, USA, Oct 1996.
096: Jönsson A.
Dialogue Actions for Natural Language Interfaces,
Proceedings of IJCAI-95, Montreal, Canada, 1995.
097: Jönsson A.
A Model for Dialogue Management for Human Computer Interaction,
Proceedings of ISSD'96, Philadelphia, 69-72, 1996.
098: Karlsson J. S., Litwin W., Risch T.
LH*lh: A Scalable High Performance Data Structure for Switched Multicomputers.
In The 5th International Conference on Extending Database Technology
(EDBT'96) Avignon, France, March 1996. (LiTH-IDA-R-95-25).
099: Karlsson, J. (1996).
Software Requirements Prioritizing.
In 2nd IEEE International Conference on
Requirements Engineering, pp. 100-116.
100: Karlsson J. Ryan, K. (1996).
Supporting the Selection of Software Requirements.
In 8th International Workshop on Software Specification
and Design, pp. 146-149.
101: Karlsson L. (1996).
Planning, Truth Criteria and the Systematic approach to Action and Change.
9th International Symposium on Methodologies for Intelligent Systems,
Zakopane, Poland, June 9-13, 1996. LiTH-IDA-R-96-16.
102: Karlsson L. (1996).
Causal links planning and the systematic approach to action and change.
AAAI-96 Workshop on Reasoning about actions, planning and control:
bridging the gap, Portland, Oregon, 1996.
103: 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. 1995;217-21.
104: Klein I., Jonsson P., Bäckström C. (1995).
Tractable Planning for an Assembly Line.
In proc. Third European Workshop on Planning, Assisi, Italy, Sept. 27-29, 1995.
105: Klein I., Jonsson P., Bäckström C. (1996).
Automatic Synthesis of Control Programs in polynomial Time for an
Assembly Line
In Proc. IEEE Conference on Decision and Control (CDC-96),
Kobe, Japan, Dec, 1996
106: Lambrix P., Maleki J. (1996).
Learning Composite Concepts in Description Logics: A first step.
Proceedings of the 9th International Symposium on Methodologies for
Intelligent Systems, Lecture Notes in Artificial Intelligence 1079,
Zakopane, Poland, June 1996.
107: Lambrix P., Padgham L. (1996).
A Knowledge Base for Structured Documents.
Proceedings of the First Australian Document Computing Symposium,
Melbourne, Australia, March 1996.
108: Lambrix P., Padgham L. (1996).
A Description Logic for Composite Objects for Domain
Modeling in an Agent-Oriented Application.
Proceedings of the International Workshop on Description Logics,
Cambridge, MA, USA, Nov, 1996.
109: Larsson M. (1994).
An Engineering Approach to Formal Digital System Design,
In T. F. Melham and J. Camilleri, editors, Higher Order Logic Theorem
Proving and its Applications, volume 859 of Lecture Notes in Computer Science,
pages 300-315. Springer-Verlag, Sept. 1994.
(extended version) of the conference paper)
110: Larsson M. (1995).
An Engineering Approach to Formal Digital System Design.
BCS Computer Journal, 38(2):101-110, 1995.
111: Larsson M. (1996).
Improving the Result of High-level Synthesis Using Interactive
Transformational Design.
In J. von Wright, J. Grundy, and J. Harrison, editors,
Theorem Proving in Higher Order Logics, volume 1125 of Lecture Notes
in Computer Science, pages 299-314. Springer-Verlag, Aug., 1996.
112: Larsson M., Gordon, A. D. (1995).
A HOL Embedding of a Small Parallel HDL,
Proc. 8th International Conference on Higher Order Logic
Theorem Proving and its Applications, Aspen Grove, Utah, USA, Sept, 1995.
113: Lin L., Risch T., Sköld M., Badal D.
Indexing Values of Time Sequences.
In The Fifth International Conference on Information and
Knowledge Management (CIKM'96), (ACM), Rockville, Maryland,
USA, Nov 12-16, 1996. LiTH-IDA-R-96-29.
114: Lind M. (1996).
Business processes thinking in practice,
in proc of 19th IRIS-Conference, Göteborgs universitet; Aug, 1996.
115: Lindqvist K., Timpka T., Bjurulf P.
Injuries during leisure physical activity in a Swedish Municipality.
Scand J Soc Med 1996;24:282-92.
116: Lindqvist K., Timpka T., Schelp L.
Ten years of experiences from a participatory community-based
injury prevention program in Motala, Sweden.
Public Health 1996. In press.
117: Lindström J., Rapp B. (1996).
On Costs in Teleworking,
in International Transaction in Operational Research,
Vol 3 No 1, Pergamon Press Oxford, England, pp 51-63.
118: Lindvall M., Sandahl, K. (1996).
Practical Implications of Traceability.
Journal of Software Practice and Experience 26:10, pp1161-1180.
119: Loborg P., Törne A.
Towards Error Recovery in Sequantial Control Applications,
in 6th int. Symposium on Robotics in Manufacturing (ISRAM96),
Montpellier, France, May 1996.
120: Malec J. (1994).
Behaviour-based autonomous systems: Towards an analysis framework,
In Robert Trappl, editor, Cybernetics and Systems'94, pp. 1419--1426,
World Scientific Publ., 1994.
121: Malec J. (1995).
A unified approach to intelligent agency,
In Michael Wooldridge and Nicholas R. Jennings, editors,
Intelligent Agents, pages 233--244. Springer-Verlag, 1995.
122: Merkel M.
Consistency and variation in technical translations -
a study of translators' attitudes.
Paper read at "Unity in Diversity",
Translation Studies Conference in Dublin, May, 1996 and
to appear in the Proceedings.
123: Merkel M.
Checking Translations for Inconsistency - A Tool for the Editor.
In Proceedings of the Second Conference of the Association for
Machine Translation in the Americas (AMTA-96). Montreal, Canada, Oct 1996.
124: Musen M. A., Gennari J. H., Eriksson H., Tu S.W., Puerta, A. R. (1995).
PROT'EG'E-II: Computer support for development of intelligent systems
from libraries of components.
In Proceedings of the Eighth World Congres on Medical Informatics,
Medinfo'95, pages 766-770, Vancuver, BC, Canada.
125: Nadjm-Tehrani S., Strömberg, J-E. (1995).
Proving Dynamic Properties in an Aerospace Application.
In proc. RTSS'95, IEEE International Symposium on Real-Time Systems,
Pisa, Italy, Dec 1995.
126: Nilsson H., Sparud J. (1996).
The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging.
To appear in Automated Software Engineering, volume 4, issue 2,
1997 (a shorter version of LiTH-IDA-R-96-23).
127: Näslund, T. (1996).
Computers in context - but in which context?
In Proceedings of the 3rd decennial conference
Computers in Context : Joining Forces in Design, pages 73-82,
Århus, Denmark. Republished in Scandinavian Journal of Information
Systems, vol 8, no 1.
128: Näslund, T. (1996).
Seven traditions for information systems development.
In Proceedings of IRIS19, Information Systems Research in Scandinavia.
Gothenburg Studies in Informatics, Göteborg, Sweden.
129: Ohlsson N., Helander M., Wohlin C.
Quality Improvement by Identification of Fault-Prone Modules using
Software Design Metrics,
Proceedings Sixth International Conference on Software Quality,
pp. 1-13, Ottawa, Ontario, Canada, 1996.
130: Ohlsson N., Wohlin, Claes,
Identification of Failure-Prone Modules in Two Software System Releases,
Proceedings Twenty-First Annual Software Engineering Workshop,
Greenbelt, Maryland, USA, 1996.
131: Orsborn K. (1996).
Management of Product Data Using an Extensible Object-Oriented Query Language.
In The Fifth International Conference on Data and Knowledge Systems
for Manufacturing and Engineering (DKSME'96), Phoenix, Arizona, USA,
Oct 24-25, 1996.
132: Orsborn K., Risch T.
Next Generation of O-O Database Techniques in Finite Element Analysis.
In The Third International Conference on Computational Structures Technology,
Budapest, Hungary, Aug 21-23, 1996.
133: Palm R., Driankov D.(1995).
Fuzzy inputs,
Int. J. Fuzzy Sets and Systems, vol. 70, 1995, pp. 315-335.
134: Palm R., Driankov D., Rehfuess U. (1995).
Lyapunov-linearization based design of Takagi-Sugeno fuzzy controllers,
Proc. IFSA World Congress, Sao Paolo, Brazil, 1995, pp. 103-107.
135: Palm R., Driankov D, Hellendoorn, H.
Model-based Fuzzy Control: Fuzzy gain scheduling and sliding mode
fuzzy control,
Springer Verlag (Berlin, Heidelberg, New York), 1996.
136: Peterson J. (1996).
Parallel Algorithms for Geometric Dominance Problems.
Acccepted for publication in Parallel Algorithms, Third DIMACS Implementation Challenge, AMS DIMACS Series.
137: Pettersson M. (1996).
A Compiler for Natural Semantics.
In Proc. 6th International Conference on Compiler Construction,
CC'96, pp. 177-191, LNCS-1060, Springer-Verlag. LiTH-IDA-R-96-05.
138: Pettersson M. (1996).
Compiling Natural Semantics.
Accepted for publication as a volume in the LNCS series. Springer Verlag.
139: Ragnemalm E. L. (1996a).
Collaborative dialogue with a learning companion as a
source of information on student reasoning.
In Frasson, C., Gauthier, G., and Lesgold, A., editors,
Proceedings of ITS'96, Lecture Notes in Computer Science,
pages 650-658, Montréal, Canada.
140: Ragnemalm E. L. (1996b).
Student diagnosis in practice; Bridging a gap.
User Modelling and User Adapted Interaction, 5(2):93-116.
141: Rothenfluh T.E., Gennari J. H., Eriksson H., Puerta A. R.,
Tu S. W., Musen M. A. (1996).
Reusable ontologies, knowledge-acquisition tools, and
performance systems: PROT'EG'E-II solutions to Sisyphus-2.
Int. J. of Human-Computer Studies 44(3/4):303-332.
142: Rankin I. (1996)
Argumentation in the Construction of a Critique,
in Proceedings of ECAI96 Workshop 'Gaps and Bridges:
New Directions in Planning and Natural Language Generation'.
Budapest, Aug. 1996.
143: Sandewall E.
Reasoning about Actions and Change with Ramification.
In: Jan van Leeuwen(ed):
Computer Science Today. Springer Verlag, Lecture Notes in
Computer Science, Vol. 1000, 1995. LiTH-IDA-R-95-21.
144: Sandewall E.
Towards a world-wide database.
Computer Networks and ISDN Systems,Vol. 28 (1996), pp 1513-1522.
145: Sandewall E.
Towards a world-wide knowledge base.
Invited paper for ISMIS, International
Symposium on Methodologies for Intelligent Systems,
Zakopane, Poland, June 9-13, 1996.
146: Sandewall E.
Assessments of ramification methods that use static domain constraints.
International Joint Conference on Knowledge Representation and Reasoning,
Nov, 1996. Proceedings published by Morgan-Kaufmann Publishers,
San Francisco, CA.
147: Sandewall E.
Underlying semantics for logics of actions and change.
Extended abstract. Invited lecture at Logic Colloquium 96 in
Donostosia/San Sebastian, Spain.
European Summer Meeting of the Association for Symbolic Logic.
148: Sandewall E.
Towards the validation of high-level action descriptions from
their low-level definitions.
Accepted for inclusion in the AICOM Journal,
Vol. 9, No. 4, Dec, 1996. IOS Press.
149: Sandewall E.
Underlying semantics for actions and change with ramification.
Accepted for inclusion in Spatial and Temporal Reasoning,
Oliviero Stock (ed), Kluwer, 1997.
Also published by Linköping University Electronic Press.
150: Sandewall E.
Getting Robots to Know Exactly What they are Doing.
Invited lecture at ECAI
96, the European Conference on Artificial Intelligence, B
udapest, Hungary, August 11-16, 1996.
151: Sandewall E.
The early use of continuations and partial evaluation for compiling rules
written in FOPC.
Proceedings of the 2nd ACM SIGPLAN Workshop on Continuations,
Paris, France, Jan 14, 1997. (Journal republication foreseen).
152: Sandewall E.
Relating high-level and low-level action descriptions in a
logic of actions and change.
To be presented at the International Workshop on Hybrid and
Real-Time Systems (HART'97),
The International Workshop on Hybrid and Real-Time Systems, Grenoble,
France, March 26-28, 1997. Proceedings to be published by Springer Verlag.
153: Sparud J., Nilsson H. (1995).
The Architecture of a Debugger for Lazy Functional Languages.
In proceedings of AADEBUG '95, the 2nd International Workshop on
Automated and Algorithmic Debugging, IRISA-CNRS, Saint-Malo, France, May 1995.
154: Stoy E., Peng Z. (1996).
Inter-Domain Movement of Functionality as a Repartitioning Strategy
for Hardware/Softwsandewaare Co-Design,.
Has been accepted for publication in the EUROMICRO
Journal of Systems Architecture. LiTH-IDA-R-95-33.
155: Strömberg J-E., Nadjm-Tehrani S., Top J. (1996).
Switched Bond Graphs as Front-end to Formal Verification of
Hybrid Systems
Proc. of the DIMACS International Workshop on Verification and Control
of Hybrid Systems, pp. 282--293, LNCS 1066, Springer Verlag.
156: Strömberg J-E., Nadjm-Tehrani S. (1997).
Hybrid Systems Verification Combining Duration Calculus and
Bond Graphs Proc.
IFAC-IFIP-IMACS Conference on Control of
Industrial Systems, Accepted, to appear 1997.
157: Timpka T. (1995).
Situated clinical cognition.
Editorial. Artificial Intelligence in Medicine. 1995;7. 1995;7:387-94.
158: Timpka T., Hensing G., Alexanderson K. (1995).
Dilemmas in sickness certification among Swedish physicians.
Euro J Pub Health 1995. 1995;5:215-9.
159: Timpka T., Marmolin H., Hallberg N.
Expertmedia in ambulatory clinics.
In: Rada R, Tochtermann K (eds.).
Expertmedia - expert systems and hypermedia.
New Jersey: World Scientific, 1995, pp. 107-18.
160: 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.
J Am Med Inform Assoc 1995;(symposium suppl):800-4.
161: 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. 1995;46:175-86.
162: Timpka T., Hallberg N.
Talking at work - professional advice-seeking at primary healthcare centers.
Scand J Prim Health Care 1996; 14:130-5.
163: Timpka T., Kinnunen K., Forsum U.
Division of labour in clinical microbiology: co-operation and fragmentation.
Scand J Caring Sci 1996;10:157-62.
164: Timpka T., Sjöberg C. (1996).
The voices of design: discourse in participatory
information system development.
Mind, Culture & Activity. 1996;3:185-202.
165: Timpka T., Svensson B., Molin B. (1995).
Development of community nursing: analysis of the central services and
practice dilemmas.
Int J Nurs Stud 1995. 1996;33:297-308.
166: Timpka T., Westergren V., Hallberg N., Forsum U.
Study of situated clinical cognition: a meta-analysis and preliminary method.
Meth Inf Med 1997;35; In press.
167: Törne A., Falkenroth E., Loborg P. (1996).
Databases in Control and Simulation,
1st Int'l Workshop on Real-Time Databases: Issues and Applications,
Newport Beach, CA, USA, March 1996.
168: Westhead M., Nadjm-Tehrani S. (1996).
Verification of Embedded Systems using Synchronous Observers
Proceedings of the 4th International Conference on
Formal Techniques in Real-time and Fault-tolerant Systems,
pp. 405--419 , LNCS 1135, Springer Verlag,Sept 1996.
169: Wide P., Driankov D. (1996).
A Fuzzy approach to multi-sensor data fusion for quality profile
classification,
Proc. 1996 IEEE/SICE/RSJ International Conference on Multisensor
Fusion and Integration for Intelligent Systems, Washington D.C., Dec. 1996.
170: Wide P., Winquist F., Driankov D. (1996).
An air quality sensor system with fuzzy classification,
In press: The journal of Measurement Science and Technology, 1996.
171: Villegas, J. (1996):
Simulation Supported Industrial
Training a Method for Increasing Competence of People at Companies.
Paper presented at the SAGSET-96 annual conference in London - England,
July 24-27, 1996. The paper will be published at the SAGSET yearbook 1996.
172: Wærn, Y., Hägglund, S.
User Aspects of Knowledge-Based Systems.
To appear in Handbook of Human-Computer Interaction, North Holland.
173: Öberg J., Eles P., Hemani A., Kuchcinski K., Peng P. (1996).
Specifying Local Timing Constraints for HLS of Digital Systems in VHDL,
The Third Asia Pacific Conference on Hardware Description Languages
(APCHDL 96), Jan 8-11, 1996, Bangalore, India.
1996: