Linköping University

Department of Computer and Information Science

Publication Register

Articles reported during 1995/96/96
as published or accepted for publication

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

This page and the underlying database are still being extended with more facilities. In particular, hot links to abstracts and full text of papers will be added.

001
Lars Ahrenberg, Nils Dahlbäck, Arne Jönsson, 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/.
- (nlplab)

002
Lars Ahrenberg, Magnus Merkel.
On translation corpora and translation support tools: A project report. .
Published in the proceedings of the Symposium on Text-based Cross-linguistic Studies, pp. 183-200.
- (nlplab)

003
Vivian Arias-Vimarlund, M Ljunggren, Toomas Timpka.
Implementation of computer-based patient records in primary care: the societal health effects. .
J Am Med Inform Assoc 1996; (symposium suppl):503-7.
- (mda)

004
Jakob Axelsson.
Hardware/Software Partitioning Aiming at Fulfilment of Real-Time Constraints. .
Accepted for publication in the Journal of Systems Architecture Vol. 42, pp. 449-464.
- (cadlab)

005
Lisbeth Björklund, Andreas Björklind, Roland Hjerppe.
Highways and Backroads of Internet: Strategies and Tactics. .
Published in the proceedings of the International Essen Symposium, pp. 164-178.
- (liblab)

006
R Bol, L Degerstedt.
Tabulated Resolution for Well-founded Semantics. .
Published in the Vol. 1996.
- (logpro)

007
Staffan Bonnier, Tim Heyer.
COMPASS: A Comprehensible Assertion Method. .
Published in the proceedings of the 1997 , pp. 803-817.
- (rtslab)

008
J Boye, Jan Maluszynski.
Directional Types and the Annotation Method. .
Published in the Vol. 1996.
- (logpro)

009
David Byers, Mariam Kamkar.
Towards Software Testability Based on Static Analysis, .
Accepted for publication in the proceedings of the Nordic Workshop on Programming Environment Research.
- (pelab)

010
Christer Bäckström, Peter Jonsson.
Planning with abstraction hierarchies can be exponentially less efficient. .
Accepted for publication in the proceedings of the 1995 .
- (tosca)

011
Christer Bäckström.
Expressive Equivalence of Planning Formalisms. .
Published in the journal Vol. 76, pp. 17-34.
- (tosca)

012
Christer Bäckström.
Five Years of Tractable Planning. .
Accepted for publication in the proceedings of the European Workshop on Planning.
- (tosca)

013
Christer Bäckström, B Nebel.
Complexity results for SAS+ planning. .
Published in the journal Vol. 11, pp. 625-655.
- (tosca)

014
Christer Bäckström, Peter Jonsson.
Planning with Abstraction Hierarchies can be Exponentially Less Efficient .
Accepted for publication in the proceedings of the International Symposium of AI and Mathematics.
- (tosca)

015
P Carlshamre, Joachim Karlsson.
A Usability-Oriented Approach to Requirements Engineering. .
Published in the proceedings of the IEEE International Conference on Requirements Engineering, pp. 145-152.
- (aslab)

016
U Cederling, Bengt Lennartsson.
A System Family of Integrated, Distributed Embedded System Products and its Architecture. .
Accepted for publication in the proceedings of the International Workshop on Development and Evolution of Software Architectures for Product Families.
- (pelab)

017
Silvia Coradeschi.
Reasoning with Misperception in the Features and Fluents Framework. .
Accepted for publication in the proceedings of the 1996 .
- (taslab)

018
Silvia Coradeschi, Lars Karlsson.
A Decision-Mechanism for Reactive and Cooperating Soccer-Playing Agents, .
Accepted for publication in the proceedings of the 1995 .
- (kplab)

019
Silvia Coradeschi, Lars Karlsson, Anders Törne.
Intelligent Agents for Aircraft Combat Simulation, .
Accepted for publication in the proceedings of the Conference on Computer Generated Forces and Behavioral Representation.
- (rtslab)

020
Nils Dahlbäck, K Höök, M Sjölinder.
Spatial Cognition in the Mind and in the World - the case of hypermedia navigation. .
Accepted for publication in the proceedings of the Meeting of the Cognitive Science Society.
- (nlplab)

021
K Davidsson, E Trell, C Lionis, A Koutis, T Faresjo, Toomas Timpka, M Fioretos.
Following the thread of Aridane to the health of women. .
Accepted for publication in the journal Health Care for Women International Vol. 17, pp. 201-208.
- (mda)

