EDITORIAL

Guest Editors Preface
.... 145
PAPERS

R. S. Stanković, R. Ubar, and J. T. Astola:
Decision Diagrams  from A Mathematical Notion to Engineering
Applications
.... 281

R. Ubar:
Overview about LowLevel and HighLevel Decision Diagrams for
Diagnostic Modeling of Digital Systems
.... 303

A. Peder, H. Nestra, J. Raik, M. Tombak, and R. Ubar:
Linear Algorithms for Testing and Parsing Superpositional Graphs
.... 325

S. Stanković and J. Astola:
BDD Based Construction of Resilient Functions
.... 341

B. Steinbach and C. Posthoff:
BDD Based Construction of Resilient Functions
.... 357

N. M. Nayeem and J. E. Rice:
A Sharedcube Approach to ESOPbased Synthesis of Reversible Logic
.... 385

M. Lukac, M. Kameyama, M. Perkowski, and P. Kerntopf:
Decomposition of Reversible Logic Function Based on CubeReordering
.... 403

C. Moraga:
Using Negated Control Signals in Quantum Computing Circuits
.... 423

D. Knysh and E. Dubrova:
RuleBased Optimization of ANDXOR Expressions
.... 437

S. N. Yanushkevich, A. H. Tran, G. Tangim, V. P. Shmerko, E. N. Zaitseva,
and V. Levashenko:
The EXOR gate Under Uncertainty: A Case Study
.... 451

D. B. Gajić and R. S. Stanković:
NGPU Accelerated Computation of Fast Spectral Transforms
.... 483
