| Models and Verification of BPEL F Van Breugel, M Koshkina | 164* | 2006 |
| Modelling and verifying web service orchestration by means of the concurrency workbench M Koshkina, F van Breugel ACM SIGSOFT Software Engineering Notes 29 (5), 1-10, 2004 | 113 | 2004 |
| Verification of business processes for web services M Koshkina, F van Breugel Department of Computer Science, 2003 | 105 | 2003 |
| Dead-path-elimination in BPEL4WS F van Breugel, M Koshkina Fifth International Conference on Application of Concurrency to System …, 2005 | 34 | 2005 |
| Contrastive learning for sports video: Unsupervised player classification M Koshkina, H Pidaparthy, JH Elder Proceedings of the IEEE/CVF conference on computer vision and pattern …, 2021 | 32 | 2021 |
| Does dead-path-elimination have side effects F van Breugel, M Koshkina Technical Report CS-2003-04, York University, Toronto, 2003 | 4 | 2003 |
| Verification of business processes for Web services Technical report CS-2003-11, York University, October 2003 M Koshkina, F van Breugel | 4 | 2003 |
| Achieving business agility with WebSphere ILOG JRules and WebSphere BPM M Koshkina, K Huynh, Y Zhao Proceedings of the 2010 Conference of the Center for Advanced Studies on …, 2010 | 2 | 2010 |
| A General Framework for Jersey Number Recognition in Sports Video M Koshkina, JH Elder Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2024 | 1 | 2024 |
James ElderYork University在 yorku.ca 的电子邮件经过验证
James ElderYork University在 yorku.ca 的电子邮件经过验证
Hemanth PidaparthySamsung R&D Institute Bangalore在 samsung.com 的电子邮件经过验证