dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Natallia Kokash Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatallia Kokash, Christian Krause, Erik P. de Vink: Reo + mCRL2: A framework for model-checking dataflow in service compositions. Formal Asp. Comput. 24(2): 187-216 (2012)
2011
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatallia Kokash, Farhad Arbab, Behnaz Changizi, Leonid Makhnist: Input-output Conformance Testing for Channel-based Service Connectors PACO 2011: 19-35
2010
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatallia Kokash, Behnaz Changizi, Farhad Arbab: A Semantic Model for Service Composition with Coordination Time Delays. ICFEM 2010: 106-121
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Schumm, Oktay Türetken, Natallia Kokash, Amal Elgammal, Frank Leymann, Willem-Jan van den Heuvel: Business Process Compliance through Reusable Units of Compliant Processes. ICWE Workshops 2010: 325-337
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatallia Kokash, Christian Krause, Erik P. de Vink: Data-aware design and verification of service compositions with Reo and mCRL2. SAC 2010: 2406-2413
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatallia Kokash, Christian Krause, Erik P. de Vink: Time and Data-Aware Analysis of Graphical Service Models in Reo. SEFM 2010: 125-134
2009
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatallia Kokash, Christian Krause, Erik P. de Vink: Verification of Context-Dependent Channel-Based Service Models. FMCO 2009: 21-40
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatallia Kokash, Farhad Arbab: Applying Reo to service coordination in long-running business transactions. SAC 2009: 1381-1382
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatallia Kokash, Roberto Speicys Cardoso, Pierre-Guillaume Raverdy, Valérie Issarny: A flexible QoS-aware routing protocol for infrastructure-less B3G networks. SAC 2009: 212-216
2008
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatallia Kokash, Farhad Arbab: Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems. FMCO 2008: 21-41
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Natallia Kokash, Sun Meng: Towards Using Reo for Compliance-Aware Business Process Modeling. ISoLA 2008: 108-123
2007
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatallia Kokash, Vincenzo D'Andrea: Evaluating Quality of Web Services: A Risk-Driven Approach. BIS 2007: 180-194
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatallia Kokash, Aliaksandr Birukou, Vincenzo D'Andrea: Web Service Discovery Based on Past User Experience. BIS 2007: 95-107
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatallia Kokash: Risk Management for Service-Oriented Systems. ICWE 2007: 563-568
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAliaksandr Birukou, Enrico Blanzieri, Vincenzo D'Andrea, Paolo Giorgini, Natallia Kokash, Alessio Modena: IC-service: a service-oriented approach to the development of recommendation systems. SAC 2007: 1683-1688
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAliaksandr Birukou, Enrico Blanzieri, Vincenzo D'Andrea, Paolo Giorgini, Natallia Kokash: Improving Web Service Discovery with Usage Data. IEEE Software 24(6): 47-54 (2007)
2006
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatallia Kokash, Willem-Jan van den Heuvel, Vincenzo D'Andrea: Leveraging Web Services Discovery with Customizable Hybrid Matching. ICSOC 2006: 522-528
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatallia Kokash: A Comparison of Web Service Interface Similarity Measures. STAIRS 2006: 220-231

Coauthor Index

1Farhad Arbab [8] [9] [11] [16] [17]
2Aliaksandr Birukou (Alexander Birukov) [3] [4] [6]
3Enrico Blanzieri [3] [4]
4Roberto Speicys Cardoso [10]
5Behnaz Changizi [16] [17]
6Vincenzo D'Andrea [2] [3] [4] [6] [7]
7Amal Elgammal [15]
8Paolo Giorgini [3] [4]
9Willem-Jan van den Heuvel [2] [15]
10Valérie Issarny [10]
11Christian Krause (Christian Koehler, Christian Köhler) [12] [13] [14] [18]
12Frank Leymann [15]
13Leonid Makhnist [17]
14Sun Meng [8]
15Alessio Modena [4]
16Pierre-Guillaume Raverdy [10]
17David Schumm [15]
18Oktay Türetken [15]
19Erik P. de Vink [12] [13] [14] [18]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page