Statistics
Publications
4
Citations
58
H-Index
4
Active since
2002
Affiliations
University of Indonesia(Current)
Ade Azurat is an author at University of Indonesia specializing in computer science, computing, and programming languages.
Publications per year
2002–2020
4
4
Wisnu Jatmiko, Ade Azurat, Herry et al. · International Journal on Smart Sensing and Intelligent Systems · 2010 · 20 citations · Full text
A survey on embedding programming logics in a theorem prover
Ade Azurat, I. S. W. B. Prasetya · 2002 · 13 citations · Full text
Maya Retno Ayu Setyautami, Hafiyyan Sayyid Fadhlillah, Daya Adianto et al. · 2020 · 11 citations
1–4 of 4