28 lines
921 B
BibTeX
28 lines
921 B
BibTeX
|
@phdthesis{IvanovPhD,
|
||
|
|
author = {Sergiu Ivanov},
|
||
|
|
title = {On the Power and Universality of Biologically-inspired Models of Computation},
|
||
|
|
school = {Université Paris Est},
|
||
|
|
address = {Paris},
|
||
|
|
year = {2015}
|
||
|
|
}
|
||
|
|
|
||
|
|
@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},
|
||
|
|
}
|