Pulse Entdecken nav.journalClub Debatten Trends Forschende

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

Download on theApp Store

Start Entdecken nav.journalClub Trends

⌘+K

Rafael Wisniewski | Synapse

RW

Rafael Wisniewski

Formal Methods in Verification

Aalborg University

About

Research focus

Formal Methods in Verification

Impact

162 pubs · 1,935 cites · h-index 26

Affiliations

Work Experience

Aalborg University

2001 - 2024

University of Strathclyde

2019 - 2019

Danfoss (Denmark)

2007 - 2008

Publications