Thai Q. Phan

Array ( [id] => 8958541 [patent_doc_number] => 08504330 [patent_country] => US [patent_kind] => B2 [patent_issue_date] => 2013-08-06 [patent_title] => 'Parallelizing bounded model checking using tunnels over a distributed framework' [patent_app_type] => utility [patent_app_number] => 12/236684 [patent_app_country] => US [patent_app_date] => 2008-09-24 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 9 [patent_figures_cnt] => 9 [patent_no_of_words] => 5718 [patent_no_of_claims] => 19 [patent_no_of_ind_claims] => 3 [patent_words_short_claim] => 93 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => patent [pdf_file] =>[firstpage_image] =>[orig_patent_app_number] => 12236684 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 5325126 [patent_doc_number] => 20090063116 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2009-03-05 [patent_title] => 'Computational radiator flow distribution method' [patent_app_type] => utility [patent_app_number] => 12/229777 [patent_app_country] => US [patent_app_date] => 2008-08-26 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 10 [patent_figures_cnt] => 10 [patent_no_of_words] => 7480 [patent_no_of_claims] => 26 [patent_no_of_ind_claims] => 2 [patent_words_short_claim] => 0 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0063/20090063116.pdf [firstpage_image] =>[orig_patent_app_number] => 12229777 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 6486834 [patent_doc_number] => 20100042390 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2010-02-18 [patent_title] => 'Method and apparatus for designing any-to-any optical signal-to-noise ratio in optical networks' [patent_app_type] => utility [patent_app_number] => 12/228762 [patent_app_country] => US [patent_app_date] => 2008-08-15 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 10 [patent_figures_cnt] => 10 [patent_no_of_words] => 3776 [patent_no_of_claims] => 25 [patent_no_of_ind_claims] => 3 [patent_words_short_claim] => 0 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0042/20100042390.pdf [firstpage_image] =>[orig_patent_app_number] => 12228762 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 8246794 [patent_doc_number] => 08204733 [patent_country] => US [patent_kind] => B2 [patent_issue_date] => 2012-06-19 [patent_title] => 'Power testing apparatus for universal serial bus interface' [patent_app_type] => utility [patent_app_number] => 12/192092 [patent_app_country] => US [patent_app_date] => 2008-08-14 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 2 [patent_figures_cnt] => 2 [patent_no_of_words] => 1301 [patent_no_of_claims] => 10 [patent_no_of_ind_claims] => 2 [patent_words_short_claim] => 152 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => patent [pdf_file] => patents/08/204/08204733.pdf [firstpage_image] =>[orig_patent_app_number] => 12192092 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 8878280 [patent_doc_number] => 08473262 [patent_country] => US [patent_kind] => B2 [patent_issue_date] => 2013-06-25 [patent_title] => 'Self-cleaning submerged instrumentation' [patent_app_type] => utility [patent_app_number] => 12/228687 [patent_app_country] => US [patent_app_date] => 2008-08-14 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 18 [patent_figures_cnt] => 21 [patent_no_of_words] => 16969 [patent_no_of_claims] => 67 [patent_no_of_ind_claims] => 4 [patent_words_short_claim] => 64 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => patent [pdf_file] =>[firstpage_image] =>[orig_patent_app_number] => 12228687 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 7547506 [patent_doc_number] => 08055486 [patent_country] => US [patent_kind] => B2 [patent_issue_date] => 2011-11-08 [patent_title] => 'Power delivery analysis and design' [patent_app_type] => utility [patent_app_number] => 12/187164 [patent_app_country] => US [patent_app_date] => 2008-08-06 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 3 [patent_figures_cnt] => 3 [patent_no_of_words] => 2338 [patent_no_of_claims] => 8 [patent_no_of_ind_claims] => 1 [patent_words_short_claim] => 152 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => patent [pdf_file] => patents/08/055/08055486.pdf [firstpage_image] =>[orig_patent_app_number] => 12187164 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 4508459 [patent_doc_number] => 07949511 [patent_country] => US [patent_kind] => B2 [patent_issue_date] => 2011-05-24 [patent_title] => 'System and method for tunneling and slicing based BMC decomposition' [patent_app_type] => utility [patent_app_number] => 12/183387 [patent_app_country] => US [patent_app_date] => 2008-07-31 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 7 [patent_figures_cnt] => 7 [patent_no_of_words] => 7634 [patent_no_of_claims] => 14 [patent_no_of_ind_claims] => 2 [patent_words_short_claim] => 123 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => patent [pdf_file] => patents/07/949/07949511.pdf [firstpage_image] =>[orig_patent_app_number] => 12183387 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 5429723 [patent_doc_number] => 20090089033 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2009-04-02 [patent_title] => 'METHOD AND DEVICE FOR DETERMINING THE LIFE EXPECTANCY OF COMPONENTS WHILE IN OPERATION' [patent_app_type] => utility [patent_app_number] => 12/182298 [patent_app_country] => US [patent_app_date] => 2008-07-30 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 2 [patent_figures_cnt] => 2 [patent_no_of_words] => 4151 [patent_no_of_claims] => 11 [patent_no_of_ind_claims] => 2 [patent_words_short_claim] => 0 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0089/20090089033.pdf [firstpage_image] =>[orig_patent_app_number] => 12182298 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 5362362 [patent_doc_number] => 20090037156 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2009-02-05 [patent_title] => 'Design Support System' [patent_app_type] => utility [patent_app_number] => 12/180497 [patent_app_country] => US [patent_app_date] => 2008-07-25 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 34 [patent_figures_cnt] => 34 [patent_no_of_words] => 9623 [patent_no_of_claims] => 2 [patent_no_of_ind_claims] => 2 [patent_words_short_claim] => 0 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0037/20090037156.pdf [firstpage_image] =>[orig_patent_app_number] => 12180497 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 7542502 [patent_doc_number] => 08060351 [patent_country] => US [patent_kind] => B2 [patent_issue_date] => 2011-11-15 [patent_title] => 'Display design system and method' [patent_app_type] => utility [patent_app_number] => 12/175499 [patent_app_country] => US [patent_app_date] => 2008-07-18 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 3 [patent_figures_cnt] => 3 [patent_no_of_words] => 3387 [patent_no_of_claims] => 14 [patent_no_of_ind_claims] => 2 [patent_words_short_claim] => 214 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => patent [pdf_file] => patents/08/060/08060351.pdf [firstpage_image] =>[orig_patent_app_number] => 12175499 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 7971463 [patent_doc_number] => 07941308 [patent_country] => US [patent_kind] => B2 [patent_issue_date] => 2011-05-10 [patent_title] => 'Disease simulation system and method' [patent_app_type] => utility [patent_app_number] => 12/174876 [patent_app_country] => US [patent_app_date] => 2008-07-17 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 8 [patent_figures_cnt] => 14 [patent_no_of_words] => 7078 [patent_no_of_claims] => 60 [patent_no_of_ind_claims] => 2 [patent_words_short_claim] => 139 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => patent [pdf_file] => patents/07/941/07941308.pdf [firstpage_image] =>[orig_patent_app_number] => 12174876 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 5573406 [patent_doc_number] => 20090140767 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2009-06-04 [patent_title] => 'Universal circuit for secure function evaluation' [patent_app_type] => utility [patent_app_number] => 12/218293 [patent_app_country] => US [patent_app_date] => 2008-07-14 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 5 [patent_figures_cnt] => 5 [patent_no_of_words] => 4387 [patent_no_of_claims] => 12 [patent_no_of_ind_claims] => 4 [patent_words_short_claim] => 0 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0140/20090140767.pdf [firstpage_image] =>[orig_patent_app_number] => 12218293 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 6474248 [patent_doc_number] => 20100191514 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2010-07-29 [patent_title] => 'Method, Program and Computer System for Scaling Hydrocarbon Reservoir Model Data' [patent_app_type] => utility [patent_app_number] => 12/668394 [patent_app_country] => US [patent_app_date] => 2008-07-09 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 8 [patent_figures_cnt] => 8 [patent_no_of_words] => 8779 [patent_no_of_claims] => 14 [patent_no_of_ind_claims] => 6 [patent_words_short_claim] => 0 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0191/20100191514.pdf [firstpage_image] =>[orig_patent_app_number] => 12668394 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 4439000 [patent_doc_number] => 07970591 [patent_country] => US [patent_kind] => B1 [patent_issue_date] => 2011-06-28 [patent_title] => 'Using impedance (Z) parameters to augment circuit simulation' [patent_app_type] => utility [patent_app_number] => 12/169277 [patent_app_country] => US [patent_app_date] => 2008-07-08 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 8 [patent_figures_cnt] => 15 [patent_no_of_words] => 7538 [patent_no_of_claims] => 19 [patent_no_of_ind_claims] => 2 [patent_words_short_claim] => 207 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => patent [pdf_file] => patents/07/970/07970591.pdf [firstpage_image] =>[orig_patent_app_number] => 12169277 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 8010037 [patent_doc_number] => 08086429 [patent_country] => US [patent_kind] => B2 [patent_issue_date] => 2011-12-27 [patent_title] => 'Predicate-based compositional minimization in a verification environment' [patent_app_type] => utility [patent_app_number] => 12/168469 [patent_app_country] => US [patent_app_date] => 2008-07-07 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 12 [patent_figures_cnt] => 13 [patent_no_of_words] => 7854 [patent_no_of_claims] => 13 [patent_no_of_ind_claims] => 3 [patent_words_short_claim] => 226 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => patent [pdf_file] => patents/08/086/08086429.pdf [firstpage_image] =>[orig_patent_app_number] => 12168469 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 9251594 [patent_doc_number] => 08615384 [patent_country] => US [patent_kind] => B2 [patent_issue_date] => 2013-12-24 [patent_title] => 'Method and apparatus for simulating aircraft data processing systems' [patent_app_type] => utility [patent_app_number] => 12/166789 [patent_app_country] => US [patent_app_date] => 2008-07-02 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 4 [patent_figures_cnt] => 8 [patent_no_of_words] => 6948 [patent_no_of_claims] => 21 [patent_no_of_ind_claims] => 3 [patent_words_short_claim] => 83 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => patent [pdf_file] =>[firstpage_image] =>[orig_patent_app_number] => 12166789 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 4606090 [patent_doc_number] => 07987075 [patent_country] => US [patent_kind] => B2 [patent_issue_date] => 2011-07-26 [patent_title] => 'Apparatus and method to develop multi-core microcomputer-based systems' [patent_app_type] => utility [patent_app_number] => 12/164178 [patent_app_country] => US [patent_app_date] => 2008-06-30 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 4 [patent_figures_cnt] => 11 [patent_no_of_words] => 3817 [patent_no_of_claims] => 19 [patent_no_of_ind_claims] => 2 [patent_words_short_claim] => 163 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => patent [pdf_file] => patents/07/987/07987075.pdf [firstpage_image] =>[orig_patent_app_number] => 12164178 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 5399182 [patent_doc_number] => 20090319245 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2009-12-24 [patent_title] => 'POSITION AND ANGLE DIGITAL DETECTION AND SIMULATION' [patent_app_type] => utility [patent_app_number] => 12/143797 [patent_app_country] => US [patent_app_date] => 2008-06-22 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 12 [patent_figures_cnt] => 12 [patent_no_of_words] => 19861 [patent_no_of_claims] => 20 [patent_no_of_ind_claims] => 4 [patent_words_short_claim] => 0 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0319/20090319245.pdf [firstpage_image] =>[orig_patent_app_number] => 12143797 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 7509417 [patent_doc_number] => 08036874 [patent_country] => US [patent_kind] => B2 [patent_issue_date] => 2011-10-11 [patent_title] => 'Software executing device and co-operation method' [patent_app_type] => utility [patent_app_number] => 12/142998 [patent_app_country] => US [patent_app_date] => 2008-06-20 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 14 [patent_figures_cnt] => 14 [patent_no_of_words] => 6539 [patent_no_of_claims] => 20 [patent_no_of_ind_claims] => 3 [patent_words_short_claim] => 128 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => patent [pdf_file] => patents/08/036/08036874.pdf [firstpage_image] =>[orig_patent_app_number] => 12142998 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 4536280 [patent_doc_number] => 07953581 [patent_country] => US [patent_kind] => B2 [patent_issue_date] => 2011-05-31 [patent_title] => 'System, method and apparatus for sensitivity based fast power grid simulation with variable time step' [patent_app_type] => utility [patent_app_number] => 12/142273 [patent_app_country] => US [patent_app_date] => 2008-06-19 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 7 [patent_figures_cnt] => 8 [patent_no_of_words] => 6795 [patent_no_of_claims] => 11 [patent_no_of_ind_claims] => 3 [patent_words_short_claim] => 248 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => patent [pdf_file] => patents/07/953/07953581.pdf [firstpage_image] =>[orig_patent_app_number] => 12142273 [rel_patent_id] =>[rel_patent_doc_number] =>)