Follow
Natallia Kokash
Natallia Kokash
RUDN University (Российский университет дружбы народов)
Verified email at rudn.ru - Homepage
Title
Cited by
Cited by
Year
An introduction to heuristic algorithms
N Kokash
Department of Informatics and Telecommunications, 1-8, 2005
1192005
A comparison of web service interface similarity measures
N Kokash
STAIRS, 220-231, 2006
952006
Towards using Reo for compliance-aware business process modeling
F Arbab, N Kokash, S Meng
International Symposium On Leveraging Applications of Formal Methods …, 2008
892008
Reo+ mCRL2: A framework for model-checking dataflow in service compositions
N Kokash, C Krause, E De Vink
Formal Aspects of Computing 24 (2), 187-216, 2012
862012
Web service discovery based on past user experience
N Kokash, A Birukou, V D’Andrea
Business Information Systems: 10th International Conference, BIS 2007 …, 2007
862007
Business process compliance through reusable units of compliant processes
D Schumm, O Turetken, N Kokash, A Elgammal, F Leymann, ...
ICWE Workshops 6385, 325-337, 2010
802010
Improving web service discovery with usage data
A Birukou, E Blanzieri, V DAndrea, P Giorgini, N Kokash
IEEE software 24 (6), 47-54, 2007
702007
Leveraging web services discovery with customizable hybrid matching
N Kokash, WJ van den Heuvel, V D’Andrea
Service-Oriented Computing–ICSOC 2006: 4th International Conference, Chicago …, 2006
642006
Formal behavioral modeling and compliance analysis for service-oriented systems
N Kokash, F Arbab
Formal Methods for Components and Objects: 7th International Symposium, FMCO …, 2009
582009
Time and data-aware analysis of graphical service models in Reo
N Kokash, C Krause, EP de Vink
2010 8th IEEE International Conference on Software Engineering and Formal …, 2010
542010
Evaluating quality of web services: A risk-driven approach
N Kokash, V D’Andrea
Business Information Systems: 10th International Conference, BIS 2007 …, 2007
502007
Pharmacometrics Markup Language (PharmML): opening new perspectives for model exchange in drug development
MJ Swat, S Moodie, SM Wimalaratne, NR Kristensen, M Lavielle, A Mari, ...
CPT: pharmacometrics & systems pharmacology 4 (6), 316-319, 2015
392015
Data-aware design and verification of service compositions with Reo and mCRL2
N Kokash, C Krause, EP de Vink
Proceedings of the 2010 ACM Symposium on Applied Computing, 2406-2413, 2010
382010
A unified toolset for business process model formalization
B Changizi, N Kokash, F Arbab
Preproceedings of FESCA 2010, 147-156, 2010
372010
IC-Service: A service-oriented approach to the development of recommendation systems
A Birukou, E Blanzieri, V D'Andrea, P Giorgini, N Kokash, A Modena
Proceedings of the 2007 ACM symposium on Applied computing, 1683-1688, 2007
332007
Formal design and verification of long-running transactions with extensible coordination tools
N Kokash, F Arbab
IEEE Transactions on Services Computing 6 (2), 186-200, 2011
322011
Web service discovery with implicit QoS filtering
N Kokash
Proceedings of the IBM PhD Student Symposium, in conjunction with the …, 2005
302005
Verification of context-dependent channel-based service models
N Kokash, C Krause, EP De Vink
Formal Methods for Components and Objects: 8th International Symposium, FMCO …, 2010
242010
A semantic model for service composition with coordination time delays
N Kokash, B Changizi, F Arbab
Formal Methods and Software Engineering: 12th International Conference on …, 2010
202010
The Open Physiology workflow: modeling processes over physiology circuitboards of interoperable tissue units
B De Bono, S Safaei, P Grenon, DP Nickerson, S Alexander, ...
Frontiers in physiology 6, 24, 2015
182015
The system can't perform the operation now. Try again later.
Articles 1–20