SODA

Browse by Type

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Number of items: 511.

Borg, Markus and Franke, Ulrik and Olsson, Thomas and Assar, Said (2018) Digitalization of Swedish Government Agencies: Detailed Census Description and Analysis. [SICS Report]

Bjurling, Björn and Kreuger, Per and Marsh, Ian (2017) Data Readiness for BADA: BADA main study 1, FFI/Vinnova grant 2015-00677. [SICS Report]

Gunnarsson, Martin and Andersson, Tobias and Seitz, Ludwig (2017) Performance and overhead evaluation of OSCOAP and DTLS. [SICS Report]

Borg, Markus and Olsson, Thomas and Svensson, John (2017) From LiDAR to Underground Maps via 5G - Business Models Enabling a System-of-Systems Approach to Mapping the Kankberg Mine. [SICS Report]

Gestrelius, Sara and Aronsson, Martin (2017) Teknisk slutrapport för FLTP - Framtidens LeveransTågplaneProcess. [SICS Report]

Aronsson, Martin and Forsgren, Malin and Gestrelius, Sara (2017) Uncovered capacity in Incremental Allocation. [SICS Report]

Aronsson, Martin and Joborn, Martin and Gestrelius, Sara and Ranjbar, Zohreh (2016) Kapacitetsanalys av tre olika utbyggnadsalternativ av Sävenäs rangerbangård: resultat från pilotstudien av Sävenäs i projektet PRAGGE2. [SICS Report]

Aronsson, Martin and Joborn, Martin and Gestrelius, Sara and Ranjbar, Zohreh (2016) Kapacitet på rangerbangården Hallsberg: resultat från projektet PRAGGE2. [SICS Report]

Joborn, Martin and Ranjbar, Zohreh (2016) Sprida: förstudie om metoder för att mäta spridningseffekter av störningshändelser i tågtrafiken. [SICS Report]

Aronsson, Martin and Ranjbar, Zohreh and Gestrelius, Sara and Joborn, Martin (2016) Kapacitetsanalys av Sävenäs rangerbangård: Spårbehov på riktningsgruppen undersökt i projektet PRAGGE. [SICS Report]

Beldiceanu, Nicolas and Carlsson, Mats and Derrien, A. and Schutt, A. and Stuckey, P. (2016) Range-consistent forbidden regions of Allen's relations. [SICS Report]

Larsson, Stig and Ranjbar, Zohreh (2016) Service idag och i framtiden: slutrapport för projektet Framtidens Underhållstekniker. [SICS Report]

Michalas, Antonis and Dowsley, Rafael and Nagel, Matthias (2016) A report on design and implementation of protected searchable data in IaaS. [SICS Report]

Svensson, Martin and Paladi, Nicolae and Giustolisi, Rosario (2015) 5G: Towards secure ubiquitous connectivity beyond 2020. [SICS Report]

Aronsson, Martin and Joborn, Martin and Ranjbar, Zohreh (2015) FBI-BAS, Framtidssäkra BangårdsInvesteringar - Pilot BAngods-Sävenäs. [SICS Report]

Axelsson, Jakob (2015) Systems-of-systems for border-crossing innovation in the digitized society - A strategic research and innovation agenda for Sweden. [SICS Report]

Ranjbar, Zohreh and Joborn, Martin (2015) Framtidens Flexibla Processindustriella Logistik. [SICS Report]

Höglund, Rikard and Tiloca, Marco (2015) Current State of the Art in Smart Metering Security. [SICS Report]

Axelsson, Jakob (2015) Proceedings of the 1st Scandinavian Workshop on the Engineering of Systems-of-Systems (SWESoS 2015). [SICS Report]

Ranjbar, Zohreh and Edoff, Petra and Rudström, Åsa and Nylander, Stina and Sigholm, Niclas (2015) Super Service Technician Slutrapport. [SICS Report]

Joborn, Martin (2015) Oplanerade stopp och potential för målpunktsstyrande system. [SICS Report]

Aronsson, Martin and Joborn, Martin and Danielsson, Per (2015) Kapacitetsutnyttjande på järnvägen år 2030. [SICS Report]

Svedberg, Victoria and Aronsson, Martin and Joborn, Martin (2015) Timetabling based on generalised cost. [SICS Report]

Yanggratoke, Rerngvit and Ahmed, Jawwad and Ardelius, John and Flinta, Christofer and Johnsson, Andreas (Ericsson Research) and Gillblad, Daniel and Stadler, Rolf (2014) Predicting Real-time Service-level Metrics from Device Statistics. [SICS Report]

Modarres Razavi, Sara and Nilsson, Andreas and Bohlin, Markus (2014) Production planning for district heating networks (DHN). [SICS Report]

Doganay, Kivanc and Eldh, Sigrid and Afzal, Wasif and Bohlin, Markus (2014) Search-based Testing for Embedded Telecommunication Software with Complex Input Structures: An Industrial Case Study. [SICS Report]

Mohanty, Manoranjan and Do, Viktor and Gehrmann, Christian (2014) Media Data Protection during Execution on Mobile Platforms – A Review. [SICS Report]

Rahimian, Fatemeh and Girdzijauskas, Sarunas and Haridi, Seif (2014) Parallel Community Detection For Cross-Document Coreference. [SICS Report]

Bohlin, Markus and Gestrelius, Sara (2013) Optimerad rangering: slutsatser och resultat från projektet RANPLAN. [SICS Report]

Bohlin, Markus and Gestrelius, Sara and Dahms, Florian and Mihalák, Matúš and Flier, Holger (2013) Optimized shunting with mixed-usage tracks. [SICS Report]

Letort, Arnaud and Carlsson, Mats and Beldiceanu, Nicolas (2013) Synchronized sweep algorithms for scalable scheduling constraints. [SICS Report]

Vahidi, Arash and Ekdahl, Patrik (2013) VETE: Virtualizing the Trusted Execution Environment. [SICS Report]

Paladi, Nicolae and Gehrmann, Christian and Morenius, Fredric (2013) State of The Art and Hot Aspects in Cloud Data Storage Security. [SICS Report]

Rahimian, Fatemeh and Payberah, Amir H. and Girdzijauskas, Sarunas and Jelasity, Mark and Haridi, Seif (2013) Ja-be-Ja: A Distributed Algorithm for Balanced Graph Partitioning. [SICS Report]

Forsgren, Malin and Aronsson, Martin and Gestrelius, Sara and Dahlberg, Hans (2012) Opportunities and challenges with new railway planning approach in Sweden. [SICS Report]

Mottola, Luca and Voigt, Thiemo and Picco, Gian Pietro and Quartulli, Antonio and Österlind, Fredrik (2012) Electronically-switched Directional Antennas for Low-power Wireless Networks: A Prototype-driven Evaluation. [SICS Report]

Aronsson, Martin and Forsgren, Malin and Gestrelius, Sara (2012) The Road to Incremental Allocation & Incremental Planning. [SICS Report]

Bohlin, Markus and Gestrelius, Sara and Khoshniyat, Fahimeh (2012) Evaluation of planning policies for marshalling track allocation using simulation. [SICS Report]

Rasmusson, Lars and Rajabi Nasab, Mazdak (2012) Hypervisor Integrity Measurement Assistant. [SICS Report]

Drejhammar, Frej and Haridi, Seif (2012) Efficient simulation of view synchrony. [SICS Report]

Kobetski, Avenir and Axelsson, Jakob (2012) Federated Robust Embedded Systems: Concepts and Challenges. [SICS Report]

Arad, Cosmin and Shafaat, Tallat M. and Haridi, Seif (2012) CATS: linearizability and partition tolerance in scalable and self-organizing key-value stores. [SICS Report]

Beldiceanu, Nicolas and Carlsson, Mats and Flener, Pierre and Pearson, Justin (2012) On the Reification of Global Constraints. [SICS Report]

Beldiceanu, Nicolas and Carlsson, Mats and Rampon, Jean-Xavier (2012) Global Constraint Catalog, 2nd Edition (revision a). [SICS Report]

Kobetski, Avenir and Axelsson, Jakob (2012) Federated Embedded Systems – a review of the literature in related fields. [SICS Report]

Dunkels, Adam (2011) The ContikiMAC Radio Duty Cycling Protocol. [SICS Report]

Gestrelius, Sara and Bohlin, Markus and Danielsson, Per and Aronsson, Martin (2011) Teknisk slutrapport för RANPLAN - Beräkningstöd för planering och resursallokering på rangerbangården. [SICS Report]

Büttner, Sebastian and Ahmet, Zeynep and Cramer, Henriette (2011) QR code awareness in Stockholm, Sweden. [SICS Report]

Ekman, Jan and Holst, Anders and Jonasson, Arndt (2011) Condition based maintenance of trains doors. [SICS Report]

