Volume 123

Information Processing Letters

Volume 123
1

Parametric runtime verification is NP-complete and coNP-complete

Chen, Zhe
Journal:
Information Processing Letters
Year:
2017
Language:
english
File:
PDF, 258 KB
english, 2017
2

Finite-state concurrent programs can be expressed succinctly in triple normal form

Attie, Paul C.
Journal:
Information Processing Letters
Year:
2017
Language:
english
File:
PDF, 283 KB
english, 2017
3

Oriented, 2-edge-colored, and 2-vertex-colored homomorphisms

Ochem, Pascal, Movarraei, Nazanin
Journal:
Information Processing Letters
Year:
2017
Language:
english
File:
PDF, 246 KB
english, 2017
4

Composing ordered sequential consistency

Lev-Ari, Kfir, Bortnikov, Edward, Keidar, Idit, Shraer, Alexander
Journal:
Information Processing Letters
Year:
2017
Language:
english
File:
PDF, 221 KB
english, 2017
6

On approximate pattern matching with thresholds

Zhang, Peng, Atallah, Mikhail J.
Journal:
Information Processing Letters
Year:
2017
Language:
english
File:
PDF, 292 KB
english, 2017
8

Top- k Manhattan spatial skyline queries

Son, Wanbin, Stehn, Fabian, Knauer, Christian, Ahn, Hee-Kap
Journal:
Information Processing Letters
Year:
2017
Language:
english
File:
PDF, 408 KB
english, 2017
9

Faster string matching based on hashing and bit-parallelism

Al-Ssulami, Abdulrakeeb M., Mathkour, Hassan
Journal:
Information Processing Letters
Year:
2017
Language:
english
File:
PDF, 594 KB
english, 2017
10

Editorial Board

Journal:
Information Processing Letters
Year:
2017
Language:
english
File:
PDF, 51 KB
english, 2017