Research Output 1916 2020

Filter
редакционная статья
2018

Message from the editors

Litvinov, Y., Akhin, M., Novikov, B. & Itsykson, V., 1 Jan 2018, In : CEUR Workshop Proceedings. 2135, 1 p.

Research output

Preface

Shallit, J. & Okhotin, A., 1 Apr 2018, In : Information and Computation. 259, 1 p.

Research output

Preface

Kari, J. & Okhotin, A., 1 Jun 2018, In : International Journal of Foundations of Computer Science. 29, 4, p. 457-459 3 p.

Research output

2017

Message from the editors

Chernishev, G., Akhin, M., Novikov, B. & Itsykson, V., 1 Oct 2017, In : CEUR Workshop Proceedings. 1864

Research output

2016

Descriptional Complexity of Formal Systems

Jürgensen, H., Karhumäki, J. & Okhotin, A., 11 Jan 2016, In : Theoretical Computer Science. 610, 1 p.

Research output

To the anniversary of Sergei Vladimirovich Vostokov

Benois, D. G., Bondarko, M. V., Vavilov, N. A., Vsemirnov, M. A., Generalov, A. I., Gordeev, N. L., Zhukov, I. B., Leonov, G. A., Lurie, B. B., Panin, I. A., Smirnov, A. L., Fesenko, I. B. & Yakovlev, A. V., 1 Jan 2016, In : St. Petersburg Mathematical Journal. 27, 6, p. 861-862 2 p.

Research output

2015
1 Citation (Scopus)

Editorial

Valiev, R. Z., Estrin, Y., Toth, L. S. & Lowe, T. C., 1 Dec 2015, In : Advanced Engineering Materials. 17, 12, p. 1708-1709 2 p.

Research output

Preface

Bellatreche, L., Morzy, T., Maabout, S., Novikov, B., Vakali, A., Valduriez, P. & Thalheim, B., 1 Jan 2015, In : Communications in Computer and Information Science. 539, p. V-VII

Research output

Preface

Catania, B., Cerquitelli, T., Chiusano, S., Guerrini, G., KÄmpf, M., Kemper, A., Novikov, B., Palpanas, T., PokornÝ, J. & Vakali, A., 1 Jan 2014, In : Advances in Intelligent Systems and Computing. 241, p. V-VII

Research output

Preface

Monari, P., Melas, V. B. & Salmaso, L., 2014, In : Springer Proceedings in Mathematics and Statistics. 16, 2, p. v-vi

Research output

2005

Foreword

Barashev, D., Grinev, M., Kuznetsov, S. & Novikov, B., 1 Dec 2005, In : CEUR Workshop Proceedings. 154

Research output