022
A DiPierro, Wlodzimierz Drabent.
On Negation as Instantiation. .
Published in the proceedings of the 1996 , pp. 32-46.
- (logpro)

023
Patrick Doherty.
Partiality, Modality, and Nonmonotonicity. .
CSLI Publications, 1996.
(No lab affiliation)

024
Patrick Doherty, Witold Lukaszewicz, A Szalas.
Computing Circumscription Revisited: Preliminary Report. .
Published in the proceedings of the 1995 , pp. 1502-1508.
- (kplab)

025
Patrick Doherty, P Peppas.
A Comparison between two Approaches to Ramification: PMON(R) and AR0. .
Published in the proceedings of the 1995 , pp. 267-274.
- (kplab)

026
Patrick Doherty, Witold Lukaszewicz.
A Study in Modal Embeddings of NML3. .
In Doherty, P., editor, Partiality, Modality, and Nonmonotonicity, chapter 5, pages 145--168. CSLI Publications.
- (kplab)

027
Patrick Doherty, Witold Lukaszewicz, A Szalas.
General Domain Circumscription and its First-Order Reduction. .
Accepted for publication in the proceedings of the 1996 .
(No lab affiliation)

028
Patrick Doherty, Witold Lukaszewicz, A Szalas.
Explaining Explanation Closure. .
Accepted for publication in the proceedings of the 1996 .
(No lab affiliation)

029
Patrick Doherty, Witold Lukaszewicz, A Szalas.
Computing Circumscription Revisited: A Reduction Algorithm. .
Accepted for publication in the Journal of Automated Reasoning Vol. 18, pp. 297-336.
- (kplab)

030
Patrick Doherty, Witold Lukaszewicz, A Szalas.
A Reduction Result for Circumscribed Semi-Horn Formulas. .
Published in the journal Vol. 28, pp. 261-272.
- (kplab)

031
Wlodzimierz Drabent.
Completeness of SLDNF-Resolution for Nonfloundering Queries. .
Published in the Vol. 27, pp. 89-106.
- (logpro)

032
Wlodzimierz Drabent, A DiPierro.
On quantified negative queries. .
In 1996 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'96, 1996.
- (logpro)

033
Thomas Drakengren.
Uniqueness of Scott's Reflexive Domain in Pomega. .
Published in the journal Vol. 155, pp. 267-276.
- (tosca)

034
Thomas Drakengren, Peter Jonsson.
Maximal Tractable Subclasses of Allen's Interval Algebra: Preliminary Report .
Published in the proceedings of the 1996 , pp. 389-394.
- (tosca)

035
Thomas Drakengren, Peter Jonsson.
Eight Maximal Tractable Subclasses of Allen's Algebra with Metric Time .
Published in the Vol. 7, pp. 25-45.
- (tosca)

036
Dimiter Driankov, H Hellendoorn.
Chaining of fuzzy rules in Mamdani controllers, .
Accepted for publication in the proceedings of the 1995 .
- (taslab)

037
Dimiter Driankov.
Model based fuzzy control, .
Accepted for publication in the Handbook of Fuzzy Computation Vol. 1996.
- (taslab)

038
Dimiter Driankov, G. Fodor.
Fuzzy control under violation of ontological assumptions, .
Published in the proceedings of the conference FLAMOC, pp. 109-115.
- (taslab)

039
Dimiter Driankov, H Hellendoorn, M Reinfrank.
Introduction to Fuzzy Control (2nd revised edition), .
Springer Verlag (Berlin, Heildelberg, New York), 1996.
- (taslab)

040
Dimiter Driankov, R Palm.
Fuzzy gain scheduling, .
Accepted for publication in the proceedings of the World Automation Congress.
- (taslab)

041
Dimiter Driankov, R Palm, U Rehfuess.
A Takagi-Sugeno fuzzy gain scheduler, .
Published in the proceedings of the 1996 , pp. 1053-1059.
- (taslab)

042
P Ehn, Jonas Löwgren.
The Qualitheque: Systems at an exhibition. interactions 3(3):53-55..
- (aslab)

043
P Ehn, Jonas Löwgren.
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.
- (aslab)

044
Petru Eles, Krzysztof Kuchcinski, Zebo Peng, A Doboli.
Post-synthesis Back-Annotation of Timing Information in Behavioral VHDL, .
Accepted for publication in the Journal of System Architecture Vol. 42, pp. 725-741.
- (cadlab eslab)

