You are here: University » Research Portal » Researchers » Juliana Kuster Filipe Bowles

Juliana Kuster Filipe Bowles

School of Computer Science

North Haugh

St Andrews

Fife

KY16 9SS

United Kingdom

E-mail: jkfb@st-andrews.ac.uk

Direct phone: +44 (0)1334 461622

Research publications

  • A strongly consistent transformation from UML interactions to PEPA nets

    Bowles, J. & Kloul, L. 2014 Computational Science and Its Applications – ICCSA 2014: 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part V. Murgante, B., Misra, S., Rocha, A. M. A. C., Torre, C., Rocha, J. G., Falcao, M. I., Taniar, D., Apduhan, B. O. & Gervasi, O. (eds.). BERLIN: Springer-Verlag, p. 90-105 16 p. (Lecture Notes in Computer Science).

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

  • Automated composition of sequence diagrams via Alloy

    Alwanain, M., Bordbar, B. & Bowles, J. K. F. 2014 MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development. SciTePress, p. 384-391 8 p.

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

  • On distributed stochastic logics for mobile systems

    Bowles, J. K. F. & Viana, P. 2014 Logic, Language, Information, and Computation. Kohlenbach, U., Barceló, P. & de Queiroz, R. (eds.). Springer-Verlag, Vol. 8652, p. 195-205 11 p. (Lecture Notes in Computer Science).

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

View all »

Activities and awards

  • Research visit

    Juliana Kuster Filipe Bowles (Visiting Researcher), University of Versailles and LIX (Laboratory of Informatics at Ecole Polytechnique), 3 Dec 201218 Dec 2012

    Activity: External academic activityPeriodic visiting

View all »