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

• 2019
• 
  Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Mathias Ruggaard Pedersen:
  On the Axiomatizability of Priority III: The Return of Sequential Composition. ICTCS 2019: 145-157
• 
  Federica Adobbati, Luca Bernardinello, Lucia Pomello:
  Asynchronous Games on Petri Nets and Partial Order. ICTCS 2019: 139-144
• 
  Michele Amoretti, Gianluigi Ferrari:
  Resilience Analysis of Time-varying Networks with Addition and Deletion of Nodes. ICTCS 2019: 210-221
• 
  Davide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi:
  A Deterministic Event Calculus for Effective Runtime Verification. ICTCS 2019: 248-260
• 
  Vincenzo Auletta, Diodato Ferraioli, Gianluigi Greco:
  On the Complexity of Opinion Consensus under Majority Dynamics. ICTCS 2019: 104-109
• 
  Pietro Barbieri, Francesco Dagnino, Elena Zucca, Davide Ancona:
  Corecursive Featherweight Java Revisited. ICTCS 2019: 158-170
• 
  Filippo Bonchi:
  Interacting Hopf Algebras: the Theory of Linear Systems (text not included). ICTCS 2019
• 
  Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron:
  Model Checking Timeline-Based Systems over Dense Temporal Domains. ICTCS 2019: 235-247
• 
  Samuele Buro, Isabella Mastroeni:
  On the Semantic Equivalence of Language Syntax Formalisms. ICTCS 2019: 34-51
• 
  Tiziana Calamoneri, Angelo Di Mambro, Blerina Sinaimeri:
  Comparing Related Phylogenetic Trees. ICTCS 2019: 8-13
• 
  Domenico Cantone, Pietro Maugeri:
  Polynomial-Time Satisfiability Tests for 'Small' Membership Theories. ICTCS 2019: 261-273
• 
  Domenico Cantone, Pietro Maugeri, Stefano Scafiti:
  A Potential-Based Variant of the Bellman-Ford Algorithm. ICTCS 2019: 122-135
• 
  Michele Chiari:
  Temporal Logic for Operator Precedence Words (text not included). ICTCS 2019
• 
  Michele Chiari, Dino Mandrioli, Matteo Pradella:
  Word- and Tree-based Temporal Logics for Operator Precedence Languages. ICTCS 2019: 222-228
• 
  Stefano Crespi-Reghizzi, Pierluigi San Pietro:
  Deque Languages, Automata and Planar Graphs (text not included). ICTCS 2019
• 
  Marc Demange, David Ellison, Raffaella Gentilini:
  Online Firefighting on Grids. ICTCS 2019: 91-96
• 
  Riccardo Dondi, Mohammad Mehdi Hosseinzadeh, Giancarlo Mauri, Italo Zoppis:
  Top-k Overlapping Densest Subgraphs: Approximation and Complexity. ICTCS 2019: 110-121
• 
  Francesco Gavazzo:
  Coinductive Techniques for Higher-order Languages with Algebraic Effect (text not included). ICTCS 2019
• 
  Luca Geatti, Federico Igne, Marino Miculan:
  An Abstract Distributed Middleware for Transactions over Heterogeneous Stores. ICTCS 2019: 171-183
• 
  Paola Giannini, Marco Servetto, Elena Zucca:
  Tracing and Preventing Sharing and Mutation. ICTCS 2019: 190-203
• 
  Sara Giuliani, Zsuzsanna Lipták, Romeo Rizzi:
  When a Dollar Makes a BWT. ICTCS 2019: 20-33
• 
  Massimiliano Goldwurm, Jianyi Lin, Marco Vignati:
  Saddle Point Method in the analysis of pattern statistics for regular languages. ICTCS 2019: 78-90
• 
  Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi:
  Modeling Imperative Constructs in the Pi-Calculus. ICTCS 2019: 136-138
• 
  Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano:
  Iterated Uniform Finite-State Transducers. ICTCS 2019: 52-57
• 
  Sabrina Mantaci, Antonio Restivo, Giuseppe Romana, Giovanna Rosone, Marinella Sciortino:
  String Attractors and Combinatorics on Words. ICTCS 2019: 57-71
• 
  Giorgio Marabelli, Alberto Momigliano:
  Formalizing Program Equivalences in Dependent Type Theory. ICTCS 2019: 204-209
• 
  Bastien Maubert, Aniello Murano, Pasquale Perillo, Sasha Rubin, Alessio Spasiano:
  Towards a Tool for LTL Synthesis with Bounded-Energy Constraints. ICTCS 2019: 229-234
• 
  Mohammad Abouei Mehrizi, Federico Corò, Emilio Cruciani, Gianlorenzo D'Angelo, Stefano Ponziani:
  Models and Algorithms for Election Control through Influence Maximization. ICTCS 2019: 97-103
• 
  Eugenio Moggi, Amin Farjudian, Walid Taha:
  System Analysis and Robustness. ICTCS 2019: 1-7
• 
  Emanuele Natale:
  From Distributed Computing to Natural Algorithms and Beyond (text not included). ICTCS 2019

skipping 6 more matches