045
Petru Eles, Krzysztof Kuchcinski, Zebo Peng.
Synthesis of Systems Specified as Interacting VHDL Processes, .
Accepted for publication in INTEGRATION the VLSI journal.
- (cadlab eslab)

046
Petru Eles, Zebo Peng, Krzysztof Kuchcinski, A Doboli.
Hardware/Software Partitioning with Iterative Improvement Heuristics, .
Accepted for publication in the proceedings of the International Symposium on System Synthesis.
- (cadlab)

047
Petru Eles, Zebo Peng, Krzysztof Kuchcinski, A Doboli.
Hardware/Software Partitioning of VHDL System Specifications, .
Published in the proceedings of the 1996 , pp. 434-439.
- (cadlab)

048
Petru Eles, Zebo Peng, Krzysztof Kuchcinski, A Doboli.
System Level Hardware/Software Partitioning Based on Simulated Annealing and Tabu Search. .
Accepted for publication in Kluwer Journal DESIGN AUTOMATION FOR EMBADDED SYSTEMS.
- (cadlab)

049
Henrik Eriksson.
Expert systems as knowledge servers. .
Accepted for publication in the journal IEEE Expert Vol. 11, pp. 14-19.
- (aslab)

050
Henrik Eriksson, N Frost.
Design critiquing for a knowledge-engineering development environment. .
Accepted for publication in the proceedings of the Banff Knowledge Acquisition for Knowledge-Based Systems Workshop.
- (aslab)

051
Henrik Eriksson, Y Shahar, S.W Tu, A. R Puerta, M. A Musen.
Task modeling with reusable problem-solving methods. .
Published in the journal Vol. 79, pp. 293-326.
- (aslab)

052
Mikael Ericsson, M Bauren, Jonas Löwgren, Y Waern.
Strategies for knowledge-based support in graphical user-interface design: A Wizard-of-Oz study. .
Published in the proceedings of the 1996 , pp. 1-4.
- (aslab)

053
O Eriksson.
A communicative action analysis of information systems: A sales support systems and its effects. .
Accepted for publication in the proceedings of the conference Language/Action Perspective.
- (vits)

054
T Ericsson, A Subotic, S Ursing.
Towards a Test Improvement Model. .
Accepted for publication in the proceedings of the European Conference on Software Testing Analysis and Review.
- (aslab)

055
G Fahl, Tore Risch.
Query Processing over Object Views of Relational Data. .
Published in the Vol. 1997.
- (edslab)

056
Esa Falkenroth, Anders Törne, Tore Risch.
Using an Embedded Active Database in a Control System Architecture, .
Accepted for publication in the proceedings of the 1995 .
- (edslab)

057
Esa Falkenroth.
Computational Indexes for Time Series, .
Accepted for publication in the proceedings of the International Conference on Scientific and Statistical Database Management.
- (rtslab)

058
Per-Olof Fjällström, Jan Petersson, L Nilsson, Z-H Zhong.
Evaluation of Range Searching Methods for Contact Searching in Mechanical Engineering. .
Accepted for publication in the International Journal of Computational Geometry & Applications.
- (actlab)

059
S Flodin, Tore Risch.
Processing Object-Oriented Queries with Invertible Late Bound Functions. .
Accepted for publication in the proceedings of the 1995 .
- (edslab)

060
Göran Forslund.
Towards cooperative advice-giving systems: A case study in knowledge-based decision support. .
IEEE Expert. Special issue on Cooperative Systems for Workgroups.
- (aslab)

061
Laurent Fribourg, Hans Olsén.
Reductions of Petri Nets and Unfolding of Propositional Logic Programs, .
Accepted for publication in the proceedings of the International Workshop on Logic Program Synthesis and Transformation.
- (logpro)

062
Göran Goldkuhl.
Generic business frameworks and action modelling. .
Accepted for publication in the proceedings of the conference Language/Action Perspective.
- (vits)

063
Rego Granlund.
C3fire - A Microworld for Emergency Managment Training. .
Published in the proceedings of the Simulation-Based Learning Technology Workshop at ITS, pp. 18-22.
- (aslab)

064
S Grufman, F Samson, S.M Embury, P.M.D Gray, Tore Risch.
Distributing Semantic Constraints Between Heterogeneous Databases, .
Accepted for publication in the proceedings of the 1997 .
- (edslab)

