• 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 21 matches

• 2018
• 
  Jafar Akhundov, Michael Reißner, Matthias Werner:
  Compositional Expressiveness of Hybrid Models. CS&P 2018
• 
  Piotr Artiemjew, Krzysztof Ropiak:
  A Novel Ensemble Model - The Random Granular Reflections. CS&P 2018
• 
  Roberto Barbuti, Pasquale Bove, Roberta Gori, Francesca Levi, Paolo Milazzo:
  Simulating Gene Regulatory Networks using Reaction Systems. CS&P 2018
• 
  Ludwik Czaja:
  Extensions of Elementary Cause-Effect Structures. CS&P 2018
• 
  Przemyslaw Czaus:
  Automated Validation of Big Data Classifiers on Multiple Diverse Datasets. CS&P 2018
• 
  Sinem Getir, Esteban Pavese, Lars Grunske:
  Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions. CS&P 2018
• 
  Roberta Gori, Damas P. Gruska, Paolo Milazzo:
  Hidden States in Reaction Systems. CS&P 2018
• 
  Adam Grabowski:
  Automated Comparative Study of Some Generalized Rough Approximations. CS&P 2018
• 
  Damas P. Gruska, M. Carmen Ruiz:
  Opacity-enforcing for Process Algebras. CS&P 2018
• 
  Linh Anh Nguyen:
  The Influence of the Test Operator on the Expressive Powers of PDL-Like Logics. CS&P 2018
• 
  Wojciech Penczek:
  Improving Efficiency of Model Checking for Variants of Alternating-time Temporal Logic. CS&P 2018
• 
  Stanislaw Placzek, Aleksander Placzek:
  The Hierarchical Learning Algorithm for Deep Neural Networks. CS&P 2018
• 
  Lech Polkowski:
  The Bayes Theorem Counterpart in Mass-Based Rough Mereology. CS&P 2018
• 
  Roman R. Redziejowski:
  More about Left Recursion in PEG. CS&P 2018
• 
  Teofil Sidoruk:
  Investigating Characteristics and Differences Between Easy and Hard SAT Instances. CS&P 2018
• 
  Andrzej Skowron, Soma Dutta, Grzegorz Rozenberg:
  Linking Exploration Systems with Local Logicsover Information Systems. CS&P 2018
• 
  Irina B. Virbitskaite, Nataliya Gribovskaya:
  Preserving Behavior in Transition Systems from Event Structure Models. CS&P 2018
• 
  Matthias Weidlich:
  Formal Analysis of Complex Event Processing - Potential and Challenges. CS&P 2018
• 
  Marcin Zimniak, Marta Burzanska, Bogdan Franczyk:
  On Some Heuristic Method for Optimal Workload Reconstruction. CS&P 2018
• 
  Lukasz Zmudzinski:
  Deep Learning Guinea Pig Image Classification Using Nvidia DIGITS and GoogLeNet. CS&P 2018
• 
  Bernd-Holger Schlingloff, Samira Akili:
  Proceedings of the 27th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 24-26, 2018. CEUR Workshop Proceedings 2240, CEUR-WS.org 2018 [contents]