Natallia Kokash

According to our database, Natallia Kokash authored at least 32 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Using Decision Trees for Interpretable Supervised Clustering.

Natallia Kokash, Leonid Makhnist

SN Comput. Sci., 2024

2023

From Books to Knowledge Graphs.

Natallia Kokash, Matteo Romanello, Ernest Suyver, Giovanni Colavizza

J. Data Min. Digit. Humanit., March, 2023

2021

Compositional workflow modeling with priority constraints.

Behnaz Changizi, Natallia Kokash, Farhad Arbab, Leonid Makhnist

Sci. Comput. Program., 2021

Knowledge Representation for Multi-Scale Physiology Route Modeling.

Natallia Kokash, Bernard de Bono

Frontiers Neuroinformatics, 2021

2019

Service Orchestration with Priority Constraints.

Behnaz Changizi, Natallia Kokash, Farhad Arbab

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

2016

Foreword.

Natallia Kokash, António Ravara

Sci. Comput. Program., 2016

Special section on Foundations of Coordination Languages and Software Architectures.

Natallia Kokash, Javier Cámara

Sci. Comput. Program., 2016

Action Systems for Pharmacokinetic Modeling.

Marcello M. Bonsangue, Michiel Helvensteijn, Joost N. Kok, Natallia Kokash

Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015

Handshaking Protocol for Distributed Implementation of Reo.

Natallia Kokash

CoRR, 2015

Implementing a Domain-specific Language for Model-based Drug Development.

Natallia Kokash, Stuart L. Moodie, Mike K. Smith, Nick Holford

Proceedings of the 6th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2015)/ The 5th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2015)/ Affiliated Workshops, 2015

2014

ApiNATOMY: Towards Multiscale Views of Human Anatomy.

Bernard de Bono, Pierre Grenon, Michiel Helvensteijn, Joost N. Kok, Natallia Kokash

Proceedings of the Advances in Intelligent Data Analysis XIII, 2014

Template-based Treemaps to Preserve Spatial Constraints.

Natallia Kokash, Bernard de Bono, Joost N. Kok

Proceedings of the 5th International Conference on Information Visualization Theory and Applications, 2014

2013

Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools.

Natallia Kokash, Farhad Arbab

IEEE Trans. Serv. Comput., 2013

2012

Reo + mCRL2: A framework for model-checking dataflow in service compositions.

Natallia Kokash, Christian Krause, Erik P. de Vink

Formal Aspects Comput., 2012

From Timed Reo Networks to Networks of Timed Automata.

Natallia Kokash, Mohammad Mahdi Jaghoori, Farhad Arbab

Proceedings of the Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2012

2011

Input-output Conformance Testing for Channel-based Service Connectors

Natallia Kokash, Farhad Arbab, Behnaz Changizi, Leonid Makhnist

Proceedings of the Proceedings First International Workshop on Process Algebra and Coordination, 2011

2010

Time and Data-Aware Analysis of Graphical Service Models in Reo.

Natallia Kokash, Christian Krause, Erik P. de Vink

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Data-aware design and verification of service compositions with Reo and mCRL2.

Natallia Kokash, Christian Krause, Erik P. de Vink

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Business Process Compliance through Reusable Units of Compliant Processes.

David Schumm, Oktay Türetken, Natallia Kokash, Amal Elgammal, Frank Leymann, Willem-Jan van den Heuvel

Proceedings of the Current Trends in Web Engineering, 2010

A Semantic Model for Service Composition with Coordination Time Delays.

Natallia Kokash, Behnaz Changizi, Farhad Arbab

Proceedings of the Formal Methods and Software Engineering, 2010

2009

A flexible QoS-aware routing protocol for infrastructure-less B3G networks.

Natallia Kokash, Roberto Speicys Cardoso, Pierre-Guillaume Raverdy, Valérie Issarny

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Applying Reo to service coordination in long-running business transactions.

Natallia Kokash, Farhad Arbab

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Verification of Context-Dependent Channel-Based Service Models.

Natallia Kokash, Christian Krause, Erik P. de Vink

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

2008

Towards Using Reo for Compliance-Aware Business Process Modeling.

Farhad Arbab, Natallia Kokash, Sun Meng

Proceedings of the Leveraging Applications of Formal Methods, 2008

Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems.

Natallia Kokash, Farhad Arbab

Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

2007

Improving Web Service Discovery with Usage Data.

Aliaksandr Birukou, Enrico Blanzieri, Vincenzo D'Andrea, Paolo Giorgini, Natallia Kokash

IEEE Softw., 2007

IC-service: a service-oriented approach to the development of recommendation systems.

Aliaksandr Birukou, Enrico Blanzieri, Vincenzo D'Andrea, Paolo Giorgini, Natallia Kokash, Alessio Modena

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Risk Management for Service-Oriented Systems.

Natallia Kokash

Proceedings of the Web Engineering, 7th International Conference, 2007

Evaluating Quality of Web Services: A Risk-Driven Approach.

Natallia Kokash, Vincenzo D'Andrea

Proceedings of the Business Information Systems, 10th International Conference, 2007

Web Service Discovery Based on Past User Experience.

Natallia Kokash, Aliaksandr Birukou, Vincenzo D'Andrea

Proceedings of the Business Information Systems, 10th International Conference, 2007

2006

A Comparison of Web Service Interface Similarity Measures.

Natallia Kokash

Proceedings of the STAIRS 2006, 2006

Leveraging Web Services Discovery with Customizable Hybrid Matching.

Natallia Kokash, Willem-Jan van den Heuvel, Vincenzo D'Andrea

Proceedings of the Service-Oriented Computing, 2006