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. 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. 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. 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. David Byers: Type-Sensitive Static Slicing In the proceedings of SCAM'01. Florence, Italy. November 2001. Sheshadri Krishnamurthy, Peter Fritzson: A General Symbolic PDE-Solver Generator: Explicit Schemes Accepted for publication in Scientific Programming. 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. 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. Rita Kovordányi: Sequencing of information versus interfacing between processing levels In Computational Intelligence. Rita Kovordányi: Factorial modeling: A method for enhancing the explanatory and predictive power of cognitive models In the Proceedings of the 2001 Fourth International Conference on Cognitive Modeling. Mahwah, NJ: Lawrence Erlbaum Associates. 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. Patrick Doherty, Jonas Kvarnström: TALplanner: A Temporal Logic Based Planner Accepted for publication In AI Magazine, Fall Issue, 2001. Jonas Kvarnström, Patrick Doherty: TALplanner: A Temporal Logic Based Forward Chaining Planner In Annals of Mathematics and Artificial Intelligence (AMAI). Accepted for publication 2001. Patrik Haslum, Hector Geffner: Heuristic Planning with Time and Resources In the proceedings of the European Conference on Planning, 2001 Patrik Haslum: Models for Prediction In Proceedings of IJCAI 2001 workshop on Planning under Uncertainty 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. 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. Fredrik Heinz, J. Kummeneje, Paul Scerri: Using Simulated RoboCup to Teach AI in Undergraduate Education In Proceedings of Scandinavian Conference on AI, 2001. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. Paul Scerri, Nancy Reed, T. Wiren, M. Lönneberg, and 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. Toomas Timpka, O. Risto, K. Lindqvist: Injuries in youth bandy In Med Sci Sports Exerc 2002; in press. Tim Heyer: Semantic Inspection of Software Artifacts: From Theory To Practice PhD thesis no 725, 2001. Tim Heyer: Semantic Inspection of UML Designs In Proc. of the 1st Workshop on Inspection in Software Engineering, WISE'01, 2001. 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. 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. Mathias Broxvall: The Point Algebra for Branching Time Revisited. In Proceedings of the 17th Joint German/Austrin Conference on Artificial Intelligence (KI-2001), 2001. Marie Duflot, Laurent Fribourg, Ulf Nilsson: Unavoidable Configurations of Parameterized Rings of Processes In Proc. CONCUR'01. LNCS 2154, Springer-Verlag, 2001. Dan Lawesson, Ulf Nilsson, Inger Klein: Model-Checking Based Fault Isolation in UML In Proc. 12th Intl Workshop on Principles of Diagnosis, DX01, 2001. 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. Dan Lawesson: Towards Behavioral Model Fault Isolation for Object Oriented Control Systems. Licentiate thesis no 863, 2000. Lars Degerstedt, Arne Jönsson: Iterative Implementation of Dialogue System Modules In Proceedings of Eurospeech 2001, Aalborg, Denmark, 2001. 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. Lars Degerstedt and Arne Jönsson: A Method for Iterative Implementation of Dialogue Management In Proceedings of the IJCAI Workshop on Knowledge and Reasoning in Practical Dialogue Systems, Seattle, 2001. Magnus Merkel, Arne Jönsson: Towards multimodal public informations systems Proceedings of 13th Nordic Conference on Computational Linguistics, NoDaLiDa '01, Uppsala, Sweden, 2001. Christel Ekvall, Bertil Lyberg, Michael Randén: Non-verbal correlates to focal accents in Swedish Proceedings of AVSP´01, Aalborg. September 2001. 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. 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. Magnus Merkel, Arne Jönsson: Towards multimodal public information systems Accepted for publication in Proceedings from the 13th Nordic Conference on Computational Linguistics, NoDaLiDa'01, Uppsala, Sweden, 2001. 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. Nils Dahlbäck, Arvid Karsvall: Personality Bias in Volunteer Based User Studies? In Proceedings of HCI 2000 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. Patrick Lambrix: A Query Language and Architecture for Querying Multiple Biological Databanks In Proceedings of Bioinformatics 2001, p 24, Skövde, Sweden, 2001. Patrick Lambrix: Querying Multiple Biological Databanks Poster at the 9th International Conference on Intelligent Systems for Molecular Biology - ISMB01, p 64, Copenhagen, Denmark, 2001. Patrick Lambrix: Introduction to description logics, Ontologies and Search Proceedings of the 2nd OntoQuery Workshop, pp 53-56, Copenhagen, Denmark, 2001. Invited tutorial. 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. 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.