A SAT-based implication engine for efficient ATPG, equivalence checking, and optimization of netlists. - Paul Tafertshofer; Andreas Ganz; Manfred Henftling (ICCAD, 1997)

Factored Edge-Valued Binary Decision Diagrams. - Paul Tafertshofer; Massoud Pedram (Formal Methods Syst. Des., 1997)

SAT based ATPG using fast justification and propagation in the implication graph. - Paul Tafertshofer; Andreas Ganz (ICCAD, 1999)

IGRAINE-an Implication GRaph-bAsed engINE for fast implication, justification, and propagation. - Paul Tafertshofer; Andreas Ganz; Kurt Antreich (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000)

Infrastructure Sharing and Shared Operations for Mobile Network Operators: From a Deployment and Operations View. - Thomas Frisanco; Paul Tafertshofer; Pierre Lurin; Rachel Ang (ICC, 2008)

Infrastructure Sharing for Mobile Network Operators; From a Deployment and Operations View. - Thomas Frisanco; Paul Tafertshofer; Pierre Lurin; Rachel Ang (ICOIN, 2008)