- Piotr Wisniewski, Krzysztof Stencel:
Query Rewriting Based on Meta-Granular Aggregation. Fundam. Informaticae 135(4): 537-551 (2014) - Bozena Wozna-Szczesniak, Andrzej Zbrzezny:
Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking. Fundam. Informaticae 135(4): 553-568 (2014) - Ping Zhu, Huiyang Xie, Qiaoyan Wen:
A Unified Definition of Consistent Functions. Fundam. Informaticae 135(3): 331-340 (2014)