| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
A Bi-objective Optimization Framework for Heterogeneous CPU/GPU Query Plans
|
Przymus, Piotr
|
|
2014
|
135 |
4 |
p. 483-501
|
article
|
| 2 |
About New Version of RSDS System
|
Suraj, Zbigniew
|
|
2014
|
135 |
4 |
p. 503-519
|
article
|
| 3 |
An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ
|
Nguyen, Linh Anh
|
|
2014
|
135 |
4 |
p. 433-449
|
article
|
| 4 |
A Specification Format for Rooted Branching Bisimulation
|
Castiglioni, Valentina
|
|
2014
|
135 |
4 |
p. 355-369
|
article
|
| 5 |
AUTHOR INDEX VOLUME 135
|
|
|
2014
|
135 |
4 |
p. 569-570
|
article
|
| 6 |
Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking
|
Woźna-Szcześniak, Bożena
|
|
2014
|
135 |
4 |
p. 553-568
|
article
|
| 7 |
Efficient Rough Set Theory Merging
|
Grabowski, Adam
|
|
2014
|
135 |
4 |
p. 371-385
|
article
|
| 8 |
Engineering MAS – A Device Integration Framework for Smart Home Environments
|
Betts, Jack
|
|
2014
|
135 |
4 |
p. 341-353
|
article
|
| 9 |
Genetic Algorithm with Path Relinking for the Orienteering Problem with Time Windows
|
Karbowska-Chilinska, Joanna
|
|
2014
|
135 |
4 |
p. 419-431
|
article
|
| 10 |
Identification of Formal Fallacies in a Natural Dialogue
|
Kacprzak, Magdalena
|
|
2014
|
135 |
4 |
p. 403-417
|
article
|
| 11 |
Preface
|
Penczek, Wojciech
|
|
2014
|
135 |
4 |
p. i
|
article
|
| 12 |
Preprocessing for Network Reconstruction: Feasibility Test and Handling Infeasibility
|
Wagler, Annegret K.
|
|
2014
|
135 |
4 |
p. 521-535
|
article
|
| 13 |
Query Rewriting Based on Meta-Granular Aggregation
|
Wiśniewski, Piotr
|
|
2014
|
135 |
4 |
p. 537-551
|
article
|
| 14 |
SMT-Based Reachability Checking for Bounded Time Petri Nets
|
Półrola, Agata
|
|
2014
|
135 |
4 |
p. 467-482
|
article
|
| 15 |
SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework
|
Niewiadomski, Artur
|
|
2014
|
135 |
4 |
p. 451-466
|
article
|
| 16 |
Structural and Dynamic Restrictions of Elementary Object Systems
|
Heitmann, Frank
|
|
2014
|
135 |
4 |
p. 387-401
|
article
|
Journal description