Natallia Kokash

Cited by

	All	Since 2016
Citations	1109	361
h-index	18	11
i10-index	26	13

140

105

20062007200820092010201120122013201420152016201720182019202020217 31 47 45 108 103 123 86 84 103 103 57 78 64 56 3

Co-authors

Farhad ArbabProfessor of Computer Science, Leiden UniversityVerified email at liacs.nl
Vincenzo D'AndreaUniversity of TrentoVerified email at unitn.it
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerified email at win.tue.nl
Christian KrauseSAP SEVerified email at sap.com
Aliaksandr BirukouRUDN University (Российский университет дружбы народов) and Springer NatureVerified email at rudn.ru
Enrico BlanzieriDISI, Universiy of Trento, ItalyVerified email at disi.unitn.it
Paolo GiorginiProfessor of Computer Science, University of TrentoVerified email at unitn.it
WIllem-Jan van den HeuvelProfessor in Information Systems, Managing Director of the ERISS, Tilburg, UniversityVerified email at uvt.nl
Joost KokDean of the Faculty of Electrical Engineering, Mathematics and Computer Science at the University ofVerified email at utwente.nl
Michiel HelvensteijnCWI, Amsterdam and LIACS, Leiden UniversityVerified email at cwi.nl
Frank LeymannProfessor of Computer Science, University of Stuttgart, Germany, Member Academia EuropaeaVerified email at iaas.uni-stuttgart.de
Oktay TuretkenAssociate Professor in Information Systems at Eindhoven University of TechnologyVerified email at tue.nl
Amal ElgammalAssociate Professor, Cairo UniversityVerified email at fci-cu.edu.eg
Махнист Леонид Петрович (Leonid...Брестский государственный технический университет (Brest State Technical University)Verified email at bstu.by
Peter HunterDirector, Auckland Bioengineering Institute, University of AucklandVerified email at auckland.ac.nz
Christoph BrandtTU BerlinVerified email at cs.tu-berlin.de
Samuel AlexanderOhio State UniversityVerified email at math.ohio-state.edu
Soroush SafaeiResearch Fellow, Auckland Bioengineering Institute, University of AucklandVerified email at auckland.ac.nz
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Nick HolfordProfessor of Clinical Pharmacology, University of AucklandVerified email at auckland.ac.nz

Natallia Kokash

RUDN University (Российский университет дружбы народов)

Verified email at rudn.ru - Homepage

Formal Methods Process Modeling Data Visualization Software Engineering


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
An introduction to heuristic algorithms N Kokash Department of Informatics and Telecommunications, 1-8, 2005	89	2005
A comparison of web service interface similarity measures N Kokash STAIRS, 220-231, 2006	83	2006
Web service discovery based on past user experience N Kokash, A Birukou, V D’Andrea International Conference on Business Information Systems, 95-107, 2007	79	2007
Towards using Reo for compliance-aware business process modeling F Arbab, N Kokash, S Meng International Symposium On Leveraging Applications of Formal Methods …, 2008	78	2008
Business process compliance through reusable units of compliant processes D Schumm, O Turetken, N Kokash, A Elgammal, F Leymann, ... International Conference on Web Engineering, 325-337, 2010	74	2010
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	72	2012
Improving web service discovery with usage data A Birukou, E Blanzieri, V DAndrea, P Giorgini, N Kokash IEEE software 24 (6), 47-54, 2007	63	2007
Leveraging web services discovery with customizable hybrid matching N Kokash, WJ van den Heuvel, V D’Andrea International Conference on Service-Oriented Computing, 522-528, 2006	60	2006
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	50	2010
Formal behavioral modeling and compliance analysis for service-oriented systems N Kokash, F Arbab International Symposium on Formal Methods for Components and Objects, 21-41, 2008	49	2008
Evaluating quality of web services: A risk-driven approach N Kokash, V D’Andrea International Conference on Business Information Systems, 180-194, 2007	45	2007
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	34	2015
A unified toolset for business process model formalization B Changizi, N Kokash, F Arbab Preproceedings of FESCA 2010, 147-156, 2010	34	2010
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	33	2007
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	32	2010
Web service discovery with implicit QoS filtering N Kokash Proceedings of the IBM PhD Student Symposium, in conjunction with the …, 2005	28	2005
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	26	2011
Verification of context-dependent channel-based service models N Kokash, C Krause, EP De Vink International Symposium on Formal Methods for Components and Objects, 21-40, 2009	22	2009
A service selection model to improve composition reliability N Kokash International Workshop on AI for Service Composition, 9-14, 2006	18	2006
A semantic model for service composition with coordination time delays N Kokash, B Changizi, F Arbab International Conference on Formal Engineering Methods, 106-121, 2010	16	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors