Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Abdelrahman Abounegm
Observed name:
AbdelRahman Abounegm
Institution:
Innopolis University
Observed institution:
Innopolis University
ORCID:
0000-0002-9286-5583
Observed ORCID:
0000-0002-9286-5583
OpenAlex ID:
A5036226563
Implementing a Language Server for the Rzk Proof Assistant
2023
·
Abdelrahman Abounegm
, Nikolai Kudasov
·
System Informatics
·
1
PDF
Crowdsourcing for Second Language Learning
2023
·
Abdelrahman Abounegm
, Nursultan Askarbekuly
, et al.
·
AHFE international
·
1
Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language
2024
·
Abdelrahman Abounegm
, Nikolai Kudasov
, et al.
·
Electronic Proceedings in Theoretical Computer Science
A Browser Extension to Facilitate Language Acquisition
2021
·
Ahmed ElBatanony
, AbdelRahman Abounegm
, et al.
·
International Conference on Education and Training Technologies (ICETT)
Show more works
View as search
Works count:
4
Citation count:
2
H-index:
1
I10-index:
Year
Topic
Type