Bohlin, Markus and Ekman, Jan and Holst, Anders (2011) The opportunistic replacement and inspection problem for components with a stochastic life time. [SICS Report]

Gestrelius, Sara (2011) MocNet Simulation Specification. [SICS Report]

Nylander, Stina (2011) Maintaining life change and supporting maintenance with design – what can we learn from Twelve Step recovery? [SICS Report]

Kassa, Ermias Shibru (2011) Evaluation of Robust Weight Setting in Link State Routing. [SICS Report]

Forsgren, Malin and Aronsson, Martin (2011) Digitala tjänster för co-modal trafiksynkronisering i Göta älv-området. [SICS Report]

Dunkels, Adam and Eriksson, Joakim and Finne, Niclas and Tsiftes, Nicolas (2011) Powertrace: Network-level Power Profiling for Low-power Wireless Networks. [SICS Report]

Geletu, Biruk Silase (2011) Modeling the Behavior of an Electronically Switchable Directional Antenna for Wireless Sensor Networks. [SICS Report]

Aslam, Mudassar and Gehrmann, Christian (2011) Deploying Virtual Machines on Shared Platforms. [SICS Report]

Qin, Yian and He, Zhitao (2011) A Communication Monitor for Wireless Sensor Networks Based on Software Defined Radio. [SICS Report]

Täckström, Oscar and McDonald, Ryan (2011) Discovering fine-grained sentiment with latent variable structured prediction models. [SICS Report]

Gunnar, Anders and Johansson, Mikael (2011) Cautious Weight Tuning for Link State Routing Protocols. [SICS Report]

Holst, Anders (2011) Analys och prediktion av slitage på hjulprofiler och bromsbelägg på tåg. [SICS Report]

Raza, Shahid and Chung, Tony and Duquennoy, Simon and Yazar, Dogan and Voigt, Thiemo and Roedig, Utz (2010) Securing Internet of Things with Lightweight IPsec. [SICS Report]

Beldiceanu, Nicolas and Carlsson, Mats and Rampon, Jean-Xavier (2010) Global Constraint Catalog, 2nd Edition. [SICS Report]

Bohlin, Markus and Flier, Holger and Maue, Jens and Mihalák, Matúš (2010) Hump Yard Track Allocation with Temporary Car Storage. [SICS Report]

Konovalov, Igor (2010) A Framework for WirelessHART Simulations. [SICS Report]

Arad, Cosmin and Haridi, Seif (2010) Kompics: a message-passing component model for building distributed systems. [SICS Report]

Aslam, Mudassar and Gehrmann, Christian (2010) TCG based approach for secure management of virtualized platforms: state-of-the-art. [SICS Report]

Rudström, Åsa and Sjölinder, Marie and Nylander, Stina (2010) How to choose and how to watch: an on-demand perspective on current TV practices. [SICS Report]

Al-Shishtawy, Ahmad and Asif Fayyaz, Muhammad and Popov, Konstantin and Vlassov, Vladimir (2010) Achieving Robust Self-Management for Large-Scale Distributed Applications. [SICS Report]

Raza, Shahid (2010) Secure Communication in WirelessHART and its Integration with Legacy HART. [SICS Report]

Nylander, Stina and Rudström, Åsa and Sjölinder, Marie (2010) On the design of television as a service based on average TV watching. [SICS Report]

Douglas, Heradon and Gehrmann, Christian (2009) Secure Virtualization and Multicore Platforms State-of-the-Art report. [SICS Report]

Steinert, Rebecca and Gillblad, Daniel (2009) Distributed detection of latency shifts in networks. [SICS Report]

Holst, Anders (2009) Data analysis of sensor network data. [SICS Report]

Gey, Frederic and Karlgren, Jussi and Kando, Noriko (2009) Information access in a multilingual world: transitioning from research to real-world applications. [SICS Report]

Karlgren, Jussi and Franzén, Djuna and Johnson, Åsa (2009) Studying collaboration and annotation as factors in achieving trust in electronic documents. [SICS Report]

Sahlgren, Magnus and Knutsson, Ola (2009) Proceedings of the workshop on extracting and using constructions in NLP. [SICS Report]

Nylander, Stina and Karlson, Bo (2009) Gathering design requirements for a microcommunity - the case of preschool parents and teachers. [SICS Report]

Täckström, Oscar (2009) A literature survey of methods for analysis of subjective language. [SICS Report]

Olsson, Fredrik (2009) A literature survey of active machine learning in the context of natural language processing. [SICS Report]

Steinert, Rebecca and Gillblad, Daniel (2009) An initial approach to distributed adaptive fault-handling in networked systems. [SICS Report]

Forsgren, Malin and Aronsson, Martin and Kreuger, Per (2009) Tågtrafikplanering med successiv tilldelning. [SICS Report]

Beldiceanu, Nicolas and Carlsson, Mats and Martin, Julien (2009) Compiling business rules in a geometric constraint over k-dimensional objects and shapes. [SICS Report]

Ågren, Magnus and Beldiceanu, Nicolas and Carlsson, Mats and Sbihi, Mohamed and Truchet, Charlotte and Zampelli, Stéphane (2009) Six ways of integrating symmetries within non-overlapping constraints. [SICS Report]

Hansen, Preben and Karlgren, Jussi (2009) Texts and Language – Interactivity and Context. [SICS Report]

Schütz, Simon and Abrahamsson, Henrik and Ahlgren, Bengt and Brunner, Marcus (2008) Design and implementation of the node identity internetworking architecture. [SICS Report]

Nylander, Stina (2008) Strategies for exchanging information in preschool. [SICS Report]

Holmgren, Fredrik and Janson, Sverker (2008) Interactive Visual Analysis of Networked Systems: Workflows for Two Industrial Domains. [SICS Report]

Rudström, Åsa and Sjölinder, Marie (2008) Capturing TV user behaviour in fictional character descriptions. [SICS Report]

Seitz, Ludwig and Rissanen, Eric (2008) Context dependent revocation in delegated XACML. [SICS Report]

Kreuger, Per (2008) Clustering and scheduling maintenance tasks over time. [SICS Report]

Faxén, Karl-Filip (2008) Modular cloning. [SICS Report]

Faxén, Karl-Filip (2008) Effect inference for deterministic parallelism. [SICS Report]

Carlsson, Mats and Beldiceanu, Nicolas and Martin, Julien (2008) A geometric constraint over k-dimensional objects and shapes subject to business rules. [SICS Report]

Seitz, Ludwig and Rissanen, Erik (2008) NETCONF access control profile for XACML. [SICS Report]

Österlind, Fredrik and Dunkels, Adam (2008) Approaching the maximum 802.15.4 multi-hop throughput. [SICS Report]

Krishnamurthy, Supriya and Ardelius, John (2008) An analytical framework for the performance evaluation of proximity-aware structured overlays. [SICS Report]

Ekman, Jan and Holst, Anders (2008) Incremental stream clustering and anomaly detection. [SICS Report]

Bohlin, Markus and Forsgren, Malin (2008) Utvärdering av simulerat dynamiskt underhåll för spårbundna fordon. [SICS Report]

Fahlén, Lennart (2008) ERG final report. [SICS Report]

Tsiftes, Nicolas (2007) Using data compression for energy-efficient reprogramming of wireless sensor networks. [SICS Report]

He, Zhitao (2007) Implementation and evaluation of the sensornet protocol for Contiki. [SICS Report]

Krishnamurthy, Supriya and El-Ansary, Sameh and Aurell, Erik and Haridi, Seif (2007) Comparing maintenance strategies for overlays. [SICS Report]

Beldiceanu, Nicolas and Poder, Emmanuel and Sadek, Rida and Carlsson, Mats and Truchet, Charlotte (2007) A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects. [SICS Report]

Finne, Niclas and Eriksson, Joakim and Dunkels, Adam and Voigt, Thiemo (2007) Experiences from two sensor network deployments - self-configuration a key to success. [SICS Report]

Arad, Cosmin and Kafray, Ozair and Ghodsi, Ali and Haridi, Seif (2007) GODS: Global Observatory for Distributed Systems. [SICS Report]

Franzén, Kristofer and Oppenheimer, Daniel (2007) The FetchProt Corpus: Documentation and Annotation Guidelines. [SICS Report]

Ghodsi, Ali and Haridi, Seif (2007) ForestCast: a central solution to heuristically constructing trees. [SICS Report]

Sahlgren, Magnus and Knutsson, Ola (2007) Proceedings of the Workshop Semantic Content Acquisition and Representation (SCAR) 2007. [SICS Report]

Österlind, Fredrik and Pramsten, Erik and Roberthson, Daniel and Eriksson, Joakim and Finne, Niclas and Voigt, Thiemo (2007) Integrating Building Automation Systems and Wireless Sensor Networks. [SICS Report]