065
P Gruen, Petru Eles, Krzysztof Kuchcinski, Zebo Peng.
Automatic Parallelisation of Petri Net Based Design Representation .
for High-Level Synthesis, 22nd Euromicro Conference, Prague, Sept 2-5, 1996.
- (eslab cadlab)

066
X Gu, Erik Larsson, Krzysztof Kuchcinski, Zebo Peng.
A Controller Analysis and Enhancement Technique, .
Accepted for publication in the proceedings of the European Design and Test Conference.
- (cadlab eslab)

067
Joakim Gustafsson, Patrick Doherty.
Embracing Occlusion in Specifying the Indirect Effects of Actions. .
Accepted for publication in the proceedings of the 1996 .
- (kplab)

068
Mats Gustafsson, Nahid Shahmehri.
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.
- (iislab)

069
T Hall, Nahid Shahmehri.
An Intelligent Multi-Agent Architecture for Support of Process Reuse in a Workflow Management System. .
Accepted for publication in the proceedings of the International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology.
- (iislab)

070
Jonas Hallberg, Zebo Peng.
Multicycle Scheduling under Local Timing Constraints using Genetic Algorithms and Tabu Search. .
Accepted for publication in the proceedings of the EUROMICRO conference, short contributions.
- (eslab)

071
Jonas Hallberg, Zebo Peng.
High-Level Synthesis under Local Timing Constraints using Genetic Algorithms. .
Accepted for publication in the proceedings of the 1996 .
- (eslab)

072
Niklas Hallberg, Toomas Timpka.
Experiences from QFD Techniques in Service Development, .
Accepted for publication in the proceedings of the Symposium on Quality Function Deployment.
- (mda)

073
Niklas Hallberg, Toomas Timpka.
Quality function deployment (QFD) for developing a customized social medical service. .
Scand J Soc Welfare 1997; accepted for publication.
- (mda)

074
AC Hermansson, JO Hornquist, Toomas Timpka.
The well-being of war-wounded asylum applicants and quota refugees following arrival in Sweden. .
Accepted for publication in the Journal of Refugee Studies.
- (mda)

075
AC Hermansson, M Thyberg, Toomas Timpka.
War-wounded refugees: the type of injury and influence of disability on well-being and social integration. .
Accepted for publication in the journal Medicine and War.
- (mda)

076
AC Hermansson, Toomas Timpka.
War-wounded refugees: labour market integration after two years in Sweden. .
Scand J Social Welfare 1996; In press.
- (mda)

077
Roland Hjerppe.
Muddling through Flux, Challenges of Change for Libraries and Archives. .
Accepted for publication in the journal NORDINFO Nytt Vol. 4, 1995.
- (liblab)

078
Roland Hjerppe.
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.
- (liblab)

079
Roland Hjerppe.
Access to ...tainment: Issues and Approaches. .
Accepted for publication in the proceedings of the Research Seminar - OPACS - Networks.
- (liblab)

080
Roland Hjerppe.
Keynote Address for: Hypostatizing Data Collections, Especially Bibliographic: Abstractions, Representations, Sensualizations, Adaptations/personalizations, ... Visualizing Subject Access for 21st Century Information Resources. .
Accepted for publication in the proceedings of the Clinic on Library Applications of Data Processing.
- (liblab)

081
Roland Hjerppe.
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
- (liblab)

082
Stefan Holmlid.
Learning for usability: An explorative study of qualities in use. .
Published in the proceedings of the 1997 conference , pp. 59-60.
- (aslab)

083
Jan Håkegård, G Carlsson, Zebo Peng.
A Broad-Level Test Controller to Support a Hierarchical DFT Architecture, .
Accepted for publication in the proceedings of the 1996 .
- (eslab)

084
Sture Hägglund.
Knowledge Management for Collective Learning and Organisational Memory. .
Accepted for publication in the proceedings of the ECSCW Workshop on coping with dynamic complexity.
- (aslab)

085
M Höst, Claes Wohlin.
A Subjective Effort Estimation Experiment. .
Accepted for publication at EASE: Empirical Assessment & Evaluation in Software Engineering, Keele University, Staffordshire, UK, March 1997.
- (aslab)

