Linköping University
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