Ghodsi, Ali and Haridi, Seif (2007) Atomic Ring Maintenance for Distributed Hash Tables. [SICS Report]

Boman, Magnus and Espinoza, Fredrik and Franzén, Kristofer and Hansen, Preben and Bylund, Markus and Svensson, Martin (2007) Human Grid: En förstudie. [SICS Report]

Aronsson, Martin and Bohlin, Markus and Kreuger, Per (2007) Mixed integer-linear formulations of cumulative scheduling constraints - A comparative study. [SICS Report]

Albertsson, Lars (2007) Entropy Injection. [SICS Report]

Nylander, Stina (2006) Towards Design Guidelines for Multi-Device Services. [SICS Report]

Nylander, Stina (2006) Real-Life Use of Multi-Device Services. [SICS Report]

Aronsson, Martin (2006) Slutrapport för projektet TUFF, TågplaneUtveckling För Framtiden. [SICS Report]

Gillblad, Daniel and Holst, Anders and Steinert, Rebecca (2006) Fault-tolerant incremental diagnosis with limited historical data. [SICS Report]

Boman, Magnus and Laaksolahti, Jarmo and Espinoza, Fredrik and Cöster, Rickard (2006) Trust in Micro Service Environments. [SICS Report]

Dunkels, Adam (2006) A Low-Overhead Script Language for Tiny Networked Embedded Systems. [SICS Report]

Albertsson, Lars (2006) Holistic debugging. [SICS Report]

Bohlin, Markus and Kreuger, Per and Aronsson, Martin and Forsgren, Malin (2006) Ansatser för flexibel planering och schemaläggning av tågtidtabeller. [SICS Report]

Halim, Steven and Yap, Roland H.C. and Lau, Hoong Chuin (2006) Visualization for Analyzing Trajectory-Based Metaheuristic Search Algorithms. [SICS Report]

Cheng, Kenil C. K. and Yap, Roland H.C. (2006) Maintaining Generalized Arc Consistency on Ad-hoc n-ary Boolean Constraints. [SICS Report]

Brand, Sebastian and Yap, Roland H.C. (2006) Towards "Propagation = Logic + Control". [SICS Report]

Beldiceanu, Nicolas and Carlsson, Mats and Demassey, Sophie and Petit, Thierry (2006) Graph Properties Based Filtering. [SICS Report]

Stefansson, Birgir and Thodis, Antonios and Ghodsi, Ali and Haridi, Seif (2006) MyriadStore: Technical Report. [SICS Report]

Cetin, Bilge (2006) Opportunistic relay protocol for IEEE 802.11 WLANs. [SICS Report]

Ekman, Jan and Holst, Anders and Aronsson, Martin and Bohlin, Markus and Forsgren, Malin and Larsen, Stefan (2006) TIME - en gemensam informationsutbytesplattform för järnvägstransportbranschen. [SICS Report]

Holst, Anders and Ekman, Jan and Larsen, Stefan (2006) Avvikelsedetektion i signaler från Regina. [SICS Report]

Österlind, Fredrik (2006) A Sensor Network Simulator for the Contiki OS. [SICS Report]

Kreuger, Per and Aronsson, Martin and Bohlin, Markus (2006) Leveranstågplan: specifikation och åtagande. [SICS Report]

Loubser, Max (2006) Delay Tolerant Networking for Sensor Networks. [SICS Report]

Nylander, Stina and Nyström, Thomas and Pakucs, Botond (2005) Generating speech user interfaces from interaction acts. [SICS Report]

Larsson, Anna and Nerén, Carina (2005) Gender Aspects of Computer Avatars. [SICS Report]

Dunkels, Adam (2005) Proceedings of the First REALWSN 2005 Workshop on Real-World Wireless Sensor Networks, Stockholm, Sweden, 20-21 June 2005. [SICS Report]

Kreuger, Per and Aronsson, Martin and Ekman, Jan and Franzén, Thomas (2005) Rail Traffic Requirements Engineering. [SICS Report]

Gillblad, Daniel and Kreuger, Per and Levin, Björn and Rudström, Åsa (2005) Preparation and analysis of multiple source industrial process data. [SICS Report]

Marsh, Ian (2005) A new proposal for congestion control in Ambient networks. [SICS Report]

Karlgren, Jussi and Argamon, Shlomo and Shanahan, James G. (2005) Stylistic Analysis of Text for Information Access. [SICS Report]

Beldiceanu, Nicolas and Carlsson, Mats and Rampon, Jean-Xavier and Truchet, Charlotte (2005) Graph Invariants as Necessary Conditions for Global Constraints. [SICS Report]

Beldiceanu, Nicolas and Carlsson, Mats and Rampon, Jean-Xavier (2005) Global Constraint Catalog. [SICS Report]

Ghodsi, Ali and El-Ansary, Sameh and Krishnamurthy, Supriya and Haridi, Seif (2005) A Self-stabilizing Network Size Estimation Gossip Algorithm for Peer-to-Peer Systems. [SICS Report]

Dunkels, Adam and Schmidt, Oliver (2005) Protothreads - Lightweight Stackless Threads in C. [SICS Report]

Söderqvist, Mattias (2005) Search Heuristics for Load Balancing in IP-networks. [SICS Report]

Holmgren, Fredrik (2005) Towards a Visualization Tool for Peer-to-peer Ovelay Networks. [SICS Report]

Hasselrot, Daniel (2005) A Java based framework for simulating peer-to-peer overlay networks. [SICS Report]

Gillblad, Daniel and Holst, Anders and Levin, Björn and Gudmundsson, Magnus (2005) Approximating process simulators with learning systems. [SICS Report]

Feeney, Laura Marie and Ahlgren, Bengt and Rohner, Christian (2005) Timing is everything: the impact of wakeup schedule distribution on asynchronous power save protocols. [SICS Report]

Klintskog, Erik (2004) Internal Design of the DSS. [SICS Report]

Bylund, Markus and Sjölinder, Marie and Danestig, Anna (2004) Exploring user contexts - a qualitative study of everyday activities. [SICS Report]

Bylund, Markus and Sjölinder, Marie and Eriksson, Anna-Frida (2004) Exploring the importance of context parameters for service use in everyday situations. [SICS Report]

Gillblad, Daniel and Holst, Anders and Kreuger, Per and Levin, Björn (2004) The gmdl Modeling and Analysis System. [SICS Report]

Alonso, Juan and Dunkels, Adam and Voigt, Thiemo (2004) Bounds on the Lifetime of Wireless Sensor Networks. [SICS Report]

El-Ansary, Sameh and Krishnamurthy, Supriya and Aurell, Erik and Haridi, Seif (2004) An Analytical Study of Consistency and Performance of DHTs under Churn. [SICS Report]

Holst, Anders and Kreuger, Per (2004) Butler: Fallanalys 1 - Outokumpu. [SICS Report]

Ghodsi, Ali and Alima, Luc Onana and Haridi, Seif (2004) A Symmetric Replication Scheme for Increased Security and Performance in Structured Overlay Networks. [SICS Report]

Alima, Luc Onana and Ghodsi, Ali and Haridi, Seif (2004) A Framework for Structured Peer-to-Peer Overlay Networks. [SICS Report]

El Banna, Zacharias and Klintskog, Erik and Brand, Per (2004) Making the Distribution Subsystem Secure. [SICS Report]

Klintskog, Erik (2004) Creating a Distributed Programming System Using the DSS: A Case Study of OzDSS. [SICS Report]

Arunachalam, Raghu and Eriksson, Joakim and Finne, Niclas and Janson, Sverker and Sadeh, Norman M. (2004) The Supply Chain Management Game for the Trading Agent Competition 2004. [SICS Report]

Beldiceanu, Nicolas and Carlsson, Mats and Petit, Thierry (2004) Deriving Filtering Algorithms from Constraint Checkers. [SICS Report]

Frécon, Emmanuel (2004) A Survey of CVE Technologies and Systems. [SICS Report]

Dunkels, Adam and Alonso, Juan and Voigt, Thiemo and Ritter, Hartmut (2004) Distributed TCP Caching for Wireless Sensor Networks. [SICS Report]

Dunkels, Adam and Grönvall, Björn and Voigt, Thiemo and Alonso, Juan (2004) The Design of a Lightweight Portable Operating System for Tiny Networked Sensor Devices. [SICS Report]

Andersson, Gerd and Bullock, Adrian and Laaksolahti, Jarmo and Nylander, Stina and Olsson, Fredrik and Sjölinder, Marie and Waern, Annika and Boman, Magnus (2004) Classifying Mobile Services. [SICS Report]

Olsson, Fredrik (2004) A survey of machine learning for reference resolution in textual discourse. [SICS Report]

