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

• 2024
• 
  Giovanni Manzini, Alberto Policriti, Nicola Prezza, Brian Riccardi:
  The Rational Construction of a Wheeler DFA. CPM 2024: 23:1-23:15
• 2022
• 
  Antonio Fariña, Travis Gagie, Szymon Grabowski, Giovanni Manzini, Gonzalo Navarro, Alberto Ordóñez Pereira:
  Efficient and compact representations of some non-canonical prefix-free codes. Theor. Comput. Sci. 907: 11-25 (2022)
• 2021
• 
  Davide Notti, Daniele Giordan, Alberto Cina, Ambrogio Maria Manzino, Paolo Maschio, Iosif Horea Bendea:
  Debris Flow and Rockslide Analysis with Advanced Photogrammetry Techniques Based on High-Resolution RPAS Data. Ponte Formazza Case Study (NW Alps). Remote. Sens. 13(9): 1797 (2021)
• 2020
• 
  Davide Notti, Alberto Cina, Ambrogio Maria Manzino, Alessio Colombo, Iosif Horea Bendea, Paolo Mollo, Daniele Giordan:
  Low-Cost GNSS Solution for Continuous Monitoring of Slope Instabilities Applied to Madonna Del Sasso Sanctuary (NW Italy). Sensors 20(1): 289 (2020)
• 
  Cecilia Manzino, Alberto Pardo:
  Agda Formalization of a Security-preserving Translation from Flow-sensitive to Flow-insensitive Security Types. LSFA 2020: 75-94
• 2018
• 
  Hassen Riahi, Alberto Aimar, Alejandro Álvarez-Ayllón, Justas Balcas, Diego Ciangottini, José M. Hernández, Oliver Keeble, Nicolò Magini, Andrea Manzi, Luca Mascetti, Marco Mascheroni, Andres Jorge Tanasijczuk, Eric Wayne Vaandering:
  Integration of end-user Cloud storage for CMS analysis. Future Gener. Comput. Syst. 78: 1079-1082 (2018)
• 2016
• 
  Paolo Dabove, Alberto Cina, Ambrogio Maria Manzino:
  How reliable is a Virtual RINEX? PLANS 2016: 255-262
• 
  Antonio Fariña, Travis Gagie, Giovanni Manzini, Gonzalo Navarro, Alberto Ordóñez Pereira:
  Efficient and Compact Representations of Some Non-canonical Prefix-Free Codes. SPIRE 2016: 50-60
• 
  Antonio Fariña, Travis Gagie, Giovanni Manzini, Gonzalo Navarro, Alberto Ordóñez Pereira:
  Efficient and Compact Representations of Some Non-Canonical Prefix-Free Codes. CoRR abs/1605.06615 (2016)
• 2015
• 
  Fa Wang, Manzil Zaheer, Xin Li, Jean-Olivier Plouchart, Alberto Valdes-Garcia:
  Co-Learning Bayesian Model Fusion: Efficient Performance Modeling of Analog and Mixed-Signal Circuits Using Side Information. ICCAD 2015: 575-582
• 2014
• 
  Cecilia Manzino, Alberto Pardo:
  A Security Types Preserving Compiler in Haskell. SBLP 2014: 16-30
• 2010
• 
  Jennifer A. Mangels, Alberto Manzi, Christopher Summerfield:
  The First Does the Work, But the Third Time's the Charm: The Effects of Massed Repetition on Episodic Encoding of Multimodal Face-Name Associations. J. Cogn. Neurosci. 22(3): 457-473 (2010)
• 
  Alberto Regattieri, R. Manzini, Daria Battini:
  Estimating reliability characteristics in the presence of censored data: A case study in a light commercial vehicle manufacturing system. Reliab. Eng. Syst. Saf. 95(10): 1093-1102 (2010)
• 
  Alberto Croci, Mattia De Agostino, Ambrogio Maria Manzino:
  A GNSS/INS-based architecture for rescue team monitoring. IPIN 2010: 1-7
• 2008
• 
  Cecilia Manzino, Alberto Pardo:
  Shortcut Fusion of Monadic Programs. J. Univers. Comput. Sci. 14(21): 3431-3446 (2008)
• 1998
• 
  Gassan Abdoulaev, Sandro Cadeddu, Giovanni Delussu, Marco Donizelli, Luca Formaggia, Andrea Giachetti, Enrico Gobbetti, Andrea O. Leone, Cristina Manzi, Piero Pili, Alan L. Scheinine, Massimiliano Tuveri, Alberto Varone, Alessandro Veneziani, Gianluigi Zanetti, Antonio Zorcolo:
  ViVa: the virtual vascular project. IEEE Trans. Inf. Technol. Biomed. 2(4): 268-274 (1998)