Linköping University

Department of Computer and Information Science

Publication Register

Articles reported during 2001
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 2001

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


002
Nancy Reed.
Teamwork and Adjustable Autonomy in Autonomous Agents.
Springer Verlag, pp. 301--302, September, 2001.
- (rtslab, sysark)

003
K. S. Barber, C. E. Martin, Nancy Reed, D. Kortenkamp.
Dimensions of Adjustable Autonomy.
Springer Verlag pp. 353--361, September, 2001.
- (rtslab, sysark)

004
Paul Scerri, Nancy Reed.
Making Adjustable Autonomy Easier with Teamwork.
Springer Verlag pp. 339--352, September, 2001.
- (rtslab, sysark)

005
R. Kowalczyk, S. W. Loke, Nancy Reed, G. Williams.
Advances in Artificial Intelligence: PRICAI 2000 Workshop Reader.
In Springer Verlag, eds., vol. 2112, September, 2001.
- (rtslab, sysark)

006
Asmus Pandikow, Anders Törne.
Integrating Modern Software Engineering and Systems Engineering.
Accepted for presentation and publication at ICSSEA 2001 (International Conference on Software and Systems Engineering and their Applications) to be held 4-6 Dec 2001 in Paris, France.
- (rtslab)

007
Vilhelm Dahllöf, Peter Jonsson.
An Algorithm for Counting Maximum Weighted Independent Sets and its Applications.
Accepted at the Thirteenth ACM-SIAM Symposium on Discrete Algorithms
- (tosca)

008
Jonas Hallberg, Niklas Hallberg, Toomas Timpka.
Towards Second-generation Smart Card-Based Authentication in Health.
Information Systems: the Secure Server Model Published in Medinfo 2001
- (mda)

011
Vivian Vimarlund, E. Eriksson, Toomas Timpka.
Economic Motives to Use Participatory-Design Approach in the Development of Public-Health Informations Systems.
In Proceedings of Medinfo 2001
- (mda)

012
M. Irestig, Vivian Vimarlund, Toomas Timpka.
Information Technology and User Adapted Public Health Information.
In Proceedings of Medinfo 2001
- (mda)

013
Vivian Vimarlund, Toomas Timpka: .
To choose to be Poor but Have Good Future Prospects: Consumer Participation in the Development of Information Systems in Healthcare Organizations.
In the Proceedings of AMIA'2000,Annual Symposium, Los Angeles. 2000, pp 1150.
- (mda)

014
Magnus Bång, Anneli Hagdahl, Henrik Eriksson, Toomas Timpka: .
Groupware for Case Management and Inter-Organizational Collaboration: The Virual Rehabilitation Team.
In Proceedings of World Congress on Medical Informatics (Medinfo), London 2001.
- (aslab)

