sign in · help · news · about ·

BibSonomy :: author :: Monakova ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(6)

<< < 1 > >>

Visualizing security in business processes.
Ganna Monakova, and Andreas Schaad SACMAT, page 147-148. ACM, (2011)
to dblp by dblp on Jun 16, 2011, 12:00 AM
URL | BibTeX
Verifying Business Rules Using an SMT Solver for BPEL Processes.
Ganna Monakova, Oliver Kopp, Frank Leymann, Simon Moser, and Klaus Schäfers BPSC, volume 147 of LNI, page 81-94. GI, (2009)
to dblp by dblp on May 31, 2011, 12:00 AM
URL | BibTeX
Combining Enforcement Strategies in Service Oriented Architectures.
Gabriela Gheorghe, Bruno Crispo, Daniel Schleicher, Tobias Anstett, Frank Leymann, Ralph Mietzner, and Ganna Monakova ICSOC, volume 6470 of Lecture Notes in Computer Science, page 288-302. (2010)
to dblp by dblp on May 9, 2011, 12:00 AM
URL | BibTeX
Workflow ART.
Ganna Monakova, and Frank Leymann OTM Conferences 1, volume 6426 of Lecture Notes in Computer Science, page 376-393. Springer, (2010)
to dblp by dblp on Nov 10, 2010, 12:00 AM
URL | BibTeX
MC-Cube: Mastering Customizable Compliance in the Cloud.
Tobias Anstett, Dimka Karastoyanova, Frank Leymann, Ralph Mietzner, Ganna Monakova, Daniel Schleicher, and Steve Strauch ICSOC/ServiceWave, volume 5900 of Lecture Notes in Computer Science, page 592-606. (2009)
to dblp by dblp on Nov 26, 2009, 12:00 AM
URL | BibTeX
Improving control flow verification in a business process using an extended Petri net.
Ganna Monakova, Oliver Kopp, and Frank Leymann ZEUS, volume 438 of CEUR Workshop Proceedings, page 95-101. CEUR-WS.org, (2009)
to dblp by dblp on May 26, 2009, 12:00 AM
URL | BibTeX

<< < 1 > >>publications per page: 5 10 20 50 100

a gripper