List of Publications

2. CHAPTERS IN BOOKS

1. Anisimov N.A, Kovalenko A.A., Postupalski P.A., Vuong S.T. Application of Compositional Petri Nets and PN³-Tool to the Specification of Distributed Multimedia Objects. In: Advances in Distributed Multimedia Systems. Eds. S.K.Chang et al., 1999, World Scientific (Singapore), pp.99-116. ISBN 981-02-3560-7
2. Anisimov N.A, Miloslavski A., Pogosyants G. Feature Interaction Problem in Computer Telephony Integration Systems. In: K. Kimbler, L. G. Bouma (Eds), Feature Interactions in Telecommunications and Software Systems V, IOS Press, 1998, pp.73-77, ISBN 90 5199 431 1
3. Anisimov N.A. Postupalski. Verification of Communication Protocols Using Petri Nets. In: Mathematical Transactions, Vol.5, pp.24-42, Dalnauka (Vladivostok, 1998), In Russian.
   abstract
4. Anisimov N.A et al. Using Graphical Language for programming AUV mission. In: Marine Technology, Iss.3, pp.24-42, Dalnauka (Vladivostok, 1998), In Russian
5. Anisimov N.A., Kovalenko A.A., Insartsev A.V., Scherbatyuk A.Ph. A Graphical Environment for AUV Mission Programming. In: Marine Technology, Iss.1, pp.6-20, Dalnauka (Vladivostok, 1996), In Russian.
6. Anisimov N.A., Koutny M. On Compositionality and Petri Nets in Protocol Engineering. In: Dembinski P., Sredniawa M. (Eds) Protocol Specification, Testing and Verification, XV. Chapman & Hall, pp.71-86, 1996. ISBN 0-412-71630-8
7. Anisimov N.A. A Petri Net Entity as a Formal Model for LOTOS, a Specification Language for Distributed and Concurrent Systems. In: Parallel Computing Technologies, World Scientific, pp. 440-450 (Singapore, 1991).
8. Anisimov N.A. An Algebra of Regular Macronets for Formal Specification of Communication Protocols. In: V. Kotov (Ed). Formal Models of Concurrent Computation, pp.62-68, 1988, Computing Center, Siberian Branch of the USSR Academy of Sciences, Novosibirsk. (In Russian).
9. Anisimov N.A. On the Problem of Protocol Analysis Defined by Petri nets. In: System Programming and Automatization in Research Work, pp.5-12, 1988, Far East Branch of the USSR Academy of Sciences, Vladivostok. (In Russian)
10. Anisimov N.A., Golenkov E.A., Vinogradov V.V. Organization of Transport Service for ES* Computer. In: System Software for Automation of Research, 1986, pp. 22-27, Far-East Research Center, USSR Academy of Sciences, Vladivostok.
11. Anisimov N.A. Formal Definition of Transport Protocol Using Petri Net Theory, In: System Software for Automation of Research, 1986, pp.27-36, Far-East Research Center, USSR Academy of Sciences, Vladivostok.
12. Anisimov N.A., Golenkov E.A. On Implementation of Transport Level for Computer Network, Applied Informatics, Iss.2, pp. 78-82, 1983, In Russian.
13. Anisimov N.A., Gerasimov V.V., Golenkov E.A. A Message Passing Between OS ES* Tasks, Applied Informatics, Iss.2, pp. 78-82, 1982, In Russian.

3. LIST OF REFEREED CONFERENCE PUBLICATIONS

1. Nikolay Korolev, Herbert Ristock, Nikolay Anisimov. Modeling and Simulation of a Pacing Engine for Proactive Campaigns in Contact Center Environment. In: Hassan Rajaei, Gabriel A. Wainer, Michael J. Chinni (Eds). Proceedings of the 2008 ACM Spring simulation multiconference (SpringSim'08). 2008 Business and industry symposium (BIS'08). April 14 -17, 2008, Ottawa, Canada, pp. 249-255, ACM Press (New York, NY, USA), ISBN: 1-56555-319-5
   DOI Bookmark: http://doi.acm.org/10.1145/1400549.1400583
