×
Edit Profile (opens in new tab)

Lembachar, Yousra

Co-Author Distance
Author ID: lembachar.yousra Recent zbMATH articles by "Lembachar, Yousra"
Published as: Lembachar, Yousra
Documents Indexed: 2 Publications since 2014
Co-Authors: 4 Co-Authors with 2 Joint Publications
63 Co-Co-Authors

Co-Authors

0 single-authored
2 Ciardo, Gianfranco
1 Jin, Xiaoqing
1 Neamtiu, Iulian
1 Rusich, Ryan

Serials

Fields

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

Publications by Year

Citations contained in zbMATH Open

1 Publication has been cited 1 time in 1 Document Cited by ▼ Year ▼
Bddl: a type system for binary decision diagrams. Zbl 1514.68048
Lembachar, Yousra; Rusich, Ryan; Neamtiu, Iulian; Ciardo, Gianfranco
1
2022
Bddl: a type system for binary decision diagrams. Zbl 1514.68048
Lembachar, Yousra; Rusich, Ryan; Neamtiu, Iulian; Ciardo, Gianfranco
1
2022

Cited by 4 Authors

1 Ciardo, Gianfranco
1 Lembachar, Yousra
1 Neamtiu, Iulian
1 Rusich, Ryan

Cited in 0 Serials

Cited in 2 Fields

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

Citations by Year