No photo of Idress Skloul Ibrahim

Idress Skloul Ibrahim

Dr

  • Edinburgh

    United Kingdom

20072019

Research output per year

If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Idress Skloul Ibrahim is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 2 Similar Profiles

Co Author Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 4 Article
  • 3 Paper
  • 2 Conference contribution

Verifying Parallel Dataflow Transformations with Model Checking and its Application to FPGAs

Stewart, R., Berthomieu, B., Garcia, P., Ibrahim, I., Michaelson, G. & Wallace, A., Dec 2019, In : Journal of Systems Architecture. 101, 101657.

Research output: Contribution to journalArticle

Open Access
File
  • 12 Downloads (Pure)

    High-performance Cloud Computing for Symbolic Computation Domain

    Ibrahim, I. S., Loidl, H-W. & Trinder, P. W., 2016, In : Journal of Computations and Modelling. 6, 1, p. 107-133

    Research output: Contribution to journalArticle

    File
  • 57 Downloads (Pure)

    Combining pervasive computing with social networking for a student environment

    Papadopoulou, E., Gallacher, S., Taylor, N. K., Williams, M. H., Blackmun, F. R., Ibrahim, I. S., Lim, M. Y., Mimtsoudis, I., Skillen, P. & Whyte, S., 2014, Parallel and Distributed Computing 2014: Proceedings of the Twelfth Australasian Symposium on Parallel and Distributed Computing (AusPDC 2014), Auckland, New Zealand, 20 - 23 January 2014. Australian Computer Society, p. 11-19 9 p. (Conferences in Research and Practice in Information Technology; vol. 152).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 32 Downloads (Pure)

    How public organisational structures influence software development processes

    Bindrees, M. A., Pooley, R. J., Ibrahim, I. S. & Bental, D. S., 2014, In : Journal of Universal Computer Science. 10, 12, p. 2593-2607 15 p.

    Research output: Contribution to journalArticle

  • Re-Evaluating Media Richness Theory in Software Development Settings

    Bindrees, M. A., Pooley, R. J., Ibrahim, I. S. & Taylor, N. K., 2014, In : Journal of Computer and Communications. 2, 14, p. 37-51 15 p.

    Research output: Contribution to journalArticle