2020-09-20 21:23:30 +02:00
|
|
|
@article{C:AB20,
|
|
|
|
|
author = {Urvan Christen and
|
|
|
|
|
Sergiu Ivanov and
|
|
|
|
|
Rémi Segretain and
|
|
|
|
|
Laurent Trilling and
|
|
|
|
|
Nicolas Glade},
|
|
|
|
|
title = {On Computing Structural and Behavioral Complexities of Threshold Boolean Networks},
|
|
|
|
|
journal = {Acta Biotheoretica},
|
|
|
|
|
volume = {68},
|
|
|
|
|
pages = {119--138},
|
|
|
|
|
year = {2020}
|
|
|
|
|
}
|
|
|
|
|
|
2015-05-30 12:23:50 +02:00
|
|
|
@techreport{AGIMPP2014,
|
|
|
|
|
title = {Complexity of Model Checking for Reaction Systems},
|
|
|
|
|
author = {Azimi, Sepinoud and Gratie, Cristian and Ivanov, Sergiu and Manzoni, Luca and Petre, Ion and Porreca, Antonio E.},
|
|
|
|
|
number = {1122},
|
|
|
|
|
series = {TUCS Technical Reports},
|
|
|
|
|
publisher = {TUCS},
|
|
|
|
|
year = {2014},
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
@techreport{AGIP2014,
|
|
|
|
|
title = {Dependency Graphs and Mass Conservation in Reaction Systems},
|
|
|
|
|
author = {Azimi, Sepinoud and Gratie, Cristian and Ivanov, Sergiu and Petre, Ion},
|
|
|
|
|
number = {1123},
|
|
|
|
|
series = {TUCS Technical Reports},
|
|
|
|
|
publisher = {TUCS},
|
|
|
|
|
year = {2014},
|
|
|
|
|
keywords = {Reaction system; model checking; mass conservation; conserved set; conservation dependency graph; simulator},
|
|
|
|
|
ISBN = {978-952-12-3123-0},
|
|
|
|
|
}
|
2016-05-29 12:34:36 +02:00
|
|
|
|
|
|
|
|
@article{IvanovMarcus2015,
|
|
|
|
|
Title = {On the Lower Bounds for Leftist Insertion-Deletion Languages},
|
|
|
|
|
Author = {Sergiu Ivanov and Sergey Verlan},
|
|
|
|
|
Journal = {Annals of the University of Bucharest (Informatics)},
|
|
|
|
|
Volume = {LXII(2)},
|
2016-06-06 00:49:22 +02:00
|
|
|
Pages = {77--88},
|
|
|
|
|
Year = {2015}
|
2016-05-29 12:34:36 +02:00
|
|
|
}
|