086
K Höök, J Karlgren, A Waern, Nils Dahlbäck, C-G Jansson, K Karlgren, B Lemaire.
A Glass Box Approach to Adaptive Hypermedia Journal of User Modelling and User-Adaptive Interaction, .
Accepted for publication in the Journal of User Modelling and User-Adaptive Interaction Vol. 6, pp. 157-184.
- (nlplab)

087
K Höök, M Sjölinder, D Dahlbäck.
Individual Differences and Navigation in Hypermedia, .
Accepted for publication in the proceedings of the 1996 .
(No lab affiliation)

088
Peter Ingels.
Connected Text Recognition Using Layered {HMM}s and Token Passing, .
Published in the proceedings of the Conference on New Methods in Language Processing, pp. 121-132.
- (nlplab)

089
J Jenvald, M Morin.
Multiple Use of Information from Force-on-Force Battle Training. .
Accepted for publication in the proceedings of the International Training and Education Conference.
(No lab affiliation)

090
Mikael Johansson, Toomas Timpka.
Identification of quality characteristics for methods in DSS requirements engineering using Quality Function Deployment. .
Med Inform 1996; in press.
- (mda)

091
Peter Jonsson, Christer Bäckström.
Incremental Planning. .
Published in the proceedings of the 1995 , pp. 79-90.
- (tosca)

092
Peter Jonsson, Christer Bäckström.
Tractable plan existence does not imply tractable plan generation .
Published in the proceedings of the International Symposium of AI and Mathematics, pp. 91-94.
- (tosca)

093
Peter Jonsson, Christer Bäckström.
On the Size of Reactive Plans .
Published in the proceedings of the 1996 , pp. 1182-1187.
- (tosca)

094
Peter Jonsson, Christer Bäckström.
A Linear-Programming Approach to Temporal Reasoning.
Published in the proceedings of the 1996 , pp. 1235-1240.
- (tosca)

095
Peter Jonsson, Thomas Drakengren, Christer Bäckström.
Tractable Subclasses of the Point-Interval Algebra: A Complete Classification .
Published in the proceedings of the 1996 , pp. 352-363.
- (tosca)

096
Arne Jönsson.
Dialogue Actions for Natural Language Interfaces, .
Accepted for publication in the proceedings of the 1995 .
- (nlplab)

097
Arne Jönsson.
A Model for Dialogue Management for Human Computer Interaction, .
Published in the proceedings of the conference ISSD, pp. 69-72.
- (nlplab)

098
Jonas Karlsson, Witold Litwin, Tore Risch.
LH*lh: A Scalable High Performance Data Structure for Switched Multicomputers..
Accepted for publication in the proceedings of the 1996 .
- (edslab)

099
Joachim Karlsson.
Software Requirements Prioritizing..
Published in the proceedings of the International Conference on Requirements Engineering, pp. 100-116.
- (aslab)

100
Joachim Karlsson, Kevin Ryan.
Supporting the Selection of Software Requirements. .
Published in the proceedings of the International Workshop on Software Specification and Design, pp. 146-149.
- (aslab)

101
Lars Karlsson.
Planning, Truth Criteria and the Systematic approach to Action and Change. .
Accepted for publication in the proceedings of the 1996 .
- (kplab)

102
Lars Karlsson.
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.
- (kplab)

103
K Kinnunen, Toomas Timpka, U Forsum.
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.
- (mda)

104
I Klein, Peter Jonsson, Christer Bäckström.
Tractable Planning for an Assembly Line. .
Published in the proceedings of the 1995 , pp. 313-324.
- (tosca)

105
I Klein, Peter Jonsson, Christer Bäckström.
Automatic Synthesis of Control Programs in polynomial Time for an Assembly Line .
Accepted for publication in the proceedings of the 1996 .
- (tosca)

106
Patrick Lambrix, Jalal Maleki.
Learning Composite Concepts in Description Logics: A first step. .
Accepted for publication in the proceedings of the 1996 .
- (iislab)

107
Patrick Lambrix, L Padgham.
A Knowledge Base for Structured Documents. .
Accepted for publication in the proceedings of the Australian Document Computing Symposium.
- (iislab)

108
Patrick Lambrix, L Padgham.
A Description Logic for Composite Objects for Domain Modeling in an Agent-Oriented Application. .
Accepted for publication in the proceedings of the International Workshop on Description Logics.
- (iislab)

109
M Larsson.
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)
- (cadlab)

110
M Larsson.
An Engineering Approach to Formal Digital System Design. .
Accepted for publication in the BCS Computer Journal Vol. 38, pp. 101-110.
- (cadlab)

