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

• 2020
• 
  Tyler Cowman, Mustafa Coskun, Ananth Grama, Mehmet Koyutürk:
  Integrated querying and version control of context-specific biological networks. Database J. Biol. Databases Curation 2020 (2020)
• 
  Felix Wegener, Lauren De Meyer, Amir Moradi:
  Spin Me Right Round Rotational Symmetry for FPGA-Specific AES: Extended Version. J. Cryptol. 33(3): 1114-1155 (2020)
• 
  Andreea Costea, Amy Zhu, Nadia Polikarpova, Ilya Sergey:
  Concise Read-Only Specifications for Better Synthesis of Programs with Pointers - Extended Version. CoRR abs/2001.10723 (2020)
• 
  Tuanir França Rezende, Pierre Sutra:
  Leaderless State-Machine Replication: Specification, Properties, Limits (Extended Version). CoRR abs/2008.02512 (2020)
• 2019
• 
  Vladimir A. Ivanisenko, Pavel S. Demenkov, Timofey V. Ivanisenko, Elena L. Mishchenko, Olga V. Saik:
  A new version of the ANDSystem tool for automatic extraction of knowledge from scientific publications with expanded functionality for reconstruction of associative gene networks by considering tissue-specific gene expression. BMC Bioinform. 20-S(1): 5-15 (2019)
• 
  Michael Hucka, Frank T. Bergmann, Claudine Chaouiya, Andreas Dräger, Stefan Hoops, Sarah M. Keating, Matthias König, Nicolas Le Novère, Chris J. Myers, Brett G. Olivier, Sven Sahle, James C. Schaff, Rahuman S. Malik-Sheriff, Lucian P. Smith, Dagmar Waltemath, Darren J. Wilkinson, Fengkai Zhang:
  The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 2 Core Release 2. J. Integr. Bioinform. 16(2) (2019)
• 
  Hosney Jahan, Ziliang Feng, S. M. Hasan Mahmud, Penglin Dong:
  Version specific test case prioritization approach based on artificial neural network. J. Intell. Fuzzy Syst. 36(6): 6181-6194 (2019)
• 
  Hiroyuki Fujita, Hiroshi Sugimura, Moe Hamamoto, Masao Isshiki:
  Improvement of the Device Descriptions of ECHONET Lite by adding version specific information. GCCE 2019: 791-793
• 
  Martin Sulzmann, Kai Stadtmüller:
  Predicting All Data Race Pairs for a Specific Schedule (extended version). CoRR abs/1909.03289 (2019)
• 
  Jim Schaad, Blake Ramsdell, Sean Turner:
  Secure/Multipurpose Internet Mail Extensions (S/MIME) Version 4.0 Message Specification. RFC 8551: 1-63 (2019)
• 2018
• 
  Michael Hucka, Frank T. Bergmann, Andreas Dräger, Stefan Hoops, Sarah M. Keating, Nicolas Le Novère, Chris J. Myers, Brett G. Olivier, Sven Sahle, James C. Schaff, Lucian P. Smith, Dagmar Waltemath, Darren J. Wilkinson:
  The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 1 Core. J. Integr. Bioinform. 15(1) (2018)
• 
  Michael Hucka, Frank T. Bergmann, Andreas Dräger, Stefan Hoops, Sarah M. Keating, Nicolas Le Novère, Chris J. Myers, Brett G. Olivier, Sven Sahle, James C. Schaff, Lucian P. Smith, Dagmar Waltemath, Darren J. Wilkinson:
  The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 2 Core. J. Integr. Bioinform. 15(1) (2018)
• 
  David P. Leader, Sue A. Krause, Aniruddha Pandit, Shireen A. Davies, Julian A. T. Dow:
  FlyAtlas 2: a new version of the Drosophila melanogaster expression atlas with RNA-Seq, miRNA-Seq and sex-specific data. Nucleic Acids Res. 46(Database-Issue): D809-D815 (2018)
• 
  Ario Santoso:
  Specification-Driven Multi-Perspective Predictive Business Process Monitoring (Extended Version). CoRR abs/1804.00617 (2018)
• 
  Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford:
  OpSets: Sequential Specifications for Replicated Datatypes (Extended Version). CoRR abs/1805.04263 (2018)
• 2017
• 
  Timothy G. Mattson, Carl Yang, Scott McMillan, Aydin Buluç, José E. Moreira:
  GraphBLAS C API: Ideas for future versions of the specification. HPEC 2017: 1-6
• 
  Simon Razniewski, Vevake Balaraman, Werner Nutt:
  Doctoral Advisor or Medical Condition: Towards Entity-specific Rankings of Knowledge Base Properties [Extended Version]. CoRR abs/1709.06907 (2017)
• 
  Kathleen M. Moriarty, Burt Kaliski, Andreas Rusch:
  PKCS #5: Password-Based Cryptography Specification Version 2.1. RFC 8018: 1-40 (2017)
• 
  Stephen E. Deering, Robert M. Hinden:
  Internet Protocol, Version 6 (IPv6) Specification. RFC 8200: 1-42 (2017)
• 2016
• 
  Kathleen M. Moriarty, Burt Kaliski, Jakob Jonsson, Andreas Rusch:
  PKCS #1: RSA Cryptography Specifications Version 2.2. RFC 8017: 1-78 (2016)
• 2015
• 
  Frank T. Bergmann, Nicolas Rodriguez, Nicolas Le Novère:
  COMBINE Archive Specification Version 1. J. Integr. Bioinform. 12(2) (2015)
• 
  Michael Hucka, Frank T. Bergmann, Stefan Hoops, Sarah M. Keating, Sven Sahle, James C. Schaff, Lucian P. Smith, Darren J. Wilkinson:
  The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 1 Core. J. Integr. Bioinform. 12(2) (2015)
• 2013
• 
  Mohammad Ahsan Chishti, Ashaq Majid Ahanger, Shaima Qureshi, Ajaz Hussain Mir:
  Performance analysis of Source Specific Multicast over Internet Protocol version 6 with Internet Protocol version 4 in a test bed. CCNC 2013: 956-961
• 
  Matthieu Foucault, Sebastien Barbier, David Lugato:
  Enhancing version control with domain-specific semantics. MiSE 2013: 31-36
• 
  Jiun Yi Yap, Allan Tomlinson:
  Para-Virtualizing the Trusted Platform Module: An Enterprise Framework Based on Version 2.0 Specification. INTRUST 2013: 1-16
• 
  Asha Rajbhoj, Sreedhar Reddy:
  A Graph-Pattern Based Approach for Meta-Model Specific Conflict Detection in a General-Purpose Model Versioning System. MoDELS 2013: 422-435
• 2012
• 
  Philip Langer, Manuel Wimmer, Jeff Gray, Gerti Kappel, Antonio Vallecillo:
  Language-Specific Model Versioning Based on Signifiers. J. Object Technol. 11(3): 4: 1-34 (2012)
• 
  Petra Brosch, Philip Langer, Martina Seidl, Manuel Wimmer, Gerti Kappel:
  Generic vs. Language-Specific Model Versioning - Adaptability to the Rescue. Softwaretechnik-Trends 32(4) (2012)
• 
  Naoki Nishida, Germán Vidal:
  Computing More Specific Versions of Conditional Rewriting Systems. LOPSTR 2012: 137-154
• 
  Michele Barletta, Silvio Ranise, Luca Viganò:
  Automated Analysis of Scenario-based Specifications of Distributed Access Control Policies with Non-Mechanizable Activities (Extended Version). CoRR abs/1206.3180 (2012)

skipping 66 more matches