 | Публикации ученых Новосибирского научного центра
на иностранных языках (в хронологическом порядке) |
| | Институт систем информатики | | |
 | • 1995 • Parallel Computing Technologies: Proceedings 3rd Intern. conf., PaCT-95, St.Peterburg, Russia, Sept. 12-25, 1995 / Ed. V.Malyshkin. - Berlin; Heidelberg; New York: Springer-Verlag, 1995. - 495 p. - (Lecture Notes in Computer Science; Vol.964). |  | • 1997 • Parallel Computing Technologies: Proceedings 4th Intern. conf., PaCT-97, Yaroslavl, Russia, Sept. 8-12, 1997 / Ed. V.Malyshkin. - Berlin; Heidelberg; New York: Springer-Verlag, 1997. - 454 p. - (Lecture Notes in Computer Science; Vol.1277). |
| |
 | • 2007 • Perspectives of Systems Informatics: 6th Intern. Andrei Ershov Memorial conf., PSI 2006, Novosibirsk, Russia, June 27-30, 2006: revised papers. - Berlin; New York: Springer, 2007. - 496 p. - (Lecture Notes in Computer Science; Vol.4378). - Contents: Satisfiability of Viability Constraints for Pfaffian Dynamics / Korovina M., Vorobjov N. - P.260-269; Well-Structured Model Checking of Multiagent Systems / Shilov N.V., Garanina N.O. - P.363-376; Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction / Dubtsov. R.S. - P.443-450; A Fully dynamic algorithm for recognizing and representing chordal graphs / Tursunbay kyzy. Yr. - P.481-486; A Knowledge Portal for Cultural Information Resources: Towards an Architecture / Zagorulko Y., Jawed Siddiqi, Babak Akhgar, Borovikova O. - P.487-494. |
| |
 | • 2008 • Encyclopedia of Artificial Intelligence. - IGI Publishing Hershey, 2008. - 1780 p. - Contents: Modal Logics for Reasoning about Multiagent Systems / N.V.Shilov and N.Garanina. - P. 1089-1094. |
| |
 | • 2009 • Perspectives of System Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009: revised papers / Ed. A.Pnueli, I.Virbitskaite, A.Voronkov. - Berlin; New York: Springer, 2009. - 426 p. - (Lecture Notes in Computer Science; Vol.5947). - Contents: Two-Level Approach for Modeling and Verification of Telecommunication Systems / Beloglazov D., Nepomniaschy V.A. - P.70-85; ΣK-constraints for Hybrid Systems / Korovina М., Kudinov O. - P. 230-241. |
| |
 | • 2011 • Preliminary Proceedings of the Ershov Informatics Conference PSI Series. -
8-th Edition (June 27 - July 1, 2011, Novosibirsk). - Novosibirsk, 2011. - Contents: Probabilistic Concepts in Formal Contexts / Demin A., Ponomarev D., Vityaev E. - P.29-38; Reachability in one-dimensional controlled polynomial dynamical systems / Korovina M., Vorobjov N. - P.137-143; Timed Transition Systems with Independence and Marked Scott Domains / Dubtsov R. - P.210-215; A Logic Characteristic For Timed Extensions of Partial Order Based Equivalences / Gribovskaya N. - P.216-222; Performance analysis of the dining philosophers system in dtsPBC / Tarasyuk I.V. - P.309-321. |
| |
 | • 2011 • Knowledge Processing and Data Analysis: First Intern. conf., KONT 2007, Novosibirsk, Russia, Sept. 14-16, 2007, and First Intern. conf., KPP 2007, Darmstadt, Germany, Sept. 28-30, 2007: revised selected papers / Ed. K.E.Wolf, D.E.Palchunov, N.G.Zagoruiko. - Berlin; Heidelberg: Springer, 2011. - 320 p. -(Lecture Notes in Artificial Intelligence; Vol.6581). - Contents: Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-agent Systems / Shilov N.V., Garanina N.O. - P.48-58; Technology of Ontology Building for Knowledge Portals on Humanities / Zagorulko Y., Borovikova O. - P.203-216; Methods and Technologies of Digital Historical Factography / A.Marchuk. - P.217-231. |
| |
 | • 2011 • Perspectives on Soviet and Russian Computing: First IFIP WG 9.7: Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006: revised selected papers / Ed. J.Impagliazzo, and E.Proydakov. - Berlin, Heidelberg: Springer, 2011. - 274 p. - (IFIP Advances in Information and Communication Technology; Vol. 357) - Contents: The START Project / Marchuk A.G. - P.126-133; The MRAMOR Workstation / Baehrs A.A. - P.134-141; Novosibirsk Young Programmers' School: A Way to Success and Future Development / Marchuk A.G., Gorodnyaya L.V. - P.228-234. |
| |
 | • 2012 • Perspectives of System Informatics: 8th International Ershov Informatics Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011: revised selected papers. - Heidelberg: Springer, 2012. - 412 p. - (Lecture Notes in Computer Science; Vol.7162). - Contents: Compositional methods in characterization of timed event Structures / Bozhenkova E.N. - P.68-76; Timed Transition Systems with Independence and Marked Scott Domains / Dubtsov R. - P.86-94; Exponential Acceleration of Model Checking for Perfect Recall Systems / Garanina N. - P.111-124; A Logic Characteristic for Timed Extensions of Partial Order Based Equivalences / Gribovskaya N. - P.142-149; Reachability in one-dimensional controlled polynomial dynamical systems / Korovina M., Vorobjov N. - P.251-261; Scalable Parallel Interval Propagation for Sparse Constraint Satisfaction Problems / Petrov E. - P.302-312; Development of the Computer Language Classification Portal / Shilov N.V., Akinin A.A., Zubkov A.V., Idrisov R.I. - P.340-348. |
| |
| • 2012 • Tarasyuk I.V. Applying stochastic equivalence to performance evaluation in dtsiPBC / Tarasyuk I.V., Macia H., Valero V.; Department of Computer Systems, High School of Computer Science Engineering, University of Castilla-La Mancha, Albacete, Spain, October 2012. - 62 p. - (Technical Report; DIAB-12-10-2) |
|
|