111
M Larsson.
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.
- (cadlab)

112
M Larsson, A.D Gordon.
A HOL Embedding of a Small Parallel HDL, .
Accepted for publication in the proceedings of the International Conference on Higher Order Logic Theorem Proving and its Applications.
(No lab affiliation)

113
Ling Lin, Tore Risch, Martin Sköld, Dushan Badal.
Indexing Values of Time Sequences. .
Accepted for publication in the proceedings of the 1996 .
- (edslab)

114
M Lind.
Business processes thinking in practice, .
Accepted for publication in the proceedings of the IRIS-Conference.
- (vits)

115
Kent Lindqvist, Toomas Timpka, P Bjurulf.
Injuries during leisure physical activity in a Swedish Municipality. .
Scand J Soc Med 1996;24:282-92.
- (mda)

116
Kent Lindqvist, Toomas Timpka, L Schelp.
Ten years of experiences from a participatory community-based injury prevention program in Motala, Sweden. .
Accepted for publication in the journal Public Health.
- (mda)

117
J Lindström, Birger Rapp.
On Costs in Teleworking, .
Accepted for publication in the journal International Transactions in Operational Research Vol. 3, pp. 51-63.
- (eis)

118
Mikael Lindvall, Kristian Sandahl.
Practical Implications of Traceability. .
Accepted for publication in the Journal of Software Practice and Experience Vol. 26, pp. 1161-1180.
- (aslab)

119
Peter Loborg, Anders Törne.
Towards Error Recovery in Sequantial Control Applications, .
Accepted for publication in the proceedings of the 1996 .
- (rtslab)

120
Jacek Malec.
Behaviour-based autonomous systems: Towards an analysis framework, .
In Robert Trappl, editor, Cybernetics and Systems'94, pp. 1419--1426, World Scientific Publ., 1994.
- (taslab)

121
Jacek Malec.
A unified approach to intelligent agency, .
In Michael Wooldridge and Nicholas R. Jennings, editors, Intelligent Agents, pages 233--244. Springer-Verlag, 1995.
- (taslab)

122
Magnus Merkel.
Consistency and variation in technical translations - a study of translators' attitudes. .
Accepted for publication in the proceedings of the Translation Studies Conference.
- (nlplab)

123
Magnus Merkel.
Checking Translations for Inconsistency - A Tool for the Editor. .
Accepted for publication in the proceedings of the 1996 .
- (nlplab)

124
M.A Musen, J.H Gennari, Henrik Eriksson, S.W Tu, A.R Puerta.
PROT'EG'E-II: Computer support for development of intelligent systems from libraries of components. .
Published in the proceedings of the 1995 , pp. 766-770.
- (aslab)

125
Simin Nadjm-Tehrani, Jan-Erik Strömberg.
Proving Dynamic Properties in an Aerospace Application. .
Accepted for publication in the proceedings of the 1995 .
- (tosca)

126
Henrik Nilsson, J Sparud.
The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging. .
Published in the journal Automated Software Engineering Vol. 4.
- (pelab)

127
Torbjörn 2 Näslund.
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.
- (aslab)

128
Torbjörn 2 Näslund.
Seven traditions for information systems development. .
Accepted for publication in the proceedings of the conference .
- (eda e)

129
Niclas Ohlsson, Mary Helander, Claes Wohlin.
Quality Improvement by Identification of Fault-Prone Modules using Software Design Metrics, .
Published in the proceedings of the International Conference on Software Quality, pp. 1-13.
- (aslab)

130
Niclas Ohlsson, Claes Wohlin.
Identification of Failure-Prone Modules in Two Software System Releases, .
Accepted for publication in the proceedings of the Software Engineering Workshop.
- (aslab)

131
Kjell Orsborn.
Management of Product Data Using an Extensible Object-Oriented Query Language..
Accepted for publication in the proceedings of the 1996 .
- (edslab)

132
Kjell Orsborn, Tore Risch.
Next Generation of O-O Database Techniques in Finite Element Analysis. .
Accepted for publication in the proceedings of the International Conference on Computational Structures Technology.
- (edslab)

133
R Palm, Dimiter Driankov.
Fuzzy inputs, .
Int. J. Fuzzy Sets and Systems, vol. 70, 1995, pp. 315-335.
- (taslab)

