×
Edit Profile (opens in new tab)

Vanzetto, Hernán

Co-Author Distance
Author ID: vanzetto.hernan Recent zbMATH articles by "Vanzetto, Hernán"
Published as: Vanzetto, Hernán
Documents Indexed: 2 Publications since 2012
Co-Authors: 5 Co-Authors with 2 Joint Publications
78 Co-Co-Authors

Co-Authors

0 single-authored
2 Merz, Stephan
1 Cousineau, Denis
1 Doligez, Damien
1 Lamport, Leslie
1 Ricketts, Daniel

Serials

Fields

2 Computer science (68-XX)
1 Mathematical logic and foundations (03-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

2 Publications have been cited 8 times in 8 Documents Cited by ▼ Year ▼
TLA\(^{ + }\) proofs. Zbl 1372.68168
Cousineau, Denis; Doligez, Damien; Lamport, Leslie; Merz, Stephan; Ricketts, Daniel; Vanzetto, Hernán
5
2012
Automatic verification of TLA\(^{ + }\) proof obligations with SMT solvers. Zbl 1352.68159
Merz, Stephan; Vanzetto, Hernán
3
2012
TLA\(^{ + }\) proofs. Zbl 1372.68168
Cousineau, Denis; Doligez, Damien; Lamport, Leslie; Merz, Stephan; Ricketts, Daniel; Vanzetto, Hernán
5
2012
Automatic verification of TLA\(^{ + }\) proof obligations with SMT solvers. Zbl 1352.68159
Merz, Stephan; Vanzetto, Hernán
3
2012
all cited Publications top 5 cited Publications
all top 5

Cited by 17 Authors

2 Guilloud, Simon
2 Konnov, Igor V.
2 Kuncak, Viktor
2 Tran, Thanh-Hai
1 Altisen, Karine
1 Bucev, Mario
1 Corbineau, Pierre
1 Defourné, Antoine
1 Devismes, Stéphane
1 Fu, Jun
1 Goel, Aman
1 Kukovec, Jure
1 Milovančević, Dragana
1 Sakallah, Karem A.
1 Tan, Hongyan
1 Widder, Josef
1 Wu, Jinzhao

Cited in 3 Serials

1 Theoretical Computer Science
1 Mathematical Problems in Engineering
1 Logical Methods in Computer Science

Cited in 3 Fields

8 Computer science (68-XX)
3 Mathematical logic and foundations (03-XX)
2 Order, lattices, ordered algebraic structures (06-XX)

Citations by Year