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

• 2022
• 
  Shaull Almagor, Udi Boker, Orna Kupferman:
  What's decidable about weighted automata? Inf. Comput. 282: 104651 (2022)
• 
  Bogdan Aman, Gabriel Ciobanu:
  Dynamics of reputation in mobile agents systems and weighted timed automata. Inf. Comput. 282: 104653 (2022)
• 
  Borja Balle, Pascale Gourdeau, Prakash Panangaden:
  Bisimulation metrics and norms for real-weighted automata. Inf. Comput. 282: 104649 (2022)
• 
  Borja Balle, Guillaume Rabusseau:
  Approximate minimization of weighted tree automata. Inf. Comput. 282: 104654 (2022)
• 
  Olivier Carton, Elisa Orduna:
  Preservation of normality by transducers. Inf. Comput. 282: 104650 (2022)
• 
  Vrunda Dave, Paul Gastin, Shankara Narayanan Krishna:
  Regular transducer expressions for regular transformations. Inf. Comput. 282: 104655 (2022)
• 
  Manfred Droste, Sven Dziadek, Werner Kuich:
  Logic for ω-pushdown automata. Inf. Comput. 282: 104659 (2022)
• 
  Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella:
  Weighted operator precedence languages. Inf. Comput. 282: 104658 (2022)
• 
  Manfred Droste, Andreas Maletti, Heiko Vogler:
  Preface. Inf. Comput. 282: 104646 (2022)
• 
  Nathanaël Fijalkow, Cristian Riveros, James Worrell:
  Probabilistic automata of bounded ambiguity. Inf. Comput. 282: 104648 (2022)
• 
  Martin Fränzle, Mahsa Shirmohammadi, Mani Swaminathan, James Worrell:
  Costs and rewards in priced timed automata. Inf. Comput. 282: 104656 (2022)
• 
  Zoltán Fülöp, Heiko Vogler:
  Principal abstract families of weighted tree languages. Inf. Comput. 282: 104657 (2022)
• 
  Mathieu Giraud, Florent Jacquemard:
  Weighted automata computation of edit distances with consolidations and fragmentations. Inf. Comput. 282: 104652 (2022)
• 
  Paulina Paraponiari, George Rahonis:
  Weighted propositional configuration logics: A specification language for architectures with quantitative features. Inf. Comput. 282: 104647 (2022)