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

• 2017
• 
  Abdullah Alhumaidan, Jason Steggles:
  Modelling and Analysing Qualitative Biological Models using Rewriting Logic. Fundam. Informaticae 153(1-2): 1-28 (2017)
• 
  Bogdan Aman, Jetty Kleijn, Maciej Koutny, Dorel Lucanu:
  Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu. Fundam. Informaticae 153(1-2): v-vi (2017)
• 
  Jan A. Bergstra, Cornelis A. Middelburg:
  Contradiction-Tolerant Process Algebra with Propositional Signals. Fundam. Informaticae 153(1-2): 29-55 (2017)
• 
  Ming Chai, Bernd-Holger Schlingloff:
  Monitoring with Parametrized Extended Life Sequence Charts. Fundam. Informaticae 153(3): 173-198 (2017)
• 
  Giampiero Chiaselotti, Davide Ciucci, Tommaso Gentile, Federico Infusino:
  Rough Set Theory and Digraphs. Fundam. Informaticae 153(4): 291-325 (2017)
• 
  Bogdan S. Chlebus, Gianluca De Marco, Muhammed Talo:
  Naming a Channel with Beeps. Fundam. Informaticae 153(3): 199-219 (2017)
• 
  Aleksander Denisiuk, Michal Grabowski:
  Low Distortion Embedding of the Hamming Space into a Sphere with Quadrance Metric and k-means Clustering of Nominal-continuous Data. Fundam. Informaticae 153(3): 221-233 (2017)
• 
  Ross Horne, Sjouke Mauw, Alwen Tiu:
  Semantics for Specialising Attack Trees based on Linear Logic. Fundam. Informaticae 153(1-2): 57-86 (2017)
• 
  Himani Joshi, Sankalap Arora:
  Enhanced Grey Wolf Optimization Algorithm for Global Optimization. Fundam. Informaticae 153(3): 235-264 (2017)
• 
  Behrouz Kheirfam, Mohaddeseh Mohamadi-Sangachin:
  A Wide Neighborhood Second-order Predictor-corrector Interior-point Algorithm for Semidefinite Optimization with Modified Corrector Directions. Fundam. Informaticae 153(4): 327-346 (2017)
• 
  Przemyslaw Koprowski:
  Roots Multiplicity without Companion Matrices. Fundam. Informaticae 153(3): 265-270 (2017)
• 
  Jan van Leeuwen, Jirí Wiedermann:
  Turing Machines with One-sided Advice and Acceptance of the co-RE Languages. Fundam. Informaticae 153(4): 347-366 (2017)
• 
  Bartosz Makuracki, Daniel Simson, Blazej Zyglarski:
  Inflation Agorithm for Cox-regular Postive Edge-bipartite Graphs with Loops. Fundam. Informaticae 153(4): 367-398 (2017)
• 
  Andrei Paun, Alfonso Rodríguez-Patón:
  P Systems Simulating Bacterial Conjugation: Universality and Properties. Fundam. Informaticae 153(1-2): 87-103 (2017)
• 
  Teodor Stoenescu, Alin Stefanescu, Sorina Predut, Florentin Ipate:
  Binary Analysis based on Symbolic Execution and Reversible x86 Instructions. Fundam. Informaticae 153(1-2): 105-124 (2017)
• 
  Yu-Ru Syau, En-Bing Lin, Churn-Jung Liau:
  Neighborhood Systems and Variable Precision Generalized Rough Sets. Fundam. Informaticae 153(3): 271-290 (2017)
• 
  Eneia Nicolae Todoran, Nikolaos Papaspyrou:
  Concurrency Semantics in Continuation-Passing Style. Fundam. Informaticae 153(1-2): 125-146 (2017)
• 
  Luis Valencia-Cabrera, David Orellana-Martín, Miguel A. Martínez-del-Amor, Agustin Riscos-Núñez, Mario J. Pérez-Jiménez:
  Computational Efficiency of Minimal Cooperation and Distribution in Polarizationless P Systems with Active Membranes. Fundam. Informaticae 153(1-2): 147-172 (2017)
• 
  Michal Wronski, Robert Drylo, Tomasz Kijko, Piotr Bora:
  Constructing Elliptic Curves for the GLV Method with Low-cost Decomposition. Fundam. Informaticae 153(4): 399-413 (2017)