Aurell, Erik and El-Ansary, Sameh (2004) A physics-style approach to scalability of distributed systems. [SICS Report]

Rudström, Åsa and Höök, Kristina (2003) Designing a Mobile Social Service for a Mall: User Experiences of Kista Galleria. [SICS Report]

Rudström, Åsa (2003) Who, what and where in Kista Galleria. An ethnographically inspired study of a shopping mall and mobile life within. [SICS Report]

Hasselrot, Tobias (2003) Fair Bandwidth Allocation in Internet Access Gateways - Using Agent-based Electronic Market. [SICS Report]

Westin, Ola (2003) TCP Performance in Wireless Mobile Multi-hop Ad Hoc Networks. [SICS Report]

Dunkels, Adam and Alonso, Juan and Voigt, Thiemo (2003) Making TCP/IP Viable for Wireless Sensor Networks. [SICS Report]

Alonso, Juan and Dunkels, Adam and Voigt, Thiemo (2003) Bounds on the Energy Consumption of Routings in Wireless Sensor Networks. [SICS Report]

Dunkels, Adam and Voigt, Thiemo and Alonso, Juan and Ritter, Hartmut and Schiller, Jochen (2003) Connecting Wireless Sensornets with TCP/IP Networks. [SICS Report]

Fredlund, Lars-Åke (2003) Guaranteeing Correctness Properties of a Java Card Applet. [SICS Report]

Nylander, Stina (2003) Different Approaches to Achieving Device Independent Services - an Overview. [SICS Report]

Nylander, Stina and Bylund, Markus and Waern, Annika (2003) The Ubiquitous Interactor - Mobile Services with Multiple User Interfaces. [SICS Report]

Nylander, Stina and Bylund, Markus and Boman, Magnus (2003) Mobile Access to Real-Time Information - The case of Autonomous Stock Brokering. [SICS Report]

Nylander, Stina (2003) Evaluating the Ubiquitous Interactor. [SICS Report]

Marsh, Ian and Li, Fengyi and Karlsson, Gunnar (2003) Wide Area Measurements of Voice Over IP Quality. [SICS Report]

Ekman, Jan and Kreuger, Per (2003) En analytisk metod för utredning av kapacitet vid signalprojektering. [SICS Report]

Westholm, Jakub Orzechowski and Ameur, Adam (2003) GENKOMB project report. [SICS Report]

Kocjan, Waldemar and Kreuger, Per (2003) Filtering methods for symmetric cardinality constraint. [SICS Report]

Antonov, Nikolai V. (2003) Scaling behavior in a stochastic self-gravitating system. [SICS Report]

Bylund, Markus (2003) An Empirical Evaluation of the Performance of Mobile Network Connections. [SICS Report]

Aronsson, Martin and Ekman, Jan and Kreuger, Per (2003) Coordination of planning processes for traffic operators on rail networks; Annual Report 1, Swedish national railway administration (Banverket) R&D-project - SPOK. [SICS Report]

Aronsson, Martin and Ekman, Jan and Kreuger, Per (2003) Översikt av metoder och förutsättningar för tåglägestilldelning. [SICS Report]

Forsgren, Malin (2003) Computation of Capacity on Railway Networks. [SICS Report]

Abrahamsson, Henrik and Ahlgren, Bengt (2003) Temporal Characteristics of Large IP Traffic Flows. [SICS Report]

Wikström, Douglas (2003) Elements in Z*p\Gq are Dangerous. [SICS Report]

Wikström, Douglas (2003) Four Practical Attacks for ``Optimistic Mixing for Exit-Polls''. [SICS Report]

Pettersson, Petter (2003) Financial Derivatives for Computer Network Capacity Markets with Quality-of-Service Guarantees. [SICS Report]

Klintskog, Erik and El Banna, Zacharias and Brand, Per (2003) A Generic Middleware for Intra-Language Transparent Distribution. [SICS Report]

Beldiceanu, Nicolas and Carlsson, Mats and Thiel, Sven (2003) Sweep Synchronization as a Global Propagation Mechanism. [SICS Report]

Wikström, Douglas (2002) How to Break, Fix, and Optimize "Optimistic Mix for Exit-Polls". [SICS Report]

Wikström, Douglas (2002) An Efficient Mix-Net. [SICS Report]

Borg, Cecilia (2002) Existence, Identification and Stability of Elephant flows in IP Traffic. [SICS Report]

Persson, Per and Fagerberg, Petra (2002) GeoNotes: a real-use study of a public location-aware community system. [SICS Report]

Hagsand, Olof and Marsh, Ian and Hanson, Kjell (2002) Sicsophone: A Low-Delay Internet Telephony Tool. [SICS Report]

Rasmusson, Lars and Aurell, Erik (2002) Simulation of a network capacity market and three middle-man strategies to price and sell dynamically routed point-to-point connections. [SICS Report]

Rasmusson, Lars and Paues, Gabriel (2002) Network components for market-based network admission and routing. [SICS Report]

Bohlin, Markus and Kocjan, Waldemar and Kreuger, Per (2002) Designing Global Scheduling Constraints for Local Search: A Generic Approach. [SICS Report]

Rosenhamer, Fredrik (2002) What AMANDA offers: A comparative case study describing a flexible and decentralised approach for Authorisation Management. [SICS Report]

Carlsson, Mats and Beldiceanu, Nicolas (2002) Revisiting the Lexicographic Ordering Constraint. [SICS Report]

Carlsson, Mats and Beldiceanu, Nicolas (2002) Arc-Consistency for a Chain of Lexicographic Ordering Constraints. [SICS Report]

Kocjan, Waldemar (2002) Dynamic scheduling. State of the art report. [SICS Report]

Beldiceanu, Nicolas and Carlsson, Mats and Thiel, Sven (2002) Cost-Filtering Algorithms for the two Sides of the Sum of Weights of Distinct Values Constraint. [SICS Report]

Aurell, Erik and Carlsson, Mats and Ekman, Jan and Kreuger, Per (2002) GENFUNK. [SICS Report]

Westholm, Jakub Orzechowski and Ameur, Adam (2002) Local search methods in gene expression analysis. [SICS Report]

Paues, Gabriel (2002) An implementation of capacity reservation devices in IP networks. [SICS Report]

Espinoza, Andreas E. (2002) Conceptualizing User Interaction in a Multi-service Environment. [SICS Report]

Ågren, Magnus (2002) Tracing and Explaining the Execution of CLP(FD) Programs in SICStus Prolog. [SICS Report]

Feeney, Laura Marie (2002) An Asynchronous Power Save Protocol for Wireless Ad Hoc Networks (Rev. 1.1). [SICS Report]

Bohlin, Markus (2002) Constraint satisfaction by local search. [SICS Report]

Bohlin, Markus and Bruce, Lars (2002) Redesign of the Oz Compiler. [SICS Report]

Alonso, Juan and Abrahamsson, Henrik and Ahlgren, Bengt and Andersson, Anders and Kreuger, Per (2002) Objective Functions for Balance in Traffic Engineering. [SICS Report]

El-Ansary, Sameh and Alima, Luc Onana and Brand, Per and Haridi, Seif (2002) A Framework for Peer-To-Peer Lookup Services based on k-ary search. [SICS Report]

Nylander, Stina and Bylund, Markus (2002) Providing Device Independence to Mobile Services. [SICS Report]

Nylander, Stina and Waern, Annika (2002) Interaction Acts for Device Independent Gaming. [SICS Report]

Aronsson, Martin and Ekman, Jan (2002) TUFF-PO, Kravsättning av tidplaner utifrån personalplaneringsbehov. [SICS Report]

Holst, Anders (2002) The DALLAS project. Report from the NUTEK-supported project AIS-8: Application of Data Analysis with Learning Systems, 1999-2001. [SICS Report]

Rasmusson, Lars (2002) Evaluating the CDF for m weighted sums of n correlated lognormal random variables. [SICS Report]

Aronsson, Martin and Jägbeck, Adina (2001) Förutsättningar för användning av likartade planeringsverktyg inom byggproduktion och järnvägstrafik. [SICS Report]

Abrahamsson, Henrik and Marsh, Ian (2001) DTMsim - DTM channel simulation in ns. [SICS Report]

Rasmusson, Lars and Aurell, Erik (2001) A Price Dynamics in Bandwidth Markets for Point-to-point Connections. [SICS Report]

Aronsson, Martin and Kreuger, Per (2001) A constraint model for a cyclic time personnel routing and scheduling problem. [SICS Report]

Giambiagi, Pablo (2001) Secrecy for Mobile Implementations of Security Protocols. [SICS Report]

Dunkels, Adam (2001) Minimal TCP/IP implementation with proxy support. [SICS Report]

Albertsson, Lars (2001) An Overview of Practical Research Approaches to Real-Time System Engineering. [SICS Report]

