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

• 2018
• 
  Paolo Baldan, Martina Bocci, Daniele Brigolin, Nicoletta Cocco, Monika Heiner, Marta Simeoni:
  Petri Nets for Modelling and Analysing Trophic Networks. Fundam. Informaticae 160(1-2): 27-52 (2018)
• 
  Rza Bashirov, Nimet Ilke Akçay:
  Stochastic Simulation-based Prediction of the Behavior of the p16-mediated Signaling Pathway. Fundam. Informaticae 160(1-2): 167-179 (2018)
• 
  Mary Ann Blätke, Christian Rohr:
  BioModelKit: Spatial Modelling of Complex Multiscale Molecular Biosystems Based on Modular Models. Fundam. Informaticae 160(1-2): 221-254 (2018)
• 
  Jure Bordon, Miha Moskon, Nikolaj Zimic, Miha Mraz:
  Semi-quantitative Modelling of Gene Regulatory Processes with Unknown Parameter Values Using Fuzzy Logic and Petri Nets. Fundam. Informaticae 160(1-2): 81-100 (2018)
• 
  Arnaud Carayol, Christof Löding, Olivier Serre:
  Pure Strategies in Imperfect Information Stochastic Games. Fundam. Informaticae 160(4): 361-384 (2018)
• 
  Pascal Caron, Jean-Gabriel Luque, Bruno Patrou:
  State Complexity of Multiple Catenations. Fundam. Informaticae 160(3): 255-279 (2018)
• 
  Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto, Hanna Klaudel, Antoine Spicher:
  Activity Networks with Delays an Application to Toxicity Analysis. Fundam. Informaticae 160(1-2): 119-142 (2018)
• 
  Samir Elouasbi, Andrzej Pelc:
  Deterministic Meeting of Sniffing Agents in the Plane. Fundam. Informaticae 160(3): 281-301 (2018)
• 
  Dorota Formanowicz, Agnieszka Rybarczyk, Piotr Formanowicz:
  Factors Influencing Essential Hypertension and Cardiovascular Disease Modeled and Analyzed using Stochastic Petri Nets. Fundam. Informaticae 160(1-2): 143-165 (2018)
• 
  Mathieu Pagé Fortin, Simon V. Hardy:
  A Hybrid Petri Net Model of the Akt-Wnt-mTOR-p70S6K Signalling Network in Neurons. Fundam. Informaticae 160(1-2): 1-25 (2018)
• 
  Anna Gambin, Monika Heiner:
  Preface. Fundam. Informaticae 160(1-2): v-vii (2018)
• 
  Marek Grabowski, Grzegorz Bokota, Jacek Sroka, Andrzej M. Kierzek:
  Verification of Dynamic Behaviour in Qualitative Molecular Networks Describing Gene Regulation, Signalling and Whole-cell Metabolism. Fundam. Informaticae 160(1-2): 199-219 (2018)
• 
  Mostafa Herajy, Monika Heiner:
  Adaptive and Bio-semantics of Continuous Petri Nets: Choosing the Appropriate Interpretation. Fundam. Informaticae 160(1-2): 53-80 (2018)
• 
  Qingzhao Kong, Weihua Xu:
  Operation Properties and Algebraic Application of Covering Rough Sets. Fundam. Informaticae 160(4): 385-408 (2018)
• 
  Fei Liu, Siyuan Chen:
  Colored Fuzzy Petri Nets for Dealing with Genetic Regulatory Networks. Fundam. Informaticae 160(1-2): 101-118 (2018)
• 
  Yang Ming, Yumin Wang:
  Certificateless Proxy Signature Scheme in the Standard Model. Fundam. Informaticae 160(4): 409-445 (2018)
• 
  Mehdy Roayaei, Mohammadreza Razzazi:
  Minimum Cardinality Point-to-point Connectivity Augmentation Problem. Fundam. Informaticae 160(4): 447-463 (2018)
• 
  Christian Rohr:
  Discrete-Time Leap Method For Stochastic Simulation. Fundam. Informaticae 160(1-2): 181-198 (2018)
• 
  Jasminder Kaur Sandhu, Anil Kumar Verma, Prashant Singh Rana:
  A Novel Framework for Reliable Network Prediction of Small Scale Wireless Sensor Networks (SSWSNs). Fundam. Informaticae 160(3): 303-341 (2018)
• 
  Lin Wang, Zhi Hu:
  On Graph Algorithms for Degeneracy Test and Recursive Description of Stream Ciphers. Fundam. Informaticae 160(3): 343-359 (2018)