• Sign in
  • Sign up
conf.researchr.org / Marcelo Taube
  • PLDI 2018 profile
  • SPLASH 2023 profile
No Photo

Registered user since Tue 5 Jun 2018

Name:Marcelo Taube
Country:Israel
Affiliation:Tel Aviv University

Contributions

2023

SPLASH

  • Author of Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols within the OOPSLA-track

2018

PLDI

  • Author of Modularity for Decidability of Deductive Verification with Applications to Distributed Systems within the PLDI Research Papers-track
Share
xFri 23 May 06:28
using conf.researchr.org (v1.69.0)
Support page
Sign Up