Skip to main content
Department of Information Technology

Computing Science: 90s Publications

1999

  1. Fusion trees can be implemented with AC0 instructions.. Arne Andersson, Peter Bro Miltersen, and Mikkel Thorup. In Theoretical Computer Science, volume 205, pp 337-344, 1999.
  2. General balanced trees. Arne Andersson. In Journal of Algorithms, volume 30, pp 1-28, 1999.
  3. Measure-based performance evaluation. Arne Andersson, Paul Davidsson, and Johan Linden. In Pattern Recognition Letters, volume 28, 1999.
  4. Suffix trees on words. Arne Andersson, N. Jesper Larsson, and Kurt Swanson. In Algorithmica, volume 23, 1999.
  5. EXPRESS'99: 6th International Workshop on Expressiveness in Concurrency. Ilaria Castellani and Björn Victor (eds). Volume 27 of Electronic Notes in Theoretical Computer Science, Elsevier Science BV, Amsterdam, 1999. (External link).
  6. Closure functions and width 1 problems. V. Dalmau and J. Pearson. 1999.
  7. CAT: the Copying Approach to Tabling. Bart Demoen and Konstantinos Sagonas. In Journal of Functional and Logic Programming: Special Issue on Selected Best Papers from PLILP/ALP'98, volume 1999, number 2, pp 1-38, 1999.
  8. Comparison of Amos II with other Data Integration Projects. Vanja Josifovski and Tore Risch. 1999. (External link).
  9. Distributed Mediation using a Light-Weight OODBMS. Vanja Josifovski and Tore Risch. In 1st ECOOP Workshop on Object-Oriented Databases, 1999. (External link).
  10. Functional Query Optimization over Object-Oriented Views for Data Integration. Vanja Josifovski and Tore Risch. In Journal of Intelligent Information Systems (JIIS), volume 12, number 2-3, 1999. (External link).
  11. Integrating Heterogeneous Overlapping Databases through Object-Oriented Transformations. Vanja Josifovski and Tore Risch. In Proc. 25th Intl. Conf. On Very Large Databases, 1999. (External link).
  12. Optimizing queries in distributed and composable mediators. Vanja Josifovski, Timour Katchaounov, and Tore Risch. In Proc. 4th Conference on Cooperative Information Systems, CoopIS'99, 1999. (External link).
  13. Solos in Concert. Cosimo Laneve and Björn Victor. In Proceedings of ICALP'99, 1999. (External link).
  14. Design Issues for Scalable Availability LH* Schemes with Record Grouping. Witold Litwin, Jim Menon, Tore Risch, and Thomas Schwarz. In DIMACS Workshop on Distributed Data and Structures (WDAS'99), 1999. (External link).
  15. Monitoring Complex Rule Conditions. Tore Risch and Martin Sköld. In Active Rules in Database Systems, Springer-Verlag, 1999. (External link).
  16. Modular termination proofs for Prolog with tabling. Sofie Verbaeten, Konstantinos Sagonas, and Danny De Schreye. In Principles and Practice of Declarative Programming, pp 342-359, 1999. (DOI).
  17. Proceedings of the 11th Nordic Workshop on Programming Theory. Björn Victor and Wang Yi (eds). IT Technical Reports, Dept. of Information Technology, Uppsala university, 1999. (External link).
  18. he HomeBots System and Field Tests: A Multi-Commodity Market for Predictive Load Management. Fredrik Ygge, Hans Akkermans, Arne Andersson, Marko Krejic, and Erik Bortjes. In Fourth International Conference and Exhibiti on on The Practical Application of Intelligent Agents and Multi-Agents (PAAM99), 1999.

1998

  1. Approximate Indexed Lists.. Arne Andersson and Ola Petersson. In Journal of Algorithms, volume 29, number 2, 1998.
  2. Sorting in linear time?. Arne Andersson, Torben Hagerup, Stefan Nilsson, and Rajeev Raman. In Journal of Computer and System Sciences, volume 57, pp 74-93, 1998. (External link).
  3. Using Queries with Multi-Directional Functions for for Numerical Database Applications. Staffan Flodin, Kjell Orsborn, and Tore Risch. In 2nd East-European Symposium on Advances in Databases and Information Systems (ADBIS'98), 1998. (External link).
  4. Constraints and universal algebra. P. Jeavons, D. Cohen, and J. Pearson. In ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, volume 24, number 1-4, pp 51-67, 1998.
  5. Calculus-based Transformations of Queries over Object-Oriented Views in a Database Mediator System. Vanja Josifovski and Tore Risch. In 3rd IFCIS International Conference on Cooperative Information Systems, 1998. (External link).
  6. Querying Continuous Time Sequences. Ling Lin and Tore Risch. In 24th International Conference on Very Large Data Bases (VLDB'98), 1998. (External link).
  7. LH* Schemes with Scalable Availability. Witold Litwin, Tore Risch, J.M Menon, and Thomas Schwarz. IBM Research, 1998.
  8. LH* Schemes with Scalable Availability. Witold Litwin and Tore Risch. IBM Corporation, 1998.
  9. LH*g: A High-availability Scalable Distributed Data Structure through Record Grouping. Witold Litwin and Tore Risch. 1998.
  10. Calculi for Mobile Processes: Bibliography and Web Pages. Uwe Nestmann and Björn Victor. In Bulletin of the EATCS, volume 64, 1998.
  11. Programmeraren som Schaman. Joachim Parrow. In Forskning och Framsteg, number 2, pp 14-19, 1998.
  12. The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes. Joachim Parrow and Björn Victor. In Proceedings of LICS'98, Proceedings / Symposium on Logic in Computer Science, pp 176-185, IEEE Computer Society, Los Alamitos, CA, 1998. (DOI).
  13. The Tau-Laws of Fusion. Joachim Parrow and Björn Victor. In Proceedings of CONCUR'98, volume 1466 of Lecture notes in computer science, pp 99-114, Springer, Berlin, 1998. (DOI).
  14. IEIS - Integrated Engineering Information Systems. Tore Risch. 1998. (External link).
  15. Concurrent Constraints in the Fusion Calculus. Björn Victor and Joachim Parrow. In Proceedings of ICALP'98, volume 1443 of Lectute notes in computer science, pp 455-469, Springer, Berlin, 1998. (DOI).

1997

  1. Query Processing over Object Views of Relational Data. Gustav Fahl and Tore Risch. In The VLDB Journal, volume 6, number 4, pp 261-281, 1997. (External link).
  2. Distributing Semantic Constraints Between Heterogeneous Databases. S. Grufman, F. Samson, S.M. Embury, P.M.D Gray, and Tore Risch. In The 13th International Conference on Data Engineering (ICDE'97), 1997. (External link).
  3. Using a Sequential Index in Terrain-Aided Navigation. Ling Lin and Tore Risch. In The Sixth International Conference on Information and Knowledge Management (CIKM'97), 1997. (External link).
  4. Optimizing Performance-Polymorphic Declarative Database Queries. Thomas Padron-McCarthy and Tore Risch. In Real-Time Database and Information Systems. Research Advances, Kluwer, 1997. (External link).
  5. The Update Calculus. Joachim Parrow and Björn Victor. In Proceedings of AMAST'97, volume 1349 of Lecture notes in computer science, pp 409-423, Springer, Berlin, 1997. (DOI).

1996

  1. LH*lh : A Scalable High Performance Data Structure for Switched Multicomputers. Jonas S Karlsson, Witold Litwin, and Tore Risch. In The 5th International Conference on Extending Database Technology (EDBT'96), 1996. (External link).
  2. Indexing Interpolated Time Sequences. Ling Lin and Tore Risch. Linköping University, 1996.
  3. Indexing Values of Time Sequences. Ling Lin, Tore Risch, and Dushan Badal. In 5th International Conference on Information and Knowledge Management (CIKM'96), 1996. (External link).
  4. Next Generation of O-O Database Techniques in Finite Element Analysis. Kjell Orsborn and Tore Risch. In The Third International Conference on Computational Structures Technology, 1996.
  5. Performance-Polymorphic Execution of Real-Time Queries. Thomas Padron-McCarthy and Tore Risch. In The 1st Workshop on Real-Time Databases: Issues and Applications (RTDB-96), 1996. (External link).
  6. Designing a Multiway Synchronisation Protocol. Joachim Parrow and Peter Sjödin. In Computer Communications, volume 19, number 14, pp 1151-1160, 1996. (DOI).
  7. Using Partial Differencing for Efficient Monitoring of Deferred Complex Rule Conditions. Martin Sköld and Tore Risch. In The 12th International Conference on Data Engineering (ICDE'96), 1996. (External link).
  8. Constraints as Processes. Björn Victor and Joachim Parrow. In Proceedings of CONCUR'96, volume 1119 of Lecture notes in computer science, pp 389-405, Springer, Berlin, 1996. (DOI).

1995

  1. Using an Embedded Active Database in a Control System Architecture. Esa Falkenroth, Tore Risch, and Anders Törne. In 2nd International Conference on Applications of Databases (ADB-95), 1995.
  2. Processing Object-Oriented Queries with Invertible Late Bound Functions. Staffan Flodin and Tore Risch. In The 21st International Conference on Very Large Data Bases (VLDB'95), 1995. (External link).
  3. Algebraic Theories of Name-Passing Calculi. Joachim Parrow and Davide Sangiorgi. In Information and Computation, volume 120, number 2, pp 174-197, 1995. (DOI).
  4. Interaction Diagrams. Joachim Parrow. In Nordic Journal of Computing, volume 2, number 4, pp 407-443, 1995.
  5. Method of Monitoring Changes in an Object-Oriented Database With Tuned Monitors. Tore Risch. USA, 1995. (External link).
  6. Rule Contexts in Active Databases - A Mechanism for Dynamic Rule Grouping. Martin Sköld, Esa Falkenroth, and Tore Risch. In Rules in Database Systems (RIDS'95), 1995. (External link).

1994

  1. AMOS.v1 User's Guide. Jonas S Karlsson, Staffan Larsson, Kjell Orsborn, Tore Risch, Martin Sköld, and Magnus Werner. Linköping University, 1994. (External link).
  2. Applications of Databases. Witold Litwin and Tore Risch (eds). Springer, 1994.
  3. The Complete Axiomatization of Cs-Congruence. Joachim Parrow and Peter Sjödin. In Proceedings of STACS 94, volume 775 of Lecture notes in computer science, pp 557-568, Springer, Berlin, 1994. (DOI).
  4. The Mobility Workbench: A Tool for the Pi-Calculus. Björn Victor and Faron Moller. In Proceedings of CAV'94, pp 428-440, 1994. (DOI).

1993

  1. The Concurrency Workbench: A Semantics Based Tool for the Verification of Concurrent Systems. Rance Cleaveland, Joachim Parrow, and Bernhard Steffen. In ACM Transactions on Programming Languages and Systems, volume 15, number 1, pp 36-72, 1993. (DOI).
  2. AMOS - An Architecture for Active Mediators. Gustav Fahl, Tore Risch, and Martin Sköld. In Workshop on Next Generation Information Technologies and Systems (NGITS), 1993. (External link).
  3. Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs. Bengt Jonsson and Joachim Parrow. In Information and Computation, volume 107, number 2, pp 272-302, 1993. (DOI).
  4. Active Object Oriented Databases in Control Applications. Peter Loborg, Tore Risch, Martin Sköld, and Anders Törne. In Proc. 19th Euromicro Conference, 1993. (External link).
  5. Modal Logics for Mobile Processes. Robin Milner, Joachim Parrow, and David Walker. In Theoretical Computer Science, volume 114, number 1, pp 149-171, 1993. (DOI).
  6. Produktmodellering med objektorienterade databaser och frågespråk. Kjell Orsborn, Tore Risch, and B. Torstenfelt. In Proc. Workshop on Product Models (PM-93), 1993.
  7. Structural and Behavioural Equivalences of Networks. Joachim Parrow. In Information and Computation, volume 107, number 1, pp 58-90, 1993. (DOI).

1992

  1. A finitary version of the calculus of partial inductive definitions. Lars-Henrik Eriksson. In Extensions of Logic Programming, volume 596 of Lecture Notes in Computer Science, pp 89-134, Springer Berlin/Heidelberg, 1992.
  2. Fast Processing of OO Declarative Queries with Foreign Functions. Witold Litwin and Tore Risch. HP-Labs, Palo Alto, USA, 1992. (External link).
  3. Main Memory Oriented Optimization of Object-Oriented Queries. Witold Litwin and Tore Risch. In IEEE Trnasactions on Knowledge and Data Engineering, volume 4, number 6, pp 517-528, 1992. (External link).
  4. Relations with Inherited Attributes. Witold Litwin, Mohammad Ketabchi, and Tore Risch. HP Labs, Palo Alto, USA, 1992. (External link).
  5. Representation of factual information by equations and their evaluation. Peter Lucas and Tore Risch. In The 6th International Conference on Software Engineering, 1992. (External link).
  6. A Calculus of Mobile Processes - Part I. Robin Milner, Joachim Parrow, and David Walker. In Information and Computation, volume 100, number 1, pp 1-40, 1992. (DOI).
  7. A Calculus of Mobile Processes - Part II. Robin Milner, Joachim Parrow, and David Walker. In Information and Computation, volume 100, number 1, pp 41-77, 1992. (DOI).
  8. An Algebraic Verification of a Mobile Network. Fredrik Orava and Joachim Parrow. In Formal Aspects of Computing, volume 4, number 6, pp 497-543, 1992. (DOI).
  9. Multiway Synchronization Verified with Coupled Simulation. Joachim Parrow and Peter Sjödin. In Proceedings of CONCUR '92, volume 630 of Lecture notes in computer science, pp 518-533, Springer, Berlin, 1992. (DOI).
  10. Active Rules based on Object-Oriented Queries. Tore Risch and Martin Sköld. In Data Engineering Bulletine, volume 15, number 1-4, pp 261-281, 1992.
  11. Method of Monitoring Changes in Attribute Values of Objects in an Object Oriented Database. Tore Risch. USA, 1992. (External link).

Updated  2013-08-27 11:12:18 by Johannes Borgström.