Natallia Kokash

Cited by

	All	Since 2016
Citations	1170	397
h-index	19	11
i10-index	26	13

140

105

20062007200820092010201120122013201420152016201720182019202020218 34 48 46 107 107 124 90 81 107 108 62 76 64 53 34

Public access

View all

2 articles

0 articles

available

not available

Based on funding mandates

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 Birukou (Александр Бирюк...RUDN 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
Michiel HelvensteijnCWI, Amsterdam and LIACS, Leiden UniversityVerified email at cwi.nl
Joost KokDean of the Faculty of Electrical Engineering, Mathematics and Computer Science at the University ofVerified email at utwente.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
Peter HunterDirector, Auckland Bioengineering Institute, University of AucklandVerified email at auckland.ac.nz
Махнист Леонид Петрович (Leonid...Брестский государственный технический университет (Brest State Technical University)Verified email at bstu.by
Samuel AlexanderOhio State UniversityVerified email at math.ohio-state.edu
Soroush SafaeiResearch Fellow, Auckland Bioengineering Institute, University of AucklandVerified email at auckland.ac.nz
Christoph BrandtTU BerlinVerified email at alumni.tu-berlin.de
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	99	2005
A comparison of web service interface similarity measures N Kokash STAIRS, 220-231, 2006	88	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	84	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	82	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	77	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	74	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	69	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	61	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	52	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	51	2008
Evaluating quality of web services: A risk-driven approach N Kokash, V D’Andrea International Conference on Business Information Systems, 180-194, 2007	48	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	37	2015
A unified toolset for business process model formalization B Changizi, N Kokash, F Arbab Proc. FESCA 10, 2010	35	2010
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	33	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
Web service discovery with implicit QoS filtering N Kokash Proceedings of the IBM PhD Student Symposium, in conjunction with the …, 2005	30	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	27	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	23	2009
A service selection model to improve composition reliability N Kokash International Workshop on AI for Service Composition, 9-14, 2006	19	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	17	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

Follow this author

Cited by

Co-authors