015
Magnus Bång, Toomas Timpka: .
On the invisible functions of paper-based patient records: towards socio-technical design of computer-based patient records .
In Proceedings of Health Care: Sociotechnical Approaches (ITHC'01), Rotterdam, September 6-7, 2001.
- (aslab)

016
Sofie Pilemalm, N. Hallberg, Toomas Timpka.
Organisational Policy and Shop-floor Requests in Design - Visualisation of the Argumentation behindan Information System for the Swedish Trade Union Movement.
Scand J Inf Systems 2000;12: inpress.
- (mda)

020
Erik Hollnager.
Preface: From HMS to HCI - and back again.
In J. Noyes and M. Bransby (Eds.) People in control: Human factors in control room design. London, UK: IEE Press.
- (cselab)

021
Y. Niwa, Erik Hollnagel.
Enhancing operator control by adaptive alarm presentation.
International Journal of Cognitive Ergonomics
- (cselab)

024
Erik Hollnagel.
Axiomatic and pragmatic approaches to modelling of cognition.
Proceedings of the 9th International Conference on Human-Computer Interaction, August 5-10, 2001, New Orleans, USA.
- (cselab)

025
Y. Niwa, Erik Hollnagel.
Principles of performance monitoring in coupled human-machine systems.
Proceedings of 8th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems. 18-20 September 2001, Kassel, Germany.
- (cselab)

026
Erik Hollnagel.
On the nature of risk and accidents.
Proceedings of OECD/NEA/CSNI International Workshop on "Building the new HRA: Errors of Commission - from research to application". Washington DC, May 7-9 2001.
- (cselab)

027
Erik Hollnagel.
Human-oriented automation strategies.
Proceedings of World Congress on Safety of Modern Technical Systems, Kongresshalle Saabrücken, 12-14 September, 2001.
- (cselab)

028
V. Gauthereau, Erik Hollnagel.
Operational readiness verification (ORV): A study of safety during outage and restart of nuclear power plants.
Proceedings of 8th Conference on Cognitive Science Approaches to Process Control. 24-26 September 2001, Munich, Germany.
- (cselab)

029
Erik Hollnagel, J. Karlsson, T. Magnusson, U. Taube.
They drive at night - can visual enhancement systems keep the driver in control.
Proceedings of Driving Assessment 2001, Snowmass, CO., August 14-17, 2001.
- (cselab)

030
Erik Hollnagel.
Automation from a joint systems perspective.
Proceedings of International Seminar on Human-centred Automation and Software Reliability of Man-machine Systems from a Cognitive Engineering Aspect. July 12-13, 2001, Shiran-Kaikan, Kyoto, Japan.
- (cselab)

031
Erik Hollnagel.
Time and control in joint human-machine systems.
Proceedings of 2nd IEE People In Control Conference. 18-21 June, 2001, UMIST, Manchester, UK.
- (cselab)

032
Erik Hollnagel.
Extended cognition: a new challenge for ergonomics?.
Proceedings of Annual Meeting Of The Italian Ergonomics Society: "Ergonomics In The Information/Knowledge Society", Firenze, Italy, September 26-28, 2001.
- (cselab)

033
Erik Hollnagel.
Performance variability management.
Invited presentation at 4th Multidisciplinary Seminar on "Risk, errors and accidents, and their control", May 14-15, Gif-sur-Yvette, France.
- (cselab)

035
Erik Hollnagel.
Failures in hospitals - human error or complex systems?.
Invited presentation at Evento Stryker, Istanbul, April 24-26, 2001.
- (cselab)

036
Erik Hollnagel, R. Amalberti.
The Emperor's New Clothes, or whatever happened to "human error"?.
Invited keynote presentation at 4th International Workshop on Human Error, Safety and System Development. Linköping, June 11-12, 2001.
- (cselab)

037
Erik Hollnagel.
Human factors of the decision making process.
EUROCOURSE, 2001: Probabilistic safety assessment and risk-informed decision making. 5-9 March, 2001, Garching, Germany.
- (cselab)

039
Erik Larsson, Zebo Peng.
An Integrated System-On-Chip Test Framework.
Accepted as a regular paper at the Design, Automation and Test in Europe (DATE) Conference held in Munich, Germany, March 13-16, 2001
- (eslab)

040
A. Jutman, R. Ubar, Zebo Peng.
Improving the Efficiency of Timing Simulation of Digital Circuits.
Accepted as a regular paper at the Design, Automation and Test in Europe (DATE) Conference held in Munich, Germany, March 13-16, 2001
- (eslab)

041
Johan Moe, David A. Carr.
Understanding Distributed Systems via Execution Trace Data.
Accepted for presentation at the 9th International Workshop on Program Comprehension (IWPC 2001), held in Toronto, Canada, May 12-13, 2001.
- (pelab)

042
Nils Dahlbäck, Fredrik Arvidsson, Jörgen Skågeby.
Spoken Interaction with Computers in a Native or Non-Native Language - Same or Different?.
Accepted to INTERACT 2001. Co-authored with Cliff Nass and Seema Swamy at Stanford University,
- (liblab, sysutv)

043
Paul Pop, Petru Eles, Traian Pop, Zebo Peng.
Minimizing System Modification in an Incremental Design Approach.
Accepted for presentation at the International Symposium on Hardware/Software Codesign, held in Copenhagen, Danmark, April 25-27, 2001.
- (eslab)

044
Mattias Arvola.
Design for use quality in home informatics.
Accepted for presentation at Oikos2001: Methodological Issues in the Design of Household Technologies, held in Århus, Denmark, March 12 - 14, 2001.
- (cselab)

045
Abdil Rashid Mohamed, Zebo Peng, Petru Eles.
BIST Synthesis: An Approach to Resource Optimization under Test Time Constraints.
Accepted for presentation at the 8th International Test Synthesis Workshop, held in Santa Barbara, California, U.S., March 26-28, 2001.
- (eslab)

046
Bourhane Kadmiry, P. Bergsten, Dimiter Driankov.
Autonomous Helicopter using Fuzzy Gain Scheduling.
Accepted for presentation at the International Conference on Robotics and Applications (ICRA2001) Seoul-Korea, March 23-26, vol. 3, pp. 2980-85, 2001.
- (taslab)

047
Sorin Manolache, Petru Eles, Zebo Peng.
Memory and Time-Efficient Schedulability Analysis of Task Sets with Stochastic Execution Time.
Accepted at the "13th Euromicro Conference on Real-Time Systems" held in Delft, The Netherlands, June 13-15, 2001.
- (eslab)

048
Asmus Pandikow, Anders Törne.
Support for Object-Orientation in AP-233.
Accepted for presentation at the 11th Annual Internationa Symposium of the Intentional Council on Systems Engineering (INCOSE) at Melbourne, Australia, July 2001.
- (rtslab)

049
Bourhane Kadmiry, R. Palm, Dimiter Driankov.
Autonomous Helicopter Control Using Gradient Descent Optimization.
Accepted at the Asian Conference on Robotics and Applications (ACRA2001), held in Singapore, June 6-8, 2001.
- (taslab)

050
Daniel Karlsson.
A Front End to a Java Based Environment for the Design of Embedded Systems.
Accepted for the 4th IEEE DDECS Workshop in Gyor, Hungary, April 2001.
- (eslab)

051
Paul Pop, Petru Eles, Traian Pop, Zebo Peng.
An Approach to Incremental Design of Distributed Embedded Systems.
Accepted as a regular paper to the 38th Design Automation Conference (DAC), Las Vegas, USA, June 18-22, 2001.
- (eslab)

052
Bourhane Kadmiry, Dimiter Driankov.
Autonomous Helicopter Control Using Linguistic & Model-based Fuzzy.
Control In the proceeding of IEEE, International Symposium on Intelligence Control CCA/ISIC, pp. 348-352, Mexico-City, 2001.
- (taslab)

053
Peter Nilsson, Petru Eles, Hannu Tenhunnen.
SOCWARE: A new swedish design cluster for system-on-chip.
Accepted for the "International Conference on Microelectronic Systems Education", Las Vegas, USA, June 2001.
- (eslab)

054
Andrei Krokhin, Peter Jeavons, Peter Jonsson.
A Complete Classification of Complexity in Allen's Algebra in the Presence of a Non-Trivial Basic Relation.
Accepted for presentation at the 17th International Joint Conference on Artificial Intelligence (IJCAI-01), Seattle, USA, August 2-10, 2001.
- (tosca)

055
Thomas Timpka, Kent Lindqvist.
Evidence based prevention of acute injuries during physical exercise in a WHO safe community.
Published in British Journal of Sports Medicine, February 2001, Vol 35, No 1, p 20-27.
- (mda)

057
Henrik Artman, Yvonne Waern, Björn Johansson.
Discourse about Technology and Use of Technology in Future Crisis Managment Systems.
Accepted for publication in the Journal of Pragmatics, Special Issue "Pragmatics in Crisis".
- (cselab)

058
Christoph Kessler, Andrzej Bednarski.
A Dynamic Programming Approach to Optimal Integrated Code Generation.
Accepted as a regular paper to the conference ACM SIGPLAN 2001 Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES'2001), Snowbird, Utah, USA, June 22-23, 2001.
- (pelab)

059
Todd R. Reed, Nancy E. Reed, Peter Fritzson.
The Analysis of Heart Sounds for Symptom Detection and Machine-Aided.
Accepted for presentation at the 2001 Eurosim Conference in June, 2001.
- (pelab)

060
Erik Hollnagel.
When all things fail..
Published in Technology & Work, 2(4), 221-223.
- (cselab)

061
P. Cacciabue, Y. Fujita, K. Furuta, Erik Hollnagel.
The rational choice of "error".
Published in Cognition, Technology & Work, 2(4), 179-181.
- (cselab)

062
Y. Niwa, Erik Hollnagel.
The design of advanced generation of event-based emergency operating procedure.
Published in Journal of the Institute of Nuclear Safety System, 7, 271-283. (In Japanese.)
- (cselab)

065
Ioan Chisalita, Nahid Shahmehri.
Issues in Image Utilization within WAP Mobile E-Services.
Accepted for the 2001 WET-ICE Infrastructure and Applications for the Mobile Internet Workshop in Cambridge, MA.
- (iislab)

067
R.Ubar, Gert Jervan, Zebo Peng, E.Orasson, R.Raidma.
Fast Test Cost Calculation for Hybrid BIST in Digital Systems.
Accepted for long presentation at Euromicro Symposium on Digital Systems Design, Warsaw, Poland, September 4-6, 2001.
- (eslab)

068
Luis Alejandro Cortes, Petru Eles, Zebo Peng.
Hierarchical Modeling and Verification of Embedded Systems.
Accepted to the Euromicro Symposium on Digital Systems Design, Warsaw, Poland, Sept. 4-6, 2001.
- (eslab)

070
Jonas Lundberg.
On-line Newspapers and Genre Development on the World Wide Web.
Accepted for presentation at IRIS24, in Ulvik in Hardanger on August 11-14, 2001.
- (cselab)

071
Aseel Ibrahim, Jenny Johansson, Jonas Lundberg.
Speech Enhanced Remote Control for Media Terminal.
Accepted to Eurospeech 2001 - Scandinavia.
- (cselab)

072
Erik Larsson, Zebo Peng.
Test Scheduling and Scan-Chain Division Under Power Constraint.
Accepted for presentation at the Tenth Asian Test Symposium (ATS 2001) to be held in Kyoto, Japan, November 19-21, 2001.
- (eslab)

073
T. Hollstein, Zebo Peng, R. Ubar, M. Glesner.
Challenges for Future System-on-Chip Design.
Accepted by the 15th European Conference on Circuit Theory and Design, held in Espoo, Finland, August 28-31, 2001.
- (eslab)

074
Raimund Ubar, Helena Kruus, Gert Jervan, Zebo Peng.
Using Tabu Method for Optimizing the Cost of Hybrid BIST.
Accepted for publication in the program of the 16th Conference on Design of Circuits and Integrated Systems (DCIS 2001), to be held in Porto, Portugal, November 20-23, 2001.
- (eslab)

075
Erik Larsson, Zebo Peng.
System-on-Chip Test Parallelization Under Power Constraints.
Accepted for presentation at European Test Workshop, Stockholm, Sweden, May 28-June 1, 2001.
- (eslab)

076
Erik Larsson, Zebo Peng, Gunnar Carlsson.
The Design and Optimization of SOC Test Solutions.
Accepted for publication at ICCAD-2001 to be held November 4-8, at the DoubleTree Hotel in San Jose, California.
- (eslab)

077
Björn Johansson, H. Artman, Yvonne Waern.
Technology in Crisis Management Systems - ideas and effects.
To appear in the Journal Pragmatics special issue Pragmatics in Crisis
- (cselab)

078
Björn Johansson, R. Granlund R.
Feedback in Shared Digital Maps. .
In (Ed.) Morten Lind Proceedings to EAM 2001, Copenhagen, 25-27 June, 2001.
- (cselab)

079
M. Persson, Björn Johansson.
Creativity or Diversity in Command and Control. .
Published in (ed.) Smith M.J.
- (cselab)

081
Yvonne Waern, Björn Johansson.
Understanding Communication in a Dynamic Situation - Argumentation in Situation assessment and planning.
Published in the Proceedings of COOP 2000, Sophia Antipolis, 23-26 May, 2000.
- (cselab)

082
Björn Johansson, R. Granlund, Yvonne Waern.
The Communicative Aspects of Distributed Dynamic Decision Making in the ROLF-Environment.
In (ed.) Henrik Friman Proceedings to the 5th International Conference on Naturalistic Decision Making, Tammsvik. 26-28 May, 2000.
- (cselab)

083
Mikael Kindborg.
Dimensions of children's social agents.
Published in the proceedings of 3 Annual Conference 2000. Jönköping, Sweden, September 13-15, 2001.
- (aslab)

084
Mikael Kindborg.
How Children Understand Concurrent Comics: Experiences from LOFI and HIFI Prototypes .
Published in the proceedings of HCC'01 - IEEE Symposia on Human-Centric Computing Languages and Environments. Stresa, Italy, September 5-7.
- (aslab)

085
Lars Degerstedt, Arne Jönsson.
Iterative Implementation of Dialogue System Modules.
Published in the proceedings of Eurospeech 2001, Aalborg, Denmark, 2001.
- (nlplab)

086
Lars Degerstedt, Arne Jönsson.
A Method for Iterative Implementation of Dialogue Management.
Accepted for presentation at IJCAI Workshop on Knowledge and Reasoning in Practical Dialogue Systems, Seattle, USA, August 2-10, 2001.
- (nlplab)

087
Magnus Merkel, Arne Jönsson.
Towards multimodal public informations systems .
Accepted for presentation at the 13th Nordic Conference on Computational Linguistics, NoDaLiDa '01, Uppsala, Sweden, 2001.
- (nlplab)

088
Christina Ölvingson, Niklas Hallberg, Toomas Timpka, Robert A.Greenes.
Adaptation of the Critical Incident Technique to Requirements Engineering in Public Health.
Published in the proceedings of MedInfo i London, UK, 2-5 September 2001.
- (mda)

089
Per Carlshamre, Kristian Sandahl, M. Lindvall, B. Regnell, J. Natt och Dag.
An Industrial Survey of Requirements Interdependencies in Software Release Planning.
Published in the proceedings of Fifth IEEE Int. Symposium on Requirements Engineering (RE'01), Toronto, Canada, Aug. 27-31, 2001.
- (pelab)

090
J. Natt och Dag, B. Regnell, Per Carlshamre, M. Andersson, J. Karlsson.
Evaluating Automated Support for Requirements Similarity Analysis in Market-Driven Development. .
Published in the proceedings of. Seventh Int. Workshop on Requirements Engineering (REFSQ2001), Interlaken, Switzerland, June 4-5, 2001.
- (aslab)

091
Per Carlshamre, M. Rantzer.
Dissemination of Usability: Failure of a success story. .
Published in ACM interactions, 8(1):31--41.
- (aslab)

092
Fredrik Andersson, Jörgen Skågeby.
Spoken Interaction with Computers in a Native or Non-native Language - Same or Different?.
- (liblab, sysutv)

093
Nils Dahlbäck, Arvid Karsvall.
Personality Bias in Volunteer Based User Studies? .
Published in the proceedings of HCI 2000.
- (nlplab)

094
Arne Jönsson, Nils Dahlbäck.
Distilling dialogues - A method using natural dialogue corpora for dialogue systems development.
Published in the proceedings of 6th Applied Natural Language Processing Conference, Seattle, 2000, pp.44-51.
- (nlplab)

095
Rita Kovordányi.
Sequencing of information versus interfacing between processing levels.
Published in Computational Intelligence.
- (cselab)

096
Rita Kovordányi.
Factorial modeling: A method for enhancing the explanatory and predictive power of cognitive models..
In Altmann, E. M., Cleermans, A. Schunn, C. D. & Gray, W. D. (eds.): Proceedings of the 2001 Fourth International Conference on Cognitive Modeling. Mahwah, NJ: Lawrence Erlbaum Associates.
- (cselab)

097
Erik Berglund, Michael Priestle.
Open-Source Documentation: In Search of User-Driven, Just-in-Time Writing,.
Accepted for presentation at SIGDOC 01, Santa Fe, New Mexicon, October 21 -- 24, 2001.
- (aslab)

098
Erik Sandewall.
Open Reviewing, Closed Refereeing: Where's the Publication?.
In E.H. Fredriksson (ed): A Century of Science Publishing, pp. 285-301. IOS Press, 2001.
- (casl)

099
Erik Sandewall.
Action Inventory for a Knowledge-Based Colloquium Agent.
In H. Levesque and F. Pirri (eds): Logical Foundations for Cognitive Agents, pp. 300-308. Springer Verlag, 1999.
- (casl)

100
Erik Sandewall.
Cellular Ontology as a Basis for Spatiotemporal Reasoning..
Invited paper. C. Bettini and A. Montanari (ed): Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME-01), pp. 3-4. IEEE Computer Society Press, 2001.
- (casl)

101
Erik Sandewall.
On the Design of Software Individuals..
Accepted, Eletronic Transactions on Artificial Intelligence, Vol. 5 (2001), Section B: contributions from the Machine Intelligence 18 Workshop.
- (casl)

102
Erik Sandewall.
Cognitive Robotics Logic and its Metatheory: Features and Fluents Revisited..
Electronic Transactions on Artificial Intelligence, Vol. 2 (1998), pp 307-329.
- (casl)

104
T. Reigo, H. Tropp, Toomas Timpka.
Clinical findings in a population with back pain Relation to one-year outcome and long-term sick leave.
Scand J Prim Health Care 2000;18:208-14.
- (mda)

105
Toomas Timpka.
Proactive health computing.
Art Intell Med 2001;21:13-24.
- (mda)

106
Toomas Timpka.
The patient and the primary care team: a small-scale critical theory.
J Adv Nursing 2000;31:558-64.
- (mda)

109
Sofie Pilemalm, N. Hallberg, Toomas Timpka.
How do shop stewards perceive their situation and tasks? .
Econom Industr Democr 2001
- (mda)

110
M. Ockander, M. Hjärpe, Toomas Timpka.
Patient-doctor concordance in elderly womens self-reported health and medical record.
Meth Inf Med 2001
- (mda)

111
AC. Hermansson, M. Thyberg, Toomas Timpka, B. Gerdle.
Survival with pain: an eight-year follow-up of war-wounded refugees.
Medicine, Conflict & Survival 2001;17:102-11
- (mda)

112
K. Lindqvist, T. Timpka, L. Schelp: .
Evaluation of an inter-organizational prevention program against injuries among the elderly in a WHO Safe Community.
In Public Health (2001) 115, 308-316.
- (mda)

113
Levon Saldamli, Peter Fritzson.
A Modelica-based Language for Object-Oriented Modeling with Partial Differential Equations.
Accepted for presentation at the 2001 Eurosim Conference held in Delft,The Netherlands, June 2001.
- (pelab)

114
Levon Saldamli, Peter Fritzson.
Domains and Partial Differential Equations in Modelica.
Accepted for presentation at the 42nd SIMS Conference held in Porsgrunn, Norway, October, 2001.
- (pelab)

115
David Byers, Mariam Kamkar, Ture Pålsson.
Syntax-Directed Construction of Value Dependence Graphs.
In the proceedings of the International Conference on Software Maintenance, Florens.
- (pelab)

116
David Byers.
Type-Sensitive Static Slicing.
In the proceedings of SCAM'01. Florence, Italy. November 2001.
- (pelab)

117
Sheshadri Krishnamurthy, Peter Fritzson.
A General Symbolic PDE-Solver Generator: Explicit Schemes.
Accepted for publication in Scientific Programming.
- (pelab)

118
Tobias Ritzau.
Hard Real Time Reference Counting without External Fragmentation.
In proceedings of the JOSES (Java Optimization Strategies for Embedded Systems) workshop at ETAPS 2001, Genoa, Italy.
- (pelab)

119
C.W. Kessler.
Managing irregular remote accesses to distributed shared arrays in a bulk-synchronous parallel programming environment.
In the Proceedings of CPC'01 9th Int. Workshop on Compilers for Parallel Computers, Edinburgh (Scotland), pp. 195-204, June 2001.
- (pelab)

122
Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas.
Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas.
In Proceedings of the 17th International Joint Conference on Artificial Intelligence, Seattle, Washington, USA, August 2001. (IJCAI 2001). Morgan Kaufmann Publishers. pp. 145-151.
- (kplab)

123
Patrick Doherty, Jonas Kvarnström.
TALplanner: A Temporal Logic Based Planner.
"Accepted for publication In AI Magazine, vol. 22(3), pp. 95-102, 2001.
- (kplab)

124
Jonas Kvarnström, Patrick Doherty.
TALplanner: A Temporal Logic Based Forward Chaining Planner.
In Annals of Mathematics and Artificial Intelligence (AMAI), vol 30, pp. 119-169, 2001.
- (kplab)

127
K. S. Barber, C. E. Martin, Nancy E. Reed, D. Kortenkamp.
Dimensions of Adjustable Autonomy.
In Advances in Artificial Intelligence: PRICAI 2000 Workshop Reader (R. Kowalczyk, S. W. Loke, N. Reed, and G. Williams, eds.), vol. 2112, pp. 353--361, Berlin: Springer Verlag, 2001.
- (rtslab)

128
J. Bäckström, Simin Nadjm-Tehrani.
Design of a Contact Service in a Jini-based Spontaneous Network.
In proceedings of ITCOM, Java-Jini tecchnologies track, SPIE, 2001.
- (tosca)

129
Fredrik Heinz, J. Kummeneje, Paul Scerri.
Using Simulated RoboCup to Teach AI in Undergraduate Education.
In Proceedings of Scandinavian Conference on AI, pp. 309-314, Springer Verlag, 2001.
- (rtslab, kplab)

130
Erik Herzog, Anders Törne.
Information Modelling for System Specification Representation and Data Exchange.
In Proceedings of the 8th IEEE International Conference and Workshop on the Engineering of Computer-based Systems (F. Titsworth, ed.), pp. 136 -- 143, IEEE Computer Society, 2001.
- (rtslab)

131
Erik Herzog, Anders Törne.
Investigating Risks in Systems Engineering Tool Data Exchange.
In Proceedings of the 11th annual International Symposium of the International Council on Systems Engineering, INCOSE, 2001.
- (rtslab)

132
Erik Herzog, P. Loborg, Simin Nadjm-Tehrani.
Real-time lab Exercises: A teacher's Dilemma.
In Proceedings of the 32nd SIGCSE Technical Symposium on Computer Science Education, pp. 273--277, Feb. 2001.
- (tosca)

133
J. Johnson, Erik Herzog, M. Giblin.
The technical data coverage of the emerging AP-233 STEP Standard and its use in virtual enterprises.
In proceedings of PDT Europe 2001, pp. 203 -- 212, 2001.
- (rtslab)

134
J. Johnson, Erik Herzog.
The Data Standard AP-233: An Invigorator for Global Systems Engineering.
In Proceedings of the 11th International Symposium of the International Council on Systems Engineering, 2001.
- (rtslab)

135
Asmus Pandikow, Anders Törne.
Software Engineering at System Level.
In Proceedings of the 1st Swedish Conference on Software Engineering Research and Practice (SERP'01) (P.-O. Bengtsson, ed.), BTH Research Report 2001:10, pp.24--31, Blenkinge Tekniska Högskola, Oct. 2001.
- (rtslab)

136
D. Pynadath, Paul Scerri, M. Tambe.
MDPs for Adjustable autonomy in a real-world multi-agent environment.
In AAAI Spring Symposium on decision theoretic and game theoretic agents, pp. 107--116, 2001.
- (rtslab)

137
Todd Reed, Nancy E. Reed, Peter Fritzson.
The Analysis of Heart Sounds for Symptom Detection and Machine-Aided Diagnosis.
In Proceedings of the 4th Internationa EuroSIMS Congress (E uroSIM 2001), pp. 038:1--7, Technical University of Delft, June 2001.
- (pelab, rtslab)

138
Nancy E. Reed.
Teamwork and Adjustable Autonomy in Autonomous Agents.
In Advances in Artificial Intelligence: PRICAI 2000 Workshop Reader (R. Kowalczyk, S. W. Loke, N. Reed, and G. Williams, eds.), vol. 2112, pp. 301--302,Berlin: Springer Verlag, 2001.
- (rtslab)

139
Paul Scerri, D. Pynadath, M. Tambe.
Adjustable Autonomy in real-world multi-agent environments.
In Proceedings of the Fifth international conference on autonomous agents (Agents'01), pp. 300--307, 2001.
- (rtslab)

140
Paul Scerri, Nancy Reed, T. Wiren, M. Lönneberg, P. Nilsson.
Headless Chickens IV.
In RoboCup-2000: Robot Soccer World Cup IV (P. Stone, T. Balch, and G. Kraetszchmar, eds.), vol. 2019, pp. 493--496, Berlin: Springer Verlag, 2001
- (rtslab, sysark)

141
Paul Scerri, Nancy E. Reed.
Designing Agents for Systems with Adjustable Autonomy.
In Workshop on Autonomy, Delegation and Control: Interacting with Autonomous Agents, Seventeenth International Joint Conference on Artificial Intelligence (IJCAI 2001), pp. 97--102, Aug. 2001.
- (rtslab)

142
Paul Scerri, Nancy Reed.
Making Adjustable Autonomy Easier with Teamwork.
In Advances in Artificial Intelligence: PRICAI 2000 Workshop Reader (R. Kowalczyk, S. W. Loke, N. Reed, and G. Williams, eds.), vol. 2112, pp. 339--352, Berlin: Springer Verlag, 2001. Available as PDF.
- (rtslab, sysark)

143
P. Stone, M. Asada, T. Balch, R. D'Andrea, M. Fujita, B. Hengst, G. Kraetzschmar, P. Lima, N. Lau, H. Lund, D. Polani, Paul Scerri, S. Tadokoro, T. Weigel, G. Wyeth.
RoboCup-2000: The Fourth Robotic Soccer World Championships.
In AI Magazine, vol. 22, pp. 11--38, 2001.
- (rtslab)

144
M. Tambe, D. Pynadath, Paul Scerri.
Adjustable Autonomy: A Response.
In Intelligent Agents VII Proceedings of the International workshop on Agents, theories, architectures and languages, 2001.
- (rtslab)

145
Jon Edvardsson, Mariam Kamkar.
Analysis of the Constraint Solver in UNA Based Test Data Generation.
In 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE-9), Austria, Sept., 2001, also in Software Engineering Notes, 26(5):237-245, Sept. 2001.
- (pelab)

147
Peter Aronsson, Peter Fritzson.
Static Scheduling of Sequential Java Programs for Multi-Processors.
In the Proceedings of JOSES (Java Optimization Strategies for Embedded Systems) Workshop, at ETAPS April, 2001.
- (pelab)

148
Peter Aronsson, Peter Fritzson.
Parallel Code Generation in MathModelica / An Object Oriented Component Based Simulation Environment.
In the Proceedings of Parallel/High-Performance Object-Oriented Scientific Computing Workshop, POOSC01 at OOPSLA01, October 2001.
- (pelab)

149
M. Ockander; Toomas Timpka.
A female lay perspective on the establishment of long-term sickness absence.
In Int J Soc Welfare 2001;10:74-9.
- (mda)

150
T. Trygg, G. Lundberg, E. Rosenlund, Toomas Timpka, B. Gerdle.
Personality characteristics of women with fibromyalgia and of women with chronic neck, shoulder or low back pain complaints in terms of MMPI and DMTm.
In J Muscoloskel Pain 2002; in press.
- (mda)

151
K. Lindqvist, Toomas Timpka, L. Schelp, O. Risto.
Evaluation of an inter-organizational child injury prevention program in a WHO Safe Community.
In Injury Prevention 2002; in press.
- (mda)

152
Toomas Timpka, O. Risto, K. Lindqvist.
Injuries in youth bandy.
In Med Sci Sports Exerc 2002; in press.
- (mda)

153
Tim Heyer.
Semantic Inspection of Software Artifacts: From Theory To Practice.
PhD thesis no 725, 2001.
- (tcslab)

154
Tim Heyer.
Semantic Inspection of UML Designs.
In Proc. of the 1st Workshop on Inspection in Software Engineering, WISE'01, 2001.
- (tcslab)

155
Wlodzimierz Drabent, M. Milkowska.
Proving Correctness and Completeness of Normal Programs: A Declarative Approach.
In Proceedings of the 17th International Conf. on Logic Programming (ICLP'01). Lecture Notes in Computer Science, LNCS 2237, Springer-Verlag, 2001.
- (logpro)

156
Wlodzimierz Drabent, Jan Maluszynski, P. Pietrzak.
Parametric Descriptive Types for (C)LP.
In The 10th International French Speaking Conference for Logic and Constraint Programming. Hermes Science Publications, 2001.
- (logpro)

157
Mathias Broxvall.
The Point Algebra for Branching Time Revisited..
In Proceedings of the 17th Joint German/Austrin Conference on Artificial Intelligence (KI-2001), 2001.
- (tcslab)

158
Marie Duflot, Laurent Fribourg, Ulf Nilsson.
Unavoidable Configurations of Parameterized Rings of Processes.
In Proc. CONCUR'01. LNCS 2154, Springer-Verlag, 2001.
- (logpro)

159
Dan Lawesson, Ulf Nilsson, Inger Klein.
Model-Checking Based Fault Isolation in UML.
In Proc. 12th Intl Workshop on Principles of Diagnosis, DX01, 2001.
- (logpro)

160
Andrei Krokhin, Peter Jeavons, Peter Jonsson.
A Complete Classification of Complexity in Allen's Algebra in the Presence of a Non-Trivial Basic Relation.
In Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-01). 2001.
- (tosca)

161
Dan Lawesson.
Towards Behavioral Model Fault Isolation for Object Oriented Control Systems..
Licentiate thesis no 863, 2000.
- (logpro)

163
Linda Hassling, Ankica Babic, Arne Jönsson, Urban Lönn, Henrik Casimir Ahn.
Assessing Patient Information Needs as a Part of Man-Machine Dialogue Development.
In Proceedings of the 2001 American Medical Informatics Association Symposium, Washington, DC, 2001.
- (nlplab)

166
Christel Ekvall, Bertil Lyberg, Michael Randén.
Non-verbal correlates to focal accents in Swedish.
Proceedings of AVSP´01, Aalborg. September 2001.
- (nlplab, kogvet)

167
Magnus Merkel, Mikael Andersson.
Combination of contextual features for word sense disambiguation: LIU-WSD.
Accepted for publication in the Proceedings of the SENSEVAL-2 Workshop, Toulouse, 2001.
- (nlplab)

168
Magnus Merkel.
Comparing source and target texts in a translation corpus.
Accepted for publication in Proceedings from the 13th Nordic Conference on Computational Linguistics, NoDaLiDa'01, Uppsala, 2001.
- (nlplab)

170
Nils Dahlbäck, Seema Swamy, Clifford Nass, Fredrik Arvidsson, Jörgen Skågeby.
Spoken Interaction with Computers in a Native or Non-native Language - Same or Different?.
In Proceedings of INTERACT 2001.
- (liblab, sysutv)

172
Håkan Johansson.
Understanding Multimodal Interaction by Exploiting Unification and Integration Rules.
Extended abstract of presentation at the 13th Nordic Conference on Computational Linguistics (NoDaLiDa'01), Uppsala, Sweden, May 2001.
- (nlplab)

173
Robert Eklund.
Prolongations: A dark horse in the disfluency stable.
Proceedings of DiSS '01 Disfluency in Spontaneous Speech, ISCA Tutorial and Research Workshop, University of Edinburgh, August 29-31, 2001, pp. 5-8.
- (nlplab)

174
Robert Eklund, Anders Lindström.
Xenophones: An Investigation of Phone Set Expansion in Swedish and Implications for Speech Recognition and Speech Synthesis.
In Speech Communication 35, vols. 1-2, pp. 81-102.
- (nlplab)

175
Robert Eklund.
Crosslinguistic Disfluency Modeling: A Comparative Analysis of Swedish and Tok Pisin Human-Human ATIS Dialogues.
Proceedings of ICSLP'00, Beijing, 16-20 October, vol. 2, pp. 991-994. 2000.
- (nlplab)

176
J. Aberg, Nahid Shahmehri.
An Empirical Study of Human Web Assistants: Implications for User Support in Web Information Systems.
In Proceedings of the CHI Conference on Human Factors in Computing Systems, pp. 404-411, Seattle, Washington, USA, 2001.
- (iislab)

177
J. Aberg, Nahid Shahmehri.
User Modelling as an Aid for Human Web Assistants.
In Proceedings of the 8th International Conference on User Modeling, pp. 201-203, Sonthofen, Germany, July 13-17, 2001.
- (iislab)

178
J. Aberg, Nahid Shahmehri.
Collection and Exploitation of Expert Knowledge in Web Assistant Systems.
In Proceedings of the 34th Hawaii International Conference on System Sciences, Maui, Hawaii, USA, 2001.
- (iislab)

179
J. Aberg, Nahid Shahmehri, D. Maciuszek.
User Modelling for Live Help Systems.
In Proceedings of the Second International Workshop on Electronic Commerce (Welcom'01), pp. 164-179, Heidelberg, Germany, November 16-17, 2001. Springer-Verlag.
- (iislab)

180
J. Aberg, Nahid Shahmehri, D. Maciuszek.
User Modelling for Live Help Systems: Initial Results.
In Proceedings of the Third ACM Conference on Electronic Commerce (EC'01), pp 194-197, Tampa, FL, USA, October 14-17, 2001.
- (iislab)

181
Peter Bunus, Marcus Comstedt, C. Curescu, C. Duma, J. Gustavsson, Fredrik Heintz, Mariam Kamkar, I. Nakhimovski, A. Siemers.
Experimenting with Extreme Programming in Graduate Software Engineering Education.
In Proceedings of the Third Conference on Computer Science and Systems Engineering in Linköping, pp 99-104, Norrköping, Sweden, 2001.
- (pelab)

182
I. Chisalita, Nahid Shahmehri.
Towards Adaptive Systems for Information Representation on Mobile Devices.
In Proceedings of the Third Conference on Computer Science and Systems Engineering in Linköping, pp 73-81, Norrköping, Sweden, 2001.
- (iislab)

183
A. Herzog, Nahid Shahmehri.
Towards Secure E-Services: Risk Analysis of a Home Automation Service.
In Proceedings of NordSec'01, Nordic Workshop on Secure IT-Systems, Copenhagen, Denmark, Nov. 1-2, 2001.
- (iislab)

184
A. Herzog, Nahid Shahmehri, A. Bednarski, I. Chisalita, U. Nordqvist, L. Saldamli, D. Szentivanyi, M. Östring.
Security Issues in E-Home Network and Software Infrastructures.
Proceedings of the Third Conference on Computer Science and Systems Engineering in Linköping, pp 155-161, Norrköping, Sweden, 2001.
- (iislab)

185
Y. Hoffmann, Patrik Lambrix, Juha Takkinen, Mariam Kamkar.
Muddy Cards en praktisk användning.
In Proceedings of 5:e universitetspedagogiska konferensen vid Linköpings universitet, pp 146-150, Linköping, Sweden, 2001 - in Swedish.
- (pelab)

186
Patrick Lambrix.
A Query Language and Architecture for Querying Multiple Biological Databanks.
In Proceedings of Bioinformatics 2001, p 24, Skövde, Sweden, 2001.
- (iislab)

187
Patrick Lambrix.
Querying Multiple Biological Databanks.
Poster at the 9th International Conference on Intelligent Systems for Molecular Biology - ISMB01, p 64, Copenhagen, Denmark, 2001.
- (iislab)

188
Patrick Lambrix.
Introduction to description logics, Ontologies and Search.
Proceedings of the 2nd OntoQuery Workshop, pp 53-56, Copenhagen, Denmark, 2001. Invited tutorial.
- (iislab)

189
Patrick Lambrix, V. Jakoniene.
Lessons learned from the analysis of characteristics of biological databanks.
Second Annual National Workshop for PhD students and PostDocs in Bioinformatics in Sweden, p 9, 2001.
- (iislab)

190
Patrick Lambrix, Nahid Shahmehri.
Querying Document Bases using Content, Structure and Properties, Ontologies and Search.
In Proceedings of the 2nd Onto Query Workshop, pp 15-21, Copenhagen, Denmark, 2001. Invited contribution.
- (iislab)


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].