• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 41 matches

• 2015
• 
  Farshad Ahmadighohandizi, Kari Systä:
  ICDO: Integrated cloud-based development tool for DevOps. SPLST 2015: 76-90
• 
  François Christophe, Tommi Mikkonen, Vafa Andalibi, Kai Koskimies, Teemu Laukkarinen:
  Pattern recognition with spiking neural networks: a simple training method. SPLST 2015: 296-308
• 
  Esa Heikkinen, Timo D. Hämäläinen:
  LOGDIG log file analyzer for mining expected behavior from log files. SPLST 2015: 266-280
• 
  Ferenc Horváth, Béla Vancsics, László Vidács, Árpád Beszédes, Dávid Tengeri, Tamás Gergely, Tibor Gyimóthy:
  Test suite evaluation using code coverage based metrics. SPLST 2015: 46-60
• 
  Otto Hylli, Anna-Liisa Mattila, Kari Systä:
  Collecting issue management data for analysis with a unified model and API descriptions. SPLST 2015: 251-265
• 
  Samuel Lehtonen, Timo Poranen:
  Metrics for Gerrit code review. SPLST 2015: 31-45
• 
  Timo Lehtonen, Sampo Suonsyrjä, Terhi Kilamo, Tommi Mikkonen:
  Defining metrics for continuous delivery and deployment pipeline. SPLST 2015: 16-30
• 
  Linfeng Li, Timo Nummenmaa, Eleni Berki, Marko Helenius:
  Phishing knowledge based user modelling in software design. SPLST 2015: 221-235
• 
  Jurka Rahikkala, Sami Hyrynsalmi, Ville Leppänen:
  Accounting testing in software cost estimation: A case study of the current practice and impacts. SPLST 2015: 61-75
• 
  Kalle Rindell, Sami Hyrynsalmi, Ville Leppänen:
  Securing Scrum for VAHTI. SPLST 2015: 236-250
• 
  Matti Rintala, Antti Valmari:
  Priority queue classes with priority update. SPLST 2015: 179-193
• 
  Maria Ripatti, Terhi Kilamo, Karri-Tuomas Salli, Tommi Mikkonen:
  Internal marketplace as a mechanism for promoting software reuse. SPLST 2015: 119-133
• 
  Risto Salo, Timo Poranen, Zheying Zhang:
  Requirements management in GitHub with a lean approach. SPLST 2015: 164-178
• 
  Anna Börjesson Sandberg, Miroslaw Staron, Vard Antinyan:
  Towards proactive management of technical debt by software metrics. SPLST 2015: 1-15
• 
  Tomi 'bgt' Suovuo, Johannes Holvitie, Jouni Smed, Ville Leppänen:
  Mining knowledge on technical debt propagation. SPLST 2015: 281-295
• 
  Henri Terho, Sampo Suonsyrjä, Ari Jaaksi, Tommi Mikkonen, Rick Kazman, Hong-Mei Chen:
  Lean startup meets software product lines: Survival of the fittest or letting products bloom? SPLST 2015: 134-148
• 
  Mikko Teuho, Esko Pekkarinen, Timo Hämäläinen:
  Semantics analyzing expression editors in IP-XACT design tool Kactus2. SPLST 2015: 106-118
• 
  Enn Tyugu, Jaan Penjam:
  Model-based technology of software development in large. SPLST 2015: 149-163
• 
  Joni Uitto, Sampsa Rauti, Jari-Matti Mäkelä, Ville Leppänen:
  Preventing malicious attacks by diversifying Linux shell commands. SPLST 2015: 206-220
• 
  Antti Valmari:
  A state space tool for concurrent system models expressed in C++. SPLST 2015: 91-105
• 
  Niccolò Veltri:
  Two set-based implementations of quotients in type theory. SPLST 2015: 194-205
• 
  Jyrki Nummenmaa, Outi Sievi-Korte, Erkki Mäkinen:
  Proceedings of the 14th Symposium on Programming Languages and Software Tools (SPLST'15), Tampere, Finland, October 9-10, 2015. CEUR Workshop Proceedings 1525, CEUR-WS.org 2015 [contents]
• 2003
• 
  Tibor Ásványi:
  User's Functions in Standard Prolog. SPLST 2003: 103-114
• 
  András A. Benczúr, Antal Buza:
  The Effect of Non-execution and Part Task Result Integration in Distributed Data-intensive Computing Systems. SPLST 2003: 2-13
• 
  Marko Hassinen, Smile Markovski:
  Secure SMS messaging using Quasigroup encryption and Java SMS API. SPLST 2003: 187-
• 
  Risto Honkanen:
  Systolic Routing in Sparse Optical Torus. SPLST 2003: 14-20
• 
  Zoltán Horváth, Tamás Kozsik, Máté Tejfel:
  Proving Invariants of Functional Programs. SPLST 2003: 115-126
• 
  Zoltán Horváth, Zoltán Varga, Viktória Zsók:
  Clean-CORBA Interface for Parallel Functional Programming on Clusters. SPLST 2003: 127-136
• 
  Antti-Juhani Kaijanaho:
  On Typechecking B. SPLST 2003: 34-44
• 
  Miklós Kálmán, Ferenc Havasi, Tibor Gyimóthy:
  Compacting XML Documents. SPLST 2003: 137-151

skipping 11 more matches