Linköping University

Department of Computer and Information Science

Publication Register

Articles reported during 1997
as published or accepted for publication


The IDA publication register contains information about articles written by researchers 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 1997

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
Silvia Coradeschi, Lars Karlsson.
A Decision-Mechanism for Reactive and Cooperative Soccer-Playing Agents.
Accepted for publication in the proceedings of the 2 .
Presented at the RoboCup workshop: Soccer as a problem for Multi-Agent Systems, during the second international conference on Multi-Agent Systems (ICMAS-96)
[abstract] [postscript] [PDF] [ECP] [ALP] - (kplab)

002
Thierry Vidal, Hélène Fargier.
Contingent durations in temporal CSPs: from consistency to controllabilities.
A revised version of this article was published in the proceedings of the TIME-1997 conference
[abstract] [postscript] [ECP] [ALP] - (emtek)

003
Erik Sandewall.
A Neo-Classical Structure for Scientific Publication and Reviewing.
Published by the Linköping University Electronic Press.
[abstract] [postscript] [ECP] - (emtek)

004
Thomas Drakengren.
A decidable canonical representation of the compact elements in Scott's reflexive domain in P-omega.
Accepted for publication in the journal .
- (tosca)

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

006
Thomas Drakengren, Peter Jonsson.
Twenty-one Large Tractable Subclasses of Allen's Algebra.
Published in the journal , Vol. 93, pp. 297-319.
- (tosca)

007
Henrik André-Jönsson, Dushan Badal.
Retrieval of One-Dimensional Data.
Accepted for publication in the proceedings of the 1997 .
[postscript] - (edslab)

008
Peter Jonsson, Thomas Drakengren.
A Complete Classification of Tractability in the Spatial Theory RCC-5.
Published in the , Vol. 6, pp. 211-221.
[postscript] - (tosca)

009
Kevin Ryan, Joachim Karlsson.
Prioritizing Software Requirements in an Industrial Setting.
Accepted for publication in the proceedings of the 1997 .
- (aslab)

010
Joachim Karlsson, Kevin Ryan.
Prioritzing Requirements Using a Cost-Value Approach.
Published in the journal IEEE Software, Vol. 1997, Sept-Oct, pp. 67-74.
- (aslab)

011
Joachim Karlsson.
Managing Software Requirements Using Quality Function Deployment.
Accepted for publication in the Software Quality Journal.
- (aslab)

012
Joachim Karlsson, S Olsson, Kevin Ryan.
Improved Practical Support for Large-Scale Requirements Prioritizing.
Published in the Requirements Engineering Journal, Vol. 2, pp. 51-60.
- (aslab)

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

015
Alexei Boulatov.
Decision Support Systems for Vessel Performance and Control.
Published as a departmental technical report.
- (iislab)

016
Peter Jonsson.
Tight Lower Bounds on the Approximability of Some NPO PB-Complete Problems.
Published by the Linköping University Electronic Press.
[abstract] [postscript] [ECP] - (tosca)

017
Jörgen Andersson.
Processorientering i offentlig verksamhet.
Published by the Linköping University Electronic Press.
[abstract] [postscript] [ECP] - (eis)

018
Gunilla Ivefors.
Emergency Information Management and Disaster Preparedness on the Internet.
Accepted for publication in the proceedings of the 1997 Human IT conference.
- (mda)

019
Lars Karlsson.
Reasoning about incomplete initial information and nondeterminism in the situation calculus.
Accepted for publication in the proceedings of the 1997 .
- (kplab witas)

020
Thomas Drakengren, Marcus Bjäreland.
Towards a Complete Classification of Tractability in Allen's Algebra.
Accepted for publication in the proceedings of the 1997 .
[postscript] - (kplab)

021
Tianruo Yang, Zebo Peng.
An Integrated Approach to Data Path Synthesis for Testability.
Accepted for publication in the proceedings of the International Test Synthesis Workshop.
- (eslab)

022
Marcus Bjäreland, Lars Karlsson.
Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Actions and Change.
Accepted for publication in the proceedings of the 1997 .
[postscript] - (kplab witas)

023
Simin Nadjm-Tehrani.
Time-Deterministic Hybrid Transition Systems..
Accepted for publication in the proceedings of the 1997 .
[postscript] - (tosca)

