Computing Science: 90s Publications
1999
- Fusion trees can be implemented with AC0 instructions.. In Theoretical Computer Science, volume 205, pp 337-344, 1999.
- General balanced trees. In Journal of Algorithms, volume 30, pp 1-28, 1999.
- Measure-based performance evaluation. In Pattern Recognition Letters, volume 28, 1999.
- Suffix trees on words. In Algorithmica, volume 23, 1999.
- EXPRESS'99: 6th International Workshop on Expressiveness in Concurrency. Volume 27 of Electronic Notes in Theoretical Computer Science, Elsevier Science BV, Amsterdam, 1999. (External link).
- Closure functions and width 1 problems. 1999.
- CAT: the Copying Approach to Tabling. 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.
- Comparison of Amos II with other Data Integration Projects. 1999. (External link).
- Distributed Mediation using a Light-Weight OODBMS. In 1st ECOOP Workshop on Object-Oriented Databases, 1999. (External link).
- Functional Query Optimization over Object-Oriented Views for Data Integration. In Journal of Intelligent Information Systems (JIIS), volume 12, number 2-3, 1999. (External link).
- Integrating Heterogeneous Overlapping Databases through Object-Oriented Transformations. In Proc. 25th Intl. Conf. On Very Large Databases, 1999. (External link).
- Optimizing queries in distributed and composable mediators. In Proc. 4th Conference on Cooperative Information Systems, CoopIS'99, 1999. (External link).
- Solos in Concert. In Proceedings of ICALP'99, 1999. (External link).
- Design Issues for Scalable Availability LH* Schemes with Record Grouping. In DIMACS Workshop on Distributed Data and Structures (WDAS'99), 1999. (External link).
- Monitoring Complex Rule Conditions. In Active Rules in Database Systems, Springer-Verlag, 1999. (External link).
- Modular termination proofs for Prolog with tabling. In Principles and Practice of Declarative Programming, pp 342-359, 1999. (DOI).
- Proceedings of the 11th Nordic Workshop on Programming Theory. IT Technical Reports, Dept. of Information Technology, Uppsala university, 1999. (External link).
- he HomeBots System and Field Tests: A Multi-Commodity Market for Predictive Load Management. In Fourth International Conference and Exhibiti on on The Practical Application of Intelligent Agents and Multi-Agents (PAAM99), 1999.
1998
- Approximate Indexed Lists.. In Journal of Algorithms, volume 29, number 2, 1998.
- Sorting in linear time?. In Journal of Computer and System Sciences, volume 57, pp 74-93, 1998. (External link).
- Using Queries with Multi-Directional Functions for for Numerical Database Applications. In 2nd East-European Symposium on Advances in Databases and Information Systems (ADBIS'98), 1998. (External link).
- Constraints and universal algebra. In ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, volume 24, number 1-4, pp 51-67, 1998.
- Calculus-based Transformations of Queries over Object-Oriented Views in a Database Mediator System. In 3rd IFCIS International Conference on Cooperative Information Systems, 1998. (External link).
- Querying Continuous Time Sequences. In 24th International Conference on Very Large Data Bases (VLDB'98), 1998. (External link).
- LH* Schemes with Scalable Availability. IBM Research, 1998.
- LH* Schemes with Scalable Availability. IBM Corporation, 1998.
- LH*g: A High-availability Scalable Distributed Data Structure through Record Grouping. 1998.
- Calculi for Mobile Processes: Bibliography and Web Pages. In Bulletin of the EATCS, volume 64, 1998.
- Programmeraren som Schaman. In Forskning och Framsteg, number 2, pp 14-19, 1998.
- The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes. In Proceedings of LICS'98, Proceedings / Symposium on Logic in Computer Science, pp 176-185, IEEE Computer Society, Los Alamitos, CA, 1998. (DOI).
- The Tau-Laws of Fusion. In Proceedings of CONCUR'98, volume 1466 of Lecture notes in computer science, pp 99-114, Springer, Berlin, 1998. (DOI).
- IEIS - Integrated Engineering Information Systems. 1998. (External link).
- Concurrent Constraints in the Fusion Calculus. In Proceedings of ICALP'98, volume 1443 of Lectute notes in computer science, pp 455-469, Springer, Berlin, 1998. (DOI).
1997
- Query Processing over Object Views of Relational Data. In The VLDB Journal, volume 6, number 4, pp 261-281, 1997. (External link).
- Distributing Semantic Constraints Between Heterogeneous Databases. In The 13th International Conference on Data Engineering (ICDE'97), 1997. (External link).
- Using a Sequential Index in Terrain-Aided Navigation. In The Sixth International Conference on Information and Knowledge Management (CIKM'97), 1997. (External link).
- Optimizing Performance-Polymorphic Declarative Database Queries. In Real-Time Database and Information Systems. Research Advances, Kluwer, 1997. (External link).
- The Update Calculus. In Proceedings of AMAST'97, volume 1349 of Lecture notes in computer science, pp 409-423, Springer, Berlin, 1997. (DOI).
1996
- LH*lh : A Scalable High Performance Data Structure for Switched Multicomputers. In The 5th International Conference on Extending Database Technology (EDBT'96), 1996. (External link).
- Indexing Interpolated Time Sequences. Linköping University, 1996.
- Indexing Values of Time Sequences. In 5th International Conference on Information and Knowledge Management (CIKM'96), 1996. (External link).
- Next Generation of O-O Database Techniques in Finite Element Analysis. In The Third International Conference on Computational Structures Technology, 1996.
- Performance-Polymorphic Execution of Real-Time Queries. In The 1st Workshop on Real-Time Databases: Issues and Applications (RTDB-96), 1996. (External link).
- Designing a Multiway Synchronisation Protocol. In Computer Communications, volume 19, number 14, pp 1151-1160, 1996. (DOI).
- Using Partial Differencing for Efficient Monitoring of Deferred Complex Rule Conditions. In The 12th International Conference on Data Engineering (ICDE'96), 1996. (External link).
- Constraints as Processes. In Proceedings of CONCUR'96, volume 1119 of Lecture notes in computer science, pp 389-405, Springer, Berlin, 1996. (DOI).
1995
- Using an Embedded Active Database in a Control System Architecture. In 2nd International Conference on Applications of Databases (ADB-95), 1995.
- Processing Object-Oriented Queries with Invertible Late Bound Functions. In The 21st International Conference on Very Large Data Bases (VLDB'95), 1995. (External link).
- Algebraic Theories of Name-Passing Calculi. In Information and Computation, volume 120, number 2, pp 174-197, 1995. (DOI).
- Interaction Diagrams. In Nordic Journal of Computing, volume 2, number 4, pp 407-443, 1995.
- Method of Monitoring Changes in an Object-Oriented Database With Tuned Monitors. USA, 1995. (External link).
- Rule Contexts in Active Databases - A Mechanism for Dynamic Rule Grouping. In Rules in Database Systems (RIDS'95), 1995. (External link).
1994
- AMOS.v1 User's Guide. Linköping University, 1994. (External link).
- Applications of Databases. Springer, 1994.
- The Complete Axiomatization of Cs-Congruence. In Proceedings of STACS 94, volume 775 of Lecture notes in computer science, pp 557-568, Springer, Berlin, 1994. (DOI).
- The Mobility Workbench: A Tool for the Pi-Calculus. In Proceedings of CAV'94, pp 428-440, 1994. (DOI).
1993
- The Concurrency Workbench: A Semantics Based Tool for the Verification of Concurrent Systems. In ACM Transactions on Programming Languages and Systems, volume 15, number 1, pp 36-72, 1993. (DOI).
- AMOS - An Architecture for Active Mediators. In Workshop on Next Generation Information Technologies and Systems (NGITS), 1993. (External link).
- Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs. In Information and Computation, volume 107, number 2, pp 272-302, 1993. (DOI).
- Active Object Oriented Databases in Control Applications. In Proc. 19th Euromicro Conference, 1993. (External link).
- Modal Logics for Mobile Processes. In Theoretical Computer Science, volume 114, number 1, pp 149-171, 1993. (DOI).
- Produktmodellering med objektorienterade databaser och frågespråk. In Proc. Workshop on Product Models (PM-93), 1993.
- Structural and Behavioural Equivalences of Networks. In Information and Computation, volume 107, number 1, pp 58-90, 1993. (DOI).
1992
- A finitary version of the calculus of partial inductive definitions. In Extensions of Logic Programming, volume 596 of Lecture Notes in Computer Science, pp 89-134, Springer Berlin/Heidelberg, 1992.
- Fast Processing of OO Declarative Queries with Foreign Functions. HP-Labs, Palo Alto, USA, 1992. (External link).
- Main Memory Oriented Optimization of Object-Oriented Queries. In IEEE Trnasactions on Knowledge and Data Engineering, volume 4, number 6, pp 517-528, 1992. (External link).
- Relations with Inherited Attributes. HP Labs, Palo Alto, USA, 1992. (External link).
- Representation of factual information by equations and their evaluation. In The 6th International Conference on Software Engineering, 1992. (External link).
- A Calculus of Mobile Processes - Part I. In Information and Computation, volume 100, number 1, pp 1-40, 1992. (DOI).
- A Calculus of Mobile Processes - Part II. In Information and Computation, volume 100, number 1, pp 41-77, 1992. (DOI).
- An Algebraic Verification of a Mobile Network. In Formal Aspects of Computing, volume 4, number 6, pp 497-543, 1992. (DOI).
- Multiway Synchronization Verified with Coupled Simulation. In Proceedings of CONCUR '92, volume 630 of Lecture notes in computer science, pp 518-533, Springer, Berlin, 1992. (DOI).
- Active Rules based on Object-Oriented Queries. In Data Engineering Bulletine, volume 15, number 1-4, pp 261-281, 1992.
- Method of Monitoring Changes in Attribute Values of Objects in an Object Oriented Database. USA, 1992. (External link).