default search action
Information Processing Letters, Volume 123
Volume 123, July 2017
- José Miguel Díaz-Báñez, Ruy Fabila Monroy, Pablo Pérez-Lantero, Inmaculada Ventura:
New results on the coarseness of bicolored point sets. 1-7 - Paul C. Attie:
Finite-state concurrent programs can be expressed succinctly in triple normal form. 8-13 - Zhe Chen:
Parametric runtime verification is NP-complete and coNP-complete. 14-20 - Peng Zhang, Mikhail J. Atallah:
On approximate pattern matching with thresholds. 21-26 - Wanbin Son, Fabian Stehn, Christian Knauer, Hee-Kap Ahn:
Top-k Manhattan spatial skyline queries. 27-35 - Vincent Moulton, James Oldman, Taoyang Wu:
A cubic-time algorithm for computing the trinet distance between level-1 networks. 36-41 - Pascal Ochem, Nazanin Movarraei:
Oriented, 2-edge-colored, and 2-vertex-colored homomorphisms. 42-46 - Kfir Lev-Ari, Edward Bortnikov, Idit Keidar, Alexander Shraer:
Composing ordered sequential consistency. 47-50 - Abdulrakeeb M. Al-Ssulami, Hassan Mathkour:
Faster string matching based on hashing and bit-parallelism. 51-55
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.