|
СТ |
F@BOOL@: Towards a Simple Verifying Compiler Based on SAT-Solvers |
2009 |
Shilov N., Bodin E. |
|
|
|
PSI 09 IW on Program Understanding |
24.07.2009 |
|
СТ |
Guided tour inside F@BOOL@: a case-study for a SAT-based verifying compiler |
2010 |
Shilov N., Bodin E., Shilova S. |
Computer Science |
|
|
Bulletin of the Novosibirsk Computing Center |
05.04.2011 |
|
СТ |
A Multi-Agent Text Analysis Based on Ontology of Subject Domain |
2014 |
Garanina N., Sidorova E., Bodin E. |
|
|
|
PSI 14 |
05.08.2014 |
|
СТ |
Using SPIN for Verification of Multi-agent Data Analysis |
2014 |
Garanina N., Bodin E., Sidorova E. |
|
|
|
Proc./9th International Computer Science Symposium in Russia |
10.06.2014 |
|
СТ |
A Multi-agent Text Analysis Based on Ontology of Subject Domain |
2015 |
Garanina N., Sidorova E., Bodin E. |
Lecture Notes in Computer Science |
|
|
|
02.09.2015 |
