Pulse Explorar nav.journalClub Debates Tendencias Investigadores

Join discussions, follow papers, and never miss your next session.

Download on theApp Store

Inicio Explorar nav.journalClub Tendencias

⌘+K

David A. Rosenblueth | Synapse

DA

David A. Rosenblueth

Formal Methods in Verification

Universidad Nacional Autónoma de México

About

Research focus

Formal Methods in Verification

Impact

82 pubs · 995 cites · h-index 17

Affiliations

Work Experience

Universidad Nacional Autónoma de México

1993 - Present

Institute of Mathematical Sciences

2016 - 2023

Universidad Autónoma de la Ciudad de México

2014 - 2021

Inria Saclay - Île de France

2016 - 2016

Publications