University of Hertfordshire

Professor Alex Shafarenko

Professor

Alex Shafarenko

Professor Alex Shafarenko

Professor

Postal address:
University of Hertfordshire, Hatfield, Hertfordshire
United Kingdom

Publications

  1. 2016
  2. The Cost and Benefits of Coordination Programming: Two Case Studies in Concurrent Collection and S-Net

    Zaichenkov, P., Gijsbers, B., Grelck, C., Tveretina, O. & Shafarenko, A. 21 Sep 2016 In : Parallel Processing Letters. 26, 3, 26 p., 1650011

    Research output: Contribution to journalArticle

  3. Configuring Cloud-Service Interfaces Using Flow Inheritance

    Zaichenkov, P., Tveretina, O. & Shafarenko, A. 1 Jun 2016

    Research output: Contribution to conferencePaper

  4. A Constraint Satisfaction Method for Configuring Non-Local Service Interfaces

    Zaichenkov, P., Tveretina, O. & Shafarenko, A. 24 May 2016 Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Ábrahám, E. & Huisman, M. (eds.). Lecture Notes in Computer Science ed. Switzerland: Springer, Vol. 9681, p. 474-488 15 p. (http://www.springer.com/series/7408)

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

  5. 2015
  6. Interface Reconciliation in Kahn Process Networks using CSP and SAT

    Zaichenkov, P., Tveretina, O. & Shafarenko, A. 2015 Proceedings of the 5th Int. Workshop on the Cross-Fertilization Between CSP and SAT. CSPSAT

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

  7. 2014
  8. A Case Study in Coordination Programming: S-Net vs Concurrent Collection

    Zaichenkov, P., Gijsbers, B., Grelck, C., Tveretina, O. & Shafarenko, A. 2014 Proceedings of Programming Models, Languages and Compilers Workshop for Manycore and Heterogeneous Architectures . Vol. 2015, 1 p. 376317

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

  9. Relay-proof channels using UWB lasers

    Christianson, B., Shafarenko, A., Stajano, F. & Wong, F-L. 2014 Security Protocols XVIII. Springer-Verlag, (Berlin-Heidelberg), p. 45-46 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7061)

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

  10. 2013
  11. The error statistics analysis of the QPSK-modulated signal in the high-rate optical link

    Redyuk, A., Skidin, A., Fedoruk, M. & Shafarenko, A. 1 Jun 2013 In : Optics Communications. 296, p. 132-136

    Research output: Contribution to journalArticle

  12. A data-flow based coordination approach to concurrent software engineering

    Penczek, F., Cheng, W., Grelck, C., Kirner, R., Scheuermann, B. & Shafarenko, A. 2013 Proceedings - 2012 2nd Workshop on Data-Flow Execution Models for Extreme Scale Computing, DFM 2012. IEEE Computer Society, p. 36-43 8 p. 6612858

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

  13. Linear Support Vector Machines for Error Correction in Optical Data Transmission

    Metaxas, A., Redyuk, A., Sun, Y., Shafarenko, A., Davey, N. & Adams, R. 2013 ICANNGA 2013, Procs 11th Int Conf. Springer, p. 438-445 (Lecture Notes in Computer Science; vol. 7824)

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

  14. 2012
  15. Modeling Streams-based Variants of Ant Colony Optimisation for Parallel Systems

    Cheng, W., Penczek, F., Grelck, C., Kirner, R., Scheuermann, B. & Shafarenko, A. Jan 2012 Proceedings: 2nd HiPEAC Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures. Grelck, C., Hammond, K. & Scholz, S. B. (eds.). HiPEAC, 8 p.

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

  16. An infrastructure for multi-level optimisation through property annotation and aggregation

    Penczek, F., Kirner, R., Poss, R., Grelck, C. & Shafarenko, A. 2012 4th International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, NFPinDSML 2012. ACM Digital Library, p. 48-62 15 p.

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

  17. Compilers must speak properties, not just code: CAL: Constraint aggregation language for declarative component-coordination

    Kirner, R., Penczek, F. & Shafarenko, A. 2012 Conference Record of the Annual ACM Symposium on Principles of Programming Languages. ACM Digital Library, p. 51-54 4 p.

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

  18. 2011
  19. The analysis of the error statistics in a 5 x 40 Gbit/s fibre link with hybrid amplification

    Skidin, A., Redyuk, A., Shtyrina, O., Fedoruk, M. & Shafarenko, A. Sep 2011 In : Optics Communications. 284, 19, p. 4695-4698

    Research output: Contribution to journalArticle

  20. Gearing up: How to eat your cryptocake and still have it

    Shafarenko, A. & Christianson, B. 1 Jan 2011 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7114, p. 258-259 2 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  21. CAL : a language for aggregating functional and extrafunctional constraints in streaming networks

    Shafarenko, A. & Kirner, R. 2011 University of Hertfordshire. (UH Computer Science Technical Report)

    Research output: Book/ReportOther report

  22. Engineering Concurrent Software Guided by Statistical Performance Analysis

    Scheuermann, B., Grelck, C., Hammond, K., Hertlein, H., Hoelzenspies, P., Jesshope, C., Kirner, R., Shafarenko, A., te Boekhorst, R. & Wieser, V. 2011 Applications, Tools and Techniques on the Road to Exascale Computing: Proceedings ParCo 2011. IOS Press, p. 385-394 (Advances in Parallel Computing; vol. 22)

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

  23. Gearing up: How to eat your cryptocake and still have it (transcript of discussion)

    Shafarenko, A. 2011 Lecture Notes in Computer Science. Springer, Vol. 7114, p. 260-270 11 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  24. 2010
  25. Weakly-Constrained Codes for Suppression of Patterning Effects in Digital Communications

    Shafarenko, A., Skidin, A. & Turitsyn, S. K. Oct 2010 In : IEEE Transactions on Communications. 58, 10, p. 2845-2854

    Research output: Contribution to journalArticle

  26. Asynchronous Stream Processing with S-Net

    Grelck, C., Scholz, S. & Shafarenko, A. Feb 2010 In : International Journal of Parallel Programming. 38, 1, p. 38-67

    Research output: Contribution to journalArticle

  27. Correcting Errors in Optical Data Transmission Using Neural Networks

    Hunt, S., Sun, Y., Shafarenko, A., Adams, R. G., Davey, N., Slater, B., Bhamber, R., Boscolo, S. & Turitsyn, S. K. 2010 In : Lecture Notes in Computer Science. 6353, p. 448-457

    Research output: Contribution to journalArticle

  28. Message Driven Programming with S-Net: Methodology and Performance

    Penczek, F., Herhut, S., Scholz, S., Shafarenko, A., Yang, J. S., Chen, C-Y., Bagherzadeh, N. & Grelck, C. 2010 In: Proceedings of the International Conference on Parallel Processing Workshops (ICPPW), art. no. 5599099. IEEE, p. 405-412

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

  29. PS-NET - a predictable typed coordination language for stream processing in resource-constrained environments

    Kirner, R., Scholz, S-B., Penczek, F. & Shafarenko, A. 2010 In: Proceedings of the 1st International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking (COMPTOOL'10). International Academy, Research and Industry Association, p. 22-28

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

  30. Parallel signal processing with S-Net

    Penczek, F., Herhut, S., Grelck, C., Scholz, S., Shafarenko, A., Barrere, R. & Lenormand, E. 2010 In : Procedia Computer Science. 1, 1, p. 2085-2094

    Research output: Contribution to journalArticle

  31. 2009
  32. Adaptive electrical signal post-processing with varying representations in optical communication systems

    Hunt, S., Sun, Y., Shafarenko, A., Adams, R., Davey, N., Slater, B., Bhamber, R., Boscolo, S. & Turitsyn, S. K. 2009 In : Communications in Computer and Information Science . 43, p. 235-245 11 p.

    Research output: Contribution to journalArticle

Previous 1 2 Next