024
Tianruo Yang, Zebo Peng.
Integrated Scheduling and Allocation in High-Level Test Synthesis..
Accepted for publication in the proceedings of the IEEE European Test Workshop.
- (eslab)

025
Per-Olof Fjällström.
Parallel Algorithms for Batched Range Searching on Coarse-Grained Multicomputers..
Published in the proceedings of the 1997 , pp. 167-178.
- (actlab)

026
Man Lin, Jacek Malec.
Timing Analysis of RL Programs..
Accepted for publication in the proceedings of the 1997 .
- (taslab)

027
Per-Olof Fjällström.
Batched Range Searching on a Mesh-Connected SIMD Computer"..
Published in the proceedings of the 1997 , pp. 65-68.
- (actlab)

028
Krzysztof Kuchcinski.
Embedded System Synthesis by Timing Constraints Solving..
Accepted for publication in the proceedings of the International Symposium on System Synthesis.
[postscript] - (cadlab witas)

029
Silvia Coradeschi, Lars Karlsson.
A Behavior-Based Decision-Mechanism for Agents coordinating using Roles: a Prel iminary Report..
Accepted for publication in the proceedings of the 1997 .
[postscript] - (kplab)

030
Simin Nadjm-Tehrani, Jan-Erik Strömberg.
Formal Verification of Dynamic Properties in an Aerospace Application..
Accepted for publication in the Journal of Formal Methods in Systems Design.
[postscript] - (tosca)

031
Patrick Lambrix.
Some Notes on Parts, Whole and Time.
Published in the proceedings of the 1997 , pp. 85-96.
- (iislab)

032
Patrick Lambrix, Lin Padgham.
A Description Logic Model for Querying Knowledge Bases for Structured Document.
Published in the proceedings of the 1997 , pp. 72-83.
- (iislab)

033
Patrick Lambrix, Nahid Shahmehri, Niclas Wahllöf.
A Default Extension to Description Logics for Use in an Intelligent Search Engine.
Proceedings of the Tenth International Symposium on Methodologies for Intelligent Systems (ISMIS-97), "Charlotte, North Carolina, USA, 1997. Extended abstract in poster session, pp. 97-104. Also, Proceedings of the 31st Hawaii International Conference on System Sciences - Modeling Technologies and Intelligent Systems Track, pp. 28-35, Hawaii, 1998
- (iislab)

034
Patrick Lambrix, Nahid Shahmehri, Johan Åberg.
Towards Creating a Knowledge Base for World-Wide Web Documents.
Published in the proceedings of the IASTED International Conference on Intelligent Information Systems, pp. 207-211.
- (iislab)

035
Ling Li, Tore Risch.
Using a Sequential Index in Terrain-Aided Navigation..
Accepted for publication in the proceedings of the 1997 .
- (edslab)

036
Dimiter Driankov, Jacek Malec.
On the stability of behaviour-based systems..
Accepted for publication in the proceedings of the IFAC Symposium on Intelligent Autonomous Vehicles.
- (taslab)

037
Thomas Padron-McCarthy, Tore Risch.
Optimizing Performance-Polymorphic Declarative Database Queries..
Accepted for publication in the proceedings of the 1997 .
- (edslab)

038
Erik Stoy, Zebo Peng.
Re-Partitioning for Hardware/Software Co-Synthesis..
Accepted for publication in the proceedings of the EUROMICRO Conference (short contributions).
- (eslab)

039
Jan Håkegård, Zebo Peng.
Design and Synthesis of Generic Board-Level Test Controller..
Accepted for publication in the proceedings of the EUROMICRO Conference (short contributions).
[postscript] - (eslab)

040
Piotr Brudlo, Krzysztof Kuchcinski.
Parallel Spatio-Temporal Convolution Scheme oriented for Hardware Real-Time Imp lementation..
Accepted for publication in the proceedings of the EUROMICRO Conference (short contributions).
- (cadlab witas)

041
Juha Takkinen, Nahid Shahmehri.
CAFE: A Conceptual Model for Managing Information in Electronic Mail.
Published in the proceedings of the Hawaii International Conference on Systems Sciences, Modelling Technologies and Intelligent Systems Track, pp. 44-53.
- (iislab)

042
Laurent Fribourg, Hans Olsén.
Proving Safety Properties of Infinite State Systems by Compilation into Presbur ger Arithmetic..
Accepted for publication in the proceedings of the 1997 .
- (logpro)

