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

• 2014
• 
  Wil M. P. van der Aalst, H. M. W. Verbeek:
  Process Discovery and Conformance Checking Using Passages. Fundam. Informaticae 131(1): 103-138 (2014)
• 
  Andrei Alexandru, Gabriel Ciobanu:
  Nominal Groups and Their Homomorphism Theorems. Fundam. Informaticae 131(3-4): 279-298 (2014)
• 
  Sepinoud Azimi, Bogdan Iancu, Ion Petre:
  Reaction System Models for the Heat Shock Response. Fundam. Informaticae 131(3-4): 299-312 (2014)
• 
  Iulia Teodora Banu-Demergian, Gheorghe Stefanescu:
  Towards a Formal Representation of Interactive Systems. Fundam. Informaticae 131(3-4): 313-336 (2014)
• 
  Paolo Bottoni, Anna Labella, Victor Mitrana:
  Accepting Networks of Evolutionary Picture Processors. Fundam. Informaticae 131(3-4): 337-349 (2014)
• 
  Cristian S. Calude, Marian Gheorghe:
  Preface. Fundam. Informaticae 131(3-4) (2014)
• 
  Luca Cardelli, Radu Mardare:
  The Measurable Space of Stochastic Processes. Fundam. Informaticae 131(3-4): 351-371 (2014)
• 
  Chin-Chen Chang, Ting-Fang Cheng:
  A Reliable Real-time Multicast Authentication Protocol with Provable Accuracy. Fundam. Informaticae 131(2): 167-186 (2014)
• 
  Gabriel Ciobanu, Eneia Nicolae Todoran:
  Continuation Semantics for Asynchronous Concurrency. Fundam. Informaticae 131(3-4): 373-388 (2014)
• 
  Veronica Gil-Costa, Mauricio Marín, Alonso Inostrosa-Psijas, Jair Lobos, Carolina Bonacic:
  Modelling Search Engines Performance Using Coloured Petri Nets. Fundam. Informaticae 131(1): 139-166 (2014)
• 
  Catalin Dima:
  A Nonarchimedian Discretization for Timed Languages. Fundam. Informaticae 131(3-4): 389-407 (2014)
• 
  Liviu P. Dinu, Radu Gramatovici, Florin Manea:
  Syllabic Languages and Go-through Automata. Fundam. Informaticae 131(3-4): 409-424 (2014)
• 
  Nicolae Duta:
  Natural Language Understanding and Prediction: from Formal Grammars to Large Scale Machine Learning. Fundam. Informaticae 131(3-4): 425-440 (2014)
• 
  Lavinia Egidi, Giovanni Manzini:
  Spaced Seed Design Using Perfect Rulers. Fundam. Informaticae 131(2): 187-203 (2014)
• 
  Sami Evangelista, Lars Michael Kristensen:
  A Sweep-Line Method for Büchi Automata-based Model Checking. Fundam. Informaticae 131(1): 27-53 (2014)
• 
  Cristian Grozea, Marius Popescu:
  Can Machine Learning Learn a Decision Oracle for NP Problems? A Test on SAT. Fundam. Informaticae 131(3-4): 441-450 (2014)
• 
  Serge Haddad, Jetty Kleijn, Lucia Pomello:
  Preface. Fundam. Informaticae 131(1) (2014)
• 
  Jouni Järvinen, Sándor Radeleczki:
  Monteiro Spaces and Rough Sets Determined by Quasiorder Relations: Models for Nelson algebras. Fundam. Informaticae 131(2): 205-215 (2014)
• 
  Kamala Krithivasan, Gheorghe Paun, Ajeesh Ramanujan:
  On Controlled P Systems. Fundam. Informaticae 131(3-4): 451-464 (2014)
• 
  Guan Jun Liu, Jun Sun, Yang Liu, Jin Song Dong:
  Complexity of the Soundness Problem of Workflow Nets. Fundam. Informaticae 131(1): 81-101 (2014)
• 
  Jerzy Marcinkowski, Jakub Michaliszyn:
  The Undecidability of the Logic of Subintervals. Fundam. Informaticae 131(2): 217-240 (2014)
• 
  María Martos-Salgado, Fernando Rosa-Velardo:
  Safety and Soundness for Priced Resource-Constrained Workflow Nets. Fundam. Informaticae 131(1): 55-80 (2014)
• 
  Radu Nicolescu, Georgy L. Gimel'farb, John Morris, Patrice Delmas, Rui Gong:
  Regularising Ill-posed Discrete Optimisation: Quests with P Systems. Fundam. Informaticae 131(3-4): 465-483 (2014)
• 
  Lukasz Przytula:
  NAO Soccer Robots Path Planning Based on Rough Mereology. Fundam. Informaticae 131(2): 241-251 (2014)
• 
  Artur Rataj:
  Evolvability by Mimicking Common Properties of a Nervous System and Computer Software. Fundam. Informaticae 131(2): 253-278 (2014)
• 
  Antti Valmari, Henri Hansen:
  Old and New Algorithms for Minimal Coverability Sets. Fundam. Informaticae 131(1): 1-25 (2014)
• 
  Marius Zimand:
  Counting Dependent and Independent Strings. Fundam. Informaticae 131(3-4): 485-497 (2014)