Index of online reports from SICS

SICS, Box 1263, SE-164 29 Kista, SWEDEN

This is an index listing of Technical and Research reports from SICS.

Listing with abstracts

Technical Reports

T2009-10 Proceedings of the workshop on extracting and using constructions in NLP (abstract, PDF)
Magnus Sahlgren, Ola Knutsson
T2009-08 A Literature Survey of Methods for Analysis of Subjective Language (abstract, PDF)
Oscar Täckström
T2009-07 An initial approach to distributed adaptive fault-handling in networked systems (abstract, PDF)
Rebecca Steinert, Daniel Gillblad
T2009-06 A literature survey of active machine learning in the context of natural language processing (abstract, PDF)
Fredrik Olsson
T2009-05 Gathering design requirements for a microcommunity – the case of preschool parents and teachers (abstract, PostScript, PDF)
Stina Nylander, Bo Karlson
T2009-04 Tågtrafikplanering med successiv tilldelning (abstract, PDF)
Malin Forsgren, Martin Aronsson, Per Kreuger
T2009-02 Compiling Business Rules in a Geometric Constraint over $k$-Dimensional Objects and Shapes (abstract, PostScript, PDF)
Nicolas Beldiceanu, Mats Carlsson, Julien Martin
T2009-01 Six Ways of Integrating Symmetries within Non-Overlapping Constraints (abstract, PostScript, PDF)
Magnus Ågren, Nicolas Beldiceanu, Mats Carlsson, Mohamed Sbihi, Charlotte Truchet, Stéphane Zampelli
T2008-15 Strategies for exchanging information in Preschool (abstract, PostScript, PDF)
Stina Nylander
T2008-13 Design and Implementation of the Node Identity Internetworking Architecture (abstract, PDF)
Simon Schütz , Henrik Abrahamsson, Bengt Ahlgren , Marcus Brunner
T2008-12 Interactive Visual Analysis of Networked Systems: Workflows for Two Industrial Domains (abstract, PDF)
Fredrik Holmgren, Sverker Janson
T2008-11 Capturing TV user behaviour in fictional character descriptions (abstract, PDF)
Maria Sjölinder, Åsa Rudström
T2008-10 Context Dependent Revocation in Delegated XACML (abstract, PostScript, PDF)
Ludwig Seitz, Erik Rissanen
T2008-09 Clustering and scheduling maintenance tasks over time (abstract, PDF)
Per Kreuger
T2008-08 Effect Inference for Deterministic Parallelism (abstract, PostScript, PDF)
Karl-Filip Faxén
T2008-07 Modular Cloning (abstract, PostScript, PDF)
Karl-Filip Faxén
T2008-06 NETCONF access control profile for XACML (abstract, PostScript, PDF)
Ludwig Seitz, Erik Rissanen
T2008-05 Approaching the Maximum 802.15.4 Multi-hop Throughput (abstract, PostScript, PDF)
Fredrik Österlind, Adam Dunkels
T2008-04 A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules (abstract, PostScript, PDF)
Mats Carlsson, Nicolas Beldiceanu, Julien Martin
T2008-02 Utvärdering av simulerat dynamiskt underhåll för spårbundna fordon (abstract, PostScript, PDF)
Markus Bohlin, Malin Forsgren
T2008-01 Incremental Stream Clustering and Anomaly Detection (abstract, PostScript, PDF)
Jan Ekman, Anders Holst
T2007-14 Implementation and Evaluation of the Sensornet Protocol for Contiki (abstract, PostScript, PDF)
Zhitao He
T2007-13 Using Data Compression for Energy-Efficient Reprogramming of Wireless Sensor Networks (abstract, PostScript, PDF)
Nicolas Tsiftes
T2007-12 ForestCast: A Central Solution to Heuristically Constructing Trees (abstract, PostScript, PDF)
Ali Ghodsi, Seif Haridi
T2007-11 The FetchProt Corpus ­ Documentation and Annotation Guidelines (abstract, PDF)
Kristofer Franzén, Daniel Oppenheimer
T2007-10 GODS: Global Observatory for Distributed Systems (abstract, PostScript, PDF)
Cosmin Arad, Ozair Kafray, Ali Ghodsi, Seif Haridi
T2007-09 Experiences from two sensor network deployments - self-configuration a key to success (abstract, PostScript, PDF)
Niclas Finne, Joakim Eriksson, Adam Dunkels, Thiemo Voigt
T2007-08 A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects (abstract, PostScript, PDF)
Nicolas Beldiceanu, Emmanuel Poder, Rida Sadek, Mats Carlsson, Charlotte Truchet
T2007-07 Human Grid - En förstudie (abstract, PDF)
Magnus Boman, Fredrik Espinoza, Kristofer Franzén , Preben Hansen, Markus Bylund, Martin Svensson
T2007-06 Proceedings of the Workshop Semantic Content Acquisition and Representation (SCAR) 2007 (abstract, PDF)
Magnus Sahlgren, Ola Knutsson
T2007-05 Atomic Ring Maintenance for Distributed Hash Tables (abstract, PostScript, PDF)
Ali Ghodsi, Seif Haridi
T2007-04 Integrating Building Automation Systems and Wireless Sensor Networks (abstract, PostScript, PDF)
Fredrik Österlind, Erik Pramsten, Daniel Roberthson, Joakim Eriksson, Niclas Finne, Thiemo Voigt
T2007-03 Mixed integer-linear formulations of cumulative scheduling constraints - A comparative study (abstract, PDF)
Martin Aronsson, Markus Bohlin, Per Kreuger
T2007-02 Entropy Injection (abstract, PostScript, PDF)
Lars Albertsson
T2007-01 Comparing Maintenance Strategies for Overlays (abstract, PostScript, PDF)
Supriya Krishnamurthy, Sameh El-Ansary, Erik Aurell, Seif Haridi
T2006-19 Towards Design Guidelines for Multi-Device Services (abstract, PostScript, PDF)
Stina Nylander
T2006-18 Real-Life Use of Multi-Device Services (abstract, PostScript, PDF)
Stina Nylander
T2006-17 Fault-tolerant incremental diagnosis with limited historical data (abstract, PostScript, PDF)
Daniel Gillblad, Anders Holst, Rebecca Steinert
T2006-16 Trust in Micro Service Environments (abstract, PostScript, PDF)
Magnus Boman, Jarmo Laaksolahti, Fredrik Espinoza, Rickard Cöster
T2006-15 A Low-Overhead Script Language for Tiny Networked Embedded Systems (abstract, PDF)
Adam Dunkels
T2006-14 Holistic debugging (abstract, PostScript, PDF)
Lars Albertsson
T2006-13 Towards "Propagation = Logic + Control" (abstract, PostScript, PDF)
Sebastian Brand, Roland H.C. Yap
T2006-12 Maintaining Generalized Arc Consistency on Ad-hoc n-ary Boolean Constraints (abstract, PostScript, PDF)
Kenil C. K. Cheng, Roland H. C. Yap
T2006-11 Visualization for Analyzing Trajectory-Based Metaheuristic Search Algorithms (abstract, PostScript, PDF)
Steven Halim, Roland H.C. Yap, Hoong Chuin Lau
T2006-10 Graph Properties Based Filtering (abstract, PostScript, PDF)
Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit
T2006-09 MyriadStore: Technical Report (abstract, PostScript, PDF)
Birgir Stefansson , Antonios Thodis, Ali Ghodsi, Seif Haridi
T2006-08 Ansatser för flexibel planering och schemaläggning av tågtidtabeller (abstract, PostScript, PDF)
Markus Bohlin, Per Kreuger, Martin Aronsson, Malin Forsgren
T2006-07 Slutrapport för projektet TUFF, TågplaneUtveckling För Framtiden (abstract, PostScript, PDF)
Martin Aronsson
T2006-06 Opportunistic relay protocol for IEEE 802.11 WLANs (abstract, PostScript, PDF)
Bilge Cetin
T2006-05 A Sensor Network Simulator for the Contiki OS (abstract, PostScript, PDF)
Fredrik Österlind
T2006-04 Avvikelsedetektion i signaler från Regina (abstract, PostScript, PDF)
Anders Holst, Jan Ekman, Stefan Larsen
T2006-03 TIME - en gemensam informationsutbytesplattform för järnvägstransportbranschen (abstract, PostScript, PDF)
Jan Ekman, Anders Holst, Martin Aronsson, Markus Bohlin, Malin Forsgren, Stefan Larsen
T2006-02 Leveranstågplan: specifikation och åtagande (abstract, PostScript, PDF)
Per Kreuger, Martin Aronsson, Markus Bohlin
T2006-01 Delay Tolerant Networking for Sensor Networks (abstract, PostScript, PDF)
Max Loubser
T2005-16 A Self-stabilizing Network Size Estimation Gossip Algorithm for Peer-to-Peer Systems (abstract, PostScript, PDF)
Ali Ghodsi, Sameh El-Ansary, Supriya Krishnamurthy, Seif Haridi
T2005-14 Stylistic Analysis of Text for Information Access (abstract, PostScript, PDF)
Jussi Karlgren, Shlomo Argamon, James G Shanahan
T2005-13 Generating speech user interfaces from interaction acts (abstract, PostScript, PDF)
Stina Nylander, Thomas Nyström, Botond Pakucs
T2005-12 Rail Traffic Requirements Engineering (abstract, PostScript, PDF)
Per Kreuger, Martin Aronsson, Jan Ekman, Thomas Franzén
T2005-11 A new proposal for congestion control in Ambient networks (abstract, PostScript, PDF)
Ian Marsh
T2005-10 Preparation and analysis of multiple source industrial process data (abstract, PostScript, PDF)
Daniel Gilblad, Per Kreuger, Björn Levin, Åsa Rudström
T2005-09 Proceedings of the First REALWSN 2005 Workshop on Real-World Wireless Sensor Networks, Stockholm, Sweden, 20-21 June 2005 (abstract, PDF)
Adam Dunkels, et al.
T2005-08 Global Constraint Catalog (abstract, PostScript, PDF)
Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon
T2005-07 Graph Invariants as Necessary Conditions for Global Constraints (abstract, PostScript, PDF)
Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon, Charlotte Truchet
T2005-06 Gender Aspects of Computer Avatars (abstract, PostScript, PDF)
Anna Larsson, Carina Nerén
T2005-05 Protothreads - Lightweight Stackless Threads in C (abstract, PostScript, PDF)
Adam Dunkels, Oliver Schmidt
T2005-04 Search Heuristics for Load Balancing in IP-networks (abstract, PostScript, PDF)
Mattias Söderqvist
T2005-03 Approximating process simulators with learning systems (abstract, PostScript, PDF)
Daniel Gillblad, Anders Holst, Björn Levin, Magnus Gudmundsson
T2005-02 A Java based framework for simulating peer-to-peer overlay networks (abstract, PostScript, PDF)
Daniel Hasselrot
T2005-01 Towards a Visualization Tool for Peer-to-peer Ovelay Networks (abstract, PostScript, PDF)
Fredrik Holmgren
T2004-19 Exploring the importance of context parameters for service use in everyday situations (abstract, PostScript, PDF)
Markus Bylund, Marie Sjölinder, Anna-Frida Eriksson
T2004-18 Exploring user contexts - a qualitative study of everyday activities (abstract, PostScript, PDF)
Markus Bylund, Marie Sjölinder, Anna Danestig
T2004-17 The gmdl Modeling and Analysis System (abstract, PostScript, PDF)
Daniel Gillblad, Anders Holst, Per Kreuger, Björn Levin
T2004-16 Creating a Distributed Programming System Using the DSS: A Case Study of OzDSS (abstract, PDF)
Erik Klintskog
T2004-15 Internal Design of the DSS (abstract, PDF)
Erik Klintskog
T2004-14 Making the Distribution Subsystem Secure (abstract, PDF)
Zacharias ElBanna, Erik Klintskog, Per Brand
T2004-13 Bounds on the Lifetime of Wireless Sensor Networks (abstract, PostScript, PDF)
Juan Alonso, Adam Dunkels, Thiemo Voigt
T2004-12 An Analytical Study of Consistency and Performance of DHTs under Churn (abstract, PostScript, PDF)
Sameh El-Ansary, Supriya Krishnamurthy, Erik Aurell, Seif Haridi
T2004-11 A Symmetric Replication Scheme for Increased Security and Performance in Structured Overlay Networks (abstract, PostScript, PDF)
Ali Ghodsi, Luc Onana Alima, Seif Haridi
T2004-10 The Supply Chain Management Game for the Trading Agent Competition 2004 (abstract, PostScript, PDF)
Raghu Arunachalam, Joakim Eriksson, Niclas Finne, Sverker Janson, Norman Sadeh
T2004-09 A Framework for Structured Peer-to-Peer Overlay Networks (abstract, PostScript, PDF)
Luc Onana Alima, Ali Ghodsi, Seif Haridi
T2004-08 Deriving Filtering Algorithms from Constraint Checkers (abstract, PostScript, PDF)
Nicolas Beldiceanu, Mats Carlsson, Thierry Petit
T2004-07 Butler: Fallanalys 1 - Outokumpu (abstract, PostScript, PDF)
Anders Holst, Per Kreuger
T2004-06 Distributed TCP Caching for Wireless Sensor Networks} (abstract, PostScript, PDF)
Adam Dunkels, Juan Alonso, Thiemo Voigt, Hartmut Ritter
T2004-05 The Design of a Lightweight Portable Operating System for Tiny Networked Sensor Devices (abstract, PostScript, PDF)
Adam Dunkels, Björn Grönvall, Thiemo Voigt, Juan Alonso
T2004-04 Classifying Mobile Services (abstract, PostScript, PDF)
Gerd Andersson, Adrian Bullock, Jarmo Laaksolahti, Stina Nylander, Fredrik Olsson, Marie Sjölinder, Annika Waern, Magnus Boman
T2004-03 A Survey of CVE Technologies and Systems (abstract, PostScript, PDF)
Emmanuel Frécon
T2004-02 A survey of machine learning for reference resolution in textual discourse (abstract, PostScript, PDF)
Fredrik Olsson
T2004-01 A physics-style approach to scalability of distributed systems (abstract, PostScript, PDF)
Erik Aurell, Sameh El-Ansary
T2003-28 Fair Bandwidth Allocation in Internet Access Gateways - Using Agent-based Electronic Market (abstract, PostScript, PDF)
Tobias Hasselrot
T2003-27 Temporal Characteristics of Large IP Traffic Flows (abstract, PostScript, PDF)
Henrik Abrahamsson, Bengt Ahlgren
T2003-26 Designing a Mobile Social Service for a Mall: User Experiences of Kista Galleria (abstract, PostScript, PDF)
Åsa Rudström, Kristina Höök
T2003-25 Who, what and where in Kista Galleria. An ethnographically inspired study of a shopping mall and mobile life within (abstract, PostScript, PDF)
Åsa Rudström
T2003-24 TCP Performance in Wireless Mobile Multi-hop Ad Hoc Networks (abstract, PostScript, PDF)
Ola Westin
T2003-23 Making TCP/IP Viable for Wireless Sensor Networks (abstract, PostScript, PDF)
Adam Dunkels, Juan Alonso, Thiemo Voigt
T2003-22 Bounds on the Energy Consumption of Routings in Wireless Sensor Networks (abstract, PostScript, PDF)
Juan Alonso, Adam Dunkels, Thiemo Voigt
T2003-21 Never Published (abstract, PDF)
T2003-20 Connecting Wireless Sensornets with TCP/IP Networks (abstract, PostScript, PDF)
Adam Dunkels, Thiemo Voigt, Juan Alonso, Hartmut Ritter, Jochen Schiller
T2003-19 Evaluating the Ubiquitous Interactor (abstract, PostScript, PDF)
Stina Nylander
T2003-18 Mobile Access to Real-Time Information - The case of Autonomous Stock Brokering (abstract, PostScript, PDF)
Stina Nylander, Markus Bylund, Magnus Boman
T2003-17 The Ubiquitous Interactor - Mobile Services with Multiple User Interfaces (abstract, PostScript, PDF)
Stina Nylander, Markus Bylund, Annika Waern
T2003-16 Different Approaches to Achieving Device Independent Services - an Overview (abstract, PostScript, PDF)
Stina Nylander
T2003-15 Guaranteeing Correctness Properties of a Java Card Applet (abstract, PostScript, PDF)
Lars-Åke Fredlund
T2003-14 GENKOMB project report (abstract, PostScript, PDF)
Jakub Orzechowski Westholm, Adam Ameur
T2003-13 Coordination of planning processes for traffic operators on rail networks; Annual Report 1, Swedish national railway administration (Banverket) R&D-project - SPOK (abstract, PostScript, PDF)
Martin Aronsson, Jan Ekman, Per Kreuger
T2003-12 Computation of Capacity on Railway Networks (abstract, PostScript, PDF)
Malin Forsgren
T2003-11 En analytisk metod för utredning av kapacitet vid signalprojektering (abstract, PostScript, PDF)
Jan Ekman, Per Kreuger
T2003-10 Filtering methods for symmetric cardinality constraint. (abstract, PostScript, PDF)
Waldemar Kocjan , Per Kreuger
T2003-09 Scaling behavior in a stochastic self-gravitating system (abstract, PostScript, PDF)
N.V. Antonov
T2003-08 Wide Area Measurements of Voice Over IP Quality (abstract, PostScript, PDF)
Ian Marsh, Fengyi Li
T2003-07 Översikt av metoder och förutsättningar för tåglägestilldelning (abstract, PostScript, PDF)
Martin Aronsson, Jan Ekman, Per Kreuger
T2003-06 An Empirical Evaluation of the Performance of Mobile Network Connections (abstract, PostScript, PDF)
Markus Bylund
T2003-05 Elements in Z*p\Gq are Dangerous (abstract, PostScript, PDF)
Douglas Wikström
T2003-04 Four Practical Attacks for ``Optimistic Mixing for Exit-Polls'' (abstract, PostScript, PDF)
Douglas Wikström
T2003-03 Financial Derivatives for Computer Network Capacity Markets with Quality-of-Service Guarantees (abstract, PostScript, PDF)
Petter Pettersson
T2003-02 Sweep Synchronization as a Global Propagation Mechanism (abstract, PostScript, PDF)
Nicolas Beldiceanu, Mats Carlsson, Sven Thiel
T2003-01 A Generic Middleware for Intra-Language Transparent Distribution (abstract, PostScript, PDF)
Erik Klintskog, Zacharias ElBanna, Per Brand
T2002-28 Dynamic scheduling. State of the art report. (abstract, PostScript, PDF)
Waldemar Kocjan
T2002-27 GeoNotes: a real-use study of a public location-aware community system (abstract, PostScript, PDF)
Per Persson, Petra Fagerberg
T2002-26 Sicsophone: A Low-Delay Internet Telephony Tool (abstract, PostScript, PDF)
Olof Hagsand, Ian Marsh, Kjell Hanson
T2002-25 TUFF-PO, Kravsättning av tidplaner utifrån personalplaneringsbehov (abstract, PostScript, PDF)
Martin Aronsson, Jan Ekman
T2002-24 How to Break, Fix, and Optimize "Optimistic Mix for Exit-Polls" (abstract, PostScript, PDF)
Douglas Wikström
T2002-23 Simulation of a network capacity market and three middle-man strategies to price and sell dynamically routed point-to-point connections (abstract, PostScript, PDF)
Lars Rasmusson and Erik Aurell
T2002-22 Network components for market-based network admission and routing (abstract, PostScript, PDF)
Lars Rasmusson and Gabriel Paues
T2002-21 An Efficient Mix-Net (abstract, PostScript, PDF)
Douglas Wikström
T2002-20 Designing Global Scheduling Constraints for Local Search: A Generic Approach (abstract, PostScript, PDF)
Markus Bohlin, Waldemar Kocjan, Per Kreuger
T2002-19 Conceptualizing User Interaction in a Multi-service Environment (abstract, PostScript, PDF)
Andreas E. Espinoza
T2002-18 Arc-Consistency for a Chain of Lexicographic Ordering Constraints (abstract, PostScript, PDF)
Mats Carlsson, Nicolas Beldiceanu
T2002-17 Revisiting the Lexicographic Ordering Constraint (abstract, PostScript, PDF)
Mats Carlsson, Nicolas Beldiceanu
T2002-16 What AMANDA offers: A comparative case study describing a flexible and decentralised approach for Authorisation Management (abstract, PostScript, PDF)
Fredrik Rosenhamer
T2002-15 GENFUNK (abstract, PostScript, PDF)
Erik Aurell, Mats Carlsson, Jan Ekman, Per Kreuger
T2002-14 Cost-Filtering Algorithms for the two Sides of the Sum of Weights of Distinct Values Constraint (abstract, PostScript, PDF)
Nicolas Beldiceanu, Mats Carlsson, Sven Thiel
T2002-13 Existence, Identification and Stability of Elephant flows in IP Traffic (abstract, PostScript, PDF)
Cecilia Borg
T2002-12 Local search methods in gene expression analysis (abstract, PostScript, PDF)
Jakub Orzechowski Westholm, Adam Ameur
T2002-11 An implementation of capacity reservation devices in IP networks (abstract, PostScript, PDF)
Gabriel Paues
T2002-10 Tracing and Explaining the Execution of CLP(FD) Programs in SICStus Prolog (abstract, PostScript, PDF)
Magnus Ågren
T2002-09 An Asynchronous Power Save Protocol for Wireless Ad Hoc Networks (Rev. 1.1) (abstract, PostScript, PDF)
Laura Marie Feeney
T2002-08 Redesign of the Oz Compiler (abstract, PostScript, PDF)
Markus Bohlin, Lars Bruce
T2002-07 Constraint satisfaction by local search (abstract, PostScript, PDF)
Markus Bohlin
T2002-06 A Framework for Peer-To-Peer Lookup Services based on k-ary search (abstract, PostScript, PDF)
Sameh El-Ansary, Luc Onana Alima, Per Brand, Seif Haridi
T2002-05 Objective Functions for Balance in Traffic Engineering (abstract, PostScript, PDF)
Juan Alonso, Henrik Abrahamsson, Bengt Ahlgren, Anders Andersson, Per Kreuger
T2002-04 Interaction Acts for Device Independent Gaming (abstract, PostScript, PDF)
Stina Nylander, Annika Waern
T2002-03 The DALLAS project. Report from the NUTEK-supported project AIS-8: Application of Data Analysis with Learning Systems, 1999-2001 (abstract, PostScript, PDF)
Anders Holst (editor)
T2002-02A Providing Device Independence to Mobile Services (abstract, PostScript, PDF)
Stina Nylander, Markus Bylund
T2002-01 Evaluating the CDF for m weighted sums of n correlated lognormal random variables (abstract, PostScript, PDF)
Lars Rasmusson
T2001-22 Pricing Virtual Paths with Quality-of-Service Guarantees as Bundle Derivatives (abstract, PostScript, PDF)
Lars Rasmusson
T2001-21 A Price Dynamics in Bandwidth Markets for Point-to-point Connections (abstract, PostScript, PDF)
Lars Rasmusson, Erik Aurell
T2001-20 Minimal TCP/IP implementation with proxy support (abstract, PostScript, PDF)
Adam Dunkels
T2001-19 Secrecy for Mobile Implementations of Security Protocols (abstract, PostScript)
Pablo Giambiagi
T2001-18 Förutsättningar för användning av likartade planeringsverktyg inom byggproduktion och järnvägstrafik (abstract, PostScript)
Martin Aronsson, Adina Jägbeck
T2001-17 Heuristic methods for routing and scheduling (abstract, PostScript)
Waldemar Kocjan
T2001-16 An Overview of Practical Research Approaches to Real-Time System Engineering (abstract, PostScript)
Lars Albertsson
T2001-15 Constructive Cardinality (abstract, PostScript)
Nicolas Beldiceanu, Mats Carlsson
T2001-14 Sequence dependent task extensions for trip scheduling (abstract, PostScript)
Per Kreuger, Mats Carlsson, Thomas Sjöland, Emil Åström
T2001-13 Sweep as a Generic Pruning Technique Applied to the Non-Overlapping Rectangles Constraint (abstract, PostScript)
Nicolas Beldiceanu, Mats Carlsson
T2001-12 Non-overlapping Constraints between Convex Polytopes (abstract, PostScript)
Nicolas Beldiceanu, Qi Guo, Sven Thiel
T2001-11 A New Multi-Resource cumulatives Constraint with Negative Heights (abstract, PostScript)
Nicolas Beldiceanu, Mats Carlsson
T2001-10 DTMsim - DTM channel simulation in ns (abstract, PostScript, PDF)
Henrik Abrahamsson, Ian Marsh
T2001-09 Expressive Messaging on Mobile Platforms (abstract, PostScript)
Per Persson, Jussi Karlgren, Panu Korhonen, Janet Galore, Mark Tierney, Chad Redmon, Juha Hemanus, Peter Lönnqvist, Jarmo Laaksolahti
T2001-08 GeoNotes: Social and Navigational Aspects of Location-Based Information Systems (abstract, PostScript)
Fredrik Espinoza, Per Persson, Anna Sandin, Hanna Nyström, Elenor Cacciatore, Markus Bylund
T2001-07 Personal Service Environments - Openness and User Control in User-Service Interaction (abstract, PostScript)
Markus Bylund, Annika Waern
T2001-06 sView - Architecture Overview and System Description (abstract, PostScript)
Markus Bylund
T2001-05 Task Structure Abstraction (abstract, PostScript)
Per Kreuger, Martin Aronsson, Simon Lindblom
T2001-04 A constraint model for a cyclic time personnel routing and scheduling problem (abstract, PDF)
Martin Aronsson, Per Kreuger
T2001-03 Technical Pre-study for the ExMS project (abstract, PostScript)
Fredrik Bromeé
T2001-02 The VITI program: Final Report (abstract, PostScript, PDF)
Adrian Bullock, Per Gustafson
T2001-01 Optimizing the SICStus Prolog virtual machine instruction set (abstract, PostScript, PDF)
Henrik Nässen
T2000-14 TCP Performance in Ad Hoc Networks (abstract, PostScript)
Mattias Östergren
T2000-13 The use of abstractions to solve large scheduling problems (abstract, PostScript)
Per Holmberg
T2000-12 Never Published (abstract)
T2000-11A Pruning for the cardinality-path Constraint Family (abstract, PostScript)
Nicolas Beldiceanu
T2000-10 Pruning for the minimum Constraint Family and for the Number of Distinct Values Constraint Family (abstract, PostScript)
Nicolas Beldiceanu
T2000-09 Dimensioning Links for IP Telephony (abstract, PostScript)
Bengt Ahlgren, Anders Andersson, Olof Hagsand, Ian Marsh
T2000-08 Sweep as a Generic Pruning Technique. (abstract, PostScript)
Nicolas Beldiceanu
T2000-07 ACOOR Rapport 2: Översikt av tekniker och metoder (abstract, PostScript)
Per Kreuger, Martin Aronsson, Per Holmberg, Simon Lindblom
T2000-06 ACOOR Rapport 1; Tuff: Systemöversikt och arkitektur (abstract, PostScript)
Martin Aronsson, Per Kreuger, Simon Lindblom, Per Holmberg
T2000-05 Knowledge-based Locomotive Planning for the Swedish Railway (abstract, PostScript)
Volker Scholtz
T2000-04 Verbosity and Interface Design (abstract, PostScript)
Kristofer Franzen, Jussi Karlgren
T2000-03 Capacity Study of Statistical Multiplexing for IP Telephony (abstract, PostScript)
Anders Andersson
T2000-02 Never Published (abstract)
T2000-01 Global constraints as graph properties on structured network of elementary constaints of the same type (abstract, PostScript)
Nicolas Beldiceanu
T99-11 Investigating the Energy Consumption of an IEEE 802.11 Network Interface (abstract, PostScript)
Laura Marie Feeney
T99-10 Evaluation of an LC-trie algorithm for IP address lookup (abstract, PostScript, PDF)
Majid Zandieh
T99-09 Human Language Technology: The Babel Fish (abstract, PostScript)
Björn Gambäck
T99-08 A survey of Bayesian Data Mining - Part I: Discrete and semi-discrete Data Matrices (abstract, PostScript, PDF)
Stefan Arnborg
T99-07 A Taxonomy for Routing Protocols in Mobile Ad Hoc Networks (abstract, PostScript)
Laura Marie Feeney
T99-06 Intermodality, MUD interfaces, and users with disablements (abstract, PostScript)
Kent Saxin Hammarström
T99-05 Traffic measurement and analysis (abstract, PostScript)
Henrik Abrahamsson
T99-04 A Comparison of CP, IP and Hybrids for Configuration Problems (abstract, PostScript)
Mats Carlsson, Greger Ottosson
T99-03 Tagging and Morphological Processing in the SVENSK System (abstract, PostScript)
Fredrik Olsson
T99-02 An Experimental Digital Library Platform - A Demonstrator Prototype for the DigLib Project at SICS (abstract, PostScript)
Anette Hulth, Anna Jonsson
T99-01 SICStus MT - A Multithreaded Execution Environment for SICStus Prolog (abstract, PostScript)
Jesper Eskilson
T98-04 ConCall: An information service for researchers based on EdInfo (abstract, PostScript)
Annika Waern, Mark Tierney, Åsa Rudström, Jarmo Laaksolahti
T98-03 A Note on Negative Tagging for Least Fixed-Point Formulae (abstract, PostScript)
Dilian Gurov, Bruce Kapron
T98-02 Workshop on personalized and social navigation in information space (abstract, PDF)
Kristina Höök, ed., Alan Munro, ed., David Benyon, ed.
T98-01 Exploring Navigation: Towards a Framework for Design and Evaluation of Navigation in Electronic Space (abstract, PDF)
Nils Dahlbäck, ed.
T97-04 Using Formal Methods. A practical compairsion between Z/EVES and PVS (abstract, PostScript)
Daniel Fredholm
T97-03 An exploratory Study of IR Interaction for User Interface Design (abstract, PostScript)
Preben Hansen
T97-02 Performance Debugging and Tuning using an Instruction-Set Simulator (abstract, PostScript)
Peter S. Magnusson, Johan Montelius
T97-01 Generating Efficient Simulators from a Specification Language (abstract, PostScript)
Fredrik Larsson
T96-03 Virtual Audio - Three-Dimensional Audio in Virtual Environments (abstract, PostScript)
Daniel Adler
T96-02 A theorem-proving approach to deciding properties of finite control agents (abstract, PostScript)
Torkel Franzen
T96-01 View-Invariant Regions and Mobile Robot Self-Localization (abstract, PostScript)
Kristian T. Simsarian, Thomas J.Olson, N. Nandhakumar
T95-01 A simplistic approach to keyhole plan recognition (abstract, PostScript)
Annika Waern , Ola Stenborg
T94-08 V: A Visual Query Language for Multimodal Interfaces (abstract, PostScript)
Robert P. Nilsson, Kent S. Saxin Hammarström
T94-07 Never Published (abstract)
T94-06 Never Published (abstract)
T94-04 Newsgroup Clustering Based On User Behavior - A Recommendation Algebra (abstract, PostScript)
Jussi Karlgren
T94-03 Design of Telephony Services In Lotos (abstract, PostScript)
Jose Luis Vivas
T94-02 Never Published (abstract)
T94-01 Mumbling - User-Driven Cooperative Interaction (abstract, PostScript)
Jussi Karlgren
T93-05 Partial Translation (abstract, PostScript)
Peter Magnusson
T93-04 A tool for rapid manual translation (abstract, PostScript)
Magnus Nordstroem, Paul Pettersson
T93-03 InterTool: Ett grafiskt gränssnitt mot verifikationsverktyg (abstract, PostScript)
Roger Palmersjö
T91-18 Final report on interactive route guidance 1988-1991 (abstract, PDF)
Carl Brown, Rune Gustavsson, Kristina Höök, Per Lindewall, Annika Waern
T91-17 A set of predicates for fast reading and writing in SICStus (abstract, PDF)
Hans Nilsson
T91-05 CCS as a method of specification and verification: Analysis of a case study (abstract, PDF)
Patrick Ernberg
T91-04 A bibliography on sketches from the computer science point of view (abstract, PDF)
Oskar Permwall
T91-03 Route guidence for novice navigators; prestudy results (abstract, PDF)
Annika Waern
T91-02 Presenting route guidence information : Some thoughts about interface design (abstract, PDF)
Annika Waern
T91-01 Extending the interactive space-time scheduler with support for hierarchical scheduling (abstract, PDF)
Fredrik Nöu
T90-07 A graphical SDL editor produced by the Meta-Tool LOGGIE (abstract, PDF)
Anneli Avatare
T90-06 Specification and validation of a simple overtaking protocol using LOTOS (abstract, PDF)
Patrik Ernberg, Lars-åke Fredlund, Bengt Jonsson
T90-05 Implementing a transational semantics for an imperative language (abstract, PDF)
Lars-åke Fredlund
T90-04 State of the art in network security (abstract, PDF)
Bengt Ahlgren, Per Lindgren, Teet Sirotkin
T90-03 MuseTrace : A graphic tracer for Or-parallel Prolog (abstract, PDF)
Claes Svensson, Jan Sundberg
T90-02 Identifying some bottlenecks of the concurrency workbench (abstract, PDF)
Patrik Ernberg, Lars-åke Fredlund
T90-01 Knowledge aquisition procedures for diagnosis of performance problems (abstract, PDF)
Anette Gäredal
T89-19 PLANKEE - a Planner with Replanning Capability (abstract, PDF)
Magnus Christersson
T89-18 Implementation of a planning system using GCLA (abstract, PDF)
Johan Palmkvist
T89-17 Computer aided hardware design by space-time mappings (abstract, PDF)
Anneli Avatare
T89-16 EWAM: An extension of WAM to execute functional programs (abstract, PDF)
Per Kreuger
T89-15 Developing a natural language interface and connecting it to a first order logic theorem prover (abstract, PDF)
Anna Bång, Per Lindberger
T89-14 On the usage of knowledge based techniques in configuring computer systems: a case study (abstract, PDF)
Jerker Andersson, Per Andersson
T89-13 SPION: Secure Protocols in OSI Networks (abstract, PDF)
Bengt Ahlgren, Per Lindgren, Teet Sirotkin
T89-12 The GCLA User's Manual (No longer distributed) (abstract)
Martin Aronsson
T89-10 Implementation of a verification method to communication protocols (abstract, PDF)
Ahmed Hussain Khan
T89-09 Knowledge structures, strategies and learning processes in fault finding (abstract, PDF)
Anders Tunevi
T89-08 A learning system for fault finding (abstract, PDF)
Tunevi, Anders
T89-07 Design of structure presentation layer editors in LOGGIE (abstract, PDF)
Benzinger, Mikael, Nordström, Anna
T89-06 Två system för default-resonemang, en studie av Kurt Konoliges artikel: On the relation between default and autoepistemic logic (abstract, PDF)
Per Kreuger
T89-05 Implementation of basic graphical support system (abstract, PDF)
Hans Bogeby, Harri Vuorela
T89-04 The Instruction Set for the GCLA Abstract Machine (abstract, PDF)
Martin Aronsson
T89-03 Inlärning av strukturer i konceptuella scheman från databaser (abstract, PDF)
Mikael Eriksson
T89-02 Implementering av CCS med värdeöverföring (Examensarbetet som utförts vid SICS) (abstract, PDF)
Chan-Hee Lee
T89-01 ALPHA: Implementation of a subset of PHIGS (The online text is incomplete - 26 pages.) (abstract, PDF)
Ylva Gullestad