134
R Palm, Dimiter Driankov, U Rehfuess.
Lyapunov-linearization based design of Takagi-Sugeno fuzzy controllers, .
Published in the proceedings of the IFSA World Congress, pp. 103-107.
- (taslab)

135
R Palm, Dimiter Driankov, H Hellendoorn.
Model-based Fuzzy Control: Fuzzy gain scheduling and sliding mode fuzzy control, .
Springer Verlag (Berlin, Heidelberg, New York), 1996.
- (taslab)

136
J Peterson.
Parallel Algorithms for Geometric Dominance Problems. .
Acccepted for publication in Parallel Algorithms, Third DIMACS Implementation Challenge, AMS DIMACS Series.
- (actlab)

137
Mikael Pettersson.
A Compiler for Natural Semantics. .
Published in the proceedings of the 1996 , pp. 177-191.
- (pelab)

138
Mikael Pettersson.
Compiling Natural Semantics. .
Accepted for publication as a volume in the LNCS series. Springer Verlag.
- (pelab)

139
Eva L. Ragnemalm.
Collaborative dialogue with a learning companion as a source of information on student reasoning. .
Published in the proceedings of the conference ITS, pp. 650-658.
- (aslab)

140
Eva L. Ragnemalm.
Student diagnosis in practice; Bridging a gap. .
Accepted for publication in the journal User Modelling and User Adapted Interaction Vol. 5, pp. 93-116.
- (aslab)

141
T.E Rothenfluh, J.H Gennari, Henrik Eriksson, A.R Puerta, S.W Tu, M.A Musen.
Reusable ontologies, knowledge-acquisition tools, and performance systems: PROT'EG'E-II solutions to Sisyphus-2. .
Accepted for publication in the International Journal of Human-Computer Studies Vol. 44, pp. 303-332.
- (aslab)

142
I Rankin.
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.
- (nlplab)

143
Erik Sandewall.
Reasoning about Actions and Change with Ramification. .
In: Jan van Leeuwen(ed): Computer Science Today, pp. 486-504. Springer Verlag, Lecture Notes in Computer Science, Vol. 1000, 1995.
- (emtek)

144
Erik Sandewall.
Towards a world-wide database. .
Computer Networks and ISDN Systems, Vol. 28 (1996), pp 1513-1522.
- (emtek)

145
Erik Sandewall.
Towards a world-wide knowledge base. .
Invited paper. Z. Ras and M. Michalewicz (eds), Foundations of Intelligent Systems, pp. 50-55. Springer Verlag, 1996
- (emtek)

146
Erik Sandewall.
Assessments of ramification methods that use static domain constraints. .
L. Aiello et als (eds). Proceedings of the International Joint Conference on Knowledge Representation and Reasoning, pp. 99-110. Morgan-Kaufmann Publishers, San Francisco, CA., Nov. 1996.
- (emtek)

147
Erik Sandewall.
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.
(No lab affiliation)

148
Erik Sandewall.
Towards the validation of high-level action descriptions from their low-level definitions. .
AICOM Journal, Vol. 9, No. 4, Dec, 1996, pp. 214-224. IOS Press.
- (emtek)

149
Erik Sandewall.
Underlying semantics for actions and change with ramification. .
Oliviero Stock (ed), Spatial and Temporal Reasoning, pp. 289-318. Kluwer, 1997.
- (emtek)

150
Erik Sandewall.
Getting Robots to Know Exactly What they are Doing. .
Invited lecture. W. Wahlster (ed): Proceedings of the 1996 European Conference on Artificial Intelligence (ECAI), p. 707. Wiley, 1996.
- (emtek)

151
Erik Sandewall.
The early use of continuations and partial evaluation for compiling rules written in FOPC. .
Working notes of the 2nd ACM SIGPLAN Workshop on Continuations, Paris, France, Jan 14, 1997. (Journal publication, see the list for 1999 ).
(No lab affiliation)

152
Erik Sandewall.
Relating high-level and low-level action descriptions in a logic of actions and change. .
O. Maler (ed): Hybrid and Real-Time Systems, pp. 3-17. Proceedings of HART'97, Grenoble, France, March 26-28, 1997. Springer Verlag, 1997, pp. 3-17.
- (emtek)

153
J Sparud, Henrik Nilsson.
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.
- (pelab)

154
Erik Stoy, Zebo Peng.
Inter-Domain Movement of Functionality as a Repartitioning Strategy for Hardware/Softwsandewaare Co-Design,. .
Accepted for publication in the EUROMICRO Journal of Systems Architecture Vol. 1995.
- (eslab)