043
Francisco Bueno, Pierre Deransart, Wlodek Drabent, Gerard Ferrand, Manuel Hermenegildo, Jan Maluszynski, German Puebla.
On the Role of Semantic Approximations in Validation and Diagnosis of Constrain t Logic Programs..
Accepted for publication in the proceedings of the 1997 .
[postscript] - (logpro)

044
Laurent Fribourg, Hans Olsén.
Decompositional Approach for Computing Least Fixed-Points of Datalog Programs w ith Z-Counters..
Journal of Constraints (submitted), 1997.
- (logpro)

045
Johan Boye, Wlodek Drabent, Jan Maluszynski.
Declarative Diagnosis of Contraint Programs: an Assertion Based Approach..
Accepted for publication in the proceedings of the 1997 .
[postscript] - (logpro)

046
Johan Boye, Jan Maluszynski.
Directional Types and the Annotation Method..
Accepted for publication in the Journal of Logic Programming, pp. 179-220.
[postscript] - (logpro)

047
Patrick Lambrix, Nahid Shahmehri, Niclas Wahllöf.
Dwebic: An Intelligent Search Engine based on Default Description Logics.
Accepted for publication in the proceedings of the International Workshop on Description Logics.
- (iislab)

048
Patrick Lambrix, Nahid Shahmehri.
TRIFU: The Right Information for You.
Accepted for publication in the proceedings of the Hawaii International Conference on System Sciences - Internet and the Digital Economy Track.
- (iislab)

049
Nasrin Biglari, Nahid Shahmehri.
Intelligent Interactive Services.
Accepted for publication in the proceedings of the 1997 .
- (iislab)

050
Peter Jonsson, Christer Bäckström.
Tractable Plan Existence Does Not Imply Tractable Plan Generation..
Accepted for publication in the Annals of Mathematics and Artificial Intelligence.
- (tosca)

051
Mikael Lindvall, Kristian Sandahl.
Traceability Aspects of Impact Analysis in Object-Oriented Systems..
Accepted for publication in the Journal of Software Maintenance Research and Practice.
- (aslab)

052
Jakob Axelsson.
A Hardware/Software Codesign Methodology and Workbench for Predictable Developm ent of Hard Real-Time Systems.
Accepted for publication in the proceedings of the Euromicro Workshop on real-time systems.
- (cadlab)

053
Jakob Axelsson.
Architecture Synthesis and Partitioning of Real-Time Systems: A Comparison of T hree Heuristic Search Strategies.
Accepted for publication in the proceedings of the 1997 .
- (cadlab)

058
Niclas Ohlsson, A-C Eriksson, Mary Helander.
Early Risk-Management by Identification of Fault-prone Modules..
Accepted for publication in the journal Empirical Software Engineering, pp. 166-173.
- (aslab)

059
Niclas Ohlsson, H Alberg.
Predicting Fault-Prone Software Modules in Telephone Switches..
Accepted for publication in the journal IEEE Transactions on Software Engineering, pp. 886-894.
- (aslab)

060
Mikael Lindvall, Magnus Runesson.
What is Changed in C++ Source Code? Can These Changes Be Described Using Object Models?.
Accepted for publication in the proceedings of the 1997 .
- (aslab)

061
Niclas Ohlsson, N.E. Fenton.
Lets start testing some basic software hypotheses!.
Accepted for publication in the proceedings of the 1997 .
- (aslab)

062
Anders Subotic, Mary E. Helander, Niclas Ohlsson.
Occurrence Sampling to Improve Software Maintenance Processes..
Accepted for publication in the proceedings of the 1997 .
- (aslab)

063
M. Zhao, Mary E. Helander.
Software Reliability Rediction Recalibration based on the TTT-plot. .
Accepted for publication in the proceedings of the 1997 .
- (aslab)

064
T. Ericsson, Anders Subotic, S. Ursing.
Towards a Test Improvement Model. .
Proceedings of the 4th European Conference Software Testing Analysis & Review, Amsterdam, December, 1996.
- (aslab)

065
Mikael Lindvall.
Evaluating Impact Analysis - A Case Study..
Accepted for publication in the proceedings of the 1996 .
- (aslab)

