| 2008 |
|---|
| 6 | EE | 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: 2193-2200 |
| 5 | EE | 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: 129-136 |
| 2000 |
|---|
| 4 | EE | Paul Tafertshofer,
Andreas Ganz,
Kurt Antreich:
IGRAINE-an Implication GRaph-bAsed engINE for fast implication, justification, and propagation.
IEEE Trans. on CAD of Integrated Circuits and Systems 19(8): 907-927 (2000) |
| 1999 |
|---|
| 3 | EE | Paul Tafertshofer,
Andreas Ganz:
SAT based ATPG using fast justification and propagation in the implication graph.
ICCAD 1999: 139-146 |
| 1997 |
|---|
| 2 | EE | Paul Tafertshofer,
Andreas Ganz,
Manfred Henftling:
A SAT-based implication engine for efficient ATPG, equivalence checking, and optimization of netlists.
ICCAD 1997: 648-655 |
| 1 | | Paul Tafertshofer,
Massoud Pedram:
Factored Edge-Valued Binary Decision Diagrams.
Formal Methods in System Design 10(2/3): 243-270 (1997) |
