Chucky Ellison

6 papers and 93 indexed citations i.

Chucky Ellison has authored 6 papers that have received a total of 93 indexed citations. This includes 4 papers in Artificial Intelligence, 3 papers in Hardware and Architecture and 2 papers in Information Systems. The topics of these papers are Logic, programming, and type systems (4 papers), Parallel Computing and Optimization Techniques (3 papers) and Security and Verification in Computing (2 papers). Chucky Ellison is often cited by papers focused on Logic, programming, and type systems (4 papers), Parallel Computing and Optimization Techniques (3 papers) and Security and Verification in Computing (2 papers) and collaborates with scholars based in United States, Romania and France. Chucky Ellison's co-authors include Grigore Roşu, Dorel Lucanu, David Lazar and Traian Florin Șerbănuță and has published in prestigious journals such as Proceedings of the IEEE, ACM SIGPLAN Notices and Electronic Notes in Theoretical Computer Science