SICSDissertations (published from 1990 to the present). They are only available in paper copy (though, if you check the author's homepage it may show a link to an electronic version of the dissertation). SICSTechnical Reports T89001 (1989) to the present. SICSResearch Reports R86001 - R97:04 (1986 - 1997) series terminated.
For a complete listing of SICS reports and dissertations see the list below; many of the older reports are not online.
A form is included to permit ordering of paper copies of reports and dissertations which are not available online.
SICS Publications Order List
To order paper copies, fill in customer contact information below. Checkmark the box next to the author name in the list below of those reports you are ordering then click on the "submit order" button. Or, send email inquiry directly to Vicki Carleson vicki@sics.se
Note: Reports that are available online do NOT have a box to checkmark. Go here to download the report: http://www.sics.se/libindex.html
Note: Upon receiving the order, Vicki contacts the customer with a quote of the cost to ship. Prepayment is required to have the publications sent.
SICS-D-44Magnus Sahlgren The Word-Space Model: using distributional analysis to represent syntagmatic and paradigmatic relations between words in high-dimensional vector spaces
April, 2006
SICS-D-43Marie Sjölinder Age-related cognitive decline and navigation in electronic environments
Imperial University
April, 2006
SICS-D-42Babak Sadighi Firozabadi Decentralized privilege management for access control
Imperial University
September, 2005
SICS-D-41 Åsa Rudström Co-construction of hybrid spaces [Abstract]
A Dissertation submitted to Stockholm University and Royal Institute of Technology, Department of Computer and Systems Sciences, for the degree of Doctor of Philosophy, December 2005
SICS-D-40 Markus Bylund A Design Rationale for Pervasive Computing --User Experience, Contextual Change, and Technical Requirement [Abstract]
A Dissertation submitted to The Royal Institute of Technology, Department of Computer and System Sciences, for the degree of Doctor of Technology, June 2005
SICS-D-39 Erik Klintskog Generic Distribution Support for Programming Systems [Abstract]
A Dissertation submitted to The Royal Institute of Technology, Department of Computer and System Sciences, for the degree of Doctor of Technology, June 2005
SICS-D-38 Sameh El-Ansary Designs and Analyses in Structured Peer-To-Peer Systems [Abstract] A Dissertation submitted to the Royal Institute of Technology (KTH), School of Information and Communication Technology, Department of Microelectronics and Information Technology, for the degree of Doctor of Philosophy, June 2005
SICS-D-37 Per Brand The Design Philosophy of Distributed Programming Systems: the Mozart Experience [Abstract]
A Dissertation submitted to the Royal Institute of Technology, School of Information and Communication Technology, Department of Electronics and Computer Systems, for the degree of Doctor of Philosophy, June 2005.
SICS-D-36 Rickard Cöster Algorithms and Representations for Personalised Information Access. [Abstract]
A Dissertation submitted to Stockholm University, Department of Computer and System Sciences, for the degree of Doctor of Philosophy, April 2005.
SICS-D-35 Frecon, Emmanuel DIVE on the Internet. [Abstract] A Dissertation submitted for the degree of Doctor of Philosophy at the IT Univeristy of Gothenberg, May 2004.
SICS-D-34 Armstrong, Joe Making reliable distributed systems in the presence of software errors. [Abstract] A Dissertation submitted for the degree of Doctor of Technology at The Royal Institute of Technology, December 2003.
SICS-D-33 Svensson, Martin Defining, Desiging and Evaluating Social Navigation. [Abstract] A Dissertation submitted for the degree of Doctor of Philosophy, Department of Computer and System Sciences, Stockholm University, Sweden February 2003.
SICS-D-32 Rasmusson, Lars Network capacity sharing with QoS as a financial derivative pricing problem: algorithms and network design. [Abstract] A Dissertation submitted to The Royal Institute of Technology for the doctorate degree. Stockholm, Sweden, December 2002
SICS-D-31 Espinoza, Fredrik Individual Service Provisioning. [Abstract]
A Dissertation submitted for the Degree of Doctor of Philosophy at Department of Computer and Systems Sciences, Stockholm University and Royal Institute of Technology, Sweden, February 2003.
SICS-D-30 Voigt, Thiemo Architectures for Service Differentiation in Overloaded Internet Servers. May 2002. [Abstract]
A Dissertation submitted in partial fulfillment of the requirements for the Degree
of Doctor of Philosophy at the Computing Science Department, Uppsala University.
SICS-D-29 Fredlund, Lars-Åke A Framework for reasoning about Erlang Code. August 2001. [Abstract]
A Dissertation submitted to The Royal Institute of Technology in partial fulfillment of the requirements for the degree of Doctor of Philosophy. Stockholm. Sweden.
SICS-D-28 Simsarian, Kristian Toward Human-Robot Collaboration. March 2000. [Abstract]
A Dissertation submitted to The Royal Institute of Technology in partial fulfillment of the requirements for the degree of Doctor of Engineering. Stockholm. Sweden.
SICS-D-27 Saulsbury, Ashley Attacking Latency Bottlenecks in Distributed shared Memory Systems. October 1999. [Abstract]
A dissertation submitted in partial fulfillment for the Degree of Doctor of Technology. Department of Teleinformatics. The Royal Institute of Technolgy.
SICS-D-26 Karlgren, Jussi Stylistic experiments in information retrieval. March 29, 2000. [Abstract]
A Dissertation Submitted to Stockholm University in Partial fulfilment of the requirements for the degree of Doctor of Philosophy in Computational Linguistics. Stockholm, Sweden.
SICS-D-25 Montelius, Johan Exploiting Fine-grain Parallelism in Concurrent Constraint Languages. May 1997. [Abstract]
A Dissertation submitted in partial fulfillment of the requirements for the Degree of Doctor of Philosophy, Computing Science Department, Uppsala University.
SICS-D-24 Ahlgren, Bengt Improving Computer Communication Performance by Reducing Memory Bandwidth Consumption. March 1997. [Abstract]
A Dissertation submitted in partial fulfillment of the requirements for the Degree of Doctor of Philosophy at the Computer Systems Department, Uppsala University.
SICS-D-23 Höök, Kristina A Glass Box Approach to Adaptive Hypermedia. October 1996. [Abstract]
A Dissertation submitted in partial completion of the requirements for the degree of Doctor of Philosphy, Stockholm University, Department of Computer and Systems Sciences.
SICS-D-22 Orsvärn, Klas Knowledge Modelling with Libraries of Task Decomposition Methods. June 1996. [Abstract]
A Dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Technology. Department of Computer and Systems Sciences, The Royal Institute of Technology.
SICS-D-21 Gambäck, Björn Processing Swedish Sentences: A Unification-Based Grammar and Some Applications. June 1997. [Abstract]
SICS-D-20 Waern, Annika Recognising Human Plans: Issues for Plan Recognition in Human-Computer Interaction. May 1996. [Abstract]
A Dissertation submitted for the Degree of Doctor of Technology. Department of Computer and Systems Sciences, The Royal Institute of Technology, and Stockholm University.
SICS-D-19 Kreuger, Per Computational Issues in Calculi of Partial Inductive Definitions. June 1995. [Abstract]
A Dissertation for the Ph.D. Degree in Computing Science at the University of Göteborg.
SICS-D-18 Carlsson, Björn Compiling and Executing Finite Domain Constraints. 1995. [Abstract]
A Dissertation submitted in partial fulfillment of the requirements for the Degree of Doctor of Philosophy at Computing Science Department, Uppsala University.
SICS-D-17 Hagsand, Olof Computer and Communication Support for Interactive Distributed Applications. February 1995. [Abstract]
A Dissertationsubmitted to The Royal Institute of Technology in partial fulfillment of the requirements for the degree of Doctor of Technology. Stockholm Sweden.
SICS-D-16 Keisu, Torbjörn Tree Constraints. May 1994. [Abstract]
A Dissertation submitted to the Royal Institute of Technology in partial fulfillment of the requirements for the degree of Doctor of Technology, Department of Teleinformatics. Stockholm, Sweden.
SICS-D-15 Orava, Fredrik On the Formal Analysis of Telecommunication Protocols. May 1994. [Abstract]
A Dissertation submitted for the Gegree of Doctor of Technology. Uppsala University. Department of Computer Systems. Uppsala, Sweden.
SICS-D-14 Jansson, Sverker AKL. - - A Multiparadigm Programming Language. June 1994. [Abstract]
A Dissertation submitted for the Degree of Doctor of Philosophy. Uppsala University. Computing Science Department, Uppsala, Sweden
SICS-D-13 No longer available from SICS Samuelsson, Christer Fast Natural-Lnguage Parsing Using Explatation-Based Learning. February 1994. [Abstract]
A Dissertation submitted to the Royal Institute of Technology in partial fulfillment of the requirements for the degree of Doctor of Technology, Department of Computer and Systems Sciences. Stockholm, Sweden.
SICS-D-12 Aronsson, Martin GCLA. The Design, Use, and Implemntation of a Program Development System. October 1993. [Abstract]
A Dissertation Submitted to Stockholm University in Partial fulfilment of the requirements for the degree of Doctor of Philosophy. Stockholm, Sweden.
SICS-D-11 Pink, Stephen Measurement, Implementation and Optimization of Internet Protocols. October 1993. [Abstract]
A Dissertation submitted to the Royal Institute of Technology in partial fulfilment of the requirements for the degree of Doctor of Philosophy.
SICS-D-10 Björkman, Mats Architectures for High Performance Communication. Sept. 1993. [Abstract]
A Dissertation submitted for the Degree of Doctor of Philosophy. Uppsala University. Department of Computer Science.
SICS-D-09 Eriksson, Lars-Henrik Finitary Partial Inductive Definitions and General Logic. May 1993. [Abstract]
A Dissertation submitted to the Royal Institute of Technology in partial fulfilment of the requirements for the degree of Doctor of Philosophy.
SICS-D--08 No longer available from SICS Hagersten, Erik Toward Scalable Cache Only Memory Architectures. Oct. 1992. [Abstract]
A Dissertation submitted for the Degree of Doctor of Technology of the Royal Institute of Technology Dept. of Telecommunication and Computer Science, Stockholm, Sweden.
SICS-D--07 Karlsson, Roland A High Performance OR-parallel Prolog System. March 1992. [Abstract]
A Dissertation submitted for the Degree of Doctor of Technology of the Royal Institute of Technology Dept. of Telecommunication and Computer Science, Stockholm, Sweden.
SICS-D--06 Sjödin, Peter. From LOTOS Specification to Distributed Implementation. December 1991. [Abstract]
A Dissertation submitted for the Gegree of Doctor of Technology. Uppsala University. Dept .of Computer Science. Uppsala, Sweden.
SICS-D--05 No longer available from SICS Hansson, Hans A. Time and Probability in Formal Design of Distributed Systems. September 1991. [Abstract]
A Dissertation submitted for the Degree of Doctor of Technology. Uppsala University. Dept of Computer Science. Uppsala, Sweden.
SICS/D--91/04 Sahlin, Dan An Automatic Partial Evaluator for Full Prolog. March 1991. [Abstract]
A Dissertation submitted for the Degree of Doctor of Technology of The Royal Institute of Technology, Dept. of Telecommunication and Computer Science, Stockholm, Sweden.
SICS/D-90-9003 Elshiewy, Nabiel A. Robust Coordinated Reactive Computing in SANDRA. Sept. 1990. [Abstract]
A thesis submitted to the Royal Institute of Technology KTH in partial fulfillment of the requirements for the degree of Doctor of Technology.
SICS/D-90-9002 Carlsson, Mats Design and Implementation of an OR-Parallel Prolog Engine. March 1990. [Abstract]
Thesis submitted for the Degree of Doctor of Philosophy. Dept. of Telecommunication and Computer Systems, The Royal Institute of Technology, Stockholm, Sweden, Contains SICS Research Reports R86011B; R89007; R90003; R90005 and R90006.
SICS/D-90-9001 Hausman, Bogumil Pruning and Speculative Work in OR-Parallel PROLOG. March 1990. [Abstract]
A Dissertation submitted for the Degree of Doctor of Technology of the Royal Institute of Technology Dept. of Telecommunication and Computer Science, Stockholm, Sweden.
T2006-08 Markus Bohlin, Per Kreuger, Martin Aronsson, Malin Forsgren
Ansatser för flexibel planering och schemaläggning av tågtidtabeller
T2006-07 Martin Aronsson
To be published.
T2006-06 Bilge Cetin
Opportunistic relay protocol for IEEE 802.11 WLANs
T2006-05 Fredrik Österlind
A Sensor Network Simulator for the Contiki OS
T2006-04 Anders Holst, Jan Ekman, Stefan Larsen
Avvikelsedetektion i signaler från Regina
T2006-03 Jan Ekman, Anders Holst, Martin Aronsson, Markus Bohlin, Malin Forsgren, Stefan Larsen
TIME - en gemensam informationsutbytesplattform för järnvägstransportbranschen
T2006-02 Per Kreuger, Martin Aronsson, Markus Bohlin
Leveranstågplan: specifikation och åtagande
T2006-01 Max Loubser
Delay Tolerant Networking for Sensor Networks
2005
T2005-16 Ali Ghodsi, Sameh El-Ansary, Supriya Krishnamurthy, Seif Haridi
A Self-stabilizing Network Size Estimation Gossip Algorithm for Peer-to-Peer Systems
T2005-15 Laura Marie Feeney
Impact of phase distribution in asynchronous communication protocols
T2005-14 Jussi Karlgren, Shlomo Argamon, James G Shanahan
Stylistic Analysis of Text for Information Access
T2005-13 Stina Nylander, Thomas Nyström, Botond Pakucs
Generating speech user interfaces from interaction acts
T2005-12 Per Kreuger, Martin Aronsson, Jan Ekman, Thomas Franzén
Rail Traffic Requirements Engineering
T2005-11 Ian Marsh
A new proposal for congestion control in Ambient networks
T2005-10 Daniel Gillblad, Per Kreuger, Björn Levin and Åsa Rudström
Preparation and analysis of multiple source industrial process data
T2005-09 Adam Dunkels, et al.
Proceedings of the First REALWSN 2005 Workshop on Real-World Wireless Sensor Networks, Stockholm, Sweden, 20-21 June 2005
T2005-08 Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon
Global Constraint Catalog
T2005-07 Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon, Charlotte Truchet
Graph Invariants as Necessary Conditions for Global Constraints
T2005-06 Anna Larsson, Carina Nerén
Gender Aspects of Computer Avatars
T2005-05 Adam Dunkels, Oliver Schmidt
Protothreads - Lightweight Stackless Threads in C
T2005-04 Mattias Söderqvist
Search Heuristics for Load Balancing in IP-networks
T2005-03 Daniel Gillblad, Anders Holst, Björn Levin, Magnus Gudmundsson
The gmdl Modeling and Analysis System
T2005-02 Daniel Hasselrot
A Java based framework for simulating peer-to-peer overlay networks
T2005-01 Fredrik Holmgren
Towards a Visualization Tool for Peer-to-peer Ovelay Networks
2004
T2004-19 Markus Bylund, Marie Sjölinder, Anna-Frida Eriksson
Exploring the importance of context parameters for service use in everyday situations
T2004-18 Markus Bylund, Marie Sjölinder, Anna Danestig
Exploring user contexts - a qualitative study of everyday activities
T2004-17 Daniel Gillblad, Anders Holst, Per Kreuger, Björn Levin
The gmdl Modeling and Analysis System
T2004-16 Erik Klintskog
Creating a Distributed Programming System Using the DSS: A Case Study of OzDSS
T2004-15 Erik Klintskog
Internal Design of the DSS
T2004-14 Zacharias ElBanna, Erik Klintskog, Per Brand
Making the Distribution Subsystem Secure
T2004-13 Juan Alonso, Adam Dunkels, Thiemo Voigt
Bounds on the Lifetime of Wireless Sensor Networks
T2004-12 Sameh El-Ansary, Supriya Krishnamurthy, Erik Aurell, Seif Haridi
An Analytical Study of Consistency and Performance of DHTs under Churn
T2004:11 Ali Ghodsi, Luc Onana Alima, Seif Haridi
A novel replication scheme for load-balancing and increased security
T2004:10 Raghu Arunachalam, Joakim Eriksson, Niclas Finne, Sverker Janson, Norman Sadeh
The Supply Chain Management Game for the Trading Agent Competition 2004
T2004:09 Ali Ghodsi
Framework for building structured peer-to-peer overlay networks
T2004:08 Nicolas Beldiceanu, Mats Carlsson, Thierry Petit
Deriving Filtering Algorithms from Constaint Checkers
T2004:07 Anders Holst, Per Kreuger
Butler: Fallanalys 1 - Outokumpu
T2004:06 Adam Dunkels, Juan Alonso, Thiemo Voigt, Hartmut Ritter
Distributed TCP Caching for Wireless Sensor Networks
T2004:05 Adam Dunkels, Björn Grönvall, Theimo Voigt, Juan Alonso
The Design of a Lightweight Portable Operating System for Tiny Networked Sensor Devices
T2004:04 Gerd Andersson, Adrian Bullock, Jarmo Laaksolahti, Stina Nylander, Fredrik Olsson, Marie Sjölinder, Annika Waern, Magnus Boman
Classifying Mobile Services
T2004:03 Emanuel Frécon
A Survey of CVE Technologies and Systems
T2004:02 Fredrik Olsson
A survey of machine learning for reference resolution in textual discourse
T2004:01 Erik Aurell, Sameh El-Ansary
A physics-style approach to scalability of distributed systems
2003
T2003:28 Tobias Hasselrot
Fair Bandwidth Allocation in Internet Access Gateways - Using Agent-based Electronic Market
T2003:27 Henrik Abrahamsson
Temporal Characteristics of Large IP Traffic Flows
T2003:26 Åsa Rudström, Kristina Höök
Designing a Mobile Social Service for a Mall: User experiences of Kista Galleria.
T2003:25 Åsa Rudström
An ethnographically inspired study of a shopping mall and mobile life within.
T2003:24 Ola Westin
TCP Performance in Wireless Mobile Multi-hop Ad Hoc Networks
T2003:23 Adam Dunkels, Juan Alonso, Thiemo Voigt
Making TCP/IP Viable for Wireless Sensor Networks
T2003:22 Juan Alonso, Adam Dunkels, Thiemo Voigt
Bounds on the Energy Consumption of Routings in Wireless Sensor Networks
T2003:21 (Report cancelled. Never published.)
T2003:20 Adam Dunkels, Thiemo Voigt, Juan Alonso, Hartmut Ritter, Jochen Schiller
Connecting Wireless Sensornets with TCP/IP Networks
T2003:19 Stina Nylander
Evaluating the Ubiquitous Interactor
T2003:18 Stina Nylander, Markus Bylund, Magnus Boman
Mobile Access to Real-Time Information
T2003:17 Stina Nylander, Markus Bylund, Annika Waern
The Ubiquitous Interactor – Mobile Services with Multiple User Interfaces
T2003:16 Stina Nylander
Different Approaches to Achieving Device Independence - an Overview.
T2003:15 Lars-åke Fredlund
Verification of smart card applet
T2003:14 Jakub Orzechowski Westholm, Adam Ameur
GENKOMB project report
T2003:13 Martin Aronsson, Jan Ekman, Per Kreuger Coordination of planning processes for traffic operators on rail networks; Annual Report 1, Swedish national railway administration (Banverket) R&D-project - SPOK
T2003:12 Malin Forsgren
Computation of capacity on railway networks
T2003:11 Jan Ekman, Per Kreuger
En analytisk metod för utredning av kapacitet vid signalprojektering
T2003:10Waldemar Kocjan
Filtering methods for generalized global cardinality constraint
T2003:09 N.V. Antonov
Scaling behavior in a stochastic self-gravitating system
T2003:08 Ian Marsh, Fengyi Li
Wide Area Measurements of Voice Over IP Quality
T2003:07 Martin Aronsson, Jan Ekman, Per Kreuger
Översikt av metoder och förutsättningar för tåglägestilldelning
T2003:06 Markus Bylund
An Empirical Evaluation of the Performance of Mobile Network Connections
T2003:05 Douglas Wikström
Elements in Z_p^*\G_q are Dangerous
T2003:04 Douglas Wikström
Four Practical Attacks for "Optimistic Mixing for Exit-Polls"
T2003:03 Petter Pettersson
Financial Derivatives for Computer Network Capacity Markets with Quality-of-Service Guarantees
T2003:02 Nicolas Beldiceanu, Mats Carlsson, and Sven Thiel
Sweep Synchronization as a Global Propagation Mechanism
T2003:01 Klintskog, Erik
A Generic Middleware for Intra-Language Transparent Distribution
2002
T2002:28 Waldemar Kocjan
Dynamic scheduling. State of the art report.
T2002:27 Per Persson and Petra Fagerberg
GeoNotes: a real-use study of a public location-aware community system.
T2002:26 Olof Hagsand, Ian Marsh and Kejll Hanson
Sicsophone: A Low-Delay Internet Telephony Tool
T2002:25 Martin Aronsson and Jan Ekman
TUFF-PO, Kravsättning av tidplaner utifrån personalplaneringsbehov
T2002:24 Douglas Wikström
How to Break, Fix, and optomise "Optomistic Mix for Exit-Polls
T2002:23 Lars Rasmusson and Erik Aurell
Simulation of a network capacity market and three middle-man strategies to price and sell dynamically routed point-to-point connections
T2002:22 Lars Rasmusson and Gabriel Paues
Network components for market-based network admission and routing
T2002:21 Douglas Wikström
An Efficient Mix-Net
T2002:20 Markus Bohlin Waldemar Kocjan and Per Kreuger
Designing Global Scheduling Constraints for Local Search: A Generic Approach
T2002:19 Andreas E. Espinoza
Conceptualizing user interaction in a multi-service environment
T2002:18 Arc-Consistency for a Chain of Lexicographic Ordering Constraints
Mats Carlsson and Nicolas Beldiceanu
T2002:17 Revisiting the Lexicographic Ordering Constraint
Mats Carlsson and Nicolas Beldiceanu
T2002: 16 Fredrik Rosenhammer
What AMANDA offers
T2002:15 Erik Aurell, Mats Carlsson, Jan Ekman and Per Kreuger
GENFUNK project report
T2002:14 Nicolas Beldiceanu, Mats Carlsson, Sven Thiel
Cost-Filtering Algorithms for the two Sides of the Sum of Weights of Distinct Values Constraint
T2002:13 Cecilia Borg
Existence, Identification and Stability of Elephant Flows in IP Traffic
T2002:12 Adam Ameur and Jakub Orzechowski Westholm
Local search methods in gene expression analysis
T2002:11 Gabriel Paues
An implementation of capacity reservation devices in IP networks
T2002:10 Magnus Ågren
Tracing and Explaining the Execution of CLP(FD) Programs in SICStus Prolog
T2002:09 Laura Feeney
An Asynchronous Power Save Protocol for Wireless Ad Hoc Networks.
T2002:08 Markus Bohlin and Lars Bruce
Redesign of the Oz Compiler
T2002:07 Markus Bohlin
Constraint Satisfaction by Local Search
T2002:06 Sameh El-Ansary, Luc Onana Alima, Per Brand and Seif Haridi
A Framework for Peer-to-Peer Lookup Services based on K-ary search
T2002:05 Juan Alonso, Henrik Abrahamsson, Bengt Ahlgren, Anders Andersson and Per Kreuger
Objective Functions for Balance in Traffic Engineering
T2002:04 Stina Nylander and Annika Waern
Interaction Acts for Device Independent Gaming
T2002:03 Anders Holst, ed.
The Dallas Project: Report from the NUTEK-supported project AIS-8: Application of Data Analysis with Learning Systems, 1999-2001
T2002:02A Stina Nylander and Marcus Bylund
Device Independent Services
T2002:01 Lars Rasmusson
Evaluating the CDF for m weighted sums of n correlated lognormal random variables
2001
T2001:22 Lars Rasmusson
Pricing Virtual Paths with Quality-of-Service Guarantees as Bundle Derivatives
T2001:21 Lars Rasmusson and Erik Aurell
A Price Dynamics in Bandwidth Markets for Point-to-point Connections
T2001:20 Adam Dunkels
Minimal TCP/IP implementation with proxy support
T2001:19 Pablo Giambiagi
Secrecy for Mobile Implementations of Security Protocols
T2001:18 Martin Aronsson and Adina Jägbeck
Förutsättningar för användning av likartade planeringsverktyg inom byggproduktion och järnsvägstrafik
T2001:17 Waldemar Kocjan
Heuristic methods for routing and scheduling
T2001:16 Lars Albertsson
An Overview of Practical Research Approaches to Real-Time System Engineering
T2001:15 Nicolas Beldiceanu and Mats Carlsson
Constructive Cardinality
T2001:14 Per Kreuger, Mats Carlsson, Thomas Sjöland and Emil Åström
Sequence dependent task extensions for trip scheduling
T2001:13 Nicolas Beldiceanu and Mats Carlsson
Sweep as a Generic Pruning Technique Applied to the Non-Overlapping Rectangles Constraint
T2001:12 Nicolas Beldiceanu,Qi Guo, Sven Thiel
Non-overlapping Constraints between Convex Polytopes
T2001:11 Nicolas Beldiceanu and Mats Carlsson
A New Multi-Resource cumulatives Constraint with Negative Heights
T2001:10 Henrik Abrahamsson and Ian Marsh
DTMsim - DTM channel simulation in ns
T2001:09 Per Persson, Jussi Karlgren, Panu Korhonen, Janet Galore, Mark Tierney, Chad Redmon, Juha Hemánus, Peter Lönnqvist, Jarmo Laaksolahti
Expressive Messaging on Mobile Platforms
T2001:08 Fredrik Espinoza, Per Persson, Anna Sandin, Hanna Nyström, Elenor Cacciatore and Markus Bylund
GeoNotes: Social and Navigational Aspects of Location-Based Information Systems
T2001:07 Markus Bylund and Annika Waern
Personal Service Environments – Openness and User Control in User-Service Interaction
T2001:06 Bylund, Markus
SView - Architecture, overview and system description
T:2001:05 Kreuger, Per
Task structure abstraction
T2001:04 Kreuger, Per and Martin Aronsson
A constraint model for a cyclic time personnel routing and scheduling problem
T2001:03 Bromée, Fredrik
Technical Pre-study for the ExMS project
T2001:02 Bullock, Adrian and Per Gustafson
The VITI program: Final Report
T2001:01 Nässén, Henrik
Optimizing the SICStus virtual machine instruction set
2000
T2000:14 Östergren, Mattias
TCP Performance in Ad Hoc Networks
T2000:13 Holmberg, Per
The use of abstractions to solve large scheduling problems
T2000:12 Never published.
T2000:11A Beldiceanu, Nicolas
Pruning for the cardinality-path constraint family, revised Aug. 2001
T2000:10 Beldiceanu, Nicolas
Pruning for the minimum constraint family and for the number of distinct values constraint family
T2000:09 Marsh, Ian
Dimensioning links for IP Telephony
T2000:08 Beldiceanu, Nicolas
Sweep as a generic pruning technique
T2000:07 Kreuger, Per
ACOOR Rapport 2, Översikt av tekniker och metoder
T2000:06 Aronsson, Martin
ACOOR Rapport 1, TUFF: sytemöversikt och arkitektur
T2000:05 Scholtz, Volker
Knowledge-based locomotive planning for the Swedish Railway. (Jan. 1998)
T2000:04 Karlgren, Jussi and Kristofer Franzén
Verbosity and interface design.
T2000:03 Andersson, Anders
Capacity study of statistical multiplexing for IP telephony.
T2000:02 Never published.
T2000:01 Beldiceanu, Nicolas
Global constraints as graphic properties on structured network of elementary constraints of the same type.
1999
T99:10 Zandieh, Majid
Evaluation of an LC-trie algorithm for IP address lookups.
T99:09 Gambäck, Björn
Human language technology: the Babel fish. December 1999.
T99:08 Arnborg, Stefan
A survey of Bayesian data mining - Part I: Discrete and semi discrete data matrices. February 1999.
T99:07 Feeney, Laura Marie
A taxonomy for routing protocols in mobile ad hoc networks. October 1999. Pages: 20.
T99:06 Saxin Hammarström, Kent
Intermodality MUD interfaces, and users with disablements
T99:05 Abrahamsson, Henrik
Traffic measurements and analysis. September 1999.
T99:04 Carlsson, Mats and Greger Ottosson
A comparison of CP, IP and hybrids for configuration problems. April 1999. Pages: 14.
T99:03 Olsson, Fredrik
Tagging and morphological processing in the SVENSK system. March 1998. Pages: 104.
T99:02 Hulth, Anette and Anna Jonsson
An experimental digital library platform: a demonstrator prototype for the DigLib project at SICS. January 1999.
T99:01 Eskilson, Jesper
SICStus MT: a multithreaded execution environment for SICStus Prolog. January 1999.
1998
T98:04 Waern, Annika, Mark Tierney, Åsa Rudström, Jarmo Laaksolahti
ConCall: An information service for researchers based on Edinfo. October 1998.
T98:03 Gurov, Dilian and Bruce Kapron
mu-calculus, proof search, termination, completeness. May 1998.
T98:02 Kristina Höök, Alan Munro, David Benyon, eds.
Workshop on personalized and social navigation in information space. March, 1998. Pages: 178.
T98:01 Nils Dahlbäck, ed.
Exploring Navigation: Towards a Framework for Design and Evaluation of Navigation in Electronic Spaces. March 1998. Pages: 210
1997
T97:04 Fredholm, Daniel.
Using Formal Methods: A practical comparsion between Z/EVES and PVS. Dec. 1997
T97:03 Hansen, Preben
An Exploratory Study of IR Interaction for User Interface Design. November 1997
T97:02 Magnusson, Peter and Johan Montelius.
Performance Debugging and Tuning using an Instruction-Set Simulator. June 1997
T97:01 Larsson, Fredrik
Generating Efficient Simulators from a Specification Language. 1997
1996
T96:03 Adler, Daniel
Virtual audio:Three-dimensional audio in virtual environments. June 1996.
T96:02 Franzén, Torkel
A theorem-proving approach to deciding properties of finite-control agents: Extended abstract. June 1996.
T96:01 Simsarian, Kristian, Thomas J. Olson and N. Nandhakumar
View-Invariant Regions and Mobile Robot Self-Localization. March 1996.
1995
T95:01 Wærn, Annika and Ola Stenberg
A Simplistic Approach to Keyhole Plan Recognition. January 1995.
1994
T94:01 Karlgren, Jussi
Mumbling - User-Driven Cooperative Interaction. Jan 21, 1994
T94:02 Not published.
T94:03 Vivas, José-Luis
Design of Telephony Services in Lotos. November 1993
T94:04 Karlgren, Jussi
Newsgruop Based On User Behavior - A recommendation Algebra. April 1994
T94:05 Lemaire, Benoit, Catriona MacDermid and Annika Waern.
Adaptive Help by Navigation and Explanation. April 1994.
T94:06 Not published.
T94:07 Not published.
T94:08 Nilsson, Robert and Kent Saxin Hammarström
V: A visual Query Language for Multimodal Interface. June 1994
T94:09 Karlgren, Jussi, Kristina Höök, Ann Lantz, Jacob Palme, Daniel Pargman.
The glass box user model for filtering. July 1994.
T94:10 Lindberg, Nikolaj and Lena Santamaria
When SUC met CLE. Parsing tagged unrestricted text in the Swedish Core Language Engine. November 1994.
1993
T93:01A No longer distributed.
T93:02A No longer distributed.
T93:03 Palmersjö, Roger
Intertool : Ett grafiskt gränssnitt mot verifikationsverktyg. May 1993 (In Swedish, with appendixes in English)
T93:04B Nordström, Magnus and Paul Pettersson
A tool for rapid manual translation. February 1994 (Revised version of T93:04)
T93:05 Magnusson, Peter
Partial Translation. October 1993.
1992
T92:01 Sjöland, Thomas :
Objectorientering i SICStus Prolog. Jan. 1992. (In Swedish)
T92:02 Ahlgren, Bengt and Mats Björkman. :
Multimedia Transport Service and Protocol Issues. Feb. 1992
T92:03 Höök, Kristina, Annika Wærn and Helen Palin. :
Possible Extensions to the Byrd Box Tracer Aimed at Experts. April 1992.
T92:04 Ernberg, Patrik, Thomas Hovander and Francisco Monfort. :
Specification and Implementation of an ISDN Telephone System Using LOTOS. April 1992.
T92:05 Ståhl, Olov :
MDraw - A Tool for Cooperative Work in the MultiG Telepresence Environment. May 1992.
T92:06 Lundin, Kemt and Per Gunningberg.
On porting VMTP to the x-kernal. June 1992
T92:07 Gunningberg, Per, Mats Björkman and Lotten Elmstedt.
The DTM Packet Service and Protocol. May 1992.
T92:08 Gunningberg, Per.
TUTORIAL : Alternatives in efficient protocol implementations for high speed networks. June 1992.
T92:09 Kreuger, Per
Applications of Partial Inductive Definitions. Conclusions from some projects run at SICS KBS- lab 1986-1992. April 1992
T92:10 Martin Eineborg
Learning Swedish Morphology with a Neural Network. Sept. 1992.
1991
T91:01 Nöu, Fredrik :
Extending The Interactive Space-Time Schedular with support For Hierarchical Scheduling. Januari, 1991.
T91:02 Waern, Annika :
Presenting Route Guidance Information : Some thoughts about interface design. Feb, 1991.
T91:10 Hagner, Nils and Olsson, Ingvar :
Aspects and Experiences of MIS and SICStus Prolog. Aug. 1991.
T91:11 No longer distributed.
T91:12 No longer distributed.
T91:13 Boortz, Kent.
SICStus maskinkodskompilering. 15 Aug. 1991.
T91:14 Boortz, Kent.
Länkning av Prolog under C. 1 Sept. 1991.
T91:15 Carlsson, Mats.
The SICStus Emulator. 2 Sept. 1991.
T91:16 Hagner, Nils and Tunevi,Anders.
Implementing Case-Based reasoning in SICStus Prolog. 25 Nov. 1990.
T91:17 Nilsson, Hans.
A Set of Predicates for Fast Reading and Writing in SICStus. Sept. 1991.
T91:18 Brown, Carl, Gustavsson, Rune, Höök, Kristina, Lindewall, Per and Wærn, Annika.
Final Report on Interactive Route Guidence 1988-1991. July, 1991.
T91:19 Dahlberg, Monica.
Efficient Algorithms for Computing Transitive Closure in CWB : Implementation and Comparison of SeveralVariations. 23 Sept., 1991.
T91:20 Alshawi, Hhiyan, Carter, David, Gambäck, Björn, Pulman, Steve and Rayner, Manny.
Transfer Through Quasi Logical Form - A New Approach to Machine Translation. Nov. 1991.
T91:21A Aronsson, M. :
The GCLA User's Manual, Feb. 1994. (Revised version of T89012 and T91:21)
1990
T90001 Gäredal, Anette et al. :
Knowledge Acquisition Procedures for Diagnosis of Performance Problems, 1990.
T90002 Ernberg, Patrik and Fredlund, Lars-åke :
Identifying some Bottlenecks of the Concurrency Workbench, 1990.
T90003 Svensson, Claes and Jan Sundberg :
MuseTrace : A Graphic tracer for Or-parallel Prolog. 1990.
T90004 Ahlgren, Bengt, Lindgren, Per and Sirotkin, Teet :
State of the Art in Network Security. March 1990.
T90005 Fredlund, Lars-Åke :
Implementing a Translational Semantics for an Imperative Language. Sept. 1990.
T90006 Ernberg, Patrik, Fredlund, Lars-Åke and Jonsson, Bengt. :
Specifikation and Validation of a Simple Overtaking Protocol using LOTOS. Oct. 1990.
T90007 Avatare, Anneli :
A Graphical SDL Editor Produced by the Meta-Tool LOGGIE. Nov, 1990.
1989
T89001 Gullestad, Y.
ALPHA: Implementation of a Subset of PHIGS, 1988
T89002 Lee, C-H. :
Implementering av CCS med värdeöverföring, 1988 (in Swedish)
T89003 Eriksson, M. :
Inlärning av strukturer i konceptuella scheman från databaser, 1989 (in Swedish)
T89004 Aronsson, M. :
The Instruction Set for the GCLA Abstract Machine, 1989.
T89005 Bogeby, H. and H. Vuorela :
Implementation of Basic Graphical Support System, 1989
T89006 Kreuger, P. :
Två system för default-resonemang, En studie av Kurt Konoliges artikel: On the Relation between Default and Autoepistemic Logic, 1989 . (in Swedish)
T89007 Benzinger, M. and A. Nordström :
Design of Structure Presentation Layer Editors in LOGGIE, 1989.
T89008 Tunevi, A. :
A Learning System for Fault Finding, 1989.
T89009 Tunevi, A. :
Knowledge Structures, Strategies and Learning Processes in Fault Finding, 1989.
T89010 Khan, A. H. :
Implementation of a Verification Method to Communication Protocols, 1989.
T89011 Nordmark, E. :
SICS Protocol Implementation Measurement System: User Manual, 1989.
T89012 No longer distributed. Replaced by new version, T91:21A.
T89013 Ahlgren, B., P. Lindgren and T. Sirotkin :
SPION: Secure Protocols in OSI Networks, 1989.
T89014 Andersson, J. and P. Andersson :
On the Usage of Knowledge Based Techniques in Configuring Computer Systems: A Case Study, 1989.
T89015 Bång, A. and P. Lindberger :
Developing a Natural Language Interface and Connecting it to a First Order Logic Theorem Prover, 1989.
T89016 Kreuger, Per :
EWAM: An Extension of WAM to execute Functional Programs, 1989.
Series ended in 1997. SICS Research Reports series collapsed into the SICS Technical Reports series.
1997
R97:04 Kristoferson, Jan
Some Results on Activation and Scaling of Sparse Distributed Memory. October 22, 1997
R97:03 Larsson, Fredrik, Peter Magnusson, Bengt Werner.
SimGen: Development of Efficient Instruction Set Simulators. November, 1997
R97:02 Löfwall, Claes and Gunnar Sjödin.
Informal and formal Constructive Mathematics. July, 1997
R97:01 Dam, Mads and Lars-åke Fredlund.
On the Verification of Open Distributed Systems. October, 1997
1996
R96:06 Gunnar Karlsson
An ATM Adaptation Layer for Reliable Transfers
R96:05 Abstracts .Mads Dam and Fredrik Orava, eds.
Analysis and Verification of Multiple-Agent Languages; Fifth LOMAPS Workshop: Abstracts
R96:04 Roland Karlsson.
Compensating for Bias in the SDM Fast Activation Mechanism.
R96:03 Amadio, Roberto M, and Mas Dam
Toward a modal theory of types for the π-calculus. April 1996
R96:02 Pohja, Seppo
Survey of Studies on Tactile Senses. March 1996
R96:01 Höök, Kristina , Marie Sjölinder and Nils Dahlbäck
Individual Differences and Navigation in Hypermedia. February 1996
1995
R95:01 Fredlund, Lars-Åke, Jan Frisco Groote and Henri Korver.
Formal Verification of a Leader Election Protocol in Process Algebra. February 1995.
R95:02 Karlsson, Gunnar
Capacity Reservation in ATM Networks. March 1995.
R95:03 Bretan, Ivan
Natural Language in Model World Interfaces. June 1995
R95:04 Eriksson, Lars-Henrik and Orava, Fredrik
Formal Specification and Validation of a Cache-Coherence Protocol. August, 1995
R95:05 Andersson, Anders
SAGA. Syntax Analyzer Generator for Agents. October, 1995
R95:06 Schön, Erik
On the Computation of Fixpoints in Static Program Analysis with an Application to AKL. 1995
R95:07 Lisper, Björn
Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations. September 1995
R95:08 Höök, Kristina
Adaption to the User's Task. November 1995
R95:09 Kristoferson, Jan
Best Probability of Activation and Performance Comparisons for several Design of Sparse Distributed Memory. Nov. 1995
R95:10 Karlsson, Roland
Evaluation of a Fast Activation Mechanism for the Kanerva SDM Memory. December 1995
R95:11 Kristoferson, Jan
Some Comments on the Information Stored in Sparse Distributed Memory. December 1995
R95:12 Sjödin, Gunnar
Improving the Capacity of SDM. December 1995
R95:13 Sjödin, Gunnar
Convergence and new operations in SDM. December 1995
R95:14 Karlsson, Gunnar
Asynchronous Transfer of Video. December 1995
1994
R94:01 Dam, Mads
Model Checking Mobile Processes. Jan 1994.
R94:02 Lisper, Björn
Unfolding of Programs with Nondeterminism. February 1994
R94:03 Agnäs, M-S et al.
Spoken Language Translators: First-Year Report. January 1994.
R94:04 Bretan, Ivan and Jussi Karlgren
Synergy Effects in Natural Language-Based Multimodal Interaction. February 1994.
R94:05 Eineborg, Martin and Björn Gambäck
Neural Networks for Wordform Recognition. February 1994.
R94:06 Orava, Fredrik
Specifying and Analysing Resource Management in DTM Protocols. April 1994.
R94:07 Magnusson, Peter, Anders Landin and Eric Hagersten
Efficient Software Synchronization on Large Cache Coherent Multiprocessors. Mars 1994
R94:08 Hirshfeld, Yoram, Mark Jerrum and Faron Moller
A polynomial algorithm for deciding bisimilarity of normed context-free processes. April 1994
R94:09 Hirshfeld, Yoram, Mark Jerrum and Faron Moller
A polynomial-time algorithm for deciding bisimilation equivalence of normed Basic Parallel Processes, April 1994.
R94:10 Franzén, Torkel
Some Formal Aspects of AKL, May 1994
R94:11 Wærn, Annika
Plan Recognition for a Purpose, April 1994.
R94:12 Brown, Charles Grant and Annika Wærn
Action-Tracking in DIVE. June 1994.
R94:13b Sjöland, Thomas and Dan Sahlin
Fxipoint Analysis of Type and Alias in AKL Programs. January, 1995 (Revised version of R94:13)
R94:14 Karlgren, Jussi, Kristina Höök, Ann Lantz, Jacob Palme and Daniel Pargman.
The glass box user model for filtering.July 1994
R94:15 Saulsbury, Ashley, Tim Wilkinson, John Carter, Anders Landin and Seif Haridi.
An Argument for Simple COMA
R94:16 Magnusson, Peter and Bengt Werner
Some Efficient Techniques for Simulating Memory. September 1994
R94:17 Magnusson, Peter and David Samuelsson
A Compact Intermediate Format for SIMICS. September 1994.
R94:19 Dam, Mads
On Adaptable Support for Cooperative Work. 1994
R94:20 Dam, Mads
On the Decidability of Process Equivalences for the -calculus. Nov. 1994
R94:21 Not available
R94:22 Wærn, Annika and Peter Holm
Human Factors Engineering in Common-KADS. December 1994.
R94:23 Samuelsson, David
System Level Interpretation of the SPARC V8 Instruction Set Architecture. August 1994
R94:24 Hagsand, Olof
Real-Time Support for Digital Audio and Video. 1994
1993
R93:01 Falkman, Göran and Jonas Warnby.
Technical Diagnosis of Telecommunication Equipment. An Implementation of a Task Specific Problem Solvong Method (TDFL) using GCLA II. January 1993.
R93:02 Aronsson, Martin.
Implementational Issues in GCLA: A-Sufficiency and the Definiens Operation. 26 February, 1993
R93:03 Aronsson, Martin.
Planning the Construction of a Building, 14 June, 1993
R93:04 Parrow, Joachim and Davide Sangiorgi
Algebraic Theories for Name-Parsing Calculi. April 1993
R93:06 Parrow, Joachim
Interaction Diagrams. November, 1993
1992
R92:01 Ahlgren, Bengt et. al.
A Host Interface to the DTM Network. Dec 5, 1992
R92:02 Iraggi, Gandolfo :
Using Performance Petri Nets Modelling and Analusis of Communication Protocol Implementation. Feb. 1992.
R92:03 Karlsson, Roland :
How Build your own OR-parallel Prolog System. March 1992.
R92:04 Karlsson, Roland and Khayri A. M. Ali. :
The Engine-Scheduler Interface used in the Muse OR-parallel Prolog System. March 1992.
R92:05 Aronsson, Martin :
Metholdology and Programming Techniques in GCLA II. March 1992.
R92:06 Hagsand, Olof :
A Framework for Generating Language-Oriented Environments for Visual Programming Languages. March 1992
R92:07 Mohammed Ali, Khayri, Roland Karlsson and Shyam Mudambi. :
Performance of Muse on Switch-Based Multiprocessor Machines. March 1992.
R92:08 Lars-Henrik Eriksson :
A Finitary Version of the Calculus of Partial Inductive Definitions. March 1992.
R92:09 Per Kreuger
GCLA II. A Definitional Approach to Control. May 1992.
R92:10 Sjöland, Thomas
Using SICStus Objects in the Design of Graphical User Interfaces. August 1992.
R92:11 Wærn, Annika
Weighted Abduction for Reactive Diagnosis. December, 1992
R92:12 Gambäck, Björn
Lexical Acquisition: the Swedish VEX System. December, 1992
R92:13 Gambäck, Björn and Manny Rayner
The Swedish Core Language Engine. December, 1992
R92:14 Gambäck, Björn and Stefan Ljung
Question Answering in the Swedish Core Language Engine. Dec., 1992
1991
R91001 Samuelsson, Christer and Rayner, Manny :
Developing an EBL Bypass for a Large-Scale Natural Language Query Interface to Relational Data Bases. Jan. 1991.
R91:02 Orava, Fredrik and Parrow, Joachim :
An Algebraic Verification of a Mobile Network. January , 1991
R91:03 Milner, Robin, Parrow, Joachim and Walker, David. :
Modal Logics for Mobile Processes. January. 1991.
R91:04 Bengt Jonsson
A Hierarchy of Compositional Models of I/O.Automata. February, 1991.
R91:05 Jonsson, Bengt and Guldstrand Larsen, Kim. :
On the Complexity of Equation Solving in Process Algebra. Feb. 1991.
R91:06 Höök, Kristina and Karlgren, Jussi. :
Some Principles for Route Descriptions Derived from Human Advisers. March. 1991.
R91:07 Sahlin, Dan and Carlsson, Mats. :
Variable Shunting for the WAM. March, 1991.
R91:08 Janson, Sverker and Haridi, Seif :
Programming Paradigms of the Andorra Kernel Language. April , 1991.
R91:09 Löfwall, Clas and Sjödin, Gunnar. :
Strong normalizability in Martin-Löf's Type Theory. May 15, 1991.
R91:10 Aronsson, Martin. :
A Definitional Approach to the Combination of Functional and Relational Programming. June 6, 1991.
R91:11 Alshawi, Hiyan, Brown, Carl, Carter, David, Gambäck, Björn,Pulman, Steve and Rayner, Manny.
Billingual Conversation Interpreter : A Prototype Interactive Message Translator. Final Report. June, 1991.
R91:12 Franzén, Torkel :
Logical Aspects of the Andorra Kernal Language. October 1991.
R91:13 Nilsson, Hans :
The External Storage Facility in SICstus Prolog. 23 August, 1991
R91:14 Partridge, Craig and Pink, Stephen
An Implementation of the Revised Internet Stream Protocol (ST-2). Dec. 4, 1991.
R91:15 Lisper, Björn :
Formal Derivation of Concurrent Assignments from Scheduled Single Assignments. October 17, 1991
R91:16 Cleaveland, Rance, Parrow, Joachim and Steffen, Bernhard.
The Concurrency Workbench: A Semantics Based Tool for the Verification of Concurrent Systems. Oct. 21,1991
R91:17 Hagersten, Erik, Andersson, Pär, Landin, Anders and Haridi, Seif.
A Performance Study of the DDM - a Cache-Only Memory Architecture. Nov. 15, 1991.
R91:18 Ghemri, Lila
A Framework for Diagnosis and Remedial Feedback. Nov. 1991.
R91:19 Hagersten, Erik, Landin, Anders and Haridi, Seif.
DDM - A Cache-Only Memory Architecture. Dec. 4, 1991. (Revised version of R90017B)
1990
R90001 Mathieu, P. and Keisu, T. :
On Constraint Programming, 1990
R90002 Haridi, S. and Janson, S. :
Kernel Andorra Prolog and its Computational Model, 1990.
R90003 Carlsson, Mats. :
On the Efficiency of Optimising Shallow Backtracking in Prolog, 1990.
R90004 Mathieu, P. and Keisu, T. :
Relating Attribute Grammars and a Constraints-Prolog Programming Environment , 1990.
R90005 Carlsson, M. and Szeredi, Péter. :
The Aurora Abstract Machine and its Emulator, 1990.
R90006 Carlsson, M. :
A Prolog Compiler and its extension for OR-Parallelism, 1990.
R90009 Khayri A.M. Ali and Karlsson, Roland. :
The Muse Approach to OR-Parallel Prolog. Oct. 1990.
R90010 Jonsson, Bengt. :
Compositianal Specification and Verification of Distributed Systems. October. 1990.
R90011 Gambäck, Björn and Rayner, Manny :
Contract Bridge as a Micro-world for Reasoning about Communication Agents. May, 1991.
R90012 Jonsson, Bengt :
A Fully Abstract Trace Model for Dataflow and Asynchronous Networks. Oct. 1990.
R90013 Hansson, Hans and Jonsson, Bengt. :
A Logic for Reasoning about Time and Reabiblity. Nov. 1990.
R90014 Sjödin, Peter :
Implementing LOTOS as Asynchronously Communication Processes. Nov. 1990.
R90015 Parrow, Joachim :
Structural and Behavioural Equivalences of Networks. Dec. 1990.
R90016 Parrow, Joachim :
The Expressiv Power of Parallelism. Dec. 1990.
R90017B Hagersten, Erik, Landin, Anders and Haridi, Seif.
Moving The Shared Memory Closer to the Processors - DDM. Dec.1991.
1989
R89001 Sahlin, D., T. Franzén and S. Haridi,
An Intuitionistic Predicate Logic Theorem Prover, 1989.
R89002 Aronsson, M. :
GAM: An Abstract Machine for GCLA, 1989.
R89003 No longer published.
R89004 Hagersten, E. and S. Haridi :
The Cache Coherence Protocol of the Data Diffusion Machine, 1989.
R89005B Aronsson, M., L-H. Eriksson, A. Gäredal, L. Hallnäs and P. Olin :
The Programming Language GCLA: A Definitional Approach to Logic Programming, 1989.
R89006 Franzén, T. :
Algorithmic Aspects of Intuitionistic Propositional Logic II, 1989.
R89007 Lusk, E., D.H.D. Warren, S. Haridi, et al. :
The Aurora Or-Parallel Prolog System, 1989.
R89008 Jonsson, B. and J. Parrow :
Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs, 1989.
R89009 Aronsson, M. :
STRIPS-Like Planning Using GCLA, 1989.
R89010 Lisper, B. :
Computing Transitive Closure on Systolic Arrays of Fixed Size, 1989.
R89011 Backlund, B., O. Hagsand and B. Pehrson :
Generation of Graphic Language-Oriented Design Environments, 1989.
R89012 Kreuger, P. :
A Version of Huet's Algorithm for Higher-Order Unification. 1989.
R89013 Rayner, M. :
On the applicability of Non-Monotonic Logic to Formal Reasoning in Continious Time, 1989.
R89014 Rayner, M. :
Applying Explanation-Based Learning to Natural-Language Processing (part 1), 1989.
R89015 Rayner, M. and Samuelsson ,C. :
Applying Explanation-Based Learning to Natural Language Processing (part 2), 1989.
R89016 Rayner, M. and Janson, S. :
Finding out = Achieving Decidability, 1989.
R89017 Backlund, B., Bolognesi, T., Hagsand, O., Latella, D. and Pehrson, B.
A Graphical G-LOTOS Editor Defined by the Meta-Tool LOGGIE, 1989.
1988
R88001 Rayner, M., Å. Hugosson and G. Hagert :
Using a Logic Grammar to Learn a Lexicon. 1988
R88002 Franzén, T. :
Logic Programming and the Intuitionistic Sequent Calculus. 1988.
R88003 Raner, M. and Å. Hugosson :
Reasoning about Procedural Programs in Chess Ending. 1988
R88004 Waern, A. :
An Implementation Technique for the Abstract Interpretation of Prolog, 1988.
R88005 No longer distributed
R88006 Nordmark, E. and P. Gunningberg, :
SPIMS: A tool for protocol implementation performance measurements, 1988
R88007 No longer distributed.
R88008 Kreuger, P. :
A Higher Order Logic Parser for Natural Language Implemented in Lambda Prolog, 1988.
R88009 Rayner, M. :
On the applicability of default logic: two short papers, 1988.
R88010 Khayri A. M. Ali :
OR Parallel Execution of Horn Clause Programs Based on WAM and Shared Control Information, 1986.
R88011B Khayri A. M. Ali :
OR-Parallel Execution of Prolog on BC-Machine, 1988. (Revised May 1988)
R88012 Pehrson, B. :
Tutorial on Verification of Protocols, 1988.
R88013 Eriksson, L-H. and L. Hallnäs :
A Programming Calculus Based on Partial Inductive Definitions. 1988.
R88014 No longer distributed.
R88015 Kreuger, P. :
An Approach to Handling Polymorphic Types in Higher Order Unification, 1988.
R88016 Jonsson, B. :
A Fully Abstract Trace Model for Dataflow Networks, 1988
R88017 Khayri A. M. Ali and M. Wong. :
An Investigation of an OR Parallel Execution Model for Horn Clause Programs, 1988.
R88018 Rayner, M. and A. Banks :
An Implementable Semantics for Comparative Constructions, 1988
R88019 Hörmander, S. :
The Problems of Learning a Lexicon with a Formal Grammar, 1988. Verifying Safety and Deadlock Properties of Networks of Asynchronously Communicating Processes, 1988.
1987
R87001 Khayri A. M. Ali, :
A Method for Implementing Cut in Parallel Execution of Prolog,. 1987
R87002 Ryner, M. and S. Janson, :
Epistemic Reasoning, Logic Programming, and the Interpretation of Questions. 1987.
R87003 Gunningberg, P. :
Innovative Communication Processors: A Survey. 1987.
R87004 No longer distributed.
R87005 Khayri A. M. Ali and S. Haridi :
Global Garbage Collection for Distributed Heap Storage Systems. 1987
R87006 Hausman, B. ,A. Ciepielewski and S. Haridi :
OR-parallel Prolog Made Efficient on Shared Memory Multiprocessors. 1987
R87007 Holmgren, F. and A. Wærn :
A Scheme for Compiling GHC to Prolog Using Freeze. 1987.
R87008 Sahlin, D. :
Making Garbage Collection Independent of the Amount of Garbage. 1987
R87009 Sjödin, P. :
Optimizing Protocol Implementations for Performance - A Case Study. 1987.
R87010B Franzén, T. :
Algorithmic Aspects of Intuitionistic Propositional Logic. 1988.
R87011 Mathieu, P. :
Towards the Realization of the Database Designer's Apprentice. Part 1: General Introduction. 1987.
1986
R86001 Yoeli, M. and B. Pehrson
Behavior-Preserving Reductions of Communicating System Nets. 1986
R86002 Hausman, B.
A Simulator of the OR-Parallel Token Machine. 1986
R86003 Ciepielewski, A. and B. Hausman
Performance Evaluation of a Storage Model for OR-Parallel Execution of Logic Programs, 1986
R86004 Karjoth, G., P. Sjödin and S. Weckner
A Sophisticated Environment for Protocol Simulation and Testing. 1987.
R86005C Hallnäs, L.
Partial Inductive Definitions. 1988
R86006B Khayri A. M. Ali
OR-Parallel Execution of Prolog on a Multi-Sequential Machine.1986
R86007 Wærn, A.
Process Models of Logic Programs: a Comparison. 1987
R86008 Mathieu, P.
On the Learning of Functional Dependencies in Deductive Databases. 1986
R86009B Appleby, K., M. Carlsson, S. Haridi and D. Sahlin.
Garbage Collection for Prolog Based on WAM. 1988
R86010 No longer distributed.
R86011B Carlsson, M.
Freeze, Indexing, and Other Implementation Issues in the WAM . 1990.
R86012 No longer distributed.
R86013 Elshiewy, N.
Time, Clocks and Committed Choice Parallelism for Logic Programming of Real Time Computations. 1987
