Concepedia

Sergey Verlan

SV

Statistics

Publications

26

Citations

661

H-Index

17

Active since

2004

Affiliations

Université Paris-Est Créteil(Current)

Academy of Sciences of Moldova

Institute of Mathematics and Computer Science

Laboratoire d'Algorithmique, Complexité et Logique

TU Wien

Sergey Verlan is an author at Université Paris-Est Créteil specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationComputational ComplexityAutomated ReasoningComputer EngineeringDiscrete MathematicsSystems EngineeringMathematical Programming

Publications per year

2004–2022

26

Publications

26

Context-free insertion–deletion systems

Maurice Margenstern, Gheorghe Pǎun, Yurii Rogozhin et al. · Theoretical Computer Science · 2004 · 76 citations

Engineering, Formal Methods, Data Deduplication +4

On Minimal Context-Free Insertion-Deletion Systems

Sergey Verlan · HAL (Le Centre pour la Communication Scientifique Directe) · 2007 · 51 citations · Full text

Computational Complexity Theory, Engineering, Data Deduplication +16

Graph-Controlled Insertion-Deletion Systems

Rudolf Freund, Marian Kogler, Yurii Rogozhin et al. · Electronic Proceedings in Theoretical Computer Science · 2010 · 44 citations · Full text

Directed Graph, Engineering, Computational Model Theory +23

A formal framework for spiking neural P systems

Sergey Verlan, Rudolf Freund, Artiom Alhazov et al. · Journal of Membrane Computing · 2020 · 40 citations · Full text

Engineering, Computational Neuroscience, Neuronal Network +7

Matrix insertion–deletion systems

Ion Petre, Sergey Verlan · Theoretical Computer Science · 2012 · 39 citations

Matrix Method, Matrix Theory, Matrix Insertion–deletion Systems +1

1–5 of 26