IDA publicerade artiklar, kategori A, under: 1998

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (tosca)
Referens: Published in Journal of Logic and Computation 8(6):855-875, 1998 .
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Reasoning about Set Constraints Applied to Tractable Inference in Intuitionisti  c Logic
Huvudförfattarens förnamn: Thomas
Huvudförfattarens efternamn: Drakengren
Medförf 1 förnamn: Peter
Medförf 1 efternamn: Jonsson
ISBN: *
Publicerings-=inrapporteringår: 1998
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (actlab)
Referens: Published by the International Journal of Computational Geometry & Applications, Vol. 8, No. 1, pp. 67-83, 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Evaluation of Range Searching Methods for Contact Searching in Mechanical Engineering
Huvudförfattarens förnamn: Per-Olof
Huvudförfattarens efternamn: Fjallstrom
Medförf 1 förnamn: Jan
Medförf 1 efternamn: Petersson
Medförf 2 förnamn: Larsgunnar
Medförf 2 efternamn: Nilsson
Medförf 3 förnamn: Zhi-Hua
Medförf 3 efternamn: Zhong
ISBN: *
Publicerings-=inrapporteringår: 1998
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (taslab)
Tidskrift: Control Engineering Practice
Årtal: *
Volym: *
Sidnr: *
Rubrik: Timing analysis of RL programs
Huvudförfattarens förnamn: Man
Huvudförfattarens efternamn: Lin
Medförf 1 förnamn: Jacek
Medförf 1 efternamn: Malec
ISBN: *
Publicerings-=inrapporteringår: 1998
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (aselab)
Tidskrift: IEEE Transactions on Software Engineering
Årtal: *
Volym: *
Sidnr: *
Rubrik: Planning Models for Software Reliability and Cost
Huvudförfattarens förnamn: Mary
Huvudförfattarens efternamn: Helander
Medförf 1 förnamn: Ming
Medförf 1 efternamn: Zhao
Medförf 2 förnamn: Niclas
Medförf 2 efternamn: Ohlsson
ISBN: *
Publicerings-=inrapporteringår: 1998
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (tosca)
Referens: Published in Artificial Intelligence 106(2):205-219, 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: A Complete Classification of Tractability in Allen's Algebra Relative to Subsets of Basic Relations
Huvudförfattarens förnamn: Thomas
Huvudförfattarens efternamn: Drakengren
Medförf 1 förnamn: Peter
Medförf 1 efternamn: Jonsson
ISBN: *
Publicerings-=inrapporteringår: 1998
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (aselab)
Referens: Accepted for publication in the journal Software Process Improvement and Practice, 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Monitoring and Measuring the Change-Prediction Process at Different Granularity Levels - An Empirical Study
Huvudförfattarens förnamn: Mikael
Huvudförfattarens efternamn: Lindvall
ISBN: *
Publicerings-=inrapporteringår: 1998
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (aselab)
Referens: Accepted for publication in the journal Software - Practice and Experience, 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Are Large C++ Classes Change-Prone? An Empirical Investigation
Huvudförfattarens förnamn: Mikael
Huvudförfattarens efternamn: Lindvall
ISBN: *
Publicerings-=inrapporteringår: 1998
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (vits)
Referens: Accepted for publication in Safety Science, Vol. 30, Issue 1-2, pp 79-98.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Mission Efficiency Analysis: Evaluating and Improving Tactical Mission Performance in High-Risk, Time-Critical Operations
Huvudförfattarens förnamn: Arne
Huvudförfattarens efternamn: Worm
Medförf 1 förnamn: Johan
Medförf 1 efternamn: Jenvald
Medförf 2 förnamn: Magnus
Medförf 2 efternamn: Morin
ISBN: *
Publicerings-=inrapporteringår: 1998
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab)
Referens: Accepted for publication in Journal of Logic and Computation, 1998.
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: 1998
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (kplab witas)
Referens: Published in Fundamenta Informaticae, 34:1-33, 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: General domain circumscription and its effective reductions
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: 1998
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (eslab)
Referens: Accepted for publication on IEICE Transactions on Information and Systems, 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: An efficient algorith to integrate scheduling and allocation of high-level test synthesis
Huvudförfattarens förnamn: Tianruo
Huvudförfattarens efternamn: Yang
Medförf 1 förnamn: Zebo
Medförf 1 efternamn: Peng
ISBN: *
Publicerings-=inrapporteringår: 1998
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (aslab)
Referens: Published in Interacting with Computers, vol, 11(1), pp. 33-52, 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Designing a Real-Time Telepathology Workstation to Mitigate Communication Delays
Huvudförfattarens förnamn: David
Huvudförfattarens efternamn: Carr
Medförf 1 förnamn: C.
Medförf 1 efternamn: Plaisant
Medförf 2 förnamn: H.
Medförf 2 efternamn: Hasegawa
ISBN: *
Publicerings-=inrapporteringår: 1998
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (logpro)
Referens: Published in Journal of Logic Programming, Vol. 34, No. 2, pp. 67-110, 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Tabulated Resolution for Well-founded Semantics
Huvudförfattarens förnamn: R.
Huvudförfattarens efternamn: Bol
Medförf 1 förnamn: L.
Medförf 1 efternamn: Degerstedt
ISBN: *
Publicerings-=inrapporteringår: 1998
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (mda)
Referens: Published in Art. Intell. Med. 1998, Vol. 12, pp. 125-136.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Development of systems for support of collaboration in health care: the design arenas.
Huvudförfattarens förnamn: Toomas
Huvudförfattarens efternamn: Timpka
Medförf 1 förnamn: C
Medförf 1 efternamn: Sjoberg
ISBN: *
Publicerings-=inrapporteringår: 1998
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (mda)
Referens: Published in JAMIA 1998, Vol. 5, pp. 177-183.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: A framework for participatory design of information systems in health care
Huvudförfattarens förnamn: C.
Huvudförfattarens efternamn: Sjoberg
Medförf 1 förnamn: Toomas
Medförf 1 efternamn: Timpka
ISBN: *
Publicerings-=inrapporteringår: 1998
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (mda)
Referens: Published in Med Inform Med 1998, Vol. 37, pp. 302-306.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Risk perception during information-system development in non-profit health care organizations
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: M.
Medförf 2 efternamn: Ljunggren
ISBN: *
Publicerings-=inrapporteringår: 1998
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (aselab)
Referens: Published in Information and Software Technology, Vol. 39(14-15) pp. 939-947.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: An Evaluation of Methods for Prioritizing Software Requirements
Huvudförfattarens förnamn: Joachim
Huvudförfattarens efternamn: Karlsson
Medförf 1 förnamn: Claes
Medförf 1 efternamn: Wohlin
Medförf 2 förnamn: Björn
Medförf 2 efternamn: Regnell
ISBN: *
Publicerings-=inrapporteringår: 1998
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (tosca)
Referens: Published in Processing Letters 68(5):249-253, 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Near-Optimal Nonapproximability Results for Some NPO PB-Complete Problems
Huvudförfattarens förnamn: Peter
Huvudförfattarens efternamn: Jonsson
ISBN: *
Publicerings-=inrapporteringår: 1998
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (tosca)
Referens: Published in Annals of Mathematics and Artificial Intelligence 22(3-4):281-296, 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Not Imply Tractable Plan Generation
Huvudförfattarens förnamn: Peter
Huvudförfattarens efternamn: Jonsson
Medförf 1 förnamn: Christer
Medförf 1 efternamn: Bäckström
ISBN: *
Publicerings-=inrapporteringår: 1998
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (tosca)
Referens: Published in Artificial Intelligence 102(1):143-155, 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: A Unifying Approach to Temporal Constraint Reasoning
Huvudförfattarens förnamn: Peter
Huvudförfattarens efternamn: Jonsson
Medförf 1 förnamn: Christer
Medförf 1 efternamn: Bäckström
ISBN: *
Publicerings-=inrapporteringår: 1998
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (tosca)
Referens: Published in Artificial Intelligence 100(1-2):125-176, 1998.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: State-Variable Planning Under Structural Restrictions: Algorithms and Complexity
Huvudförfattarens förnamn: Peter
Huvudförfattarens efternamn: Jonsson
Medförf 1 förnamn: Christer
Medförf 1 efternamn: Bäckström
ISBN: *
Publicerings-=inrapporteringår: 1998
Användarnamn: *
ID: *

Institution: IDA
Fakultet: *
Rapportklass: *
Huvudförfattarens institution: IDA
Ämne: (aselab)
Referens: Published in Software Quality Journal 7(1):56-66.
Tidskrift: *
Ärtal: *
Volym: *
Sidnr: *
Rubrik: Application of Multivariate Analysis for Software Quality Prediction
Huvudförfattarens förnamn: Niclas
Huvudförfattarens efternamn: Ohlsson
Medförf 1 förnamn: M.
Medförf 1 efternamn: Zhao
Medförf 2 förnamn: Mary E.
Medförf 2 efternamn: Helander
ISBN: *
Publicerings-=inrapporteringår: 1998
Användarnamn: *
ID: *