Browse By Publication: Formal Aspects of Computing

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Volume | Authors/Creators
Number of items: 4.

Lermer, Karl & Fidge, Colin J. (2006) Procedure Compilation in the Refinement Calculus. Formal Aspects of Computing, 18(2), pp. 152-180.
Number of full-text downloads 239

Polyvyanyy, Artem, Armas-Cervantes, Abel, Dumas, Marlon, & García-Bañuelos, Luciano (2016) On the expressive power of behavioral profiles. Formal Aspects of Computing, 28(4), pp. 597-613.
Number of citations in Scopus 2
Number of citations in Web of Science® 1

Polyvyanyy, Artem, La Rosa, Marcello, Ouyang, Chun, & ter Hofstede, Arthur H.M. (2015) Untanglings: A novel approach to analyzing concurrent systems. Formal Aspects of Computing, 27(5), pp. 753-788.
Number of full-text downloads 179
Number of citations in Scopus 1

van der Aalst, Wil M., Dumas, Marlon, Gottschalk, Florian, ter Hofstede, Arthur H.M., La Rosa, Marcello, & Mendling, Jan (2008) Preserving correctness during business process model configuration. Formal Aspects of Computing, 22(3-4), pp. 459-482.
Number of full-text downloads 484
Number of citations in Scopus 53
Number of citations in Web of Science® 27

This list was generated on Sun Apr 30 13:18:47 2017 AEST.