Natallia Kokash 个人学术档案

引用次数

	总计	2019 年至今
引用	1365	293
h 指数	19	9
i10 指数	27	9

140

105

20062007200820092010201120122013201420152016201720182019202020212022202320247 36 54 50 107 100 140 93 81 110 109 72 85 69 59 56 53 35 21

开放获取的出版物数量

查看全部

5 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Farhad ArbabProfessor of Computer Science, Leiden University在 liacs.nl 的电子邮件经过验证
Vincenzo D'AndreaUniversity of Trento在 unitn.it 的电子邮件经过验证
Erik P. de VinkAssociate Professor, Eindhoven University of Technology在 win.tue.nl 的电子邮件经过验证
Christian KrauseSAP SE在 sap.com 的电子邮件经过验证
Behnaz ChangiziLeiden University在 behnaz.org 的电子邮件经过验证
WIllem-Jan van den HeuvelProfessor in Information Systems, Managing Director of the ERISS, Tilburg, University在 uvt.nl 的电子邮件经过验证
Michiel HelvensteijnSoftware Engineer at Meta在 meta.com 的电子邮件经过验证
Joost KokDean of the Faculty of Electrical Engineering, Mathematics and Computer Science at the University of在 utwente.nl 的电子邮件经过验证
Enrico BlanzieriDISI, Universiy of Trento, Italy在 disi.unitn.it 的电子邮件经过验证
Paolo GiorginiProfessor of Computer Science, University of Trento在 unitn.it 的电子邮件经过验证
Leonid Makhnist (Махнист Леонид П...Brest State Technical University (Брестский государственный технический университет)在 bstu.by 的电子邮件经过验证
Peter HunterDirector, Auckland Bioengineering Institute, University of Auckland在 auckland.ac.nz 的电子邮件经过验证
Meng SunProfessor, School of Mathematical Science, Peking University在 math.pku.edu.cn 的电子邮件经过验证
Frank LeymannProfessor of Computer Science, University of Stuttgart, Germany, Member Academia Europaea在 iaas.uni-stuttgart.de 的电子邮件经过验证
Oktay TuretkenProfessor in Information Systems at Eindhoven University of Technology在 tue.nl 的电子邮件经过验证
Samuel AlexanderOhio State University在 math.ohio-state.edu 的电子邮件经过验证
David Phillip NickersonAuckland Bioengineering Institute, University of Auckland在 auckland.ac.nz 的电子邮件经过验证
Christoph BrandtTU Berlin在 alumni.tu-berlin.de 的电子邮件经过验证
Francesco SantiniDipartimento Matematica e Informatica, Perugia在 dmi.unipg.it 的电子邮件经过验证
Soroush SafaeiSenior Research Fellow, Auckland Bioengineering Institute, University of Auckland在 auckland.ac.nz 的电子邮件经过验证

关注

Natallia Kokash

University of Amsterdam

在 uva.nl 的电子邮件经过验证 - 首页

Machine Learning Formal Methods Process Modeling Data Visualization Software Engineering


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
An introduction to heuristic algorithms N Kokash Department of Informatics and Telecommunications, 1-8, 2005	167	2005
A comparison of web service interface similarity measures N Kokash STAIRS, 220-231, 2006	100	2006
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	93	2012
Towards using Reo for compliance-aware business process modeling F Arbab, N Kokash, S Meng International Symposium On Leveraging Applications of Formal Methods …, 2008	87	2008
Web service discovery based on past user experience N Kokash, A Birukou, V D’Andrea Business Information Systems: 10th International Conference, BIS 2007 …, 2007	87	2007
Business process compliance through reusable units of compliant processes D Schumm, O Turetken, N Kokash, A Elgammal, F Leymann, ... Current Trends in Web Engineering: 10th International Conference on Web …, 2010	85	2010
Improving web service discovery with usage data A Birukou, E Blanzieri, V DAndrea, P Giorgini, N Kokash IEEE software 24 (6), 47-54, 2007	73	2007
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	65	2006
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	57	2008
Evaluating quality of web services: A risk-driven approach N Kokash, V D’Andrea Business Information Systems: 10th International Conference, BIS 2007 …, 2007	54	2007
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	53	2010
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	43*	2015
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	37	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	36	2007
A unified toolset for business process model formalization B Changizi, N Kokash, F Arbab Preproceedings of FESCA 2010, 147-156, 2010	35	2010
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	33	2011
Web service discovery with implicit QoS filtering N Kokash Proceedings of the IBM PhD Student Symposium, in conjunction with the …, 2005	30	2005
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	24	2009
A service selection model to improve composition reliability N Kokash International Workshop on AI for Service Composition, 9-14, 2006	19	2006
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, 125952, 2015	18	2015

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用