Beldiceanu, Nicolas and Carlsson, Mats (2001) Constructive Cardinality. [SICS Report]

Bylund, Markus (2001) sView - Architecture Overview and System Description. [SICS Report]

Rasmusson, Lars (2001) Pricing Virtual Paths with Quality-of-Service Guarantees as Bundle Derivatives. [SICS Report]

Kocjan, Waldemar (2001) Heuristic methods for routing and scheduling. [SICS Report]

Beldiceanu, Nicolas and Carlsson, Mats (2001) Sweep as a Generic Pruning Technique Applied to the Non-Overlapping Rectangles Constraint. [SICS Report]

Beldiceanu, Nicolas and Guo, Qi and Thiel, Sven (2001) Non-overlapping Constraints between Convex Polytopes. [SICS Report]

Beldiceanu, Nicolas and Carlsson, Mats (2001) A New Multi-Resource cumulatives Constraint with Negative Heights. [SICS Report]

Bylund, Markus and Waern, Annika (2001) Personal Service Environments - Openness and User Control in User-Service Interaction. [SICS Report]

Espinoza, Fredrik and Persson, Per and Sandin, Anna and Nyström, Hanna and Cacciatore, Elenor and Bylund, Markus (2001) GeoNotes: social and navigational aspects of location-based information systems. [SICS Report]

Persson, Per and Karlgren, Jussi and Korhonen, Panu and Galore, Janet and Tierney, Mark and Redmon, Chad and Hemánus, Juha and Lönnqvist, Peter and Laaksolahti, Jarmo (2001) Expressive Messaging on Mobile Platforms. [SICS Report]

Kreuger, Per and Carlsson, Mats and Sjöland, Thomas and Åström, Emil (2001) Sequence dependent task extensions for trip scheduling. [SICS Report]

Lindblom, Simon and Aronsson, Martin and Kreuger, Per (2001) Task Structure Abstraction. [SICS Report]

Nässén, Henrik (2001) Optimizing the SICStus Prolog virtual machine instruction set. [SICS Report]

Bromée, Fredrik (2001) Technical pre-study for the ExMS project. [SICS Report]

Bullock, Adrian and Gustafson, Per (2001) The VITI program: Final Report. [SICS Report]

Scholtz, Volker (2000) Knowledge-based Locomotive Planning for the Swedish Railway. [SICS Report]

Lindblom, Simon and Kreuger, Per and Aronsson, Martin and Holmberg, Per (2000) ACOOR Rapport 2: Översikt av tekniker och metoder. [SICS Report]

Beldiceanu, Nicolas (2000) Pruning for the minimum Constraint Family and for the Number of Distinct Values Constraint Family. [SICS Report]

Östergren, Mattias (2000) TCP Performance in Ad Hoc Networks. [SICS Report]

Holmberg, Per (2000) The use of abstractions to solve large scheduling problems. [SICS Report]

Beldiceanu, Nicolas (2000) Pruning for the cardinality-path Constraint Family. [SICS Report]

Beldiceanu, Nicolas (2000) Sweep as a Generic Pruning Technique. [SICS Report]

Ahlgren, Bengt and Andersson, Anders and Hagsand, Olof and Marsh, Ian (2000) Dimensioning Links for IP Telephony. [SICS Report]

Franzén, Kristofer and Karlgren, Jussi (2000) Verbosity and Interface Design. [SICS Report]

Aronsson, Martin and Kreuger, Per and Lindblom, Simon and Holmberg, Per (2000) ACOOR Rapport 1; Tuff: Systemöversikt och arkitektur. [SICS Report]

Beldiceanu, Nicolas (2000) Global constraints as graph properties on structured network of elementary constraints of the same type. [SICS Report]

Andersson, Anders (2000) Capacity Study of Statistical Multiplexing for IP Telephony. [SICS Report]

Hammarström, Kent Saxin (1999) Intermodality, MUD interfaces, and users with disablements. [SICS Report]

Zandieh, Majid (1999) Evaluation of an LC-trie algorithm for IP address lookup. [SICS Report]

Feeney, Laura Marie (1999) Investigating the Energy Consumption of an IEEE 802.11 Network Interface. [SICS Report]

Arnborg, Stefan (1999) A survey of Bayesian Data Mining - Part I: Discrete and semi-discrete Data Matrices. [SICS Report]

Gambäck, Björn (1999) Human Language Technology: The Babel Fish. [SICS Report]

Feeney, Laura Marie (1999) A Taxonomy for Routing Protocols in Mobile Ad Hoc Networks. [SICS Report]

Abrahamsson, Henrik (1999) Traffic measurement and analysis. [SICS Report]

Carlsson, Mats and Ottosson, Greger (1999) A Comparison of CP, IP and Hybrids for Configuration Problems. [SICS Report]

Olsson, Fredrik (1999) Tagging and Morphological Processing in the SVENSK System. [SICS Report]

Hulth, Anette and Jonsson, Anna (1999) An Experimental Digital Library Platform - A Demonstrator Prototype for the DigLib Project at SICS. [SICS Report]

Eskilson, Jesper (1999) SICStus MT - A Multithreaded Execution Environment for SICStus Prolog. [SICS Report]

Waern, Annika and Tierney, Mark and Rudström, Åsa and Laaksolahti, Jarmo (1998) ConCall: An information service for researchers based on EdInfo. [SICS Report]

Gurov, Dilian and Kapron, Bruce (1998) A Note on Negative Tagging for Least Fixed-Point Formulae. [SICS Report]

Dahlbäck, Nils (1998) Exploring Navigation: Towards a Framework for Design and Evaluation of Navigation in Electronic Spaces. [SICS Report]

Höök, Kristina and Munro, Alan and Benyon, David (1998) Workshop on personalized and social navigation in information space. [SICS Report]

Hansen, Preben (1997) An exploratory Study of IR Interaction for User Interface Design. [SICS Report]

Fredholm, Daniel (1997) Using Formal Methods. A practical comparison between Z/EVES and PVS. [SICS Report]

Dam, Mads and Fredlund, Lars-Åke (1997) On the Verification of Open Distributed Systems. [SICS Report]

Larsson, Fredrik and Magnusson, Peter S. and Werner, Bengt (1997) SimGen: Development of Efficient Instruction Set Simulators. [SICS Report]

Kristoferson, Jan (1997) Some Results on Activation and Scaling of Sparse Distributed Memory. [SICS Report]

Magnusson, Peter S. and Montelius, Johan (1997) Performance Debugging and Tuning using an Instruction-Set Simulator. [SICS Report]

Larsson, Fredrik (1997) Generating Efficient Simulators from a Specification Language. [SICS Report]

Karlsson, Gunnar (1996) An ATM Adaptation Layer for Reliable Transfers. [SICS Report]

Adler, Daniel (1996) Virtual Audio - Three-Dimensional Audio in Virtual Environments. [SICS Report]

Dam, Mads and Orava, Fredrik (1996) Analysis and Verification of Multiple-Agent Languages, Fifth LOMAPS Workshop, Abstracts. [SICS Report]

Franzén, Torkel (1996) A theorem-proving approach to deciding properties of finite control agents. [SICS Report]

Karlsson, Roland (1996) Compensating for Bias in the SDM Fast Activation Mechanism. [SICS Report]

Amadio, Roberto and Dam, Mads (1996) A Proof System for the pi-calculus. [SICS Report]

Simsarian, Kristian and Olson, Thomas J. and Nandhakumar, N. (1996) View-Invariant Regions and Mobile Robot Self-Localization. [SICS Report]

Pohja, Seppo (1996) Survey of Studies on Tactile Senses. [SICS Report]

Höök, Kristina and Sjölinder, Marie and Dahlbäck, Nils (1996) Individual Differences and Navigation in Hypermedia. [SICS Report]

Kristoferson, Jan (1995) Some Comments on the Information Stored in Sparse Distributed Memory. [SICS Report]

Sjödin, Gunnar (1995) Improving the Capacity of SDM. [SICS Report]

Sjödin, Gunnar (1995) Convergence and new operations in SDM. [SICS Report]

Karlsson, Gunnar (1995) Asynchronous Transfer of Video. [SICS Report]

Karlsson, Roland (1995) Evaluation of a Fast Activation Mechanism for the Kanerva SDM Memory. [SICS Report]

Höök, Kristina (1995) Adaption to the User's Task. [SICS Report]

Kristoferson, Jan (1995) Best Probability of Activation and Performance Comparisons for Several Designs of Sparse Distributed Memory. [SICS Report]

Schön, Erik (1995) On the Computation of Fixpoints in Static Program Analysis with an Application to AKL. [SICS Report]

Lisper, Björn (1995) Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations. [SICS Report]

Andersson, Anders (1995) SAGA -- Syntax Analyzer Generator for Agents. [SICS Report]

