TREA

Christian Stangier

Follow

Person

  • Los Altos, CA, US
People

Patents Grantslast 30 patents

  • Information Patent Grant

    Circuit verification
    • Patent number 7,571,403
    • Issue date Aug 4, 2009
    • Fujitsu Limited
    • Jawahar Jain
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Grant

    Invariant checking
    • Patent number 7,360,186
    • Issue date Apr 15, 2008
    • Fujitsu Limited
    • Thomas W. Sidle
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Grant

    System and method for executing image computation associated with a...
    • Patent number 7,032,197
    • Issue date Apr 18, 2006
    • Fujitsu Limited
    • Jawahar Jain
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Grant

    Circuit verification
    • Patent number 7,028,279
    • Issue date Apr 11, 2006
    • Fujitsu Limited
    • Jawahar Jain
    • G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

  • Information Patent Application

    Circuit Verification
    • Publication number 20060173666
    • Publication date Aug 3, 2006
    • FUJITSU LIMITED
    • Jawahar Jain
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    Invariant checking
    • Publication number 20050278669
    • Publication date Dec 15, 2005
    • FUJITSU LIMITED
    • Thomas W. Sidle
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    System and method for executing image computation associated with a...
    • Publication number 20040093572
    • Publication date May 13, 2004
    • FUJITSU LIMITED
    • Jawahar Jain
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    Circuit verification
    • Publication number 20040093571
    • Publication date May 13, 2004
    • Jawahar Jain
    • G06 - COMPUTING CALCULATING COUNTING