Follow
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
17952017
Roucka, v
A Meurer, CP Smith, M Paprocki, O Certık, SB Kirpichev, M Rocklin, ...
Saboo, A., Fernando, I., Kulal, S., Cimrman, R., and Scopatz, A, e103, 2017
1662017
Dependency graphs and mass conservation in reaction systems
S Azimi, C Gratie, S Ivanov, I Petre
Theoretical Computer Science 598, 23-39, 2015
442015
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
402016
A formal framework for spiking neural P systems
S Verlan, R Freund, A Alhazov, S Ivanov, L Pan
Journal of Membrane Computing 2 (4), 355-368, 2020
392020
SymPy: symbolic computing in Python, PeerJ Computer Science, 3, e103
A Meurer, CP Smith, M Paprocki, O Čertík, SB Kirpichev, M Rocklin, ...
292017
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, ...
292017
Sympy: symbolic computing in python. PeerJ Comput. Sci. 3, e103 (2017)
A Meurer, CP Smith, M Paprocki, O Certík, SB Kirpichev, M Rocklin, ...
Crossref, Web of Science, 0
27
Random context and semi-conditional insertion-deletion systems
S Ivanov, S Verlan
Fundamenta Informaticae 138 (1-2), 127-144, 2015
24*2015
Sequential reprogramming of biological network fate
J Pardo, S Ivanov, F Delaplace
Theoretical Computer Science 872, 97-116, 2021
232021
SymPy: symbolic computing in Python, PeerJ Comput. Sci., 3, e103
A Meurer, CP Smith, M Paprocki, O Čertík, SB Kirpichev, M Rocklin, ...
222017
Polymorphic P systems
A Alhazov, S Ivanov, Y Rogozhin
Membrane Computing: 11th International Conference, CMC 2010, Jena, Germany …, 2011
212011
Controllability of reaction systems
S Ivanov, I Petre
Journal of Membrane Computing 2 (4), 290-302, 2020
162020
Simulating R systems by P systems
A Alhazov, B Aman, R Freund, S Ivanov
International Conference on Membrane Computing, 51-66, 2016
162016
Small universal non-deterministic Petri nets with inhibitor arcs
S Ivanov, E Pelz, S Verlan
Descriptional Complexity of Formal Systems: 16th International Workshop …, 2014
162014
The family of languages generated by non-cooperative membrane systems
A Alhazov, C Ciubotaru, S Ivanov, Y Rogozhin
Membrane Computing: 11th International Conference, CMC 2010, Jena, Germany …, 2011
162011
Webrsim: A web-based reaction systems simulator
S Ivanov, V Rogojin, S Azimi, I Petre
Enjoying Natural Computing: Essays Dedicated to Mario de Jesús Pérez-Jiménez …, 2018
142018
Synthesis and characterization of composite materials “aerogel-MWCNT”
N Menshutina, S Ivanov, P Tsygankov, I Khudeev
Journal of Sol-Gel Science and Technology 84, 382-390, 2017
132017
Polymorphic P systems with non-cooperative rules and no ingredients
S Ivanov
International Conference on Membrane Computing, 258-273, 2014
132014
SymPy: Symbolic computing in Python, PeerJ Comput. Sci., 3 (2017), e103
A Meurer, CP Smith, M Paprocki, O Certik, SB Kirpichev, M Rocklin, ...
122017
The system can't perform the operation now. Try again later.
Articles 1–20