Natallia Kokash

Researcher at Leiden University

Main menu: Home | Publications | Presentations | Reviews | Gallery

sample header image

Reviews

  • FOCLASA 2014: International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems
  • FACS 2014: International Conference on Formal Aspects of Component Software
  • KDIR 2014: International Joint Conference on Knowledge Discovery
  • iFM 2014: Integrated Formal Methods
  • ICFEM 2013: International Conference on Formal Engineering Methods
  • International Journal of Computer Mathematics
  • SAC 2012: ACM Symposium on Applied Computing
  • FOCLASA 2012: International Workshop on Foundations of Coordination Languages and Self Adaptation
  • Coordination 2012: Coordination Models and Languages
  • ESOCC 2012: European Conference on Service-Oriented and Cloud Computing
  • SAC 2011: ACM Symposium on Applied Computing
  • MODELS 2011: International Conference on Model Driven Engineering Languages and Systems.
  • QEST 2011: International Conference on Quantitative Evaluation of Systems.
  • CSSE 2011: International Conference on Computer Science and Software Engineering.
  • Science of Computer Programming.
  • Formal Methods in System Design.
  • CONCURR 2010: International Conference on Concurrency Theory.
  • IEEE International Workshop on UML and Formal Methods.
  • STAC 2010: International Symposium on Theoretical Aspects of Computer Science.
  • IADIS International Conference on Applied Computing 2009.
  • IEEE Transactions on Services Computing.
  • FM 2009: International Symposium on Formal Methods.
  • FMCO 2009: International Symposium on Formal Methods for Components and Objects.
  • SDS-SOA 2009: Workshop on Service Discovery and Selection in SOA Ecosystems.
  • ICSOC 2008: International Conference on Service-Oriented Computing.
  • IET Software.
  • WS-FM 2008: International Workshop on Web Services and Formal Methods.
  • Coordination 2008: Coordination Models and Languages.
  • ICSOC 2007: International Conference on Service-Oriented Computing.
  • WS-IQS 2007: Workshop on Web Services Interactions, Quality and SLAs.
  • IADIS International Conference on Applied Computing 2007.
  • WESOA 2006: Workshop on Engineering Service-Oriented Applications: Design and Composition.
  • ICSOC 2006: International Conference on Service-Oriented Computing.
  • CoopIS 2006: International Conference on Cooperative Information Systems.
  • International Journal on Multi-agent and Grid Systems.
  • WS-FM 2006: International Workshop on Web Services and Formal Methods.
  • WESC 2005: Workshop on Engineering Service Compositions.
  • ICSOC 2005: International Conference on Service-Oriented Computing.
  • ICWE 2005: International Conference on Web Engineering.

Co-supervised theses

  • Behnaz Changizi, 2008 - ...

    Behnaz is working on the approaches and tools for business process modeling and analysis with special focus on their quality and compliance.

  • Erik Hollander, "Multi-scale map visualization", 2013.
  • Joost Leuwen, "Testing of channel based service connectors", 2013.
  • Matteo Turrini, "Web Services Search Engine" (in Italian), 2006.
  • Giovanni Dall'Oglio Risso, "Reliability-based models for selecting web services" (in Italian), 2006.

Other activities

  • March 2011. International Conference on Computer Science and Software Engineering (CSSE'2011). PC Chair.
  • September 2010. ICT 2010. Brassels, Belgium. EU FP7 COMPAS project tool demonstration as part of the NESSI stand.
  • International Federated Conferences on Distributed Computing Techniques (DisCoTec'10) . Participant. Amsterdam, Netherlands.
  • November 2009. Future Internet Assembly. Stockholm, Sweden.
  • November 2009. Workshop on COordination, COAlgebra and COnstraints (CoCoCo'09), Amsterdam, Netherlands.
  • March 2009. SDS-SOA Workshop. Member of Program Committee.
  • January-March 2007. WS-IQS Workshop. Member of Program Committee.
  • September 2006. ISSSE: International Summer School on Software Engineering. Salerno, Italy.
  • September 2005. 2K* Symposium. Trento, Italy.
  • August 2005. ESSLLI: European Summer School in Logic, Language, Information. Edinburgh, Scotland.
  • February 2005. SAINT: Symposium on Applications and the Internet. Trento, Italy. Student volunteer.