Inventor · disambiguated record
Luca Cardelli
Also filed as: CARDELLI LUCA
2 granted patents·1 pending application·6 citations·filing 1999–2004
53Inventor score
Technology areasG06F
Files withMICROSOFT CORP3
Top patents by PatentIndex Score
3 records- 0144US7721335B2Ambient calculus-based modal logics for mobile ambientsMICROSOFT CORP·Filed 2004·Granted May 18, 2010·1 cites·30 claims
- 0243US2005080603A1Ambient calculus-based modal logic model checkingMICROSOFT CORP·Filed 2004·Application pending·0 cites
- 0328US6826751B1Ambient calculus-based modal logics for mobile ambientsMICROSOFT CORP·Filed 1999·Granted Nov 30, 2004·5 cites·24 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →