Paul Tafertshofer

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2008
Infrastructure Sharing for Mobile Network Operators; From a Deployment and Operations View.
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.
Proceedings of IEEE International Conference on Communications, 2008

2000
IGRAINE-an Implication GRaph-bAsed engINE for fast implication, justification, and propagation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000

1999
SAT based ATPG using fast justification and propagation in the implication graph.
Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

1997
Factored Edge-Valued Binary Decision Diagrams.
Formal Methods Syst. Des., 1997

A SAT-based implication engine for efficient ATPG, equivalence checking, and optimization of netlists.
Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997


  Loading...