| Modelling concurrent interactions J Küster-Filipe Theoretical Computer Science 351 (2), 203-220, 2006 | 77 | 2006 |
| Enriching OCL using observational mu-calculus J Bradfield, JK Filipe, P Stevens International Conference on Fundamental Approaches to Software Engineering …, 2002 | 76 | 2002 |
| Modelling concurrent interactions J Küster-Filipe Theoretical Computer Science 351 (2), 203-220, 2006 | 68 | 2006 |
| Formalizing liveness-enriched sequence diagrams using ASMs A Cavarra, J Küster-Filipe International Workshop on Abstract State Machines, 62-77, 2004 | 34 | 2004 |
| The Troll Approach to Conceptual Modelling: Syntax, Semantics, and Tools A Grau, JK Filipe, M Kowsari, S Eckstein, R Pinger, HD Ehrich International Conference on Conceptual Modeling, 277-290, 1998 | 34 | 1998 |
| General discussion FM Fowkes, DNL McGown, GD Parfitt, LA Romo, A Breeuwsma, ... Discussions of the Faraday Society 42, 243-247, 1966 | 34 | 1966 |
| Combining sequence diagrams and OCL for liveness A Cavarra, J Küster-Filipe Electronic Notes in Theoretical Computer Science 115, 19-38, 2005 | 28 | 2005 |
| Fundamentals of a module logic for distributed object systems JK Filipe | 28 | 2000 |
| Formal transformation from sequence diagrams to coloured petri nets J Bowles, D Meedeniya 2010 Asia Pacific Software Engineering Conference, 216-225, 2010 | 27 | 2010 |
| A logic-based formalization for component specification JK Filipe Journal of Object Technology 1 (3), 231-248, 2002 | 27 | 2002 |
| A formal model for integrating multiple views JKF Bowles, B Bordbar Seventh International Conference on Application of Concurrency to System …, 2007 | 26 | 2007 |
| Decomposing interactions JKF Bowles International Conference on Algebraic Methodology and Software Technology …, 2006 | 25 | 2006 |
| Optimizing protocol rewrite rules of CIL specifications G Denker, JK Millen, A Grau, JK Filipe Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13, 52-62, 2000 | 23 | 2000 |
| From interaction overview diagrams to pepa nets L Kloul, J Küster-Filipe Proc. of the Work. on Process Algebra and Stochastically Timed Activities 104, 2005 | 21 | 2005 |
| Surgical removal of squamous cell carcinoma of the equine eye SA Koch, RR Cowles Jr Veterinary medicine, small animal clinician: VM, SAC 66 (4), 327-329, 1971 | 21 | 1971 |
| Our data, our society, our health: A vision for inclusive and transparent health data science in the United Kingdom and beyond E Ford, A Boyd, JKF Bowles, A Havard, RW Aldridge, V Curcin, M Greiver, ... Learning health systems 3 (3), e10191, 2019 | 19 | 2019 |
| A logical approach for behavioural composition of scenario-based models JKF Bowles, B Bordbar, M Alwanain International Conference on Formal Engineering Methods, 252-269, 2015 | 15 | 2015 |
| Formal specification of Catalysis frameworks JK Filipe, KK Lau, M Omaghi, K Taguchi, H Yatsu, A Wills Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 …, 2000 | 14 | 2000 |
| Avoiding medication conflicts for patients with multimorbidities A Kovalov, JKF Bowles International Conference on Integrated Formal Methods, 376-390, 2016 | 13 | 2016 |
| Guaranteeing temporal validity with a real-time logic of knowledge S Anderson, JK Filipe 23rd International Conference on Distributed Computing Systems Workshops …, 2003 | 13 | 2003 |
Behzad BordbarSchool of Computer Science, University of BirminghamVerified email at cs.bham.ac.uk
