An Approach for Formal Verification of Business Processes
2009
| Հոդված/Article
Published in Business and Industry Symposium 2009 (BIS'09), SpringSim'09 Multi-conference of Society for Computer Simulation, ACM Press, March 2009, San Diego, USA
Process Based Management of Specific GRID Configurations: Verification of Changes"
2009
| Հոդված/Article
Published in Proceedings of "The Future Business Technology Conference" (FUBUTEC'2009), EUROSIS, pp. 57-61, April 2009, Bruges, Belgium
“Tuning Of IT Management Processes To A Computing Grid”
2008
| Հոդված/Article
In Proceedings of GRID’2008, Distributed Computing And GRID Technologies In Education And Science International Conference GRID’2008, Dubna, Russian Federation, 2008. pp. 71-74