Paul Tafertshofer

According to our database, Paul Tafertshofer authored at least 6 papers between 1997 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2008

Infrastructure Sharing for Mobile Network Operators; From a Deployment and Operations View.

Thomas Frisanco, Paul Tafertshofer, Pierre Lurin, Rachel Ang

Proceedings of the 2008 International Conference on Information Networking, 2008

Infrastructure Sharing and Shared Operations for Mobile Network Operators: From a Deployment and Operations View.

Thomas Frisanco, Paul Tafertshofer, Pierre Lurin, Rachel Ang

Proceedings of IEEE International Conference on Communications, 2008

2000

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

1999

SAT based ATPG using fast justification and propagation in the implication graph.

Paul Tafertshofer, Andreas Ganz

Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

1997

Factored Edge-Valued Binary Decision Diagrams.

Paul Tafertshofer, Massoud Pedram

Formal Methods Syst. Des., 1997

A SAT-based implication engine for efficient ATPG, equivalence checking, and optimization of netlists.

Paul Tafertshofer, Andreas Ganz, Manfred Henftling

Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997