155
Jan-Erik Strömberg, Simin Nadjm-Tehrani, J Top.
Switched Bond Graphs as Front-end to Formal Verification of Hybrid Systems .
Published in the proceedings of the DIMACS International Workshop on Verification and Control of Hybrid Systems, pp. 282-293.
- (tosca)

156
Jan-Erik Strömberg, Simin Nadjm-Tehrani.
Hybrid Systems Verification Combining Duration Calculus and Bond Graphs Proc. .
Accepted for publication in the proceedings of the IFAC-IFIP-IMACS Conference on Control of Industrial Systems.
- (tosca)

157
Toomas Timpka.
Situated clinical cognition. .
Editorial. Artificial Intelligence in Medicine. 1995;7. 1995;7:387-94.
- (mda)

158
Toomas Timpka, G Hensing, K Alexanderson.
Dilemmas in sickness certification among Swedish physicians. .
Euro J Pub Health 1995. 1995;5:215-9.
- (mda)

159
Toomas Timpka, H Marmolin, Niklas Hallberg.
Expertmedia in ambulatory clinics. .
In: Rada R, Tochtermann K (eds.). Expertmedia - expert systems and hypermedia. New Jersey: World Scientific, 1995, pp. 107-18.
- (mda)

160
Toomas Timpka, C Sjöberg, Niklas Hallberg, Henrik Eriksson, P Lindblom, B Svensson, H Marmolin.
Participatory Design of Computer-Supported Organizational Learning in health care: methods and experiences. .
J Am Med Inform Assoc 1995;(symposium suppl):800-4.
- (aslab)

161
Toomas Timpka, C Sjöberg, B Svensson.
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.
- (mda)

162
Toomas Timpka, Niklas Hallberg.
Talking at work - professional advice-seeking at primary healthcare centers. .
Scand J Prim Health Care 1996; 14:130-5.
- (mda)

163
Toomas Timpka, K Kinnunen, U Forsum.
Division of labour in clinical microbiology: co-operation and fragmentation. .
Scand J Caring Sci 1996;10:157-62.
- (mda)

164
Toomas Timpka, C Sjöberg.
The voices of design: discourse in participatory information system development. .
Accepted for publication in the journal Mind, Culture & Activity Vol. 3, pp. 185-202.
- (mda)

165
Toomas Timpka, B Svensson, B Molin.
Development of community nursing: analysis of the central services and practice dilemmas. .
Int J Nurs Stud 1995. 1996;33:297-308.
- (mda)

166
Toomas Timpka, V Westergren, Niklas Hallberg, U Forsum.
Study of situated clinical cognition: a meta-analysis and preliminary method. .
Meth Inf Med 1997;35; In press.
- (mda)

167
Anders Törne, Esa Falkenroth, Peter Loborg.
Databases in Control and Simulation, .
Accepted for publication in the proceedings of the International Workshop on Real-Time Databases: Issues and Applications.
- (rtslab)

168
Martin Westhead, Simin Nadjm-Tehrani.
Verification of Embedded Systems using Synchronous Observers .
Published in the proceedings of the International Conference on Formal Techniques in Real-time and Fault-tolerant Systems, pp. 405-419.
- (tosca)

169
P Wide, Dimiter Driankov.
A Fuzzy approach to multi-sensor data fusion for quality profile classification, .
Published in the proceedings of the IEEE/SICE/RSJ International Conference on Multisensor Fusion and Integration for Intelligent Systems, pp. 215-221.
- (taslab)

170
P Wide, F Winquist, Dimiter Driankov.
An air quality sensor system with fuzzy classification, .
Accepted for publication in the Journal of Measurement Science and Technology Vol. 1996, pp. 138-146.
- (taslab)

171
Jaime Eduardo Villegas B..
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.
- (eis)

172
Y Wærn, Sture Hägglund.
User Aspects of Knowledge-Based Systems. .
Accepted for publication in the Handbook of Human-Computer Interaction.
- (aslab)

173
J Öberg, Petru Eles, A Hemani, Krzysztof Kuchcinski, Zebo Peng.
Specifying Local Timing Constraints for HLS of Digital Systems in VHDL, .
Accepted for publication in the proceedings of the 1996 .
- (cadlab eslab)

25-Jun-98 12:19