066
Niclas Ohlsson, A-C Eriksson, Mary Helander.
Early Risk-Management by identification of Fault-prone Modules..
Accepted for publication in the proceedings of the 1996 .
- (aslab)

067
O Åkerlund, G Stålmark, Mary Helander.
Formal Safety and Reliability Analysis of Embedded Aerospace Systems at Saab.
Accepted for publication in the proceedings of the 1996 .
- (aslab)

068
Niclas Ohlsson.
Monitoring Software Projects..
Accepted for publication in the proceedings of the Tutorial and Workshop on System Engineering of Computer Based Systems.
- (aslab)

069
H Alberg, Ö Johansson, Niclas Ohlsson.
Predicting Error-Prone Software Modules. .
Accepted for publication in the proceedings of the Nordic Telecom Seminar.
- (aslab)

070
Tianruo Yang, Zebo Peng.
Incremental Testability Analysis for Design Transformations..
Accepted for publication in the proceedings of the conference IEEE NORCHIP.
- (eslab)

071
Erik Larsson, Zebo Peng.
Early Prediction of Testability by Analyzing Behavioral VHDL Specifications..
Accepted for publication in the proceedings of the conference IEEE NORCHIP.
- (eslab POSTSCRIPT "http://www.ida.liu.se/~erila/NORCHIP.ps.gz")

072
Mikael Lindvall.
Impact Analysis - A Case Study..
Presented at the Workshop on Empirical Studies of Software (WESS) 1996 and selected for publication in: Empirical Studies of Software Engineering - An International Journal.
- (aslab)

073
Mikael Lindvall, Kristian Sandahl.
How Well do Experienced Software Developers Predict Software Change?.
Accepted for publication in the Journal of Systems and Software.
- (aslab)

074
Joachim Karlsson, Claes Wohlin, Björn Regnell.
An Evaluation of Methods for Prioritizing Software Requirements..
Accepted for publication in the Journal of Information and Software Technology.
- (aslab)

075
Jonas Hallberg, Zebo Peng.
Timing-Driven High-Level Synthesis using Tabu Search Heuristics.
Accepted for publication in the proceedings of the 1997 .
[postscript] - (cadlab)

077
Erik Berglund, Henrik Eriksson.
Distributed-Interactive Simulation for Group-Distance Exercises on the Web..
Accepted to the International Conference on Web-Based Modeling and Simulation o f the 1998 Western MultiConference held in San Diego, 11-14 January.
- (aslab)

080
Vadim Engelson, D. Fritzson, Peter Fritzson.
Using the Mathematica Environment for Generating Efficient 3D Graphics..
Accepted to be presented at COMPUGRAPHICS'97 - The Sixth Conference on Computat ional Graphics and Visualization Techniques, which will be held in Vilamoura, Algarve, Portugal, from 15 to 18 of December.
- (pelab witas)

081
Peter Jonsson, Christer Bäckström.
State-Variable Planning Under Structural Restrictions: Algorithms and Complexit y..
Accepted for publication in the journal Artificial Intelligence.
- (tosca)

082
Niclas Ohlsson, Zhao Ming, Mary Helander.
Application of Multivariate Analysis for Software Fault Prediction..
Published in the Software Quality Journal, Vol. 7, pp. 56-66.
- (aslab)

083
Mikael Pettersson.
Portable debugging and profiling..
Accepted to the International Conference on Compiler Construction, cc'98 held in Lisbon, Portugal, March 30 to April 3, 1998, LNCS, Springer Verlag.
- (pelab)

085
Vadim Engelson, Peter Fritzson, Dag Fritzson.
Generating efficient 3D graphics animation code with OpenGL from object oriente d models in Mathematica..
Published in Innovation in Mathematics. Proceedings of the Second International Mathematica Symposium, Rovaniemi, Finland, 29 June - 4 July 1997, V. Keränen, P. Mitic, A. Hietamäki (Ed.) pp. 129-136.
[postscript] - (pelab witas)

086
H. Elmqvist, F. Boudaud, J. Broenink, D. Brück, T. Ernst, P. Fritzson, A. Jeandel, K. Juslin, M. Klose, S.E. Mattsson, M. Otter, H. Tummescheit, H. Vangheluwe.
Modelica TM - A Unified Object-Oriented Language for Physical Systems Modeling..
Version 1, September 1997.
- (pelab witas)


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.