Photo of Nicolai Vorobjov

Nicolai Vorobjov

Prof

  • 1 WEST 3.62

20012019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference contribution
2018

Orthogonal tropical linear prevarieties

Vorobjov, N. & Grigoriev, D., 2018, Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Proceedings. Koepf, W., Seiler, W. M., Gerdt, V. P. & Vorozhtsov, E. V. (eds.). Springer, Vol. 11077. p. 187-196 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11077 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)
2012

Reachability in one-dimensional controlled polynomial dynamical systems

Korovina, M. & Vorobjov, N., 2012, Perspectives of systems informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Clarke, E., Virbitskaite, I. & Voronkov, A. (eds.). Berlin: Springer, p. 251-261 11 p. (Lecture Notes in Computer Science; vol. 7162).

Research output: Chapter in Book/Report/Conference proceedingConference contribution