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

• 2022
• 
  Kyle Michelson, Anjali Sridharan, Umut Can Çabuk, Ethan Reesor, Ben Stolman, Drew Mailen, Dennis Bunfield, Jay Smith, Paul Snow:
  Accumulate: An identity-based blockchain protocol with cross-chain support, human-readable addresses, and key management capabilities. CoRR abs/2204.06878 (2022)
• 2020
• 
  João Santos Reis, Paul Andrew Crocker, Simão Melo de Sousa:
  Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts. FMBC@CAV 2020: 4:1-4:12
• 
  João Santos Reis, Paul Andrew Crocker, Simão Melo de Sousa:
  Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts. CoRR abs/2005.11839 (2020)
• 2019
• 
  Njoud Aldusary, Lars Michels, Ghislaine Lieselotte Traber, Birgit Hartog-Keisker, Michael Wyss, Arwa Baeshen, Karen Huebel, Yassir Edrees Almalki, David O. Brunner, Klaas Paul Pruessmann, Klara Landau, Spyridon Kollias, Marco Piccirelli:
  Lateral geniculate nucleus volumetry at 3T and 7T: Four different optimized magnetic-resonance-imaging sequences evaluated against a 7T reference acquisition. NeuroImage 186: 399-409 (2019)
• 
  Cord-Friedrich von Hobe, Marius Michels, Wilm Fecke, Oliver Mußhoff, Paul Johann Weller von Ahlefeld:
  Wie kommunizieren Landwirte in Zeiten der Digitalisierung? GIL Jahrestagung 2019: 269-274
• 
  Marius Michels, Wilm Fecke, Paul Johann Weller von Ahlefeld, Oliver Mußhoff, Andreas Heckmann, Frank Benke:
  Zahlungsbereitschaft deutscher Landwirte für eine Schulung zur Digitalisierung. GIL Jahrestagung 2019: 141-144
• 2015
• 
  Dominik Ludewig Michels, J. Paul T. Mueller, Gerrit Alexander Sobottka:
  A physically based approach to the accurate simulation of stiff fibers and stiff fiber meshes. Comput. Graph. 53: 136-146 (2015)
• 
  Sanu Shameer, Flora J. Logan-Klumpler, Florence Vinson, Ludovic Cottret, Benjamin Merlet, Fiona Achcar, Michael Boshart, Matthew Berriman, Rainer Breitling, Frédéric Bringaud, Peter Bütikofer, Amy M. Cattanach, Bridget Bannerman-Chukualim, Darren J. Creek, Kathryn Crouch, Harry P. de Koning, Hubert Denise, Charles Ebikeme, Alan H. Fairlamb, Michael A. J. Ferguson, Michael L. Ginger, Christiane Hertz-Fowler, Eduard J. Kerkhoven, Pascal Mäser, Paul A. M. Michels, Archana Nayak, David W. Nes, Derek P. Nolan, Christian Olsen, Fatima Silva-Franco, Terry K. Smith, Martin C. Taylor, Aloysius G. M. Tielens, Michael D. Urbaniak, Jaap J. van Hellemond, Isabel M. Vincent, Shane R. Wilkinson, Susan Wyllie, Fred R. Opperdoes, Michael P. Barrett, Fabien Jourdan:
  TrypanoCyc: a community-led biochemical pathways database for Trypanosoma brucei. Nucleic Acids Res. 43(Database-Issue): 637-644 (2015)
• 
  Chirag Agarwal, Paul Hylander, Yogesh Mahajan, Jonathan Michelson, Vigyan Singhal:
  Compositional Reasoning Gotchas in Practice. FMCAD 2015: 17-24
• 2014
• 
  Vitalis Wiens, J. Paul T. Mueller, Andreas G. Weber, Dominik Ludewig Michels:
  A Physical-Geometric Approach to Model Thin Dynamical Structures in CAD Systems. ICCSA (3) 2014: 795-808
• 1996
• 
  Darin Diachin, Lori A. Freitag, Daniel Heath, Jim Herzog, William Michels, Paul E. Plassmann:
  Collaborative Virtual Environments Used in the Design of Pollution Control Systems. Int. J. High Perform. Comput. Appl. 10(2-3): 223-235 (1996)
• 1994
• 
  Jean-Paul Boly, Antoon Bosselaers, Ronald Cramer, Rolf Michelsen, Stig Fr. Mjølsnes, Frank Muller, Torben P. Pedersen, Birgit Pfitzmann, Peter de Rooij, Berry Schoenmakers, Matthias Schunter, Luc Vallée, Michael Waidner:
  The ESPRIT Project CAFE - High Security Digital Payment Systems. ESORICS 1994: 217-230