Bretan, Ivan (1995) Natural Language in Model World Interfaces. [SICS Report]

Karlsson, Gunnar (1995) Capacity Reservation in ATM Networks. [SICS Report]

Fredlund, Lars-Åke and Groote, Jan Friso and Korver, Henri (1995) A Proof of a Leader Election Protocol in microCRL ($\mu$CRL). [SICS Report]

Waern, Annika and Stenborg, Ola (1995) A simplistic approach to keyhole plan recognition. [SICS Report]

Eriksson, Lars-Henrik and Orava, Fredrik (1995) Formal specification and validation of a cache-coherence protocol. [SICS Report]

Dam, Mads (1994) On the Decidability of Process Equivalences for the pi-calculus. [SICS Report]

Amadio, Roberto and Dam, Mads (1994) Reasoning about Higher-Order Processes. [SICS Report]

Dam, Mads (1994) On Adaptable Support for Cooperative Work. [SICS Report]

Magnusson, Peter S. and Samuelsson, David (1994) A Compact Intermediate Format for SimICS. [SICS Report]

Saulsbury, Ashley and Wilkinson, Tim and Carter, John and Landin, Anders and Haridi, Seif (1994) An Argument for Simple COMA. [SICS Report]

Magnusson, Peter S. and Werner, Bengt (1994) Some Efficient Techniques for Simulating Memory. [SICS Report]

Samuelsson, David (1994) System Level Interpretation of the SPARC V8 Instruction Set Architecture. [SICS Report]

Brown, Charles Grant and Waern, Annika (1994) Action-Tracking in DIVE. [SICS Report]

Nilsson, Robert P. and Hammarström, Kent Saxin (1994) V: A Visual Query Language for Multimodal Interfaces. [SICS Report]

Franzén, Torkel (1994) Some Formal Aspects of AKL. [SICS Report]

Hirshfeld, Yoram and Jerrum, Mark and Moller, Faron (1994) A polynomial algorithm for deciding bisimilarity of normed context-free processes. [SICS Report]

Hirshfeld, Yoram and Jerrum, Mark and Moller, Faron (1994) A polynomial-time algorithm for deciding bisimilation equivalence of normed Basic Parallel Processes. [SICS Report]

Vivas, José-Luis (1994) Design of Telephony Services In Lotos. [SICS Report]

Karlgren, Jussi (1994) Newsgroup Clustering Based On User Behavior - A Recommendation Algebra. [SICS Report]

Lisper, Björn (1994) Unfolding of Programs with Nondeterminism. [SICS Report]

Bretan, Ivan and Karlgren, Jussi (1994) Synergy Effects in Natural Language-Based Multimodal Interaction. [SICS Report]

Eineborg, Martin and Gambäck, Björn (1994) Neural Networks for Wordform Recognition. [SICS Report]

Magnusson, Peter S. and Landin, Anders and Hagersten, Erik (1994) Efficient Software Synchronization on Large Cache Coherent Multiprocessors. [SICS Report]

Sjöland, Thomas and Sahlin, Dan (1994) Fixpoint Analysis of Type and Alias in AKL Programs. [SICS Report]

Dam, Mads (1994) Model Checking Mobile Processes (Full version). [SICS Report]

Karlgren, Jussi and Gambäck, Björn and Rayner, Manny and Samuelsson, Christer (1994) Spoken Language Translator: First-Year Report. [SICS Report]

Karlgren, Jussi (1994) Mumbling - User-Driven Cooperative Interaction. [SICS Report]

Karlgren, Jussi and Höök, Kristina and Lantz, Ann and Palme, Jacob and Pargman, Daniel (1994) The glass box user model for filtering. [SICS Report]

Lemaire, Benoit and MacDermid, Catriona and Waern, Annika (1994) Adaptive help by navigation and explanation. [SICS Report]

Lindberg, Nikolaj and Santamarta, Lena (1994) When SUC met CLE. Parsing tagged unrestricted text in the Swedish Core Language Engine. [SICS Report]

Hagsand, Olof (1994) Real-Time support for digital audio and video. [SICS Report]

Waern, Annika and Holm, Peter (1994) Human factors engineering in common-KADS. [SICS Report]

Waern, Annika (1994) Plan recognition for a purpose. [SICS Report]

Orava, Fredrik (1994) Specifying and analysing resource management in DTM protocols. [SICS Report]

Parrow, Joachim (1993) Interaction Diagrams. [SICS Report]

Magnusson, Peter S. (1993) Partial Translation. [SICS Report]

Aronsson, Martin (1993) Implementational Issues in GCLA: Compiling Control. [SICS Report]

Aronsson, Martin (1993) Planning the Construction of a Building. [SICS Report]

Palmersjö, Roger (1993) InterTool: Ett grafiskt gränssnitt mot verifikationsverktyg. [SICS Report]

Aronsson, Martin (1993) Implementational Issues in GCLA: A-Sufficiency and the Definiens Operation. [SICS Report]

Falkman, Göran and Warnby, Jonas (1993) Technical Diagnosis of Telecommunication Equipment - An Implementation of a Task specific Problems solving method (TDFL) using GCLA II. [SICS Report]

Nordström, Magnus and Pettersson, Paul (1993) A tool for rapid manual translation. [SICS Report]

Almgren, Jonas and Andersson, Stefan and Carlsson, Mats and Flood, Lena and Haridi, Seif and Frisk, Claes and Nilsson, Hans and Sundberg, Jan (1993) SICStus Prolog library manual, version 2.1 #8. [SICS Report]

Andersson, Johan and Andersson, Stefan and Boortz, Kent and Carlsson, Mats and Nilsson, Hans and Sjöland, Thomas and Widén, Johan (1993) SICStus Prolog user's manual, version 2.1 #8. [SICS Report]

Parrow, Joachim and Sangiorgi, Davide (1993) Algebraic theories for name-passing calculi. [SICS Report]

Ahlgren, Bengt and Pink, Stephen and Gunningberg, Per (1992) A Host Interface to the DTM Network. [SICS Report]

Gambäck, Björn (1992) Lexical acquisition: the Swedish VEX System. [SICS Report]

Gambäck, Björn and Rayner, Manny (1992) The Swedish Core Language Engine. [SICS Report]

Gambäck, Björn and Ljung, Stefan (1992) Question Answering in the Swedish Core Language Engine. [SICS Report]

Sjöland, Thomas (1992) Using SICStus Objects in the design of Graphical User Interfaces. [SICS Report]

Gunningberg, Per and Björkman, Mats and Elmstedt, Loten (1992) The DTM packet service and protocol. [SICS Report]

Karlsson, Roland (1992) How build your own OR-parallel Prolog System. [SICS Report]

Ali, Khayri Mohammed and Karlsson, Roland (1992) The Engine-Scheduler Interface used in the Muse OR-parallel Prolog System. [SICS Report]

Aronsson, Martin (1992) Methodology and Programming Techniques in GCLA II. [SICS Report]

Ali, Khayri Mohammed and Karlsson, Roland and Mudambi, Shyam (1992) Performance of Muse on Switch-Based Multiprocesor Machines. [SICS Report]

Eriksson, Lars-Henrik (1992) A finitary version of the calculus of partial inductive definitions. [SICS Report]

Kreuger, Per (1992) Applications of Partial Inductive Definitions. Conclusions from some projects run at SICS KBS-lab 1986-1992. [SICS Report]

Eineborg, Martin (1992) Learning swedish morphology with a neural network. [SICS Report]

Gunningberg, Per (1992) TUTORIAL : Alternatives in efficient protocol implementations for high speed networks. [SICS Report]

Lundin, Kent and Gunningberg, Per (1992) On porting VMTP to the x-kernal. [SICS Report]

Ståhl, Olov (1992) MDraw - A tool for cooperative work in the MultiG telepresence environment. [SICS Report]

Ernberg, Patrik and Hovander, Thomas and Monfort, Francisco (1992) Specification and Implementation of an ISDN Telephone System Using LOTOS. [SICS Report]

Höök, Kristina and Waern, Annika and Palin, Helen (1992) Possible Extensions to the Byrd Box Tracer Aimed at Experts Discussion paper for poster presentation at PPIG 1992. [SICS Report]

Ahlgren, Bengt and Björkman, Mats (1992) Multimedia transport service and protocol issues. [SICS Report]

Sjöland, Thomas (1992) Objektorientering i SICStus Prolog. [SICS Report]

Waern, Annika (1992) Weighted abduction for reactive diagnosis. [SICS Report]

Kreuger, Per (1992) GCLA II. A definitional approach to control. [SICS Report]

Hagsand, Olof (1992) A framework for generating language-oriented environments for visual programming languages. [SICS Report]

Iraggi, Gandolfo (1992) Using performance Petri Nets modelling and analysis of communication protocol implementation. [SICS Report]

