Linköping University

Department of Computer and Information Science

Publication Register

Articles reported during 1999
as published or accepted for publication


The IDA publication register contains information about articles written by researchers at IDA. (A few entries derive from projects in close cooperation with projects at IDA). The usual bibliographic references are combined with links to on-line copies of those articles whenever available and known. The links marked "[ALP]" and "[ECP]" are explained at the end of the present page.

The following are the publication register entries
that have been reported during 1999

If the article you are looking for is not in this list, then
maybe it was already reported in last year's list,
or maybe it was reported too late and got into next year's list.


001
Peter Jonsson, Thomas Drakengren, Christer Bäckström.
Computational Complexity of Relating Time Points with Intervals.
Accepted by Artificial Intelligence, 109(1--2), 1999.
- (tosca logpro)

002
Göran Sedvall.
Auto Netscape, An examination of how to autoconfigure setting for thousands users.
Published in Windows NT Magazine, pp 141-144, Januari 1999, USA.
(No lab affiliation)

003
Rita Kovord Mental image reinterpretation in the intersection of conceptual and visual constrainst.
Published in Visual representations and interpretation, chapter 4, pp 263-269, Springer Verlag, 1999.
- (aslab)

004
Erik Herzog, Anders Törne.
A seed for a STEP application protocol for systems engineering.
In Proceedings of the 12th IEEE Conference on Engineering of Computer Based Systems, pp. 174--180, IEEE Press, Mar. 1999.
- (rtslab)

005
Erik Herzorg, Anders Törne.
Towards a Standardised Systems Engineering Information model.
In Proceedings of the 9th Annual International Symposium of the International Counsil on Systems Engineering (A. Fairbairn, ed.), vol. 2, pp. 909--916, INCOSE, June 1999.
- (rtslab)

006
Svein Bergum, Birger Rapp.
Challenges of managing remote workers - Some empirical results from interviews in Sweden and Norway.
Presented at the ITS-98 Conference in Stockholm, Sweden, 1998.
- (eis)

007
Charlotte Björkegren, Birger Rapp.
Learning in Flexible Organisations - On Learning in Teleworking Organisations.
Presented at the Second International Workshop on Telework: Building Actions on Ideas, Amsterdam, 1997.
- (eis)

008
Jorgen Lindstrom, Anna Moberg, Birger Rapp.
On Classification of Telework situations.
Published in European Journal of Information Systems, No 6, pp 243-255.
- (eis)

009
Fredrik Nilsson, Birger Rapp.
Implementing business unit strategies - The role of management control systems.
Published in Scandinavian Journal of Management, No 1, pp 65-88, 1999.
- (eis)

010
H. Pranevius, Birger Rapp.
Organisational Structures, Management, Simulation of Business Sectors and Systems.
Published in Kaunas University of Technology Press, 1998.
- (eis)

011
Birger Rapp, C. Crawford, T. Sparrmo.
Att lyckas med grupprogram - De kritiska framgångsfaktorerna.
Published in Ekonomi & Styrning, No 3, pp 12-15, 1998.
- (eis)

012
Kristian Sandahl: J. Karlsson, C. Krysander, Mikael Lindvall, Niclas Ohlsson.
A Cross-cultural Replication of an Experiment for Assessing Methods for Software Requirements Inspections.
To appear in Empirical Software Engineering.
- (aselab)

013
Mikael Lindvall, Kristian Sandahl.
How well do Experienced Software Developers Predict Software Change?.
Published in Journal of Systems and Software, Vol 43, No 1, pp 19-27, 1998.
- (aselab)

014
Mikael Lindvall, Kristian Sandahl.
Traceability Aspects of Impact Analysis in Object-Oriented Systems.
Published in Journal of Software Maintenance, No 10, pp 37-57, 1998.
- (aselab)

015
T. Ericsson, Anders Subotic, S. Ursing.
TIM - A Test Improvement Model.
Published in Software Testing Verification & Reliabity, No 7, Vol 4, pp 229-246, 1997.
- (aselab)

016
J. Karlsson.
Managing Software Requirements Using Quality Function Deployment.
Published in Software Quality Journal, No 6, Vol 4, pp 311-325, 1997.
- (aselab)

017
Mikael Lindvall.
Evaluating Impact Analysis - A Case Study.
Published in Empirical Software Engineering No 2, Vol 2, pp 152-158, 1997.
- (aslab)

018
J. Karlsson, S. Ohlsson, K. Ryan.
Improved Practical Support for Large-scale Requirements Rioritizing.
Published in Requirements Engineering Journal, No 2, Vol 1, pp 51-60, 1997.
- (aselab)

019
J. Karlsson, K. Ryan.
A Cost-Value Approach for Prioritizing Requirements.
Published in IEEE Software, No 14, Vol 5, pp 67-74, 1997.
- (aselab)

020
Niclas Ohlsson, A-C Eriksson, Mary Helander.
Early Risk-Management by Identification of Fault-prone Modules.
Published in Empirical Software Engineering, No 2, Vol 2, pp 166-173, 1997.
- (aselab)

021
Niclas Ohlsson, H. Alberg.
Predicting Fault-Prone Software Modules in Telephone Switches.
Published in IEEE Transactions on Software Engineering, No 22, Vol 22, pp 886-894, 1996.
- (aselab)

