MY

Mihalis Yannakakis

AT AT&T: 2 patents #184 of 1,481Top 15%
📍 New York, NY: #116 of 918 inventorsTop 15%
🗺 New York: #1,452 of 9,423 inventorsTop 20%
Overall (2003): #50,746 of 273,478Top 20%
2
Patents 2003

Issued Patents 2003

Showing 1–2 of 2 patents

Patent #TitleCo-InventorsDate
6526544 Directly verifying a black box system Doron A. Peled, Moshe Vardi 2003-02-25
6516306 Model checking of message flow diagrams Rajeev Alur 2003-02-04