Dept. of Computer and Information science, Linköping University
Last updated: Tue, 02 Dec 1997 11:02:58
Annie Röstlinger, G. G. (1996). Generisk flexibilitet - på väg mot en komponentbaserad metodsyn. Technical Report LiTH-IDA-R-96-15, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Axelsson, J. (1996). Three Search Strategies for Architecture Synthesis and Partitioning of Real-Time Systems. Technical Report LiTH-IDA-R-96-32, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Axelsson, K. (1996). På ny kurs med sjökarteavdelningen - en fallstudie från STRIKE-projektet. Technical Report LiTH-IDA-R-96-07, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Axelsson, K. (1996). Strukturering av informationssystem och verksamheter - en teori- och empiribaserad argumentation. Technical Report LiTH-IDA-R-96-40, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Byers, D. (1996). Static Estimation of Software Testability. Technical Report LiTH-IDA-R-96-13, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Coradeschi, S. (1996). Reasoning with Misperception in the Features and Fluents Framework. Technical Report LiTH-IDA-R-96-02, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Doherty, P. (1996). PMON+: A Fluent Logic for Action and Change. Formel Specification, Version 1.0. Technical Report LiTH-IDA-R-96-33, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Doherty, P., Lukaszewicz, W., and Szalas, A. (1996). Declarative PTIME Queries to Relational Databases. Technical Report LiTH-IDA-R-96-34, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Doherty, P., Lukaszewicz, W., and Szalas, A. (1996). General Domain Circumscription and its First-Order Reduction. Technical Report LiTH-IDA-R-96-01, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Drakengren, T. (1996). Compositionality and the Frame Problem. Technical Report LiTH-IDA-R-96-04, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Drakengren, T. and Jonsson, P. (1996). Eight Maximal Tractable Subclasses of Allen's Algebra with Metric Time. Technical Report LiTH-IDA-R-96-26, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Drakengren, T. and Jonsson, P. (1996). Maximal Tractable Subclasses of Allen's Interval Algebra: Preliminary Report. Technical Report LiTH-IDA-R-96-14, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Facchini, P. (1996). A Statistical Method for Real-Time Software Performance Estimation. Technical Report LiTH-IDA-R-96-22, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Fjällström, P.-O. (1996). PARALLEL ALGORITHMS FOR GEOMETRIC PROBLEMS ON COARSE GRAINED MULTICOMPUTERS. Technical Report LiTH-IDA-R-96-38, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Fjällström, P.-O. (1996). Parallel Interval-Cover Algorithms for Coarse Grained Multicomputers. Technical Report LiTH-IDA-R-96-39, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Fjällström, P.-O. (1996). Range Searching on a Mesh-Connected Parallel Computer. Technical Report LiTH-IDA-R-96-27, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Flodin, S., Orsborn, K., and Risch, T. (1996). Using Multi-Method Queries in Finite Element Analysis. Technical Report LiTH-IDA-R-96-28, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Fritzson, P. (1996). Proceedings of the Poster Session of CC'96 - International Conference on Compiler Construction. Technical Report LiTH-IDA-R-96-12, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Goldkuhl, G. (1996). Från IRM och VBS till PAKS: Process-, aktivitets- och komponentbaserad systemstrukturering. Technical Report LiTH-IDA-R-96-08, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Goldkuhl, G. (1996). Generic Business Frameworks and Action Modelling. Technical Report LiTH-IDA-R-96-17, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Goldkuhl, G. (1996). Metodarkitektur för metodanalys. Technical Report LiTH-IDA-R-96-06, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Goldkuhl, G. (1996). Verksamhetsmodellering - några metodkomponenter inom SIMMetoden. Technical Report LiTH-IDA-R-96-09, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Ingels, P. (1996). Layered HMMs in Robust Natural Language Text Processing. Technical Report LiTH-IDA-R-96-11, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Johansson, O. (1996). ProCAD - A Produkt Modeling System for Power Plant System Design. Technical Report LiTH-IDA-R-96-36, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Jonsson, P. and Bäckström, C. (1996). On the Size of Reactive Plans. Technical Report LiTH-IDA-R-96-10, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Jonsson, P. and Drakengren, T. (1996). RCC-5 and its Tractable Subclasses. Technical Report LiTH-IDA-R-96-25, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Karlsson, L. (1996). Planning, Truth Criteria and Systematic Approach to Action and Change. Technical Report LiTH-IDA-R-96-16, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Lin, L., Risch, T., and Badal, D. (1996). Indexing Interpolated Time Sequences. Technical Report LiTH-IDA-R-96-03, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Lin, L., Risch, T., and Badal, D. (1996). Indexing Values of Time Sequences. Technical Report LiTH-IDA-R-96-29, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Lin, M., Malec, J., and Nadjm-Tehrani, S. (1996). On Semantics of Reactive Rule-based Systems. Technical Report LiTH-IDA-R-96-35, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Lindeber, L. (1996). Metodanalys av FA & VIBA/SIMM - en metodvärdering ur ett inter-organisatoriskt perspektiv. Technical Report LiTH-IDA-R-96-31, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Meyer, J.-J. C. and Doherty, P. (1996). Preferential Action Semantics, Preliminary Report. Technical Report LiTH-IDA-R-96-24, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Nadjm-Tehrani, S. and Strömberg, J.-E. (1996). JAS-95 Lite: Modelling and Formal Analysis of Dynamic Properties. Technical Report LiTH-IDA-R-96-41, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Nielsen, L., Nyberg, M., Frisk, E., Bäckström, C., Henriksson, A., Klein, I., Gustafsson, F., Gustafsson, S., and Palmqvist, J. (1996). Issues in Diagnosis, Supervision and Safety. Technical Report LiTH-IDA-R-96-37, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Nilsson, H. and Sparud, J. (1996). The Evaluation Dependence Tree: an Execution Record for Lazy Functional Debugging. Technical Report LiTH-IDA-R-96-23, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Ohlsson, N., Zhao, M., and Helander, M. (1996). Application of Multivariate Analysis for Software Fault Prediction. Technical Report LiTH-IDA-R-96-30, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Pettersson, M. (1996). A Compiler for Natural Semantics. Technical Report LiTH-IDA-R-96-05, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Röstlinger, A. (1996). Slutrapport avseende RASTER-projektet - utvärdering och förändring av datorstödda kommunala verksamheter. Technical Report LiTH-IDA-R-96-18, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Sandewall, E. (1996). Comparative Assessment of Update Methods Using Static Domain Constraints. Technical Report LiTH-IDA-R-96-20, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Sandewall, E. (1996). Towards a World-Wide Data Base. Technical Report LiTH-IDA-R-96-21, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Sandewall, E. (1996). Transition Cascade Semantics and first Assessments Results for Ramification, Preliminary Report. Technical Report LiTH-IDA-R-96-19, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).