Pink, Stephen and Partridge, Craig (1991) An implementation of the revised Internet stream protocol (ST-2). [SICS Report]

Landin, Anders and Haridi, Seif and Hagersten, Erik and Andersson, Pär (1991) A performance study of the DDM - a cache-only memory architecture. [SICS Report]

Landin, Anders and Haridi, Seif and Hagersten, Erik (1991) DDM - a cache-only memory architecture. [SICS Report]

Lisper, Björn (1991) Formal derivation of concurrent assignments from scheduled single assignments. [SICS Report]

Nilsson, Hans (1991) A set of predicates for fast reading and writing in SICStus. [SICS Report]

Nilsson, Hans (1991) The External storage facility in SICStus Prolog. [SICS Report]

Brown, Carl and Gustavsson, Rune and Höök, Kristina and Lindewall, Per and Waern, Annika (1991) Final report on interactive route guidance 1988-1991. [SICS Report]

Aronsson, Martin (1991) A Definitional approach to the combination of functional and relational programming. [SICS Report]

Alshawi, Hiyan and Brown, Carl and Carter, David and Gambäck, Björn and Pulman, Steve and Rayner, Manny (1991) Bilingual conversation interpreter : a prototype interactive message translator. Final report. [SICS Report]

Ernberg, Patrik (1991) CCS as a method of specification and verification: analysis of a case study. [SICS Report]

Permwall, Oskar (1991) A bibliography on sketches from the computer science point of view. [SICS Report]

Sjödin, Gunnar and Löfwall, Clas (1991) Strong normalizability in Martin-Löf's Type Theory. [SICS Report]

Janson, Sverker and Haridi, Seif (1991) Programming paradigms of the Andorra Kernel Language. [SICS Report]

Sahlin, Dan and Carlsson, Mats (1991) Variable shunting for the WAM. [SICS Report]

Höök, Kristina and Karlgren, Jussi (1991) Some principles for route descriptions derived from human advisers. [SICS Report]

Waern, Annika (1991) Presenting route guidance information : some thoughts about interface design. [SICS Report]

Waern, Annika (1991) Route guidance for novice navigators: prestudy results. [SICS Report]

Parrow, Joachim and Walker, David and Milner, Robin (1991) Modal logics for mobile processes. [SICS Report]

Nöu, Fredrik (1991) Extending the interactive space-time scheduler with support for hierarchical scheduling. [SICS Report]

Aronsson, Martin (1991) The GCLA user's manual. [SICS Report]

Alshawi, Hiyan and Carter, David and Gambäck, Björn and Pulman, Steve and Rayner, Manny (1991) Transfer through quasi logical form - A new approach to machine translation. [SICS Report]

Dahlberg, Monica (1991) Efficient algorithms for computing transitive closure in CWB : Implementation and comparison of several variations. [SICS Report]

Hagner, Nils and Tunevi, Anders (1991) Implementing case-based reasoning in SICStus Prolog. [SICS Report]

Carlsson, Mats (1991) The SICStus emulator. [SICS Report]

Boortz, Kent (1991) Länkning av Prolog under C. [SICS Report]

Boortz, Kent (1991) SICStus maskinkodskompilering. [SICS Report]

Almgren, Jonas and Andersson, Stefan and Flood, Lena and Frisk, Claes and Nilsson, Hans and Sundberg, Jan (1991) SICStus Prolog library manual. [SICS Report]

Carlsson, Mats and Widén, Johan and Andersson, Johan and Andersson, Stefan and Boortz, Kent and Nilsson, Hans and Sjöland, Thomas (1991) Industrial SICStus Prolog user's manual. [SICS Report]

Hagner, Nils and Olsson, Ingvar (1991) Aspects and experiences of MIS and SICStus Prolog. [SICS Report]

Carlsson, Mats (1991) Boolean constraints in SICStus Prolog. [SICS Report]

Andersson, Stefan (1991) Implementing a module system for SICStus Prolog. [SICS Report]

Laurell, Anne (1991) The construction methods presentator. A multi media presentation tool for construction methods. [SICS Report]

Aronsson, Martin (1991) A parser for GDL written in Sicstus Prolog. [SICS Report]

Ghemri, Lila (1991) A framework for diagnosis and remedial feedback. [SICS Report]

Cleaveland, Rance and Parrow, Joachim and Bernhard, Steffen (1991) The concurrency workbench: A semantics based tool for the verification of concurrent systems. [SICS Report]

Franzén, Torkel (1991) Logical aspects of the Andorra Kernal Language. [SICS Report]

Jonsson, Bengt and Guldstrand Larsen, Kim (1991) On the complexity of equation solving in process algebra. [SICS Report]

Jonsson, Bengt (1991) A hierarchy of compositional models of I/O-Automata. [SICS Report]

Orava, Fredrik and Parrow, Joachim (1991) An algebraic verification of a mobile network. [SICS Report]

Samuelsson, Christer and Rayner, Manny (1991) Developing an EBL bypass for a large-scale natural language query interface to relational data bases. [SICS Report]

Parrow, Joachim (1990) The Expressive Power of Parallelism. [SICS Report]

Parrow, Joachim (1990) Structural and Behavioural Equivalences of Networks. [SICS Report]

Hansson, Hans and Jonsson, Bengt (1990) A logic for reasoning about time and reliability. [SICS Report]

Sjödin, Peter (1990) Implementing LOTOS as asynchronously Communicating Processes. [SICS Report]

Avatare, Anneli (1990) A graphical SDL editor produced by the Meta-Tool LOGGIE. [SICS Report]

Carlsson, Mats and Szeredi, Péter (1990) The Aurora Abstract Machine and its Emulator. [SICS Report]

Carlsson, Mats (1990) A Prolog compiler and its extension for OR-parallelism. [SICS Report]

Karlsson, Roland and Ali, Khayri Mohammed (1990) The Muse approach to OR-parallel Prolog. [SICS Report]

Jonsson, Bengt (1990) Compositional specification and verification of distributed systems. [SICS Report]

Jonsson, Bengt (1990) A Fully Abstract Trace Model for Dataflow and Asynchronous Networks. [SICS Report]

Ernberg, Patrik and Fredlund, Lars-Åke and Jonsson, Bengt (1990) Specification and validation of a simple overtaking protocol using LOTOS. [SICS Report]

Fredlund, Lars-Åke (1990) Implementing a transational semantics for an imperative language. [SICS Report]

Svensson, Claes and Sundberg, Jan (1990) MuseTrace : a graphic tracer for Or-parallel Prolog. [SICS Report]

Mathieu, Philippe and Keisu, Torbjörn (1990) On Constraint Programming. [SICS Report]

Franzén, Torkel (1990) Formal Aspects of Kernal Andorra: I. [SICS Report]

Gambäck, Björn and Rayner, Manny (1990) Contract bridge as a micro-world for reasoning about communication agents. [SICS Report]

Landin, Anders and Haridi, Seif and Hagersten, Erik (1990) Moving the shared memory closer to the processors: DDM. [SICS Report]

Ernberg, Patrik and Fredlund, Lars-Åke (1990) Identifying some bottlenecks of the concurrency workbench. [SICS Report]

Sjöland, Thomas (1990) Generating AND-parallel Execution Expressions. [SICS Report]

Carlsson, Mats (1990) On the Efficiency of Optimising Shallow Backtracking in Prolog. [SICS Report]

Ahlgren, Bengt and Lindgren, Per and Sirotkin, Teet (1990) State of the art in network security. [SICS Report]

Gäredal, Anette, et al. (1990) Knowledge acquisition procedures for diagnosis of performance problems. [SICS Report]

Haridi, Seif and Janson, Sverker (1990) Kernel Andorra Prolog and its Computational Model. [SICS Report]

Mathieu, Philippe and Keisu, Torbjörn (1990) Relating Attribute Grammars and a Constraint-Prolog Programming Environment. [SICS Report]

Palmkvist, Johan (1989) Implementation of a planning system using GCLA. [SICS Report]

Kreuger, Per (1989) EWAM: An extension of WAM to execute functional programs. [SICS Report]

Janson, Sverker and Rayner, Manny (1989) Finding out = Achieving Decidability. [SICS Report]

Avatare, Anneli (1989) Computer aided hardware design by space-time mappings. [SICS Report]

Samuelsson, Christer and Rayner, Manny (1989) Applying explanation-based learning to natural language processing (part 2). [SICS Report]

Bång, Anna and Lindberger, Per (1989) Developing a natural language interface and connecting it to a first order logic theorem prover. [SICS Report]

Andersson, Jerker and Andersson, Per (1989) On the usage of knowledge based techniques in configuring computer systems: a case study. [SICS Report]

