Up a level |
Michail, Othon ORCID: 0000-0002-6234-3960, Skretas, George ORCID: 0000-0003-2514-8004 and Spirakis, Paul G ORCID: 0000-0001-5396-3749
(2017)
On the Transformation Capability of Feasible Mechanisms for Programmable
Matter.
In: 44th International Colloquium on Automata, Languages, and Programming (ICALP), 2017-7-10 - 2017-7-14.
Potapov, I, Niskanen, R ORCID: 0000-0002-2210-1481 and Reichert, J
(2016)
Undecidability of Two-dimensional Robot Games.
In: 41st International Symposium on Mathematical Foundations of Computer Science, 2016-8-22 - 2016-8-26, Krakow (Poland).
Potapov, I and Semukhin, P
(2016)
Vector Reachability Problem in SL(2,Z).
In: 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016), 2016-8-22 - 2016-8-26, Krakow (Poland).