Photo of Nicolai Vorobjov

Nicolai Vorobjov

Prof

  • 1 WEST 3.62

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

Research Output 2001 2019

Filter
Conference contribution
2018
1 Citation (Scopus)

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

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