2. Nikolay Anisimov, Brian Galvin, Herbert Ristock. XML-Based Multimodal Interaction Framework for Contact Center Applications. Proceedeings of the 16th International World Wide Web Conference (WWW 2007), Banff, Alberta, Canada, May 8-12, 2007, pp. 1349-1350. ACM Press (New York, NY, USA), ISBN: 978-1-59593-654-7
   DOI Bookmark: http://doi.acm.org/10.1145/1242572.1242845
3. Nikolay Anisimov, Brian Galvin, Herbert Ristock. XML based Framework for Contact Center Applications. In: Filipe J. et al (Eds). Proceedeings of 3rd International Conference on Web Information Systems and Technologies (WEBIST 2007), Barcelona, Spain, 3-6 March, 2007. Vol. 1, pp.443-450. ISBN: 978-972-8865-77-1.
4. Nikolay Anisimov, Brian Galvin, Herbert Ristock. Comprehensive XML for Contact Center. In: P. Isaias et al (Ed.) Proceedings of the IADIS international conference WWW/Internet 2006 (Murcia, Spain, 5 - 8 October, 2006), Vol.2, pp.294-299. ISBN: 972-8924-19-4.
5. A.Miloslavsky, V.Antonov, L.Yegoshin, S.Shkrabov, J.Boyle, G.Pogosyants, N.Anisimov. Third-party Call Control in H.323 Networks – A Case Study. In: P. Lorenz (Ed.) Networking - ICN 2001. First International Conference, Colmar, France, July 9-13, 2001, Proceedings, Part II. Lecture Notes in Computer Science, Vol.2094, Springer Verlag, pp.559-569. ISBN: 3-540-42303-6
6. A.Miloslavsky, V.Antonov, L.Yegoshin, S.Shkrabov, J.Boyle, G.Pogosyants, N.Anisimov. Third-party Call Control in VoIP Networks for Call Center Applications. In: Proceedings of IEEE Intelligent Network Workshop 2001 (IN'2001), May 6-9, 2001, Boston, MA, USA, pp.161-167. ISBN 0-7803-7047-3.
7. Anisimov N.A, Kishinski K.P., Miloslavski A. Formal Model, Language and Tool for Design Agent's Scenarios in Call Center Systems. In: Proceedings of the 32^nd Hawaii International Conference on System Sciences, (Hawaii, USA, January 4-8,1999). IEEE Computer Press.
8. Anisimov N.A, Kishinski K.P., Miloslavski A. An Approach to Design Distributed CTI Applications Using Petri Nets: An Example of a Call Center. In: Proceedings of 1998 IEEE International Conference on Systems, Man, and Cybernetics, Vol.1, pp. 238-243 (San Diego, CA, October 11-14, 1998).
   IEEE Xplore
9. Anisimov N.A, Kishinski K.P., Miloslavski A. The Formal Representation of Call Processing in Call Canters Using a Petri Net Approach, In: W.v.d.Aalst (Ed), Proceedings of the workshop on Workflow Management: Net-based Concepts, Models, Techniques, and Tools, Computer Science Report 98/07, Eindhoven University of Technology, 1998, pp.165-177.
10. Anisimov N.A., Kovalenko A.A., Postupalsky P.A. Vuong S.T. Specification of distributed Multimedia Objects Using Petri Nets: A Compositional Approach, In: Proceedings of the Workshop "Multimedia and Concurrency", International Conference on Application and Theory of Petri Nets, pp. 73-87 (Tolouse, France, June 1997).
11. Anisimov N.A., Kovalenko A.A., Tarasov G.V., Inzartsev A.V., Sherbatyuk A. Ph. A Graphical Environment for AUV Mission Programming and Verification. In: Proceedings of the 10^th International Symposium on Unmanned Untethered Submersible Technology, pp. 394-405, (New Hampshire, USA, September 7-10, 1997).
12. Anisimov N.A., Kovalenko A.A., Postupalsky P.A. Vuong S.T. Application of Compositional Petri Nets in the Specification of Multimedia Objects. In: Proceedings of the Fourth Pacific Workshop on Distributed Multimedia Systems (DMS'97), pp.52-59, Knowledge Systems Institute (Vancouver, Canada, July 23-25, 1997).
13. Anisimov N.A, Kishinski K.P., Miloslavski A. Petri Net Based Model for Design of CTI-applications, In: Proceedings of the IEEE-SMS Symp. on Discrete Events and Manufacturing Systems, CESA'96 IMACS Multiconference “Computational Engineering in Systems Applications”, pp.686-691 (Lille, France, July 9-12, 1996). ISBN 2-9502908-7-6
14. Anisimov N.A, Kishinski K.P., Miloslavski A, Postupalski P.A. Macroplases in High Level Petri Nets: Application for Design Inbound Call Center, In: Proceedings of the Int. Conference on Information Systems Analysis and Synthesis (ISAS'96), pp.153-160 (Orlando, Florida, USA, July 22-26, 1996).
15. Anisimov N.A., Kovalenko A.A., Postupalsky P.A. Vuong S.T. Compositional Approach to the Specification of Multimedia Objects Using Petri Nets. In: Proceedings of the First IEEE Annual Conf. on Emerging Technologies Applications in Communications (etaCOM'96), pp.38-41, IEEE Computer Society Press (Portland, OR, May 6-10, 1996). ISBN: 0-8186-7585-3.
    DOI: 10.1109/ETACOM.1996.502473 IEEE Xplore
16. Kovalenko A.A., Anisimov N.A. AUV Mission Specification by Means of Compositional Petri Nets, In: Abstracts of the 14th Conference On Robotic Society of Japan, pp.99-100 (Niigata, Japan, October, 1996).
17. Anisimov N.A., Kovalenko A.A. Asynchronous Composition of Petri Nets Via Places, In: Proceedings of the Andrei Ershov Second International Memorial Conference on Perspectives of System Informatics, pp.214-219 (Novosibirsk, June 25-28, 1996).
18. Anisimov N.A., Kovalenko A.A., Towards Petri Net Calculi based on Synchronization via Places. In: Proceedings of the First IEEE Aizu International Symposium on Parallel Algorithms / Architecture Synthesis, pp.264-270, IEEE Computer Society Press (Aizu-Wakamatsu, Japan, March 15-17, 1995). DOI: 10.1109/AISPAS.1995.401330
19. Anisimov N.A., Kovalenko A.A., Postupalsky P.A., Kharitonov D.I. Compositional Petri Net Environment for Specification of Communication Protocols (Abstract), In: Proceedings of the IFIP WG 6.1 15 Int. Symp. On Protocol Specification, Testing and Verification, p.462 (Warsaw, Poland, June 13-16, 1995)
20. Anisimov N.A., Kovalenko A.A., Postupalsky P.A. PN³-Editor: Compositional Petri Net Editor for Protocol Specification. In: Proc. of the 3^rd IEEE International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS'95), pp.325-328, IEEE Computer Society Press (Durham, NC, USA, January 18--20, 1995)
    DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MASCOT.1995.378669
21. Anisimov N.A., Kovalenko A.A., Postupalsky P.A Compositional Petri Net Environment. In: Proceedings of the 1994 IEEE Symposium on Emerging Technologies & Factory Automation (SEIKEN Symposium) – Novel Disciplines for the Next Century (ETFA'94), pp.420-427 (Tokyo, November 6 - 10, 1994)
    IEEE Xplore
    Digital Object Identifier: 10.1109/ETFA.1994.401981
22. Anisimov N.A. A Disabling of Event Structures. In: Lecture Notes in Computer Science, Vol. 694, Proceedings of the 5th International PARLE Conference on Parallel Architectures and Languages Europe pp.724-728, Springer-Verlag, (1993).
    portal.acm.org
23. Anisimov N.A., Kovalenko A.A., Postupalski P.A. Two-Levels Formal Model for Protocol Specification Based on Petri Nets. In:. Proceedings of the IFIP TC6 Int. Symp. “Network Information Processing Systems”, pp.143-154 (Sofia, Bulgaria, October 12-14, 1993)
24. Anisimov N.A., Kovalenko A.A., Postupalsky P.A., Simanchuk A.S. Graphical Editor of Computer Networks Protocols Based on Petri Nets. In: Proceedings of the 17^th Intern. School on Computer Networks, Vol.2, pp.3-8 (Alma-Ata, 1992), In Russian.
25. Anisimov N.A., Kovalenko A.A., Postupalsky P.A., Simanchuk A.S. Computer-Aided Tools for Specification of protocols Based on Petri Nets. In: Abstracts of V Workshop on Distributed Systems: SDS-92, (September 7-11, 1992, Kaliningrad).
26. Anisimov N.A., Kovalenko A.A., Postupalsky P.A., Simanchuk A.S. A Graphical Petri Net Based Editor for Visualization of Distributed and Parallel Systems. Lecture Notes in Computer Science, Vol. 631, Proceedings of the Second Joint International Conference on Vector and Parallel Processing: Parallel Processing. pp. 847-848, Springer-Verlag, 1992.
    portal.acm.org
27. Anisimov N.A. A Notion of Entity Based on Petri Nets. In: Proceedings of the 1991 IFAC Workshop on Discrete Event System Theory and Applications in Manufacturing and Social Phenomena, pp.142-147, International Academic Publisher (Shenyang, P.R.China, June 25-27, 1991)
28. Anisimov N.A. Definition of LOTOS by Means of Petri Nets. In: Proceedings of the 16^th All-Union School on Computer Networks, Vol.2, pp.119-124 (Moscow, 1991), In Russian
29. Anisimov N.A., Golenkov E.A., Kishinsky K.P., Kovalenko A.A. A Graphical LOTOS Based on Petri Nets and Specification Tools. In: Abstracts of the International Conference ``Software Engineering of 90s", pp.77-78, (Kiev, May 14-17, 1991)
30. Anisimov N.A. Definition of LOTOS by Means of Petri Nets. In: Proceedings of the 16^th All-Union School on Computer Networks, Vol.2, pp.119-124 (Moscow, 1991), InRussian
31. Anisimov N.A. On Using the State Operator in LOTOS. In: Proceedings of IV Intern. Conference on Local Area Networks: LOCNET’90, pp.287-291 (Riga, October 9-11, 1990), In Russian
32. Anisimov N.A., Novitski A.Yu. On Protocol Verification Based on Bisimulation Equivalence of Petri Nets. In: Proceedings of VI All-Union Conference on Packet Commutation Networks: COMPACK’89, pp. 222-226 (Riga, September 24-26, 1989), In Russian.
33. Anisimov N.A. A Petri Net Model of LOTOS, A Protocol Specification Language. In: Proceedings of the Intern. Conference Computers'89, pp. 184-197 (Bratislava, Czechoslovakia, September 5-8, 1989)
34. Anisimov N.A. Recursive Definition of a Protocol Hierarchy based on Petri Nets, In: Proceedings of the 14^th All Union School-Seminar on Computer Networks, Vol.2, pp. 101-106, (Minsk, October, 1989), In Russian.
35. Anisimov N.A. Theoretical Foundations of Computer Aided Protocol Design. In: Proceedings of All-Union Conference on Territorial Heterogeneous Computer Networks, Vol.2, pp.110-112 (Novosibirsk, November 2-4, 1988), In Russian.
36. Anisimov N.A. Petri Nets as a Formal Model for Estelle and LOTOS, in: Proceeding of the All-Union Conference on Local Area Nets: LOCNET'88, Vol.1, pp. 6-10, (Riga October 25-27, 1988), In Russian.
37. Anisimov N.A. A Formal Model of LOTOS based on Petri Net Theory, In: Proceedings of the 13^th All-Union School-Seminar on Computer Networks, Vol.2, pp. 34-39, (Alma-Ata, October, 1988), In Russian.
38. Anisimov N.A., Buzin A.M., Golenkov E.A. On Automation of Design of Computer Network Software. In: Proceedings of the 12^th All-Union Seminar on Computer Networks, Vol. 2, pp. 36-41 (Odessa, October, 1987), In Russian
39. Anisimov N.A. On Verification Protocols Defined by Petri Nets. In: Proceedings of the 12^th All-Union Seminar on Computer Networks, Vol. 2, pp. 31-35 (Odessa, October, 1987), In Russian
40. Anisimov N.A. On Formalization of Protocol Hierarchy Based on Theory of Petri Nets, . In: Proceedings of V All-Union Conference on Packet Commutation Networks: COMPACK’87, Vol. I, pp. 228-232 (Riga, October 27-29, 1987), In Russian.
41. Anisimov N.A. Formalization of Computer Network Service Using Algebraic Approach. In: Proceedings of the 11^th All-Union Seminar on Computer Networks, Vol. 2, pp.14-19 (Riga, October, 1986), In Russian
42. Anisimov N.A. Algebraic Approach to Formalization and Verification of Protocol Structures using Petri Net Theory. In: Proceedings of IV All-Union Conference on Packet Commutation Networks: COMPACK’85, Vol. I, pp.158-163 (Riga, October 15-17, 1985), In Russian.
43. Anisimov N.A., Golenkov E.A. Application of Petri Nets for Formal Description of Transport Service, In: Proceedings of 3^rd All-Union Conference on Packet Commutation Networks: COMPACK’83, Vol. I, pp.76-88 (Riga, September 1983), In Russian.
44. Anisimov N.A., Blomroz V.K., Gerasimov V.V., Morozenko A.V. On Experimental Part of Computer Network. In: Proceedings of the 6th All-Union school-seminar on Computer Networks, Vol. III, pp.72-75 (Vinnitsa, October, 1981). In Russian.
45. Anisimov N.A., Gerasimov V.V., Golenkov E.A. Architecture and Some Implementation Issures of Transport Level in Computer Network. In: Proceedings of the 6th All-Union school-seminar on Computer Networks, Vol. III, pp.78-81 (Vinnitsa, October, 1981). In Russian.
46. Anisimov N.A., Gerasimov V.V., Golenkov E.A. A Synchronization Between User Processes and Transport Station in Computer Network. In: Proceedings of the 5th All-Union School-Seminar on Computer Networks, Vol. III, pp.11-13 (Vladivostok, September, 1980). In Russian
47. Anisimov N.A., Blomroz V.K., Gerasimov V.V., Golenkov E.A. A Link Protocol for Communicating Between Commutation Computer and Host Computer. In: Proceedings of the 5th All-Union School-seminar on Computer Networks, Vol. III, pp.8-10 (Vladivostok, September, 1980). In Russian

4. LIST OF OTHER PUBLICATIONS

1. Anisimov N.A., Melnikov V.E., Kharitonov D.I. Design of Program for AUV using Graphical Language Environment. In: Proc. Spesial Conf. Organizational Structures, Managment, Simulation of Buisiness Sectors and Systems, the International Federation of Operational Research Societies, September 1-12, 1998, Kaunas, Lithuania
2. Anisimov N.A., Golenkov E.A., Kovalenko A.A., Novitskaya S. A. Hypertext Information System of FEB RAS In: Proc. Special Conf. Organizational Structures, Managment, Simulation of Business Sectors anf Systems, the International Federation of Operational Research Societies, September 10-12, 1998, Kaunas, Lithuania.
3. Kharitonov D., Anisimov N. On Application of Coloured Petri Nets to Compositional Approach. In: Proceedings of the Conference "Youth and Scientific and Technical Progress". Part I. 1998, pp. 148-150. Far East Branch of the Russian Academy of Scences, Vladivostok. In Russian.
4. Anisimov N.A., Melnikov V.E. Postupalski P.A., Kharitonov D.I. PN³-Tool: An Environment for Diesign and Verification of Distributed Protocols based on Compositional Petri Nets. In: Abstracts of 3rd Siberian Congress on Applied and Industrial Mathematics (INPRIM'98). Part V, 1998, pp.67-68. Institute of Mathematics, Siberian Branch of the Russian Academy of Scences, Novosibirsk. In Russian.
5. Anisimov N.A., Kovalenko A.A., Postupalsky P.A., Kharitonov D.I. Volokh A.F. Modeling and Verification of Communication Protocols Using Petri Nets. In: Abstracts of Pacific Int. Conf. on Mathematical Modeling and Cryptography (PMMC-95), p.12, (Vladivostok, August 13-20, 1995).
6. Anisimov N.A., Golenkov E.A. On Technology for Design of Computer Network Software. In: Abstracts of II All-Union Conference on Programming Technology, pp. 92-94 (Kiev, November 18-21, 1986), In Russian
7. Anisimov N.A. et al. Computer Network Software for ES^* and SM Computers, State Fund for Algorithms and Programs, No.II007470, 1984, Algorithms and Programs, No.2, p.2. In Russian.