022
Mikael Lindvall, Kristian Sandahl.
Practical implecations of traceability.
Published in Software-Practice & Experience, No 26, Vol 10, pp 1161-1180, 1996.
- (aselab)

023
Paul Pop, Petru Eles, Zebo Peng.
Scheduling with Optimized Communication for Time-Triggered Embedded Systems.
Accepted for publication at the 7th International Workshop on Hardware/Software Codesign held in Rome, Italy, May 3-5, 1999.
[postscript] - (eslab)

024
H. Artman, Rego Granlund.
Team Situation Awareness using Graphical or Textual Databases in Dynamic Decision Making.
In Proceedings of ECCE-9, 9th European Conference on Cognitive Ergonomics, Ireland, August 1998.
- (aslab)

025
Rego Granlund.
Web-based Micro-world Simulation for Emergency Management Training.
In Proceedings of Websim'99, International Conference on Web-based modeling and simulation, San Francisco, USA, January 1999.
- (aslab)

026
T. Drakengren, Marcus Bjäreland.
Expressive Reasoning about Action in Nondeterministic Polynomial Time.
Accepted for presentation at the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI'99) in Stockholm, August 1999.
[postscript] - (kplab witas)

028
Silvia Coradeschi, Alessandro Saffiotti.
Anchoring symbols to vision data by fuzzy logic.
Accepted for presentation at the Fifth European Conference on Symbolic and Quantitative Approaches (ECSQARU'99), London, July 1999, vol. 9, nr. 9.
[postscript] - (taslab witas)

029
Jalal Maleki.
Using AI-Planning Formalism in Tutorial Representation.
Accepted for presentation at the Educational Media EDMEDIA-99, Seattle, USA.
- (kogvet)

030
Erik Larsson, Zebo Peng.
A Behavioral-Level Testability Enhancement Technique.
Accepted as a poster at the IEEE European Test Workshop (ETW'99), to be held in Konstanz, Germany, May 25-28, 1999.
- (eslab)

031
Krzysztof Kuchcinski.
Synthesis of Distributed Embedded Systems.
Proceedings of 25th Euromicro Conference, Milan, Italy, September 8-10, 1999.
- (cadlab witas)

032
Radoslaw Szymanek, Krzysztof Kuchcinski.
Design Space Exploration in System Level Synthesis under Memory Constraints.
Proc. of 25th Euromicro Conference, Milan, Italy, September 8-10, 1999.
- (cadlab witas)

033
Flavius Gruian, Krzysztof Kuchcinski.
Low-Energy Architecture Selection and Task Scheduling for System-Level Design .
Proc. of the 25th Euromicro Conference, Milan, Italy, September 8-10, 1999, vol. 1, pp 296-302
- (witas cadlab)

034
Paul Pop, Petru Eles, Zebo Peng.
An Improved Scheduling Technique for Time-Triggered Embedded Systems.
Proceedings of the 25th Euromicro Conference, Milan, Italy, September 8-10, 1999, pp. 303-310.
- (eslab)

035
Gert Jervan, Petru Eles, Zebo Peng.
A Uniform Test Generation Technique for Hardare/Software Systems.
Has been accepted at the IEEE European Test Workshop (ETW'99) to be held in Konstanz, Germany, May 25-28, 1999.
- (eslab)

036
Johan Nahid Shahmehri.
Web Assistants: Towards an Intelligent and Personal Web Shop.
Proceedings of the Second Workshop on Adaptive Systems and User Modeling, pp. 5-12, Toronto and Banff, Canada, 1999.
- (iislab)

037
Mikael Kindborg, Johan Nahid Shahmehri.
A lightweight agent framework for interactive multi-agent applications.
Proceedings of Fourth International Conference on the Practical Application of Intelligent Agents and Multi-Agents - PAAM99, pp. 123-142, London, UK, 1999.
- (iislab)

038
Marcus Bjäreland.
Execution Monitor Synthesis for Hybrid Systems - Preliminary Report .
Has been accepted for presentation at the fourteenth international symposium on Intelligent Control (ISIC'99), Boston, September 1999.
- (kplab witas)

039
Radoslaw Szymanek, Flavius Gruian, Krzysztof Kuchcinski.
Application of Constraint Programming to Digital Systems Design.
Proceedings of the Workshop on Constraint Programming for Decision and Control CPDC'99, Gliwice, Poland, 28-29 June, 1999, vol. 1, pp. 57-64.
- (cadlab)

040
Ulrika Wiss, David Carr.
An Empirical Study of Task Support in 3D Information Visualisation.
Proceedings of the International Conference on Information Visualisation, London, England, July 14-15, 1999, pp 392-399.
- (aslab)

041
Vadim Engelson, Håkan Larsson, Peter Fritzson.
Design, Simulation and Visualization Environment for Object-oriented Mechanical and Multi-domain Models in Modelica.
Has been accepted for presentation at the International Conference on Information Visualisation, London, July 14-16, 1999 and will be included in The Proceedings of IV'99 that will be published by IEEE Computer Society.
[postscript] - (pelab witas)

043
Erik Larsson, Zebo Pen.
An Estimation-based Technique for Test Scheduling.
Proceedings of the Electronic Circuits and Systems Conference, ECS'99, Bratislava, Slovakia, September 6-8, 1999, pp. 25-28.
- (eslab)

044
Paul Pop, Petru Eles, Zebo Peng.
Communication Scheduling for Time-Triggered Systems.
Has been accepted for presentation at the 11th Euromicro Workshop on Real-Time Systems to be held in York, England, June 9-11th, 1999.
- (eslab)

045
Peter Jonsson.
Strong Bounds on the Approximability of Two PSPACE-hard Problems in Propositional Planning.
Has been accepted by Annals of Mathematics and Artificial Intelligence.
- (tosca)

046
Henrik Nilsson.
Tracing piece by piece: affordable debugging for lazy functional languages.
Has been accepted for presentation to the International Conference on Functional Programming (ICFP'99) to be held in Paris in September.
- (pelab witas)

047
Simin Nadjm-Tehrani, O. Combining theorem proving and continuous models in synchronous design.
Proceedings of World Congress on Formal Methods, Tolouse, France, September 1999, Vol. II, LNCS 1709, pp. 1384-1399, Springer Verlag.
- (eslab)

048
Man Lin, Jacek Malec, Simin Nadjm-Tehrani.
On semantics and correctness of reactive rule-based programs.
Proceedings of the "Andrei Ershov Third International Conference Perspectives of System Informatics" PSI'99, Novosibirsk, Russia, July 1999, LNCS, Springer Verlag.
- (eslab)

049
O. Simin Nadjm-Tehrani, G. St Integration of formal methods into system safety and reliability analysis.
Proceedings of the 17th International Systems Safety Conference, ISSC'99, Florida, USA, August 1999, pp. 326-336.
- (eslab)

050
L. Besnard, P. Bournai, T. Gautier, N. Halbwachs, Simin Nadjm-Tehrani, A. Ressouche.
Design of a Multi-formalism Application and Distribution in a Data-flow Context: An Example.
Proceedings of the 12th International Symposium on Languages for Intentional Programming, Athens, Greece, June 1999, pp. 8-30.
- (eslab)

051
Erik Sandewall.
An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus.
Higher-Order and Symbolic Computation, Volume 12, Number 1, 1999, pages 105-113.
- (emtek witas)

052
Patrick Lambrix, Nahid Shahmehri, Svend Jacobsen.
Querying Document Bases by Content, Structure and Properties.
Proceedings of the Eleventh International Symposium on Methodologies for Intelligent Systems - ISMIS 99, LNAI 1609, pp 123-132, 1999.
- (iislab)

053
Mathias Broxvall, Peter Jonsson.
Towards a Complete Classification of Tractability in Point Algebras for Nonlinear Time.
"In Proc. of the Fifth International Conference on Principles and Practice of Constraint Programming (CP'99). LNCS 1713, Springer-Verlag, 1999.
- (tosca logpro)

054
Patrik Haslum, Peter Jonsson.
Some Results on the Complexity of Planning with Incomplete Information.
In Proc. of the 5th European Conference on Planning (ECP'99), vol. 1809, pp. 308-318, 1999.
- (tosca witas)

055
Thomas Drakengren, Marcus Bjäreland.
Reasoning about action in polynomial time.
Accepted for publication in Artificial Intelligence Journal.
- (kplab witas)

056
Gert Jervan, Petru Eles, Zebo Peng, Jaan Raik, Raimund Ubar.
High-level Test Synthesis with Hierarchical Test Generation.
Proceedings of the IEEE NORCHIP Conference, Oslo, Norway, November 8-9, 1999, pp. 291-296.
- (eslab)

057
Luis Alejandro Cortes, Petru Eles, Zebo Peng.
A Petri Net Based Model For Heterogeneous Embedded Systems.
Proceedings of the IEEE NORCHIP Conference, Oslo, Norway, November 8-9, 1999, pp. 248-255.
- (eslab)

058
Simin Nadjm-Tehrani: .
Integration of Analog and Discrete Synchronous Design.
In proceedings of the second international workshop on Hybrid Systems: Computation and Control, Nijmegen, Netherlands, March 1999, LNCS 1569, (C) Springer Verlag , pages 193-208.
- (eslab)

059
Paul Pop, Petru Eles, Zebo Peng.
Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems.
Proceedings of the 6th International Conference on Real-Time Computing Systems and Applications (RTCSA'99), Hong Kong, December 13-15, 1999.
- (eslab)

060
Patrick Lambrix, Ulla Ouchterlony.
Integration of psychology, economics and information technology in an engineering curriculum.
Computer Science Education journal, Vol. 3, pp 162-180, 1999.
- (iislab)

061
Thierry Vidal, Silvia Coradeschi.
Highly reactive decision making: a game with Time.
Presented at IJCAI, August 1999, Stockholm, Sweden, pp. 1002-1007.
- (taslab witas)

064
Marcus Bjäreland, Peter Jonsson.
Exploiting Bipartiteness to dentify Yet Another Tractable Subclass of CSP.
In Proc. of the Fifth International Conference on Princeples and Practice of Constraint Programming (CP'99). LNCS 1713, Springer-Verlag, 1999.
- (tosca witas)

065
Mikael Ronström.
Database Requirement Analysis for a third generation mobile telecom system.
Presented at Workshop on Databases for Telecom, Edinburgh, Scotland, September 1999.
- (edslab)

066
Vanja Josifovski, Tore Risch: .
Integrating Heterogeneous Overlapping Databases through Object-Oriented Transformations.
Presented at the 25th Intl. Conf. On Very Large Databases, Edinburgh, Scotland, September 1999.
- (edslab)

067
Vanja Josifovski, Timour Katchaounov, Tore Risch:.
Optimizing queries in distributed and composable mediators.
Presented at 4th Conference on Cooperative Information Systems, CoopIS'99, Edinburgh, Scotland, September 1999.
- (edslab)

068
Vanja Josifovski, Tore Risch:.
Distributed Mediation using a Light-Weight OODBMS.
Presented at the 1st ECOOP Workshop on Object-Oriented Databases, Lisbon, Portugal, June 1999.
- (edslab)

069
Vanja Josifovski, Tore Risch:.
Functional Query Optimization over Object-Oriented Views for Data Integration.
Published in Journal of Intelligent Information Systems (JIIS), Vol. 12, No. 2-3, 1999.
- (edslab)

070
Tore Risch, Martin Sköld:.
Monitoring Complex Rule Conditions.
Published in N. Paton (ed.): Active Rules in Database Systems, Springer-Verlag, New York, 1999, ISBN 0-387-98529-8.
- (edslab)

071
Lin Han, Nahid Shahmehri.
Establishing a Secure Multicast Group for Remote Software Delivery.
Proceedings of the IEEE WET-ICE International Workshop on Enterprise Security, pp. 194-195, Palo Alto, CA, USA, 1999.
- (iislab)

073
Lars Taxén.
A Strategy for Organisational Knowledge Evolution.
Proceedings of the EMRPS'99, Enterprise Management and Resource Planning Systems: Methods, Tools and Architectures, Venedig, Nov 99.
- (sysutv, vits)

074
Ulf Cederling, Roland Ekinge, Bengt Lennartsson, Lars Taxén, Tommy Wedlund.
A Project Management Model based on Shared Understanding.
Proceedings of Management Minitrack in the Organizational Systems and Technology, Track of the Thirty-Third Hawaii International Conference on System Sciences (HICSS-33), January 4-7, 2000.
- (sysutv, vits)

075
Peter Aronsson, Levon Saldamli, Peter Fritzson.
Automatic Generation of a Code Generator for SHARC ADPS-2106x.
Proceedings of ICSPAT konferensen.
- (pelab)

076
Andreas Wrangsjö, Peter Fritzson, K. Sheshadri.
Transforming systems of PDEs for efficient numerical solution.
Proceedings of the International Mathematica Conference 1999, Linz, Austria.
- (pelab)

077
K. Sheshadri, Peter Fritzson.
A Mathematica-based PDE Solver Generator.
Proceedings of SIMS'99, the 1999 Conference of the Scandinavian Simulation Society, Linköping, Sweden, pages 66-78.
- (pelab witas)

078
J. Andersson, Bengt Lennartsson.
Reactive Architectures with Architectural Agents.
Proceedings of the 32nd Hawaii International Conference on System Sciences (HICSS-32), IEEE (CD-ROM), January 1999.
- (pelab)

079
J. Andersson.
Dimensions of Dynamism.
Proceedings of the 2nd Nordic Workshop on Software Architectures (NOSA'99), Ronneby, August 1999.
- (pelab)

080
Karin Axelsson, Ulf Melin, Göran Goldkuhl, G. Adolfson, N. Svensson.
Inter-organisatorisk affärs- samverkan i träindustrin - Resultat från en örstudie.
Proceedings of the conference" Förändringskraft", Januari 28, 1999, Linköpings universitet, CMTO Research Paper No. 1999:01.
- (vits)

081
Karin Axelsson, O. Eriksson.
Informationssystemarkitekturer och väginformatik - Rekonstruktion och värdering av två metoder för att skapa informationssystemarkitekturer inom transportområdet Linköpings universitet.
CMTO Research Paper No.1999:05.
- (vits)

082
U. Cederling, R. Ekinge, Bengt Lennartsson , Lars Taxen, Tommy Wedlund.
A Project Management Model Based on Shared Understanding.
Proceedings of the Hawaii International Conference On System Sciences, Januari 4-7, 2000, Maui, Hawaii.
- (sysutv, vits)

083
Stefan Cronholm, P. Ågerfalk, Göran Goldkuhl.
From Usability to Actability.
Proceedings of 8th International Conference on Human-Computer Interaction (HC International '99), August 22-27, 1999, Munich, Germany.
- (vits)

084
Stefan Cronholm, P. Ågerfalk.
On the Concept of Method inInformation Systems Development.
Proceedings of 22nd Information Systems Research in Scandinavia (IRIS 22), August 7-10, 1999, Keuruu, Finland.
- (vits)

085
O. Eriksson.
Communication Quality: Towards an Intersubjective Understanding of Quality.
Presented at Quergo'99 International Conference on TQM and Human Factors, June 15-17, 1999, Linköping.
- (vits)

086
O. Eriksson.
A generic communication model based on Habermas and Searle's versions of Speech act Theory.
Presented at The Fourth International workshop on the Language Action Perspective on Communication Modelling (LAP'99), September 12-13, 1999, Köpenhamn, Danmark.
- (vits)

087
Göran Goldkuhl.
The grounding of usable knowledge: An inquiry in the epistemology of action knowledge.
Presented at HSS99 (Högskola och Samhälle i Samverkan), March 16-18, 1999, Falun, CMTO Research Paper No. 1999:?, Linköpings universitet.
- (vits)

088
Göran Goldkuhl.
Teori som förändringskraft - om vad som kan driva förändringsarbete och om användning av affärsaktsteori vid diagnos och design av verksamheter.
Presented at Förändringskraft!, Januari 28, 1999, Linköpings universitet, CMTO Research Paper No. 1999:?.
- (vits)

089
Göran Goldkuhl, A. Röstlinger.
Expanding the scope: From language action to generic practice.
CMTO Research Paper No. 1999:?, Linköpings universitet, Sweden. Also appearing in: Goldkuhl G et al. (eds.), Proceedings of 4th International Workshop on the Language Action Perspective on Communication Modelling (LAP'99). September 12-13, 1999, Copenhagen, Denmark.
- (vits)

090
J. Karltun, M. Lind, Göran Goldkuhl, J. Eklund, U. Seigerroth.
Production planning and information flow in a business process context * experiences from change project in SMEs.
Presented at Quergo'99 - International Conference on TQM and Human Factors, June 15-17, 1999, Linköping.
- (vits)

091
J. Karltun, U. Seigerroth, Göran Goldkuhl, M. Lind, J. Eklund.
Process redesign and organisational change towards the use of an integrated change method.
Presented at Quergo'99 - International Conference on TQM and Human Factors, June 15-17, 1999, Linköping.
- (vits)

092
Ulf Melin, Göran Goldkuhl.
Information Systems and Process Orientation - Evaluation and Change Using Business Action Theory.
Presented at The Eight International Conference on Information Systems Development" (ISD'99), Boise, Idaho, USA.
- (vits)

093
P. J. Ågerfalk, Göran Goldkuhl, S. Cronholm.
Information Systems Actability Engineering: Integrating Analysis of Business Processes and Usability Requirements.
Working Paper Series 1999:13, Örebro University, Sweden. Also appearing in: Goldkuhl G et al. (eds.), Proceedings of 4th International Workshop on the Language Action Perspective on Communication Modelling (LAP'99). September 2-13, 1999, Copenhagen, Denmark.
- (vits)

094
Vivian Vimarlund, Toomas Timpka, Niklas Hallberg.
The economic willingness to increase knowledge capital in medical informatics.
Int J Med Inform 1999;1:in press.
- (mda)

095
Toomas Timpka, K. Lindqvist, L. Schelp, M. Ahlgren.
Community-based injury prevention: effects on health care utilization.
Int J Epidemiol 1999;28:502-8.
- (mda)

096
K. Lindqvist, L. Schelp, Toomas Timpka.
Home injuries in a Swedish municipality -- consequences and costs.
Safety Science 1999;31:19-29.
- (mda)

097
Toomas Timpka.
Professional Ethics for System Developers in Health Care .
Meth Inf Med 1999;38:144-7.
- (mda)

098
P. Bendtsen, Toomas Timpka.
Acceptability of computerized life-style questionnaires - a patient perspective.
Alcohol Alcohol 1999;34:575-80.
- (mda)

099
Toomas Timpka.
The patient and the primary care team: a small-scale critical theory.
J Adv Nurs 2000;in press.
- (mda)

100
T. Reigo, Toomas Timpka, H. Tropp H.
The epidemiology of back pain in vocational age groups.
Scand J Prim Health Care 1999;17:17-21.
- (mda)

101
K. Lindqvist, L. Schelp, Toomas Timpka.
Gender aspects of work-related injuries in a Swedish municipality.
Safety Science 1999;31:183-96.
- (mda)

102
Niklas Hallberg, Toomas Timpka, H. Eriksson.
The medical software quality deployment method.
Meth Inf Med 1999;38:66-73.
- (mda)

103
Niklas Hallberg, M. Johansson, Toomas Timpka.
A prototype computer network for occupational therapists.
Comp Meth Prog Biomed 1999;59:45-54.
- (mda)

104
K. Lindqvist, Toomas Timpka, L. Schelp, M. Ahlgren.
Evaluation of an inter-organizational program for prevention of work-related injuries in a WHO Safe Community.
Work 1999;12:15-22.
- (mda)

105
MM. Morch, Toomas Timpka, AK. Graneus.
Thirty years experience with cancer and non-cancer patient in palliative home care.
J Pall Care 1999;15:43-8.
- (mda)

106
G. Fodor, J. Gartner, Dimiter Driankov.
The implications of the object UML approach to the problem of fault detection and isolation in dynamical systems.
Proceedings of the 1999 IEEE Int. Symp. on Computer Aided Control system design, Hawai, USA, Aug. 22-27, 1999, pp. 176--181.
- (taslab)

107
R. Palm, Dimiter Driankov.
Towards a systematic analysis of fuzzy observers.
Proceedings of the 18th Int. Conf. of the North American Fuzzy Information Processing Society (NAFIPS), New York, USA, June 10-12, 1999, pp. 179--183.
- (taslab witas)

108
R. Palm, Dimiter Driankov.
Improving the global performance of a fuzzy gain scheduler by supervision.
Published in Journal Engineering Applications of AI, vol. 12, (1999), pp. 297--307.
- (taslab witas)

110
Peter Jonsson, Patrik Haslum, Christer Bäckström.
Towards efficient universal planning - a randomized approach.
Accepted by Artificial Intelligence.
- (tosca witas)

111
Esa Falkenroth, Anders Törne.
How to Construct Predictable Rule Sets, in Advance.
Proceedings of the Joint 24th IFAC/IFIP Workshop on Real Time Programming and 3rd International Workshop on Active and Real-Time Database Systems, pp. 33--40, June 1999.
- (rtslab)

112
Esa Falkenroth.
Real-Time Database System for Meteorological, Hydrological, and Oceanographic Data.
Proceedings of the 7th European Workshop on Meteorological Operational Systems, ECMWF, European Center for Medium-Range Forecasts, November 1999.
- (rtslab)

113
Nancy E. Reed, Paul Scerri.
Adjustable Autonomy in Simulated Pilots.
Proceedings of the International Joint Conference on Artificial Intelligence, Adjustable Autonomy Systems Workshop, pp. 56--59, Aug. 1999.
- (rtslab)

114
Paul Scerri, Nancy E. Reed, Anders Törne.
An Approach to Directing Intelligent Agents in Real-time.
Proceedings of the AAAI Spring Symposium on Agents with Adjustable Autonomy, (Stanford University), pp. 114--115, American Association for Artificial Intelligence, Mar. 1999.
- (rtslab)

115
Paul Scerri, Silvia Coradeschi, Anders Törne.
A User Oriented System for Developing Behavior Based Agents.
Proceedings of RoboCup-98 : Robot Soccer World Cup II, vol. 1604 of Lecture Notes in Artificial Intelligence, pp. 173--186, Springer Verlag, 1999.
- (rtslab witas)

116
Paul Scerri, Nancy E. Reed.
Adapting an Agent to a Similar Environment.
Proceedings of the Third International Conference on Autonomous Agents (Agents 99), pp. 420--421, ACM Press, May 1999.
- (rtslab)

117
Paul Scerri, Nancy E. Reed.
Requirements for a General Agent Architecture for Agent-Based Simulation Environments, in Autonomous Agents.
Proceedings of the 99 Autonomy Control Software Workshop, pp. 102--108, May 1999.
- (rtslab)

118
Paul Scerri, Johan Ydren.
End User Specification of RoboCup Teams.
Proceedings of the Workshop on Robocup, Sixteenth International Joint Conference on Artificial Intelligence, pp. 187--192, August 1999.
- (rtslab)

119
Johan Ydren, Paul Scerri.
RoboCup '99 Team Descriptions, Simulation League, Team Headless Chickens.
Published in Linköping University, Electronic Press, vol. 7, pp. 45--48, October 1999. Available as postscript.
- (rtslab)

120
Paul Scerri, Johan Ydren.
End User Specification for Simulation of Teams of Soccer Playing Robots.
Proceedings of SIMS'99: 1999 Conference of the Scandinavian Simulation Society, (Linköping, Sweden), pp. 168--173, 1999.
- (rtslab)

121
Wlodek Drabent, Jan Maluszynski, Pawel Pietrzak.
Type-based Diagnosis of CLP Programs.
Proceedings of 10th Workshop on Logic Programming Environments. Las Cruces, NM, 1999.
- (logpro)

122
Wlodek Drabent.
It Is Declarative: On Reasoning about Logic Programs.
Proceeding of the Intl Conf on Logic Programming. Las Cruces, NM, 1999.
- (logpro)

123
Johan Lübcke, Ulf Nilsson.
On-the-fly Model Checking of CTL Formulas using Constraint Logic Programming.
Proceedings of Intl Workshop of Constraint Programming for Time-critical Applications. Lisbon, 1999.
- (logpro)

124
Marco Comini, Wlodek Drabent, Pawel Pietrzak.
Diagnosis of CHIP programs using type information.
Proceedings of APPIA-GULP-PRODE'99 - 1999 Joint Conference on Declarative Programming. L'Aquila Italy, 1999.
- (logpro)

125
Wlodek Drabent, Pavel Pietrzak.
Type Analysis for CHIP.
Proceedings of the Seventh International Conference on Algebraic Methotology and Software Technology (AMAST'98). LNCS 1548, Springer-Verlag, 1999.
- (logpro)

126
R. Jigorea, Sorin Manolache, Petrus Eles, Zebo Peng.
Modelling and Simulation of Heterogeneous Embedded Systems with UML.
The 1999 Conference of the Scandinavian Simulation Society, SIMS99, Linköping, Sweden, October 18-19, 1999, pages 160-167.
- (eslab)

127
Gert Jervan, Petrus Eles, Zebo Peng.
A Hierarchical Test Generation Technique for Embedded Systems.
Electronic Circuits and Systems Conference, Bratislava, Slovakia, September 6-8, 1999, pages 21-24.
- (eslab)

128
L. A. Cortes, Petrus Eles, Zebo Peng.
A Survey on Hardware/Software Codesign Representation Models.
SAVE Project Report, Dept. of Computer and Information Science, Linköping University, Sweden, June 1999.
- (eslab)

129
Simin Nadjm-Tehrani.
Integration of Analog and Discrete Synchronous Design.
Second International Workshop on Hybrid Systems: Computation and Control, Nijmegen, Netherlands, March 1999, pages 193-208. LNCS 1569, Springer Verlag.
- (tosca)

130
Simin Nadjm-Tehrani, J. Stromberg.
Formal Verification of Dynamic Properties in an Aerospace Application.
Published in Formal Methods in System Design, Volume 14, number 2, March 1999, pages 135-169.
- (tosca)

131
T Yang, Zebo Peng.
An Improved Register-Transfer Level Functional Partioning Approach for Testability.
To Published in Journal of Systems Architecture, 1999 (in press).
- (eslab)

132
T. Yang, Zebo Peng.
Incremental Testability Analysis for Partial Scan Selection and Design Transformations.
Journal of Electronic Testing: Theory and Applications (JETTA), vol. 14, 1999, pp. 101-111, Kluwer Academic Publishers.
- (eslab)

134
Lars Ahrenberg, Nils Dahlbäck, Annika Flycht-Eriksson, Arne Jönsson, Pernilla Qvarfordt, Lena Santamarta, Lena Strömbäck.
Towards Multimodal Natural Language Interfaces for Information Systems - the LINLIN Approach.
Paper presented at the 4th International Conference on Applications of Natural Language to Information Systems, Klagenfurt, Austria, 1999.
- (nlplab)

135
Lars Ahrenberg, Magnus Merkel.
A knowledge-lite approach to word alignment.
In Jean Veronis (ed.) Parallel Text Processing. Alignment and Use of Translation Corpora. Kluwer Academic Press, Text, Speech and Language Technology Series, pp. 97-116.
- (nlplab)

136
Lars Ahrenberg, Magnus Merkel, Daniel Ridings, Anna Sågvall Hein, Jörg Tiedemann.
Automatic processing of parallel corpora: A Swedish perspective..
Published in Linköping University Electronic Press Computer and Information Science Series, 1999/002
- (nlplab)

137
Nils Dahlbäck.
The Design of an Undergraduate Program Based on a View of Cognitive Science as a Society with Three Methodological Cultures.
Paper presented at the workshop on undergraduate teaching in cognitive science, at the AISB'99 Convention, Edinburgh, April 6-9, 1999.
- (nlplab)

138
Nils Dahlbäck, Arne Jönsson.
Knowledge Sources In Spoken Dialogue Systems.
Proceedings of Eurospeech'99, Budapest, Hungary, 1999, pp. 1523-1526.
- (nlplab)

139
Nils Dahlbäck, Annika Flycht-Eriksson, Arne Jönsson, Pernilla Qvarfordt.
An Architecture for Multi-Modal Natural Dialogue Systems.
Proceedings of ESCA Tutorial and Research Workshop (ETRW) on Interactive Dialogue in Multi-Modal Systems, Germany, 1999.
- (nlplab)

140
Annika Flycht-Eriksson.
A survey of knowledge sources in dialogue systems.
Proceedings of IJCAI'99 workshop on Knowledge and Reasoning in Practical Dialogue Systems, pp. 41-48, Stockholm, Sweden.
- (nlplab)

143
Marcus Bjäreland.
Recovering from modelling faults in GOLOG.
Proceedings of the IJCAI'99 Workshop: Scheduling and Planning meet Realtime Monitoring in a Dynamic and Uncertain World, Stockholm, Sweden, August 1999.
- (kplab witas)

144
Marcus Bjäreland, Dimiter Driankov.
Synthesizing discrete controllers from hybrid automata - preliminary report.
Working Papers of the AAAI Spring Symposium on Hybrid Systems and AI, Stanford, CA, USA, March 1999.
- (taslab witas)

145
Marcus Bjäreland, P. Jonsson.
Exploiting bipartitenes to identify yet another tractable subclass of csp.
Proceedings of the Fifth International Conference on Principles and Practice of Constraint Programming, LNCS, Alexandria, VA, USA, 1999. Springer-Verlag.
- (kplab witas)

146
Silvia Coradeschi, Lars Karlsson, K. Nordberg.
Integration of vision and decision-making in an autonomous airborne vehicle for traffic surveillance.
In H.I. Christiansen, editor, Computer Vision Systems, number 1542 in Lecture Notes in Computer Science. Springer, 1999, pp. 216-230.
- (kplab witas)

147
Patrick Doherty, Joakim Gustavsson, Lars Karlsson, Jonas Kvarnström.
TAL: Temporal action logics, language specification and tutorial.
Journal of Electronic Transactions on Artificial Intelligence, 1999, vol. 2 (1998), issue 3-4, pp. 273-306.
- (kplab witas)

148
Patrick Doherty, Jaroslaw Kachniarz, A. Szalas.
Meta-queries on deductive databases.
Fundamenta Informaticae, 1999. To appear.
- (kplab witas)

149
Patrick Doherty, Jonas Kvarnström.
Tackling the qualification problem using fluent dependency constraints.
Published in Journal of Computational Intelligence, vol. 16:2, pp. 169-209, 1999.
- (kplab witas)

150
Patrick Doherty, Jonas Kvarnström.
TALplanner: An empirical investigation of a temporal logic-based forward chaining planner.
Proceedings of the 6th International Workshop on Temporal Representation and Reasoning (TIME'99), pp. 47-54, 1999.
- (kplab witas)

151
Patrick Doherty, Witold Lukaszewicz, E. Madalinska-Bugaj.
MPMA updates using dijkstra's semantics.
Proceedings of the 11th International Symposium (ISMIS-99), Warsaw, Poland. Lecture notes in Artificial Intelligence, pp. 271-281. Springer-Verlag, 1999.
- (kplab witas)

152
Patrick Doherty, Witold Lukaszewicz, A. Szalas.
Declarative PTIME queries for relational databases using quantifier elimination.
Journal of Logic and Computation, 9(5):739-761, 1999.
- (kplab witas)

154
Thomas Drakengren, Markus Bjäreland.
Expressive reasoning about action in nondeterministic polynomial time.
In Proceedings of the 16th International Joint Conference on Artificial Intelligence, pp. 166-171, Stockholm, Sweden, 1999. Morgan Kaufmann.
- (tosca witas)

155
Thomas Drakengren, Markus Bjäreland.
Reasoning about action in polynomial time.
Artificial Intelligence, 1999, vol. 115(1), pp. 1-24.
- (tosca witas)

156
Patrik Haslum.
Model checking by random walk.
Proceedings of the 2nd Conference on Computer Science and Systems Engineering in Linköping. Linköpings Universitet, 1999.
- (witas)

159
Lars Karlsson, Joakim Gustafsson.
Reasoning about concurrent interaction.
Journal of Logic and Computation, 1999.
- (witas kplab)

160
Patrick Lambrix, Ulla Ouchterlony.
Samarbete Teknik - Psykologi - Ekonomi.
Proceedings från den 3:e universitetspedagogiska konferensen vid Linköpings universitet, pp 7-9, Linköping, Sweden, 1999.
- (iislab)

162
Lars Ahrenberg.
Precedenser eller positioner för beskrivningen av svenskans ledföljd.
Svenskans beskrivning 23, Lund University Press, 1999:19-27.
- (nlplab)

163
Lars Ahrenberg.
Automatisk textanalys i språkprofessionerna.
I Per Linell, Lars Ahrenberg, Linda Jönsson (utg.) Samtal och språkanvändning i professionerna. Rapport från ASLA:s höstsymposium Linköping, 6-7 november 1997. ASLA:s skrftserie 11, Repro HSC, Uppsala, 1999.
- (nlplab)

164
Pernilla Qvarfordt, Arne Jönsson.
Evaluating the Dialogue Component in the Gulan Educational System.
Proceedings of Eurospeech'99, Budapest, Hungary, 1999, pp. 643-646.
- (nlplab)

165
Lena Santamarta.
Output Generation in a Spoken Dialogue System.
In Tilman Becker and Stephan Busemann (eds.): May I Speak Freely? Between Templates and Free Choice in Natural Language. Generation Proceedings of the Workshop at the 23rd German Annual Conference for Artificial Intelligence, Bonn, September 1999. DFKI Document, D-99-01.
- (nlplab)

180
Patrik Haslum.
Model checking by random walk.
Proceedings of the 2nd Conference on Computer Science and Systems Engineering in Linköping. Linköpings Universitet, 1999.
- (kplab witas)

181
Patrik Haslum, Peter Jonsson.
Some results on the complexity of planning with incomplete information.
In the proceedings of the 5th European Conference on Planning, vol 1809, pp. 308-318, Springer Verlag, 1999.
- (tosca kplab witas)

182
Peter Jonsson, Patrik Haslum, Christer Bäckström.
Towards efficient universal planning - a randomized approach.
In Artificial Intellingence, vol. 117(1), pp. 1-29, 2000.
- (tosca kplab witas)

185
Lars Ahrenberg.
Positions vs. precedences as primitives of constituent order.
In Per Anker Jensen og Peter Skadhauge (eds.) Saetningsskemaet i Generativ Grammatik, Institut for Erhvervssproglig Informatik og Kommunikation, Syddansk Universitet - Kolding, 1999:1-30.
- (nlplab)


Article Locator Pages

In some cases, the database maintains relatively extensive information about an article: links to the journal, conference, or publisher where the article was published, links to several generations of the article, etc. Fort this reason, the publication register constructs Article Locator Pages (ALP), that is, HTML pages containing up-to-date information about the publication status of the article in question and, as often as possible, links to the full text of that article.

It is intended that the ALP shall be permanently usable as a key to the full article and to current information about it. ALP:s have a systematic naming; an ALP noted below as number 002 under the headling 1997 is represented at the URL http://www.ida.liu.se/ext/pur/1997/002.html.

E-Press Cover Pages

For those articles published by the Linköping University Electronic Press, the table above also indicates the E-Press cover page, using the ECP. The ECP is used by the E-Press to characterize the instance of an article as published by them. It contains links to various versions or aspects of the article: abstract, postscript, PDF version, etc.

Amendments

Users at IDA please click here for information about how to enter your article into the register and to modify the information about it.


This page is maintained by [EMTEK]; latest update 4 August 1997.