Sergiu Ivanov
Sergiu Ivanov
Université Grenoble-Alpres
Verified email at univ-grenoble-alpes.fr - Homepage
Title
Cited by
Cited by
Year
SymPy: symbolic computing in Python
A Meurer, CP Smith, M Paprocki, O Čertík, SB Kirpichev, M Rocklin, ...
PeerJ Computer Science 3, e103, 2017
6572017
Roucka, v
A Meurer, CP Smith, M Paprocki, O Certık, SB Kirpichev, M Rocklin, ...
Saboo, A., Fernando, I., Kulal, S., Cimrman, R., Scopatz, A.: Sympy …, 2017
612017
Frontiers of membrane computing: Open problems and research topics
M Gheorgue, G Paun, MJ Pérez Jiménez
Proceedings of the Tenth Brainstorming Week on Membrane Computing, 171-250 …, 2012
602012
Complexity of model checking for reaction systems
S Azimi, C Gratie, S Ivanov, L Manzoni, I Petre, AE Porreca
Theoretical Computer Science 623, 103-113, 2016
312016
Dependency graphs and mass conservation in reaction systems
S Azimi, C Gratie, S Ivanov, I Petre
Theoretical Computer Science 598, 23-39, 2015
282015
Random context and semi-conditional insertion-deletion systems
S Ivanov, S Verlan
Fundamenta Informaticae 138 (1-2), 127-144, 2015
21*2015
The family of languages generated by non-cooperative membrane systems
A Alhazov, C Ciubotaru, S Ivanov, Y Rogozhin
International Conference on Membrane Computing, 65-80, 2010
162010
SymPy: symbolic computing in Python, PeerJ Computer Science, 3, e103
A Meurer, CP Smith, M Paprocki, O Čertík, SB Kirpichev, M Rocklin, ...
152017
SymPy: symbolic computing in Python. PeerJ Computer Science 3 (Jan. 2017), e103
A Meurer, CP Smith, M Paprocki, O Čertík, SB Kirpichev, M Rocklin, ...
152017
Small universal non-deterministic Petri nets with inhibitor arcs
S Ivanov, E Pelz, S Verlan
International Workshop on Descriptional Complexity of Formal Systems, 186-197, 2014
142014
Polymorphic P systems
A Alhazov, S Ivanov, Y Rogozhin
International Conference on Membrane Computing, 81-94, 2010
122010
About one-sided one-symbol insertion-deletion P systems
S Ivanov, S Verlan
International Conference on Membrane Computing, 225-237, 2013
102013
Contextual array grammars with matrix control, regular control languages, and tissue P systems control
A Alhazov, H Fernau, R Freund, S Ivanov, R Siromoney, KG Subramanian
Theoretical Computer Science 682, 5-21, 2017
92017
Small universal Petri nets with inhibitor arcs
S Ivanov, E Pelz, S Verlan
arXiv preprint arXiv:1312.4414, 2013
92013
Forward and backward chaining with P systems
S Ivanov, A Alhazov, V Rogojin, MA Gutiérrez-Naranjo
International Journal of Natural Computing Research (IJNCR) 2 (2), 56-66, 2011
92011
P systems with randomized right-hand sides of rules
A Alhazov, R Freund, S Ivanov
Theoretical Computer Science 805, 144-160, 2020
82020
Synthesis and characterization of composite materials “aerogel-MWCNT”
N Menshutina, S Ivanov, P Tsygankov, I Khudeev
Journal of Sol-Gel Science and Technology 84 (3), 382-390, 2017
82017
SymPy: symbolic computing in Python, PeerJ Comput. Sci., 3, e103
A Meurer, CP Smith, M Paprocki, O Čertík, SB Kirpichev, M Rocklin, ...
82017
Simulating R systems by P systems
A Alhazov, B Aman, R Freund, S Ivanov
International Conference on Membrane Computing, 51-66, 2016
82016
Minimal parallelism and number of membrane polarizations
A Alhazov
Computer Science Journal of Moldova 53 (2), 149-170, 2010
82010
The system can't perform the operation now. Try again later.
Articles 1–20