Research Reports

R97-04 Some Results on Activation and Scaling of Sparse Distributed Memory (abstract, PostScript)
Jan Kristoferson
R97-03 SimGen: Development of Efficient Instruction Set Simulators (abstract, PostScript)
Fredrik Larsson, Peter Magnusson, Bengt Werner
R97-01 On the Verification of Open Distributed Systems (abstract, PostScript)
Mads Dam, Lars-åke Fredlund
R96-06 An ATM Adaptation Layer for Reliable Transfers (abstract, PostScript)
Gunnar Karlsson
R96-05 Analysis and Verification of Multiple-Agent Languages, Fifth LOMAPS Workshop, Abstracts (abstract, PostScript)
Mads Dam, Fredrik Orava
R96-04 Compensating for Bias in the SDM Fast Activation Mechanism (abstract, PostScript)
Roland Karlsson
R96-03 A Proof System for the pi-calculus (abstract, PostScript)
Roberto Amadio, Mads Dam
R96-02 Survey of Studies on Tactile Senses (abstract, PostScript)
Seppo Pohja
R96-01 Individual Differences and Navigation in Hypermedia (abstract, PostScript)
Kristina Höök, Marie Sjölinder, Nils Dahlbäck
R95-14 Asynchronous Transfer of Video (abstract, PostScript)
Gunnar Karlsson
R95-13 Convergence and new operations in SDM (abstract, PostScript)
Gunnar Sjödin
R95-12 Improving the Capacity of SDM (abstract, PostScript)
Gunnar Sjoedin
R95-11 Some Comments on the Information Stored in Sparse Distributed Memory (abstract, PostScript)
Jan Kristoferson
R95-10 Evaluation of a Fast Activation Mechanism for the Kanerva SDM Memory (abstract, PostScript)
Roland Karlsson
R95-09 Best Probability of Activation and Performance Comparisons for Several Designs of Sparse Distributed Memory (abstract, PostScript)
Jan Kristoferson
R95-08 Adaption to the User's Task (abstract, PostScript)
Kristina Höök
R95-07 Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations (abstract, PostScript)
Björn Lisper
R95-06 On the Computation of Fixpoints in Static Program Analysis with an Application to AKL (abstract, PostScript)
Erik Schön
R95-05 SAGA -- Syntax Analyzer Generator for Agents (abstract, PostScript)
Anders Andersson
R95-03 Natural Language in Model World Interfaces (abstract, PostScript)
Ivan Bretan
R95-02 Capacity Reservation in ATM Networks (abstract, PostScript)
Gunnar Karlsson
R95-01 A Proof of a Leader Election Protocol in microCRL ($\mu$CRL) (abstract, PostScript)
Lars-åke Fredlund, Jan Friso Groote (Utrecht University, The Netherlands), Henri Korver (Utrecht University, The Netherlands)
R94-23 System Level Interpretation of the SPARC V8 Instruction Set Architecture (abstract, PostScript)
David Samuelsson
R94-20 On the Decidability of Process Equivalences for the pi-calculus (abstract, PostScript)
Mads Dam
R94-19 On Adaptable Support for Cooperative Work (abstract, PostScript)
Mads Dam
R94-18 Reasoning about Higher-Order Processes (abstract, PostScript)
Roberto Amadio, Mads Dam
R94-17 A Compact Intermediate Format for SimICS (abstract, PostScript)
Peter S. Magnusson, David Samuelsson
R94-16 Some Efficient Techniques for Simulating Memory (abstract, PostScript)
Peter S. Magnusson, Bengt Werner
R94-15 An Argument for Simple COMA (abstract, PostScript)
Ashley Saulsbury, Tim Wilkinson, John Carter
R94-14 The glass box user model for filtering (abstract, PostScript)
Jussi Karlgren, Kristina Höök, Ann Lantz, Jacob Palme, Daniel Pargman
R94-13b Fixpoint Analysis of Type and Alias in AKL Programs (abstract, PostScript, PDF)
Thomas Sjöland, Dan Sahlin
R94-12 Action-Tracking in DIVE (abstract, PostScript)
Charles Grant Brown, Annika Wærn
R94-10 Some Formal Aspects of AKL (abstract, PostScript)
Torkel Franzén
R94-09 A polynomial-time algorithm for deciding bisimilation equivalence of normed Basic Parallel Processes (abstract, PostScript)
Yoram Hirshfeld, Mark Jerrum, Faron Moller
R94-08 A polynomial algorithm for deciding bisimilarity of normed context-free processes (abstract, PostScript)
Yoram Hirshfeld, Mark Jerrum, Faron Moller
R94-07 Efficient Software Synchronization on Large Cache Coherent Multiprocessors (abstract, PostScript)
Peter Magnusson, Anders Landin, Erik Hagersten
R94-05 Neural Networks for Wordform Recognition (abstract, PostScript)
Martin Eineborg, Björn Gambäck
R94-04 Synergy Effects in Natural Language-Based Multimodal Interaction (abstract, PostScript)
Ivan Bretan, Jussi Karlgren
R94-03 Spoken Language Translator: First-Year Report (abstract, PostScript)
M-S. Agnäs et al, Björn Gambäck
R94-02 Unfolding of Programs with Nondeterminism (abstract, PostScript)
Björn Lisper
R94-01 Model Checking Mobile Processes (Full version) (abstract, PostScript)
Mads Dam
R93-06 Interaction Diagrams (abstract, PostScript)
Joachim Parrow
R93-05 Implementational Issues in GCLA: Compiling Control (abstract, PostScript)
Martin Aronsson
R93-03 Planning the Construction of a Building (abstract, PostScript)
Martin Aronsson
R93-02 Implementational Issues in GCLA: A-Sufficiency and the Definiens Operation (abstract, PostScript)
Martin Aronsson
R93-01 Technical Diagnosis of Telecommunication Equipment - An Implementation of a Task specific Problems solving method (TDFL) using GCLA II (abstract, PostScript)
Göran Falkman, Jonas Warnby
R92-14 Question Answering in the Swedish Core Language Engine (abstract, PostScript)
Björn Gambäck, Stefan Ljung
R92-13 The Swedish Core Language Engine (abstract, PostScript)
Björn Gambäck, Manny Rayner
R92-12 Lexical acquisition: the Swedish VEX System (abstract, PostScript)
Björn Gambäck
R92-10 Using SICStus Objects in the design of Graphical User Interfaces (abstract, PostScript)
Thomas Sjöland
R92-08 A finitary version of the calculus of partial inductive definitions (abstract, PostScript)
Lars-Henrik Eriksson
R92-07 Performance of Muse on Switch-Based Multiprocesor Machines (abstract, PostScript)
Mohammed Ali Khayri, Roland Karlsson, Shyam Mudambi
R92-05 Methodology and Programming Techniques in GCLA II (abstract, PostScript)
Martin Aronsson
R92-04 The Engine-Scheduler Interface used in the Muse OR-parallel Prolog System (abstract, PostScript)
Mohammed Ali Khayri, Roland Karlsson
R92-03 How build your own OR-parallel Prolog System (abstract, PostScript)
Roland Karlsson
R92-01 A Host Interface to the DTM Network (abstract, PostScript)
Bengt Ahlgren, Stephen Pink, Per Gunningberg
R91-19 DDM - a cache-only memory architecture (abstract, PostScript)
Anders Landin, Seif Haridi
R91-17 A performance study of the DDM - a cache-only memory architecture (abstract, PostScript)
Anders Landin, Seif Haridi
R91-15 Formal derivation of concurrent assignements from scheduled single (abstract, PostScript)
Björn Lisper
R91-14 An implementation of the revised internet stream protocol (ST-2) (abstract, PostScript)
Pink Stephen, Craig Partridge
R91-13 The External Storage Facility in SICStus Prolog (abstract, PostScript)
Hans Nilsson
R91-10 A Definitional Approach to the Combination of Functional and Relational Programming (abstract, PostScript)
Martin Aronsson
R91-09 Strong normalizability in Martin-Löf's Type Theory (abstract, PostScript)
Gunnar Sjödin, Clas Löfwall
R91-08 Programming paradigms of the Andorra Kernel Language Programming (abstract, PostScript)
Sverker Janson, Seif Haridi
R91-07 Variable Shunting for the WAM (abstract, PostScript)
Dan Sahlin, Mats Carlsson
R91-03 Modal Logics for Mobile Processes (abstract, PostScript)
Joachim Parrow, David Walker
R90-17 Moving the shared memory closer to the processors DDM (abstract, PostScript)
Anders Landin, Seif Haridi
R90-16 The Expressive Power of Parallelism (abstract, PDF)
Joachim Parrow
R90-15 Structural and Behavioural Equivalences of Networks (abstract, PDF)
Joachim Parrow
R90-14 Implementing LOTOS as asynchronously Communicating Processes (abstract, PDF)
Peter Sjödin
R90-13 A logic for reasoning about time and reability (abstract, PostScript)
Hans Hansson, Bengt Jonsson
R90-12 A Fully Abstract Trace Model for Dataflow and Asynchronous Networks (abstract, PDF)
Bengt Jonsson
R90-11 Contract bridge as a Micro-world for reasoning about communication agents (abstract, PostScript)
Björn Gambäck , Manny Rayner
R90-10 Compositional specification and verification of distributed systems (abstract, PostScript)
Bengt Jonsson
R90-09 The Muse approach to OR-parallel Prolog (abstract, PostScript)
Roland Karlsson, Khayry Mohamed Ali
R90-08 Formal Aspects of Kernal Andorra: I (No longer distributed; Replaced by R91:12) (abstract)
Torket Franzén
R90-07 Generating AND-parallel Execution Expressions (abstract, PDF)
Thomas Sjöland
R90-06 A Prolog compiler and its extension for OR-parallelism (abstract, PostScript)
Mats Carlsson
R90-05 The Aurora Abstract Machine and its Emulator (abstract, PostScript)
Mats Carlsson, Péter Szeredi
R90-04 Relating Attribute Grammars and a Constraint-Prolog Programming Environment (abstract, PDF)
Philippe Mathieu, Torbjörn Keisu
R90-03 On the Efficiency of Optimising Shallow Backtracking in Prolog (abstract, PostScript, PDF)
Mats Carlsson
R90-02 Kernel Andorra Prolog and its Computational Model (abstract, PostScript, PDF)
Seif Haridi, Sverker Janson
R90-01 On Constraint Programming (abstract, PDF)
Philippe Mathieu, Torbjörn Keisu
R89-16 Finding out = Achieving Decidability (abstract, PostScript)
Sverker Janson, Manny Rayner
R89-15 Applying Explanation-Based Learning to Natural language Processing (2) (abstract, PostScript)
Christer Samuelsson, Manny Rayner
R89-01 An Intuitionistic Predicate Logic Theorem Prover (abstract)
Dan Sahlin, Torkel Franzén, Seif Haridi
Vicki Carleson <vicki@sics.se>