IDA publicerade artiklar, kategori A, under: 1999

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (tosca logpro)
Referens: Accepted by Artificial Intelligence, 109(1--2), 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Computational Complexity of Relating Time Points with Intervals
Huvudförfattarens förnamn: Peter
Huvudförfattarens efternamn: Jonsson
Medförf 1 förnamn: Thomas
Medförf 1 efternamn: Drakengren
Medförf 2 förnamn: Christer
Medförf 2 efternamn: Bäckström
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: NIL
Referens: Published in Windows NT Magazine, pp 141-144, Januari 1999, USA.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Auto Netscape, An examination of how to autoconfigure setting for thousands users
Huvudförfattarens förnamn: Göran
Huvudförfattarens efternamn: Sedvall
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (aslab)
Referens: Published in Visual representations and interpretation, chapter 4, pp 263-269, Springer Verlag, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Mental image reinterpretation in the intersection of conceptual and visual constrainst
Huvudförfattarens förnamn: Rita
Huvudförfattarens efternamn: Kovordanyi
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (rtslab)
Referens: In Proceedings of the 12th IEEE Conference on Engineering of Computer Based Systems, pp. 174--180, IEEE Press, Mar. 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: A seed for a STEP application protocol for systems engineering
Huvudförfattarens förnamn: Erik
Huvudförfattarens efternamn: Herzog
Medförf 1 förnamn: Anders
Medförf 1 efternamn: Törne
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (rtslab)
Referens: 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.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Towards a Standardised Systems Engineering Information model
Huvudförfattarens förnamn: Erik
Huvudförfattarens efternamn: Herzorg
Medförf 1 förnamn: Anders
Medförf 1 efternamn: Törne
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (eis)
Referens: Presented at the ITS-98 Conference in Stockholm, Sweden, 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Challenges of managing remote workers - Some empirical results from interviews in Sweden and Norway
Huvudförfattarens förnamn: Svein
Huvudförfattarens efternamn: Bergum
Medförf 1 förnamn: Birger
Medförf 1 efternamn: Rapp
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (eis)
Referens: Presented at the Second International Workshop on Telework: Building Actions on Ideas, Amsterdam, 1997.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Learning in Flexible Organisations - On Learning in Teleworking Organisations
Huvudförfattarens förnamn: Charlotte
Huvudförfattarens efternamn: Björkegren
Medförf 1 förnamn: Birger
Medförf 1 efternamn: Rapp
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (eis)
Referens: Published in European Journal of Information Systems, No 6, pp 243-255.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: On Classification of Telework situations
Huvudförfattarens förnamn: Jörgen
Huvudförfattarens efternamn: Lindström
Medförf 1 förnamn: Anna
Medförf 1 efternamn: Moberg
Medförf 2 förnamn: Birger
Medförf 2 efternamn: Rapp
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (eis)
Referens: Published in Scandinavian Journal of Management, No 1, pp 65-88, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Implementing business unit strategies - The role of management control systems
Huvudförfattarens förnamn: Fredrik
Huvudförfattarens efternamn: Nilsson
Medförf 1 förnamn: Birger
Medförf 1 efternamn: Rapp
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (eis)
Referens: Published in Kaunas University of Technology Press, 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Organisational Structures, Management, Simulation of Business Sectors and Systems
Huvudförfattarens förnamn: H.
Huvudförfattarens efternamn: Pranevius
Medförf 1 förnamn: Birger
Medförf 1 efternamn: Rapp
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (eis)
Referens: Published in Ekonomi & Styrning, No 3, pp 12-15, 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Att lyckas med grupprogram - De kritiska framgångsfaktorerna
Huvudförfattarens förnamn: Birger
Huvudförfattarens efternamn: Rapp
Medförf 1 förnamn: C.
Medförf 1 efternamn: Crawford
Medförf 2 förnamn: T.
Medförf 2 efternamn: Sparrmo
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (aselab)
Referens: To appear in Empirical Software Engineering.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: A Cross-cultural Replication of an Experiment for Assessing Methods for Software Requirements Inspections
Huvudförfattarens förnamn: Kristian Sandahl: J.
Huvudförfattarens efternamn: Karlsson
Medförf 1 förnamn: C.
Medförf 1 efternamn: Krysander
Medförf 2 förnamn: Mikael
Medförf 2 efternamn: Lindvall
Medförf 3 förnamn: Niclas
Medförf 3 efternamn: Ohlsson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (aselab)
Referens: Published in Journal of Systems and Software, Vol 43, No 1, pp 19-27, 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: How well do Experienced Software Developers Predict Software Change?
Huvudförfattarens förnamn: Mikael
Huvudförfattarens efternamn: Lindvall
Medförf 1 förnamn: Kristian
Medförf 1 efternamn: Sandahl
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (aselab)
Referens: Published in Journal of Software Maintenance, No 10, pp 37-57, 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Traceability Aspects of Impact Analysis in Object-Oriented Systems
Huvudförfattarens förnamn: Mikael
Huvudförfattarens efternamn: Lindvall
Medförf 1 förnamn: Kristian
Medförf 1 efternamn: Sandahl
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (aselab)
Referens: Published in Software Testing Verification & Reliabity, No 7, Vol 4, pp 229-246, 1997.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: TIM - A Test Improvement Model
Huvudförfattarens förnamn: T.
Huvudförfattarens efternamn: Ericsson
Medförf 1 förnamn: Anders
Medförf 1 efternamn: Subotic
Medförf 2 förnamn: S.
Medförf 2 efternamn: Ursing
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (aselab)
Referens: Published in Software Quality Journal, No 6, Vol 4, pp 311-325, 1997.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Managing Software Requirements Using Quality Function Deployment
Huvudförfattarens förnamn: J.
Huvudförfattarens efternamn: Karlsson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (aslab)
Referens: Published in Empirical Software Engineering No 2, Vol 2, pp 152-158, 1997.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Evaluating Impact Analysis - A Case Study
Huvudförfattarens förnamn: Mikael
Huvudförfattarens efternamn: Lindvall
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (aselab)
Referens: Published in Requirements Engineering Journal, No 2, Vol 1, pp 51-60, 1997.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Improved Practical Support for Large-scale Requirements Rioritizing
Huvudförfattarens förnamn: J.
Huvudförfattarens efternamn: Karlsson
Medförf 1 förnamn: S.
Medförf 1 efternamn: Ohlsson
Medförf 2 förnamn: K.
Medförf 2 efternamn: Ryan
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (aselab)
Referens: Published in IEEE Software, No 14, Vol 5, pp 67-74, 1997.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: A Cost-Value Approach for Prioritizing Requirements
Huvudförfattarens förnamn: J.
Huvudförfattarens efternamn: Karlsson
Medförf 1 förnamn: K.
Medförf 1 efternamn: Ryan
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (aselab)
Referens: Published in Empirical Software Engineering, No 2, Vol 2, pp 166-173, 1997.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Early Risk-Management by Identification of Fault-prone Modules
Huvudförfattarens förnamn: Niclas
Huvudförfattarens efternamn: Ohlsson
Medförf 1 förnamn: A-C
Medförf 1 efternamn: Eriksson
Medförf 2 förnamn: Mary
Medförf 2 efternamn: Helander
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (aselab)
Referens: Published in IEEE Transactions on Software Engineering, No 22, Vol 22,  pp 886-894, 1996.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Predicting Fault-Prone Software Modules in Telephone Switches
Huvudförfattarens förnamn: Niclas
Huvudförfattarens efternamn: Ohlsson
Medförf 1 förnamn: H.
Medförf 1 efternamn: Alberg
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (aselab)
Referens: Published in Software-Practice & Experience, No 26, Vol 10, pp 1161-1180, 1996.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Practical implecations of traceability
Huvudförfattarens förnamn: Mikael
Huvudförfattarens efternamn: Lindvall
Medförf 1 förnamn: Kristian
Medförf 1 efternamn: Sandahl
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (eslab)
Referens: Accepted for publication at the 7th International Workshop on Hardware/Software Codesign held in Rome, Italy, May 3-5, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Scheduling with Optimized Communication for Time-Triggered Embedded Systems
Huvudförfattarens förnamn: Paul
Huvudförfattarens efternamn: Pop
Medförf 1 förnamn: Petru
Medförf 1 efternamn: Eles
Medförf 2 förnamn: Zebo
Medförf 2 efternamn: Peng
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (aslab)
Referens: In Proceedings of ECCE-9, 9th European Conference on Cognitive Ergonomics, Ireland, August 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Team Situation Awareness using Graphical or Textual Databases in Dynamic Decision Making
Huvudförfattarens förnamn: H.
Huvudförfattarens efternamn: Artman
Medförf 1 förnamn: Rego
Medförf 1 efternamn: Granlund
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (aslab)
Referens: In Proceedings of Websim'99, International Conference on Web-based modeling and simulation, San Francisco, USA, January 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Web-based Micro-world Simulation for Emergency Management Training
Huvudförfattarens förnamn: Rego
Huvudförfattarens efternamn: Granlund
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab)
Referens: Accepted for presentation at the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI'99) in Stockholm, August 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Expressive Reasoning about Action in Nondeterministic Polynomial Time
Huvudförfattarens förnamn: T.
Huvudförfattarens efternamn: Drakengren
Medförf 1 förnamn: Marcus
Medförf 1 efternamn: Bjäreland
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (taslab)
Referens: Accepted for presentation at the Fifth European Conference on Symbolic and Quantitative Approaches (ECSQARU'99), London, July 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Anchoring symbols to vision data by fuzzy logic
Huvudförfattarens förnamn: Silvia
Huvudförfattarens efternamn: Coradeschi
Medförf 1 förnamn: Alessandro
Medförf 1 efternamn: Saffiotti
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kogvet)
Referens: Accepted for presentation at the Educational Media EDMEDIA-99, Seattle, USA.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Using AI-Planning Formalism in Tutorial Representation
Huvudförfattarens förnamn: Jalal
Huvudförfattarens efternamn: Maleki
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (eslab)
Referens: Accepted as a poster at the IEEE European Test Workshop (ETW'99), to be held in Konstanz, Germany, May 25-28, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: A Behavioral-Level Testability Enhancement Technique
Huvudförfattarens förnamn: Erik
Huvudförfattarens efternamn: Larsson
Medförf 1 förnamn: Zebo
Medförf 1 efternamn: Peng
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (cadlab)
Referens: Proceedings of 25th Euromicro Conference, Milan, Italy, September 8-10, 1999.  
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Synthesis of Distributed Embedded Systems
Huvudförfattarens förnamn: Krzysztof
Huvudförfattarens efternamn: Kuchcinski
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (cadlab)
Referens: Proc. of 25th Euromicro Conference, Milan, Italy, September 8-10, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Design Space Exploration in System Level Synthesis under Memory Constraints
Huvudförfattarens förnamn: Radoslaw
Huvudförfattarens efternamn: Szymanek
Medförf 1 förnamn: Krzysztof
Medförf 1 efternamn: Kuchcinski
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (cadlab)
Referens: Proc. of the 25th Euromicro Conference, Milan, Italy, September 8-10, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Low-Energy Architecture Selection and Task Scheduling for System-Level Design 
Huvudförfattarens förnamn: Flavius
Huvudförfattarens efternamn: Gruian
Medförf 1 förnamn: Krzysztof
Medförf 1 efternamn: Kuchcinski
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (eslab)
Referens: Proceedings of the 25th Euromicro Conference, Milan, Italy, September 8-10, 1999, pp. 303-310.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: An Improved Scheduling Technique for Time-Triggered Embedded Systems
Huvudförfattarens förnamn: Paul
Huvudförfattarens efternamn: Pop
Medförf 1 förnamn: Petru
Medförf 1 efternamn: Eles
Medförf 2 förnamn: Zebo
Medförf 2 efternamn: Peng
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (eslab)
Referens: Has been accepted at the IEEE European Test Workshop (ETW'99) to be held in Konstanz, Germany, May 25-28, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: A Uniform Test Generation Technique for Hardare/Software Systems
Huvudförfattarens förnamn: Gert
Huvudförfattarens efternamn: Jervan
Medförf 1 förnamn: Petru
Medförf 1 efternamn: Eles
Medförf 2 förnamn: Zebo
Medförf 2 efternamn: Peng
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (iislab)
Referens: Proceedings of the Second Workshop on Adaptive Systems and User Modeling, pp. 5-12, Toronto and Banff, Canada, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Web Assistants: Towards an Intelligent and Personal Web Shop
Huvudförfattarens förnamn: Johan
Huvudförfattarens efternamn: Aberg
Medförf 1 förnamn: Nahid
Medförf 1 efternamn: Shahmehri
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (iislab)
Referens: Proceedings of Fourth International Conference on the Practical Application of Intelligent Agents and Multi-Agents - PAAM99, pp. 123-142, London, UK, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: A lightweight agent framework for interactive multi-agent applications
Huvudförfattarens förnamn: Mikael
Huvudförfattarens efternamn: Kindborg
Medförf 1 förnamn: Johan
Medförf 1 efternamn: Aberg
Medförf 2 förnamn: Nahid
Medförf 2 efternamn: Shahmehri
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab)
Referens: Has been accepted for presentation at the fourteenth international symposium on 
Intelligent Control (ISIC'99), Boston, September 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Execution Monitor Synthesis for Hybrid Systems - Preliminary Report	
Huvudförfattarens förnamn: Marcus
Huvudförfattarens efternamn: Bjäreland
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (cadlab)
Referens: Proceedings of the Workshop on Constraint
Programming for Decision and Control  CPDC'99, Gliwice,
Poland, 28-29 June, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Application of Constraint Programming to Digital Systems Design
Huvudförfattarens förnamn: Radoslaw
Huvudförfattarens efternamn: Szymanek
Medförf 1 förnamn: Flavius
Medförf 1 efternamn: Gruian
Medförf 2 förnamn: Krzysztof
Medförf 2 efternamn: Kuchcinski
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (aslab)
Referens: Proceedings of the International Conference on
Information Visualisation, London, England, July 14-15,
1999, pp 392-399.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: An Empirical Study of Task Support in 3D Information Visualisation
Huvudförfattarens förnamn: Ulrika
Huvudförfattarens efternamn: Wiss
Medförf 1 förnamn: David
Medförf 1 efternamn: Carr
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (pelab)
Referens: 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.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Design, Simulation and Visualization Environment for Object-oriented Mechanical and Multi-domain Models in Modelica
Huvudförfattarens förnamn: Vadim
Huvudförfattarens efternamn: Engelson
Medförf 1 förnamn: Håkan
Medförf 1 efternamn: Larsson
Medförf 2 förnamn: Peter
Medförf 2 efternamn: Fritzson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (eslab)
Referens: Proceedings of the Electronic Circuits and Systems Conference, ECS'99, Bratislava, Slovakia, September 6-8, 1999, pp. 25-28.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: An Estimation-based Technique for Test Scheduling
Huvudförfattarens förnamn: Erik
Huvudförfattarens efternamn: Larsson
Medförf 1 förnamn: Zebo
Medförf 1 efternamn: Pen
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (eslab)
Referens: Has been accepted for presentation at the 11th Euromicro Workshop on Real-Time 
Systems to be held in York, England, June 9-11th, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Communication Scheduling for Time-Triggered Systems
Huvudförfattarens förnamn: Paul
Huvudförfattarens efternamn: Pop
Medförf 1 förnamn: Petru
Medförf 1 efternamn: Eles
Medförf 2 förnamn: Zebo
Medförf 2 efternamn: Peng
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (tosca)
Referens: Has been accepted by Annals of Mathematics and Artificial Intelligence.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Strong Bounds on the Approximability of Two PSPACE-hard Problems in Propositional Planning
Huvudförfattarens förnamn: Peter
Huvudförfattarens efternamn: Jonsson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (pelab)
Referens: Has been accepted for presentation to the International Conference on
Functional Programming (ICFP'99) to be held in Paris in September.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Tracing piece by piece: affordable debugging for lazy functional languages
Huvudförfattarens förnamn: Henrik
Huvudförfattarens efternamn: Nilsson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (eslab)
Referens: Proceedings of World Congress on Formal Methods, Tolouse, France, September 1999, Vol. II, LNCS 1709, pp. 1384-1399, Springer Verlag.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Combining theorem proving and continuous models in synchronous design
Huvudförfattarens förnamn: Simin
Huvudförfattarens efternamn: Nadjm-Tehrani
Medförf 1 förnamn: O.
Medförf 1 efternamn: Akerlund
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (eslab)
Referens: Proceedings of the "Andrei Ershov Third International Conference Perspectives of System Informatics" PSI'99, Novosibirsk, Russia, July 1999, LNCS, Springer Verlag.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: On semantics and correctness of reactive rule-based programs
Huvudförfattarens förnamn: Man
Huvudförfattarens efternamn: Lin
Medförf 1 förnamn: Jacek
Medförf 1 efternamn: Malec
Medförf 2 förnamn: Simin
Medförf 2 efternamn: Nadjm-Tehrani
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (eslab)
Referens: Proceedings of the 17th International Systems Safety Conference, ISSC'99, Florida, USA, August 1999, pp. 326-336.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Integration of formal methods into system safety and reliability analysis
Huvudförfattarens förnamn: O.
Huvudförfattarens efternamn: Akerlund
Medförf 1 förnamn: Simin
Medförf 1 efternamn: Nadjm-Tehrani
Medförf 2 förnamn: G.
Medförf 2 efternamn: Stalmarck
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (eslab)
Referens: Proceedings of the 12th International Symposium on Languages for Intentional Programming, Athens, Greece, June 1999, pp. 8-30.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Design of a Multi-formalism Application and Distribution in a Data-flow Context: An Example
Huvudförfattarens förnamn: L.
Huvudförfattarens efternamn: Besnard
Medförf 1 förnamn: P.
Medförf 1 efternamn: Bournai
Medförf 2 förnamn: T.
Medförf 2 efternamn: Gautier
Medförf 3 förnamn: N.
Medförf 3 efternamn: Halbwachs
Medförf 4 förnamn: Simin
Medförf 4 efternamn: Nadjm-Tehrani
Medförf 5 förnamn: A.
Medförf 5 efternamn: Ressouche
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (emtek)
Referens: Published in Higher-Order and Symbolic Computation, Volume 12, Number 1, 1999, pages 105-113.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus
Huvudförfattarens förnamn: Erik
Huvudförfattarens efternamn: Sandewall
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (iislab)
Referens: Proceedings of the Eleventh International Symposium on Methodologies for Intelligent Systems - ISMIS 99, LNAI 1609, pp 123-132, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Querying Document Bases by Content, Structure and Properties
Huvudförfattarens förnamn: Patrick
Huvudförfattarens efternamn: Lambrix
Medförf 1 förnamn: Nahid
Medförf 1 efternamn: Shahmehri
Medförf 2 förnamn: Svend
Medförf 2 efternamn: Jacobsen
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (tosca logpro)
Referens: "In Proc. of the Fifth International Conference on Principles and Practice of Constraint Programming (CP'99). LNCS 1713, Springer-Verlag, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Towards a Complete Classification of Tractability in Point Algebras for Nonlinear Time
Huvudförfattarens förnamn: Mathias
Huvudförfattarens efternamn: Broxvall
Medförf 1 förnamn: Peter
Medförf 1 efternamn: Jonsson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (tosca logpro)
Referens: In Proc. of the 5th European Conference on Planning (ECP'99), 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Some Results on the Complexity of Planning with Incomplete Information
Huvudförfattarens förnamn: Patrik
Huvudförfattarens efternamn: Haslum
Medförf 1 förnamn: Peter
Medförf 1 efternamn: Jonsson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab)
Referens: Accepted for publication in Artificial Intelligence Journal.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Reasoning about action in polynomial time
Huvudförfattarens förnamn: Thomas
Huvudförfattarens efternamn: Drakengren
Medförf 1 förnamn: Marcus
Medförf 1 efternamn: Bjäreland
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (eslab)
Referens: Proceedings of the IEEE NORCHIP Conference, Oslo, Norway, November 8-9, 1999, pp. 291-296.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: High-level Test Synthesis with Hierarchical Test Generation
Huvudförfattarens förnamn: Gert
Huvudförfattarens efternamn: Jervan
Medförf 1 förnamn: Petru
Medförf 1 efternamn: Eles
Medförf 2 förnamn: Zebo
Medförf 2 efternamn: Peng
Medförf 3 förnamn: Jaan
Medförf 3 efternamn: Raik
Medförf 4 förnamn: Raimund
Medförf 4 efternamn: Ubar
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (eslab)
Referens: Proceedings of the IEEE NORCHIP Conference, Oslo, Norway, November 8-9, 1999, pp. 248-255.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: A Petri Net Based Model For Heterogeneous Embedded Systems
Huvudförfattarens förnamn: Luis Alejandro
Huvudförfattarens efternamn: Cortes
Medförf 1 förnamn: Petru
Medförf 1 efternamn: Eles
Medförf 2 förnamn: Zebo
Medförf 2 efternamn: Peng
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (eslab)
Referens: 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. 
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Integration of Analog and Discrete Synchronous Design
Huvudförfattarens förnamn: Simin Nadjm-Tehrani:
Huvudförfattarens efternamn: 
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (eslab)
Referens: Proceedings of the 6th International Conference on
Real-Time Computing Systems and Applications (RTCSA'99), Hong Kong, December 13-15, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems
Huvudförfattarens förnamn: Paul
Huvudförfattarens efternamn: Pop
Medförf 1 förnamn: Petru
Medförf 1 efternamn: Eles
Medförf 2 förnamn: Zebo
Medförf 2 efternamn: Peng
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (iislab)
Referens: Computer Science Education journal, Vol. 3, pp 162-180, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Integration of psychology, economics and information technology in an engineering curriculum
Huvudförfattarens förnamn: Patrick
Huvudförfattarens efternamn: Lambrix
Medförf 1 förnamn: Ulla
Medförf 1 efternamn: Ouchterlony
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (taslab)
Referens: Presented at IJCAI, August 1999, Stockholm, Sweden.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Highly reactive decision making: a game with Time
Huvudförfattarens förnamn: Thierry
Huvudförfattarens efternamn: Vidal
Medförf 1 förnamn: Silvia
Medförf 1 efternamn: Coradeschi
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (iislab)
Referens: Data & Knowledge Engineering, Vol 32, pp 51-86, 2000. 
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Conceptual Modeling in a Document Management Environment using Part-of Reasoning in Description Logics
Huvudförfattarens förnamn: Patrick
Huvudförfattarens efternamn: Lambrix
Medförf 1 förnamn: Lin
Medförf 1 efternamn: Padgham
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (tosca logpro)
Referens: In Proc. of the Fifth International Conference on Princeples and Practice of Constraint Programming (CP'99). LNCS 1713, Springer-Verlag, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Exploiting Bipartiteness to dentify Yet Another Tractable Subclass of CSP
Huvudförfattarens förnamn: Marcus
Huvudförfattarens efternamn: Bjäreland
Medförf 1 förnamn: Peter
Medförf 1 efternamn: Jonsson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (edslab)
Referens: Presented at Workshop on Databases for Telecom, Edinburgh, Scotland, September 1999. 
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Database Requirement Analysis for a third generation mobile telecom system
Huvudförfattarens förnamn: Mikael
Huvudförfattarens efternamn: Ronström
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (edslab)
Referens: Presented at the 25th Intl. Conf. On Very Large Databases, Edinburgh, Scotland, September 1999. 
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Integrating Heterogeneous Overlapping Databases through Object-Oriented Transformations
Huvudförfattarens förnamn: Vanja
Huvudförfattarens efternamn: Josifovski
Medförf 1 förnamn: Tore Risch:
Medförf 1 efternamn: 
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (edslab)
Referens: Presented at 4th Conference on Cooperative Information Systems, CoopIS'99, Edinburgh, Scotland, September 1999. 
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Optimizing queries in distributed and composable mediators
Huvudförfattarens förnamn: Vanja
Huvudförfattarens efternamn: Josifovski
Medförf 1 förnamn: Timour
Medförf 1 efternamn: Katchaounov
Medförf 2 förnamn: Tore
Medförf 2 efternamn: Risch:
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (edslab)
Referens: Presented at the 1st ECOOP Workshop on Object-Oriented Databases, Lisbon, Portugal, June 1999. 
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Distributed Mediation using a Light-Weight OODBMS
Huvudförfattarens förnamn: Vanja
Huvudförfattarens efternamn: Josifovski
Medförf 1 förnamn: Tore
Medförf 1 efternamn: Risch:
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (edslab)
Referens: Published in Journal of Intelligent Information Systems (JIIS), Vol. 12, No. 2-3, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Functional Query Optimization over Object-Oriented Views for Data Integration
Huvudförfattarens förnamn: Vanja
Huvudförfattarens efternamn: Josifovski
Medförf 1 förnamn: Tore
Medförf 1 efternamn: Risch:
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (edslab)
Referens: Published in N. Paton (ed.): Active Rules in Database Systems, Springer-Verlag, New York, 1999, ISBN 0-387-98529-8. 
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Monitoring Complex Rule Conditions
Huvudförfattarens förnamn: Tore
Huvudförfattarens efternamn: Risch
Medförf 1 förnamn: Martin
Medförf 1 efternamn: Sköld:
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (iislab)
Referens: Proceedings of the IEEE WET-ICE International Workshop on Enterprise Security,Palo Alto, CA, USA, 1999. 
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Establishing a Secure Multicast Group for Remote Software Delivery
Huvudförfattarens förnamn: Lin
Huvudförfattarens efternamn: Han
Medförf 1 förnamn: Nahid
Medförf 1 efternamn: Shahmehri
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (sysutv, vits)
Referens: Proceedings of the EMRPS'99, Enterprise Management and Resource Planning Systems: Methods, Tools and Architectures, Venedig, Nov 99.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: A Strategy for Organisational Knowledge Evolution
Huvudförfattarens förnamn: Lars
Huvudförfattarens efternamn: Taxén
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (sysutv, vits)
Referens: 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. 
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: A Project Management Model based on Shared Understanding
Huvudförfattarens förnamn: Ulf
Huvudförfattarens efternamn: Cederling
Medförf 1 förnamn: Roland
Medförf 1 efternamn: Ekinge
Medförf 2 förnamn: Bengt
Medförf 2 efternamn: Lennartsson
Medförf 3 förnamn: Lars
Medförf 3 efternamn: Taxén
Medförf 4 förnamn: Tommy
Medförf 4 efternamn: Wedlund
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (pelab)
Referens: Proceedings of ICSPAT konferensen.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Automatic Generation of a Code Generator for SHARC ADPS-2106x
Huvudförfattarens förnamn: Peter
Huvudförfattarens efternamn: Aronsson
Medförf 1 förnamn: Levon
Medförf 1 efternamn: Saldamli
Medförf 2 förnamn: Peter
Medförf 2 efternamn: Fritzson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (pelab)
Referens: Proceedings of the International Mathematica Conference 1999, Linz, Austria.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Transforming systems of PDEs for efficient numerical solution
Huvudförfattarens förnamn: Andreas
Huvudförfattarens efternamn: Wrangsjö
Medförf 1 förnamn: Peter
Medförf 1 efternamn: Fritzson
Medförf 2 förnamn: K.
Medförf 2 efternamn: Sheshadri
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (pelab)
Referens: Proceedings of SIMS'99, the 1999 Conference of the
Scandinavian Simulation Society, Linköping, Sweden, pages 66-78.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: A Mathematica-based PDE Solver Generator
Huvudförfattarens förnamn: K.
Huvudförfattarens efternamn: Sheshadri
Medförf 1 förnamn: Peter
Medförf 1 efternamn: Fritzson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (pelab)
Referens: Proceedings of the 32nd Hawaii International Conference on System Sciences (HICSS-32), IEEE (CD-ROM), January 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Reactive Architectures with Architectural Agents
Huvudförfattarens förnamn: J.
Huvudförfattarens efternamn: Andersson
Medförf 1 förnamn: Bengt
Medförf 1 efternamn: Lennartsson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (pelab)
Referens: Proceedings of the 2nd Nordic Workshop on Software Architectures (NOSA'99), Ronneby, August 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Dimensions of Dynamism
Huvudförfattarens förnamn: J.
Huvudförfattarens efternamn: Andersson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (vits)
Referens: Proceedings of the conference" Förändringskraft", Januari 28, 1999, Linköpings universitet, CMTO Research Paper No. 1999:01.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Inter-organisatorisk affärs- samverkan i träindustrin - Resultat från en örstudie
Huvudförfattarens förnamn: Karin
Huvudförfattarens efternamn: Axelsson
Medförf 1 förnamn: Ulf
Medförf 1 efternamn: Melin
Medförf 2 förnamn: Göran
Medförf 2 efternamn: Goldkuhl
Medförf 3 förnamn: G.
Medförf 3 efternamn: Adolfson
Medförf 4 förnamn: N.
Medförf 4 efternamn: Svensson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (vits)
Referens: CMTO Research Paper No.1999:05.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Informationssystemarkitekturer och väginformatik  - Rekonstruktion  och värdering av två metoder för att skapa informationssystemarkitekturer inom transportområdet Linköpings universitet
Huvudförfattarens förnamn: Karin
Huvudförfattarens efternamn: Axelsson
Medförf 1 förnamn: O.
Medförf 1 efternamn: Eriksson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (sysutv, vits)
Referens: Proceedings of the Hawaii International Conference On System Sciences, Januari 4-7, 2000, Maui, Hawaii.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: A Project Management Model Based on Shared Understanding
Huvudförfattarens förnamn: U.
Huvudförfattarens efternamn: Cederling
Medförf 1 förnamn: R.
Medförf 1 efternamn: Ekinge
Medförf 2 förnamn: Bengt Lennartsson
Medförf 2 efternamn: 
Medförf 3 förnamn: Lars
Medförf 3 efternamn: Taxen
Medförf 4 förnamn: Tommy
Medförf 4 efternamn: Wedlund
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (vits)
Referens: Proceedings of 8th International Conference on Human-Computer Interaction (HC International '99), August 22-27, 1999, Munich, Germany.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: From Usability to Actability
Huvudförfattarens förnamn: Stefan
Huvudförfattarens efternamn: Cronholm
Medförf 1 förnamn: P.
Medförf 1 efternamn: Ågerfalk
Medförf 2 förnamn: Göran
Medförf 2 efternamn: Goldkuhl
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (vits)
Referens: Proceedings of 22nd Information Systems Research in Scandinavia (IRIS 22), August 7-10, 1999, Keuruu, Finland. 
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: On the Concept of Method inInformation Systems Development
Huvudförfattarens förnamn: Stefan
Huvudförfattarens efternamn: Cronholm
Medförf 1 förnamn: P.
Medförf 1 efternamn: Ågerfalk
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (vits)
Referens: Presented at Quergo'99 International Conference on TQM and Human Factors, June 15-17, 1999, Linköping. 
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Communication Quality: Towards an Intersubjective Understanding of Quality
Huvudförfattarens förnamn: O.
Huvudförfattarens efternamn: Eriksson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (vits)
Referens: Presented at The Fourth International  workshop on the Language Action Perspective on Communication Modelling (LAP'99), September 12-13, 1999, Köpenhamn, Danmark.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: A generic communication model based on Habermas and Searle's versions of Speech act Theory
Huvudförfattarens förnamn: O.
Huvudförfattarens efternamn: Eriksson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (vits)
Referens: Presented at HSS99 (Högskola och Samhälle i Samverkan), March 16-18, 1999, Falun, CMTO Research Paper No. 1999:?, Linköpings universitet.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: The grounding of usable knowledge: An inquiry in the epistemology  of action knowledge
Huvudförfattarens förnamn: Göran
Huvudförfattarens efternamn: Goldkuhl
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (vits)
Referens: Presented at Förändringskraft!, Januari 28, 1999, Linköpings universitet, CMTO Research Paper No. 1999:?.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: 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
Huvudförfattarens förnamn: Göran
Huvudförfattarens efternamn: Goldkuhl
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (vits)
Referens: 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.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Expanding the scope: From language action to generic practice
Huvudförfattarens förnamn: Göran
Huvudförfattarens efternamn: Goldkuhl
Medförf 1 förnamn: A.
Medförf 1 efternamn: Röstlinger
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (vits)
Referens: Presented at Quergo'99 - International Conference on TQM and Human Factors, June 15-17, 1999, Linköping.  
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Production planning and information flow in a business process context * experiences from change project in SMEs
Huvudförfattarens förnamn: J.
Huvudförfattarens efternamn: Karltun
Medförf 1 förnamn: M.
Medförf 1 efternamn: Lind
Medförf 2 förnamn: Göran
Medförf 2 efternamn: Goldkuhl
Medförf 3 förnamn: J.
Medförf 3 efternamn: Eklund
Medförf 4 förnamn: U.
Medförf 4 efternamn: Seigerroth
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (vits)
Referens: Presented at Quergo'99 - International Conference on TQM and Human Factors, June 15-17, 1999, Linköping. 
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Process redesign and organisational change towards the use of an integrated change method
Huvudförfattarens förnamn: J.
Huvudförfattarens efternamn: Karltun
Medförf 1 förnamn: U.
Medförf 1 efternamn: Seigerroth
Medförf 2 förnamn: Göran
Medförf 2 efternamn: Goldkuhl
Medförf 3 förnamn: M.
Medförf 3 efternamn: Lind
Medförf 4 förnamn: J.
Medförf 4 efternamn: Eklund
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (vits)
Referens: Presented at The Eight International Conference on Information Systems Development" (ISD'99), Boise, Idaho, USA.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Information Systems and Process Orientation - Evaluation and Change Using Business Action Theory
Huvudförfattarens förnamn: Ulf
Huvudförfattarens efternamn: Melin
Medförf 1 förnamn: Göran
Medförf 1 efternamn: Goldkuhl
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (vits)
Referens: 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.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Information Systems Actability Engineering: Integrating Analysis of Business Processes and Usability Requirements
Huvudförfattarens förnamn: P. J.
Huvudförfattarens efternamn: Ågerfalk
Medförf 1 förnamn: Göran
Medförf 1 efternamn: Goldkuhl
Medförf 2 förnamn: S.
Medförf 2 efternamn: Cronholm
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (mda)
Referens: Int J Med Inform 1999;1:in press.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: The economic willingness to increase knowledge capital in medical informatics
Huvudförfattarens förnamn: Vivian
Huvudförfattarens efternamn: Vimarlund
Medförf 1 förnamn: Toomas
Medförf 1 efternamn: Timpka
Medförf 2 förnamn: Niklas
Medförf 2 efternamn: Hallberg
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (mda)
Referens: Int J Epidemiol 1999;28:502-8.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Community-based injury prevention: effects on health care utilization
Huvudförfattarens förnamn: Toomas
Huvudförfattarens efternamn: Timpka
Medförf 1 förnamn: K.
Medförf 1 efternamn: Lindqvist
Medförf 2 förnamn: L.
Medförf 2 efternamn: Schelp
Medförf 3 förnamn: M.
Medförf 3 efternamn: Ahlgren
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (mda)
Referens: Safety Science 1999;31:19-29.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Home injuries in a Swedish municipality -- consequences and costs
Huvudförfattarens förnamn: K.
Huvudförfattarens efternamn: Lindqvist
Medförf 1 förnamn: L.
Medförf 1 efternamn: Schelp
Medförf 2 förnamn: Toomas
Medförf 2 efternamn: Timpka
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (mda)
Referens: Meth Inf Med 1999;38:144-7.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Professional Ethics for System Developers in Health Care 
Huvudförfattarens förnamn: Toomas
Huvudförfattarens efternamn: Timpka
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (mda)
Referens: Alcohol Alcohol 1999;34:575-80.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Acceptability of computerized life-style questionnaires - a patient perspective
Huvudförfattarens förnamn: P.
Huvudförfattarens efternamn: Bendtsen
Medförf 1 förnamn: Toomas
Medförf 1 efternamn: Timpka
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (mda)
Referens: J Adv Nurs 2000;in press.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: The patient and the primary care team: a small-scale critical theory
Huvudförfattarens förnamn: Toomas
Huvudförfattarens efternamn: Timpka
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (mda)
Referens: Scand J Prim Health Care 1999;17:17-21.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: The epidemiology of back pain in vocational age groups
Huvudförfattarens förnamn: T.
Huvudförfattarens efternamn: Reigo
Medförf 1 förnamn: Toomas
Medförf 1 efternamn: Timpka
Medförf 2 förnamn: H. Tropp
Medförf 2 efternamn: H
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (mda)
Referens: Safety Science 1999;31:183-96.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Gender aspects of work-related injuries in a Swedish municipality
Huvudförfattarens förnamn: K.
Huvudförfattarens efternamn: Lindqvist
Medförf 1 förnamn: L.
Medförf 1 efternamn: Schelp
Medförf 2 förnamn: Toomas
Medförf 2 efternamn: Timpka
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (mda)
Referens: Meth Inf Med 1999;38:66-73.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: The medical software quality deployment method
Huvudförfattarens förnamn: Niklas
Huvudförfattarens efternamn: Hallberg
Medförf 1 förnamn: Toomas
Medförf 1 efternamn: Timpka
Medförf 2 förnamn: H.
Medförf 2 efternamn: Eriksson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (mda)
Referens: Comp Meth Prog Biomed 1999;59:45-54.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: A prototype computer network for occupational therapists
Huvudförfattarens förnamn: Niklas
Huvudförfattarens efternamn: Hallberg
Medförf 1 förnamn: M.
Medförf 1 efternamn: Johansson
Medförf 2 förnamn: Toomas
Medförf 2 efternamn: Timpka
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (mda)
Referens: Work 1999;12:15-22.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Evaluation of an inter-organizational program for prevention of work-related injuries in a WHO Safe Community
Huvudförfattarens förnamn: K.
Huvudförfattarens efternamn: Lindqvist
Medförf 1 förnamn: Toomas
Medförf 1 efternamn: Timpka
Medförf 2 förnamn: L.
Medförf 2 efternamn: Schelp
Medförf 3 förnamn: M.
Medförf 3 efternamn: Ahlgren
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (mda)
Referens: J Pall Care 1999;15:43-8.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Thirty years experience with cancer and non-cancer patient in palliative home care
Huvudförfattarens förnamn: MM.
Huvudförfattarens efternamn: Morch
Medförf 1 förnamn: Toomas
Medförf 1 efternamn: Timpka
Medförf 2 förnamn: AK.
Medförf 2 efternamn: Graneus
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (taslab)
Referens: Proceedings of the 1999 IEEE Int. Symp. on Computer Aided Control system design, Hawai, USA, Aug. 22-27, 1999, pp. 176--181.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: The implications of the object UML approach to the problem of fault detection and isolation in dynamical systems
Huvudförfattarens förnamn: G.
Huvudförfattarens efternamn: Fodor
Medförf 1 förnamn: J.
Medförf 1 efternamn: Gartner
Medförf 2 förnamn: Dimiter
Medförf 2 efternamn: Driankov
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (taslab)
Referens: 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.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Towards a systematic analysis of fuzzy observers
Huvudförfattarens förnamn: R.
Huvudförfattarens efternamn: Palm
Medförf 1 förnamn: Dimiter
Medförf 1 efternamn: Driankov
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (taslab)
Referens: Published in Journal Engineering Applications of AI, vol. 12, (1999), pp. 297--307.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Improving the global performance of a fuzzy gain scheduler by supervision
Huvudförfattarens förnamn: R.
Huvudförfattarens efternamn: Palm
Medförf 1 förnamn: Dimiter
Medförf 1 efternamn: Driankov
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (tosca)
Referens: Accepted by Artificial Intelligence.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Towards efficient universal planning - a randomized approach
Huvudförfattarens förnamn: Peter
Huvudförfattarens efternamn: Jonsson
Medförf 1 förnamn: Patrik
Medförf 1 efternamn: Haslum
Medförf 2 förnamn: Christer
Medförf 2 efternamn: Bäckström
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (rtslab)
Referens: 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. 
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: How to Construct Predictable Rule Sets, in Advance
Huvudförfattarens förnamn: Esa
Huvudförfattarens efternamn: Falkenroth
Medförf 1 förnamn: Anders
Medförf 1 efternamn: Törne
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (rtslab)
Referens: Proceedings of the 7th European Workshop on Meteorological Operational Systems, ECMWF, European Center for Medium-Range Forecasts, November 1999. 
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Real-Time Database System for Meteorological, Hydrological, and Oceanographic Data
Huvudförfattarens förnamn: Esa
Huvudförfattarens efternamn: Falkenroth
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (rtslab)
Referens: Proceedings of the International Joint Conference on Artificial Intelligence, Adjustable Autonomy Systems Workshop, pp. 56--59, Aug. 1999. 
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Adjustable Autonomy in Simulated Pilots
Huvudförfattarens förnamn: Nancy E.
Huvudförfattarens efternamn: Reed
Medförf 1 förnamn: Paul
Medförf 1 efternamn: Scerri
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (rtslab)
Referens: Proceedings of the AAAI Spring Symposium on Agents with Adjustable Autonomy, (Stanford University), pp. 114--115, American Association for Artificial Intelligence, Mar. 1999. 
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: An Approach to Directing Intelligent Agents in Real-time
Huvudförfattarens förnamn: Paul
Huvudförfattarens efternamn: Scerri
Medförf 1 förnamn: Nancy E.
Medförf 1 efternamn: Reed
Medförf 2 förnamn: Anders
Medförf 2 efternamn: Törne
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (rtslab)
Referens: Proceedings of RoboCup-98 : Robot Soccer World Cup II, vol. 1604 of Lecture Notes in Artificial Intelligence, pp. 173--186, Springer Verlag, 1999. 
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: A User Oriented System for Developing Behavior Based Agents
Huvudförfattarens förnamn: Paul
Huvudförfattarens efternamn: Scerri
Medförf 1 förnamn: Silvia
Medförf 1 efternamn: Coradeschi
Medförf 2 förnamn: Anders
Medförf 2 efternamn: Törne
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (rtslab)
Referens: Proceedings of the Third International Conference on Autonomous Agents (Agents 99), pp. 420--421, ACM Press, May 1999. 
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Adapting an Agent to a Similar Environment
Huvudförfattarens förnamn: Paul
Huvudförfattarens efternamn: Scerri
Medförf 1 förnamn: Nancy E.
Medförf 1 efternamn: Reed
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (rtslab)
Referens: Proceedings of the 99 Autonomy Control Software Workshop, pp. 102--108, May 1999. 
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Requirements for a General Agent Architecture for Agent-Based Simulation Environments, in Autonomous Agents
Huvudförfattarens förnamn: Paul
Huvudförfattarens efternamn: Scerri
Medförf 1 förnamn: Nancy E.
Medförf 1 efternamn: Reed
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (rtslab)
Referens: Proceedings of the Workshop on Robocup, Sixteenth International Joint Conference on Artificial Intelligence, pp. 187--192, August 1999. 
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: End User Specification of RoboCup Teams
Huvudförfattarens förnamn: Paul
Huvudförfattarens efternamn: Scerri
Medförf 1 förnamn: Johan
Medförf 1 efternamn: Ydren
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (rtslab)
Referens: Published in Linköping University, Electronic Press, vol. 7, pp. 45--48, October 1999. Available as postscript. 
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: RoboCup '99 Team Descriptions, Simulation League, Team Headless Chickens
Huvudförfattarens förnamn: Johan
Huvudförfattarens efternamn: Ydren
Medförf 1 förnamn: Paul
Medförf 1 efternamn: Scerri
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (rtslab)
Referens: Proceedings of SIMS'99: 1999 Conference of the Scandinavian Simulation Society, (Linköping, Sweden), pp. 168--173, 1999. 
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: End User Specification for Simulation of Teams of Soccer Playing Robots
Huvudförfattarens förnamn: Paul
Huvudförfattarens efternamn: Scerri
Medförf 1 förnamn: Johan
Medförf 1 efternamn: Ydren
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (logpro)
Referens: Proceedings of 10th Workshop on Logic Programming Environments. Las Cruces, NM, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Type-based Diagnosis of CLP Programs
Huvudförfattarens förnamn: Wlodek
Huvudförfattarens efternamn: Drabent
Medförf 1 förnamn: Jan
Medförf 1 efternamn: Maluszynski
Medförf 2 förnamn: Pawel
Medförf 2 efternamn: Pietrzak
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (logpro)
Referens: Proceeding of the Intl Conf on Logic Programming. Las Cruces, NM, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: It Is Declarative: On Reasoning about Logic Programs
Huvudförfattarens förnamn: Wlodek
Huvudförfattarens efternamn: Drabent
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (logpro)
Referens: Proceedings of Intl Workshop of Constraint Programming for Time-critical Applications. Lisbon, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: On-the-fly Model Checking of CTL Formulas using Constraint Logic Programming
Huvudförfattarens förnamn: Johan
Huvudförfattarens efternamn: Lubcke
Medförf 1 förnamn: Ulf
Medförf 1 efternamn: Nilsson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (logpro)
Referens: Proceedings of APPIA-GULP-PRODE'99 - 1999 Joint Conference on Declarative Programming. L'Aquila Italy, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Diagnosis of CHIP programs using type information
Huvudförfattarens förnamn: Marco
Huvudförfattarens efternamn: Comini
Medförf 1 förnamn: Wlodek
Medförf 1 efternamn: Drabent
Medförf 2 förnamn: Pawel
Medförf 2 efternamn: Pietrzak
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (logpro)
Referens: Proceedings of the Seventh International Conference on Algebraic Methotology and Software Technology (AMAST'98). LNCS 1548, Springer-Verlag, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Type Analysis for CHIP
Huvudförfattarens förnamn: Wlodek
Huvudförfattarens efternamn: Drabent
Medförf 1 förnamn: Pavel
Medförf 1 efternamn: Pietrzak
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (eslab)
Referens: The 1999 Conference of the Scandinavian Simulation Society, SIMS99, Linköping, Sweden, October 18-19, 1999, pages 160-167.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Modelling and Simulation of Heterogeneous Embedded Systems with UML
Huvudförfattarens förnamn: R.
Huvudförfattarens efternamn: Jigorea
Medförf 1 förnamn: Sorin
Medförf 1 efternamn: Manolache
Medförf 2 förnamn: Petrus
Medförf 2 efternamn: Eles
Medförf 3 förnamn: Zebo
Medförf 3 efternamn: Peng
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (eslab)
Referens: Electronic Circuits and Systems Conference, Bratislava, Slovakia, September 6-8, 1999, pages 21-24.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: A Hierarchical Test Generation Technique for Embedded Systems
Huvudförfattarens förnamn: Gert
Huvudförfattarens efternamn: Jervan
Medförf 1 förnamn: Petrus
Medförf 1 efternamn: Eles
Medförf 2 förnamn: Zebo
Medförf 2 efternamn: Peng
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (eslab)
Referens: SAVE Project Report, Dept. of Computer and Information Science, Linköping University, Sweden, June 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: A Survey on Hardware/Software Codesign Representation Models
Huvudförfattarens förnamn: L. A.
Huvudförfattarens efternamn: Cortes
Medförf 1 förnamn: Petrus
Medförf 1 efternamn: Eles
Medförf 2 förnamn: Zebo
Medförf 2 efternamn: Peng
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (tosca)
Referens: Second International Workshop on Hybrid Systems: Computation and Control, Nijmegen, Netherlands, March 1999, pages 193-208. LNCS 1569, Springer Verlag.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Integration of Analog and Discrete Synchronous Design
Huvudförfattarens förnamn: Simin
Huvudförfattarens efternamn: Nadjm-Tehrani
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (tosca)
Referens: Published in Formal Methods in System Design, Volume 14, number 2, March 1999, pages 135-169.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Formal Verification of Dynamic Properties in an Aerospace Application
Huvudförfattarens förnamn: Simin
Huvudförfattarens efternamn: Nadjm-Tehrani
Medförf 1 förnamn: J.
Medförf 1 efternamn: Stromberg
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (eslab)
Referens: To Published in Journal of Systems Architecture, 1999 (in press).
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: An Improved Register-Transfer Level Functional Partioning Approach for Testability
Huvudförfattarens förnamn: T
Huvudförfattarens efternamn: Yang
Medförf 1 förnamn: Zebo
Medförf 1 efternamn: Peng
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (eslab)
Referens: Journal of Electronic Testing: Theory and Applications (JETTA), vol. 14, 1999, pp. 101-111, Kluwer Academic Publishers.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Incremental Testability Analysis for Partial Scan Selection and Design Transformations
Huvudförfattarens förnamn: T.
Huvudförfattarens efternamn: Yang
Medförf 1 förnamn: Zebo
Medförf 1 efternamn: Peng
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (nlplab)
Referens: Paper presented at the 4th International Conference on Applications of Natural Language to Information Systems, Klagenfurt, Austria, 1999. 
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Towards Multimodal Natural Language Interfaces for Information Systems - the LINLIN Approach
Huvudförfattarens förnamn: Lars
Huvudförfattarens efternamn: Ahrenberg
Medförf 1 förnamn: Nils
Medförf 1 efternamn: Dahlbäck
Medförf 2 förnamn: Annika
Medförf 2 efternamn: Flycht-Eriksson
Medförf 3 förnamn: Arne
Medförf 3 efternamn: Jönsson
Medförf 4 förnamn: Pernilla
Medförf 4 efternamn: Qvarfordt
Medförf 5 förnamn: Lena
Medförf 5 efternamn: Santamarta
Medförf 6 förnamn: Lena
Medförf 6 efternamn: Strömbäck
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (nlplab)
Referens: Accepted for publication in Jean Veronis (ed.) Parallel Text Processing. Kluwer Academic Press, Text, Speech and Language Technology Series. 
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: A knowledge-lite approach to word alignment
Huvudförfattarens förnamn: Lars
Huvudförfattarens efternamn: Ahrenberg
Medförf 1 förnamn: Magnus
Medförf 1 efternamn: Merkel
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (nlplab)
Referens: Published in Linköping University Electronic Press Computer and Information Science Series, 1999/002.  
    
Nils Dahlbäck:
Spinning Ideas
Electronic Essays Dedicated to Peter Gärdenfors on His Fiftieth Birthday. Lund University Cognitive Science, 1999. 
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Automatic processing of parallel corpora: A Swedish perspective.
Huvudförfattarens förnamn: Lars
Huvudförfattarens efternamn: Ahrenberg
Medförf 1 förnamn: Magnus
Medförf 1 efternamn: Merkel
Medförf 2 förnamn: Daniel
Medförf 2 efternamn: Ridings
Medförf 3 förnamn: Anna Sågvall
Medförf 3 efternamn: Hein
Medförf 4 förnamn: Jörg
Medförf 4 efternamn: Tiedemann
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (nlplab)
Referens: Paper presented at the workshop on undergraduate teaching in cognitive science, at the AISB'99 Convention, Edinburgh, April 6-9, 1999. 
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: The Design of an Undergraduate Program Based on a View of Cognitive Science as a Society with Three Methodological Cultures
Huvudförfattarens förnamn: Nils
Huvudförfattarens efternamn: Dahlbäck
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (nlplab)
Referens: Proceedings of Eurospeech'99, Budapest, Hungary, 1999, pp. 1523-1526. 
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Knowledge Sources In Spoken Dialogue Systems
Huvudförfattarens förnamn: Nils
Huvudförfattarens efternamn: Dahlbäck
Medförf 1 förnamn: Arne
Medförf 1 efternamn: Jönsson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (nlplab)
Referens: Proceedings of ESCA Tutorial and Research Workshop (ETRW) on Interactive Dialogue in Multi-Modal Systems, Germany, 1999. 
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: An Architecture for Multi-Modal Natural Dialogue Systems
Huvudförfattarens förnamn: Nils
Huvudförfattarens efternamn: Dahlbäck
Medförf 1 förnamn: Annika
Medförf 1 efternamn: Flycht-Eriksson
Medförf 2 förnamn: Arne
Medförf 2 efternamn: Jönsson
Medförf 3 förnamn: Pernilla
Medförf 3 efternamn: Qvarfordt
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (nlplab)
Referens: Proceedings of IJCAI'99 workshop on Knowledge and Reasoning in Practical Dialogue Systems, pp. 41-48, Stockholm, Sweden. 
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: A survey of knowledge sources in dialogue systems
Huvudförfattarens förnamn: Annika
Huvudförfattarens efternamn: Flycht-Eriksson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab)
Referens: Proceedings of the IJCAI'99 Workshop: Scheduling and Planning meet Realtime Monitoring in a Dynamic and Uncertain World, Stockholm, Sweden, August 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Recovering from modelling faults in GOLOG
Huvudförfattarens förnamn: Marcus
Huvudförfattarens efternamn: Bjäreland
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (taslab)
Referens: Working Papers of the AAAI Spring Symposium on Hybrid Systems and AI, Stanford, CA, USA, March 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Synthesizing discrete controllers from hybrid automata - preliminary report
Huvudförfattarens förnamn: Marcus
Huvudförfattarens efternamn: Bjäreland
Medförf 1 förnamn: Dimiter
Medförf 1 efternamn: Driankov
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab)
Referens: Proceedings of the Fifth International Conference on Principles and Practice of Constraint Programming, LNCS, Alexandria, VA, USA, 1999. Springer-Verlag.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Exploiting bipartitenes to identify yet another tractable subclass of csp
Huvudförfattarens förnamn: Marcus
Huvudförfattarens efternamn: Bjäreland
Medförf 1 förnamn: P.
Medförf 1 efternamn: Jonsson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab)
Referens: In H.I. Christiansen, editor, Computer Vision Systems, number 1542 in Lecture Notes in Computer Science. Springer, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Integration of vision and decision-making in an autonomous airborne vehicle for traffic surveillance
Huvudförfattarens förnamn: Silvia
Huvudförfattarens efternamn: Coradeschi
Medförf 1 förnamn: Lars
Medförf 1 efternamn: Karlsson
Medförf 2 förnamn: K.
Medförf 2 efternamn: Nordberg
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab)
Referens: Journal of Electronic Transactions on Artificial Intelligence, 3-4, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: TAL: Temporal action logics, language specification and tutorial
Huvudförfattarens förnamn: Patrick
Huvudförfattarens efternamn: Doherty
Medförf 1 förnamn: Joakim
Medförf 1 efternamn: Gustavsson
Medförf 2 förnamn: Lars
Medförf 2 efternamn: Karlsson
Medförf 3 förnamn: Jonas
Medförf 3 efternamn: Kvarnstrom
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab)
Referens: Fundamenta Informaticae, 1999. To appear.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Meta-queries on deductive databases
Huvudförfattarens förnamn: Patrick
Huvudförfattarens efternamn: Doherty
Medförf 1 förnamn: Jaroslaw
Medförf 1 efternamn: Kachniarz
Medförf 2 förnamn: A.
Medförf 2 efternamn: Szalas
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab)
Referens: Journal of Computational Intelligence, 1999. Accepted for publication.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Tackling the qualification problem using fluent dependency constraints
Huvudförfattarens förnamn: Patrick
Huvudförfattarens efternamn: Doherty
Medförf 1 förnamn: Jonas
Medförf 1 efternamn: Kvarnstrom
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab)
Referens: Proceedings of the 6th International Workshop on Temporal Representation and Reasoning (TIME'99), 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: TALplanner: An empirical investigation of a temporal logic-based forward chaining planner
Huvudförfattarens förnamn: Patrick
Huvudförfattarens efternamn: Doherty
Medförf 1 förnamn: Jonas
Medförf 1 efternamn: Kvarnstrom
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab)
Referens: Proceedings of the 11th International Symposium (ISMIS-99), Warsaw, Poland. Lecture notes in Artificial Intelligence, pp. 271-281. Springer-Verlag, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: MPMA updates using dijkstra's semantics
Huvudförfattarens förnamn: Patrick
Huvudförfattarens efternamn: Doherty
Medförf 1 förnamn: Witold
Medförf 1 efternamn: Lukaszewicz
Medförf 2 förnamn: E.
Medförf 2 efternamn: Madalinska-Bugaj
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab)
Referens: Journal of Logic and Computation, 9(5):739-761, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Declarative PTIME queries for relational databases using quantifier elimination
Huvudförfattarens förnamn: Patrick
Huvudförfattarens efternamn: Doherty
Medförf 1 förnamn: Witold
Medförf 1 efternamn: Lukaszewicz
Medförf 2 förnamn: A.
Medförf 2 efternamn: Szalas
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab)
Referens: Proceedings of the 12th International Symposium on Methodologies for Intelligent Systems, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Computing MPMA updates using dijkstra's semantics
Huvudförfattarens förnamn: Patrick
Huvudförfattarens efternamn: Doherty
Medförf 1 förnamn: Witold
Medförf 1 efternamn: Lukaszewicz
Medförf 2 förnamn: E.
Medförf 2 efternamn: Madalinska-Bugaj
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (tosca)
Referens: In T. Dean, editor, Proceedings of the 16th International Joint Conference on Artificial Intelligence, Stockholm, Sweden, August 1999. Morgan Kaufmann.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Expressive reasoning about action in nondeterministic polynomial time
Huvudförfattarens förnamn: Thomas
Huvudförfattarens efternamn: Drakengren
Medförf 1 förnamn: Markus
Medförf 1 efternamn: Bjäreland
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (tosca)
Referens: Artificial Intelligence, 1999. To appear.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Reasoning about action in polynomial time
Huvudförfattarens förnamn: Thomas
Huvudförfattarens efternamn: Drakengren
Medförf 1 förnamn: Markus
Medförf 1 efternamn: Bjäreland
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: NIL
Referens: Proceedings of the 2nd Conference on Computer Science and Systems Engineering in Linköping. Linköpings Universitet, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Model checking by random walk
Huvudförfattarens förnamn: Patrik
Huvudförfattarens efternamn: Haslum
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab)
Referens: Journal of Logic and Computation, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Reasoning about concurrent interaction
Huvudförfattarens förnamn: Lars
Huvudförfattarens efternamn: Karlsson
Medförf 1 förnamn: Joakim
Medförf 1 efternamn: Gustafsson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (iislab)
Referens: Proceedings från den 3:e universitetspedagogiska konferensen vid Linköpings universitet, pp 7-9, Linköping, Sweden, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Samarbete Teknik - Psykologi - Ekonomi
Huvudförfattarens förnamn: Patrick
Huvudförfattarens efternamn: Lambrix
Medförf 1 förnamn: Ulla
Medförf 1 efternamn: Ouchterlony
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (nlplab)
Referens: In Per Anker Jensen og Peter Skadhauge (eds.) Saetningsskemaet i Generativ Grammatik, Institut for Erhvervssproglig Informatik og Kommunikation, Syddansk Universitet - Kolding, 1999:1-30.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Positions vs. precedences as primitives of constituent order
Huvudförfattarens förnamn: Lars
Huvudförfattarens efternamn: Ahrenberg
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (nlplab)
Referens: Svenskans beskrivning 23, Lund University Press, 1999:19-27.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Precedenser eller positioner för beskrivningen av svenskans ledföljd
Huvudförfattarens förnamn: Lars
Huvudförfattarens efternamn: Ahrenberg
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (nlplab)
Referens: 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.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Automatisk textanalys i språkprofessionerna
Huvudförfattarens förnamn: Lars
Huvudförfattarens efternamn: Ahrenberg
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (nlplab)
Referens: Proceedings of Eurospeech'99, Budapest, Hungary, 1999, pp. 643-646.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Evaluating the Dialogue Component in the Gulan Educational System
Huvudförfattarens förnamn: Pernilla
Huvudförfattarens efternamn: Qvarfordt
Medförf 1 förnamn: Arne
Medförf 1 efternamn: Jönsson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (nlplab)
Referens: 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.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Output Generation in a Spoken Dialogue System
Huvudförfattarens förnamn: Lena
Huvudförfattarens efternamn: Santamarta
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab)
Referens: Proceedings of the 2nd Conference on Computer Science and Systems Engineering in Linköping. Linköpings Universitet, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Model checking by random walk
Huvudförfattarens förnamn: Patrik
Huvudförfattarens efternamn: Haslum
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (tosca, kplab)
Referens: Proceedings 5th European Conference on Planning, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Some results on the complexity of planning with incomplete information
Huvudförfattarens förnamn: Patrik
Huvudförfattarens efternamn: Haslum
Medförf 1 förnamn: Peter
Medförf 1 efternamn: Jonsson
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (tosca, kplab)
Referens: Artificial Intellingence. To appear.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Towards efficient universal planning - a randomized approach
Huvudförfattarens förnamn: Peter
Huvudförfattarens efternamn: Jonsson
Medförf 1 förnamn: Patrik
Medförf 1 efternamn: Haslum
Medförf 2 förnamn: Christer
Medförf 2 efternamn: Bäckström
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (iislab)
Referens: Proceedings från den 3:e universitetspedagogiska konferensen vid Linköpings universitet, pp 7-9, Linköping, Sweden, 1999.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Samarbete Teknik - Psykologi - Ekonomi
Huvudförfattarens förnamn: Patrick
Huvudförfattarens efternamn: Lambrix
Medförf 1 förnamn: Ulla
Medförf 1 efternamn: Ouchterlony
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (nlplab)
Referens: In Per Anker Jensen og Peter Skadhauge (eds.) Saetningsskemaet i Generativ Grammatik, Institut for Erhvervssproglig Informatik og Kommunikation, Syddansk Universitet - Kolding, 1999:1-30.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Positions vs. precedences as primitives of constituent order
Huvudförfattarens förnamn: Lars
Huvudförfattarens efternamn: Ahrenberg
ISBN: *
Publicerings-=inrapporteringår: 1999
Användarnamn: *
ID: *