| 2024 | MCU | Universality of Turing Tumble of Finite Size. | Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan |
| 2022 | MCU | Prescribed Teams of Rules Working on Several Objects. | Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan |
| 2017 | UC | Universal Matrix Insertion Grammars with Small Size. | Henning Fernau, Lakshmanan Kuppusamy, Sergey Verlan |
| 2015 | CiE | Universality in Molecular and Cellular Computing. | Sergey Verlan |
| 2015 | MCU | Universality of Graph-controlled Leftist Insertion-deletion Systems with Two States. | Sergiu Ivanov, Sergey Verlan |
| 2012 | UC | P Systems with Minimal Left and Right Insertion and Deletion. | Rudolf Freund, Yurii Rogozhin, Sergey Verlan |
| 2008 | LATA | Further Results on Insertion-Deletion Systems with One-Sided Contexts. | Alexander Krassovitskiy, Yurii Rogozhin, Sergey Verlan |
| 2007 | CiE | Producer/Consumer in Membrane Systems and Petri Nets. | Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan |
| 2007 | MCU | Partial Halting in P Systems Using Membrane Rules with Permitting Contexts. | Artiom Alhazov, Rudolf Freund, Marion Oswald, Sergey Verlan |
| 2007 | MCU | Insertion-Deletion Systems with One-Sided Contexts. | Artiom Matveevici, Yurii Rogozhin, Sergey Verlan |
| 2006 | DNA | Length-Separating Test Tube Systems. | Erzsbet Csuhaj-Varj, Sergey Verlan |
| 2005 | SYNASC | On P Systems with Bounded Parallelism. | Francesco Bernardini, Francisco Jos Romero-Campero, Marian Gheorghe, Mario J. Prez-Jimnez, Maurice Margenstern, Sergey Verlan, Natalio Krasnogor |
| 2004 | DLT | Tissue P Systems with Minimal Symport/Antiport. | Sergey Verlan |
| 2003 | DNA | Time-Varying Distributed H Systems with Parallel Computations: The Problem Is Solved. | Maurice Margenstern, Yurii Rogozhin, Sergey Verlan |
| 2002 | DNA | Time-Varying Distributed H Systems of Degree 2 Can Carry Out Parallel Computations. | Maurice Margenstern, Yurii Rogozhin, Sergey Verlan |