Inventor · disambiguated record

Khalil Ghorbal

Also filed as: GHORBAL KHALIL

2 granted patents·3 citations·filing 2012–2012

43Inventor score

Technology areasG06F G06N

Files withGHORBAL KHALIL1 NEC LAB AMERICA INC1

Top patents by PatentIndex Score

2 records

0158US8719790B2Donut domains—efficient non-convex domains for abstract interpretationGHORBAL KHALIL·Filed 2012·Granted May 6, 2014·2 cites·15 claims
0250US8799194B2Probabilistic model checking of systems with ranged probabilitiesNEC LAB AMERICA INC·Filed 2012·Granted Aug 5, 2014·1 cites·10 claims

Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →