Paul Tafertshofer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

6EEThomas 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
5EEThomas 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
4EEPaul 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)
3EEPaul Tafertshofer, Andreas Ganz: SAT based ATPG using fast justification and propagation in the implication graph. ICCAD 1999: 139-146
2EEPaul 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)

Coauthor Index

1Rachel Ang [5] [6]
2Kurt Antreich [4]
3Thomas Frisanco [5] [6]
4Andreas Ganz [2] [3] [4]
5Manfred Henftling [2]
6Pierre Lurin [5] [6]
7Massoud Pedram [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)