Ahlgren, Bengt and Lindgren, Per and Sirotkin, Teet (1989) SPION: Secure Protocols in OSI Networks. [SICS Report]

Nordmark, Erik (1989) SICS protocol implementation measurement system: user manual. [SICS Report]

Tunevi, Anders (1989) Knowledge structures, strategies and learning processes in fault finding. [SICS Report]

Tunevi, Anders (1989) A learning system for fault finding. [SICS Report]

Sahlin, Dan and Franzén, Torkel and Haridi, Seif (1989) An Intuitionistic Predicate Logic Theorem Prover. [SICS Report]

Benzinger, Mikael and Nordström, Anna (1989) Design of structure presentation layer editors in LOGGIE. [SICS Report]

Lee, Chan-Hee (1989) Implementering av CCS med värdeöverföring. [SICS Report]

Aronsson, Martin (1989) The Instruction Set for the GCLA Abstract Machine. [SICS Report]

Bogeby, Hans and Vuorela, Harri (1989) Implementation of basic graphical support system. [SICS Report]

Kreuger, Per (1989) Två system för default-resonemang, en studie av Kurt Konoliges artikel: On the relation between default and autoepistemic logic. [SICS Report]

Khan, Ahmed Hussain (1989) Implementation of a verification method to communication protocols. [SICS Report]

Christersson, Magnus (1989) PLANKEE - a Planner with Replanning Capability. [SICS Report]

Gullestad, Ylva (1989) ALPHA: Implementation of a subset of PHIGS. [SICS Report]

Eriksson, Mikael (1989) Inlärning av strukturer i konceptuella scheman från databaser. [SICS Report]

Backlund, Björn and Bolognesi, Tommaso and Hagsand, Olof and Latella, Diego and Pehrson, Björn (1989) A graphical G-LOTOS editor defined by meta-tool LOGGIE. [SICS Report]

Rayner, Manny (1989) Applying explanation-based learning to natural-language processing (part 1). [SICS Report]

Rayner, Manny (1989) On the applicability of non-monotonic logic to formal reasoning in continuous time. [SICS Report]

Kreuger, Per (1989) A version of Huet's algorithm for higher-order unification. [SICS Report]

Backlund, Björn and Hagsand, Olof and Pehrson, Björn (1989) Generation of graphic language-oriented design environments. [SICS Report]

Lisper, Björn (1989) Computing transitive closure on systolic arrays of fixed size. [SICS Report]

Aronsson, Martin (1989) STRIPS-Like planning using GCLA. [SICS Report]

Jonsson, Bengt and Parrow, Joachim (1989) Deciding bisimulation equivalences for a class of non-finite-state programs. [SICS Report]

Lusk, Ewing and Warren, David H.D. and Haridi, Seif (1989) The Aurora Or-Parallel Prolog system. [SICS Report]

Franzén, Torkel (1989) Algorithmic aspects of intuitionistic propositional logic II. [SICS Report]

Aronsson, Martin and Eriksson, Lars-Henrik and Gäredal, Anette and Hallnäs, Lars and Olin, Peter (1989) The programming language GCLA: A definitional approach to logic programming. [SICS Report]

Hagersten, Erik and Haridi, Seif (1989) The cache coherence protocol of the data diffusion machine. [SICS Report]

Sahlin, Dan (1989) Collapsing variable chains in Prolog. [SICS Report]

Aronsson, Martin (1989) GAM: An abstract machine for GCLA. [SICS Report]

Orava, Fredrik (1988) Verifying safety and deadlock properties of networks of asynchronously communicating processes. [SICS Report]

Hörmander, Sofia (1988) The problems of learning a lexicon with a formal grammar. [SICS Report]

Rayner, Manny and Banks, Amelie (1988) An implementable semantics for comparative constructions. [SICS Report]

Ali, Khayri Mohammed and Wong, Milton (1988) An investigation of an OR parallel execution model for horn clause programs. [SICS Report]

Jonsson, Bengt (1988) A fully abstract trace model for dataflow networks. [SICS Report]

Kreuger, Per (1988) An approach to handling polymorphic types in higher order unification. [SICS Report]

Aronsson, Martin and Hallnäs, Lars (1988) GCLA: Generalized horn clauses as a programming language. [SICS Report]

Eriksson, Lars-Henrik and Hallnäs, Lars (1988) A programming calculus based on partial inductive definitions (with an introduction to the theory of partial inductive definitions). [SICS Report]

Pehrson, Björn (1988) Tutorial on verification of protocols. [SICS Report]

Ali, Khayri Mohammed (1988) OR parallel execution of Prolog on BC-machine. [SICS Report]

Ali, Khayri Mohammed (1988) OR parallel execution of horn clause programs based on WAM and shared control information. [SICS Report]

Rayner, Manny (1988) On the applicability of default logic: two short papers. [SICS Report]

Kreuger, Per (1988) A higher order logic parser for natural language implemented in Lambda Prolog. [SICS Report]

Carlsson, Mats and Widén, Johan (1988) SICStus Prolog user's manual. [SICS Report]

Nordmark, Erik and Gunningberg, Per (1988) SPIMS: A tool for protocol implementation performance measurements. [SICS Report]

Hallnäs, Lars and Schroeder-Heister, Peter (1988) A proof-theoretic approach to logic programming, I. Generalized horn clauses. [SICS Report]

Waern, Annika (1988) An Implementation Technique for the Abstract Interpretation of Prolog. [SICS Report]

Rayner, Manny and Hugosson, Åsa (1988) Reasoning about procedural programs in a chess ending. [SICS Report]

Franzén, Torkel (1988) Logic programming and the intuitionistic sequent calculus. [SICS Report]

Rayner, Manny and Hugosson, Åsa and Hagert, Göran (1988) Using a logic grammar to learn a lexicon. [SICS Report]

Mathieu, Philippe (1987) Towards the realization of the database designer's apprentice, Part 1: General introduction. [SICS Report]

Franzén, Torkel (1987) Algorithmic aspects of intuitionistic propositional logic. [SICS Report]

Sjödin, Peter (1987) Optimizing protocol implementations for performance: a case study. [SICS Report]

Sahlin, Dan (1987) Making garbage collection independent of the amount of garbage. [SICS Report]

Holmgren, Fredrik and Waern, Annika (1987) A scheme for compiling GHC to prolog using freeze. [SICS Report]

Hausman, Bogumil and Ciepielewski, Andrzej and Haridi, Seif (1987) OR-parallel Prolog made efficient on shared memory multiprocessors. [SICS Report]

Ali, Khayri Mohammed and Haridi, Seif (1987) Global garbage collection for distributed heap storage systems. [SICS Report]

Gadener, Carl and Lidén, Mikael and Riboe, Jens (1987) ORPWAM An implementation study, part 1. [SICS Report]

Gunningberg, Per (1987) Innovative communication processors: A survey. [SICS Report]

Rayner, Manny and Janson, Sverker (1987) Epistemic reasoning, logic programming, and the interpretation of questions. [SICS Report]

Ali, Khayri Mohammed (1987) A method for implementing out in parallel execution of Prolog. [SICS Report]

Ali, Khayri Mohammed (1986) OR-Parallel Execution of Prolog on a Multi-Sequential Machine. [SICS Report]

Waern, Annika (1986) Process Models of Logic Programs: a Comparison. [SICS Report]

Hausman, Bogumil (1986) A Simulator of the OR-Parallel Token Machine. [SICS Report]

Appleby, Karen and Carlsson, Mats and Haridi, Seif and Sahlin, Dan (1986) Garbage Collection for Prolog Based on WAM (Revised version). [SICS Report]

Yoeli, Michael and Pehrson, Björn (1986) Behavior-Preserving Reductions of Communicating System Nets. [SICS Report]

Karjoth, Günter and Sjödin, Peter and Weckner, Steffen (1986) A Sophisticated Environment for Protocol Simulation and Testing. [SICS Report]

Mathieu, Philippe (1986) On the Learning of Functional Dependencies in Deductive Databases. [SICS Report]

Elshiewy, Nabiel A. (1986) Time, clocks and committed choice parallelism for logic programming of real time computations. [SICS Report]

Carlsson, Mats (1986) An implementation of dif and freeze in the WAM. [SICS Report]

Carlsson, Mats (1986) Freeze, indexing, and other implementation issues in the WAM. [SICS Report]

Carlsson, Mats (1986) On compiling indexing and cut for the WAM. [SICS Report]

Hallnäs, Lars (1986) Generalized horn clauses. [SICS Report]

Hallnäs, Lars (1986) Partial inductive definitions. [SICS Report]

Ciepielewski, Andrzej and Hausman, Bogumil (1986) Performance evaluation of a storage model for OR-parallel execution of logic programs. [SICS Report]

This list was generated on Tue Jan 22 22:13:23 2019 CET.