Taras V. Panchenko
Associate Professor

Information

Position: Associate Professor
Degree: Candidate of Physical and Mathematical Science
Title: Associate Professor
Room: 611
Phone:
E-mail:
Research interests: compositional methods, Internet technologies, database

Courses:

Fundamentals of Internet / intranet-programming
Internet technology

Publications:

  1. Panchenko T.V. Propositional calculus for three-digit sequential logic (type system McCarthy) // Bulletin of Kiev University. Series: Sci. science. – 2000., Vyp.4. – S. 284-292.
  2. Panchenko T.V. The exchange Electronic Savings Bank of Ukraine / / log “Korporatyvnыe system.” – 2001. – № 4. – S. 53-55.
  3. Panchenko T.V. Using Formal Specifications for Electronic Exchange Development Savings Bank // Problems of programming. – 2002. – № 1-2. – S. 161-167.
  4. Panchenko T.V. Formal specifications for software development / / Bulletin of Kiev University. Series: Sci. science. – 2002. – No. 2. – S. 245-256.
  5. Panchenko T.V. Universal System of Money Transitions Authorization / / log “Korporatyvnыe system.” – 2002, № 4. – S. 31-37.
  6. Panchenko T.V. Casting in composition nominative languages // International Scientific Conference of Students and young scientists named “Shevchenko spring. Current state of science, progress, problems and prospects.” The collection of abstracts. – 2003. – S. 66-68.
  7. Panchenko T.V. Composition Approach to Software Systems Modeling and its Support Tools // International Conference on Dynamical System Modeling and Stability Investigation. Thesis of Conference Reports, May 27-30, 2003. – P. 421.
  8. Panchenko T.V. Automation banks: realyy and prospects // log “Korporatyvnыe system.” – 2003. – 3. – S. 19-24.
  9. Panchenko T.V. Simulation data structures and functions over them in the composition nominative language ACoN // Problems of programming. – 2004. – № 1-2. – S. 7-15.
  10. Nikitchenko M.S., Panchenko T.V. Data structures in composite programming languages // Bulletin of Kiev University. Series: Sci. science. – 2004. – No. 2. – S. 316-325.
  11. Panchenko T.V. Methodology prove properties of programs in languages composite IPCL // Proceedings of International Conference “Theoretical and practical aspects of building software systems” (TAAPSD’2004). Kyiv. – 2004. – S. 62-67.
  12. Panchenko I.V., Panchenko T.V. Optimization of Call-Center with Automated Computer System Scheduling ISS v.1 / / Proceedings of International Conference “Theoretical and practical aspects of building software systems” (TAAPSD’2004). Kyiv. – 2004. – S. 272-274.