Paul Tafertshofer

Publication Activity (10 Years)

Years Active: 1997-2008
Publications (10 Years): 0

Publications

Thomas Frisanco, Paul Tafertshofer, Pierre Lurin, Rachel Ang
Infrastructure Sharing and Shared Operations for Mobile Network Operators: From a Deployment and Operations View. ICC (2008)
Thomas Frisanco, Paul Tafertshofer, Pierre Lurin, Rachel Ang
Infrastructure sharing and shared operations for mobile network operators From a deployment and operations view. NOMS (2008)
Thomas Frisanco, Paul Tafertshofer, Pierre Lurin, Rachel Ang
Infrastructure Sharing for Mobile Network Operators; From a Deployment and Operations View. ICOIN (2008)
Paul Tafertshofer, Andreas Ganz, Kurt Antreich
IGRAINE-an Implication GRaph-bAsed engINE for fast implication, justification, and propagation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19 (8) (2000)
Paul Tafertshofer, Andreas Ganz
SAT based ATPG using fast justification and propagation in the implication graph. ICCAD (1999)
Paul Tafertshofer, Andreas Ganz, Manfred Henftling
A SAT-based implication engine for efficient ATPG, equivalence checking, and optimization of netlists. ICCAD (1997)
Paul Tafertshofer, Massoud Pedram
Factored Edge-Valued Binary Decision Diagrams. Formal Methods Syst. Des. 10 (2/3) (1997)