Thread-Modular Analysis of Release-Acquire Concurrency

von Sharma, Divyanjali
Veröffentlicht in International Static Analysis Symposium (28. : 2021 : Chicago, Online) Static Analysis (2021)

SKLEE: A Dynamic Symbolic Analysis Tool for Ethereum Smart Contracts (Tool andPaper)

von Jain, Namrata
Veröffentlicht in International Conference on Software Engineering and Formal Methods (20. : 2022 : Berlin) Software engineering and formal methods (2022)

Light scattering by optically soft particles : theory and applications

von Sharma, Subodh K.
Veröffentlicht 2006

ZEUS: ANALYZING SAFETY OF SMART CONTRACTS

von Kalra, Sukrit
Veröffentlicht in Network and Distributed System Security Symposium (25. : 2018 : San Diego, Calif.) Network and Distributed System Security Symposium 2018 ; Volume 2 of 2 (2020)

Fence Synthesis Under the C11 Memory Model

von Singh, Sanjana
Veröffentlicht in ATVA (20. : 2022 : Online) Automated technology for verification and analysis (2022)

Molluscs of the families Sphaeriidae and Corbiculidae (Bivalvia: Veneroidea) of Nepal (Himalayan midmountains and terai), their anatomy and affinities

von Nesemann, Hasko
Veröffentlicht 2001

Ergonomic Assessment of Tractor Seat for Anthropometric Dimensions of Indian Population

von Chandra, Arunesh
Veröffentlicht in International Conference on Advancement in Manufacturing Engineering (2022 : Delhi) Recent advances in intelligent manufacturing (2023)

Development and Validation of Serious Games for Teaching Cybersecurity

von Kulshrestha, Srishti
Veröffentlicht in JCSG (2021 : Online) Serious Games (2021)

OpenVoting: Recoverability from Failures in Dual Voting

von Agrawal, Prashant
Veröffentlicht in E-Vote-ID Conference (8. : 2023 : Luxemburg, Stadt) Electronic voting (2023)

Additive manufacturing in Industry 4.0 : methods, techniques, modeling, and nano aspects

Veröffentlicht 2023