Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Balabanov, Valeriy
4  Ergebnisse:
Personensuche X
?
1

Henkin quantifiers and Boolean formulae: A certification pe..:

Balabanov, Valeriy ; Chiang, Hui-Ju Katherine ; Jiang, Jie-Hong R.
Theoretical Computer Science.  523 (2014)  - p. 86-100 , 2014
Link: https://doi.org/10.1016/..
 
?
2

Unified QBF certification and its applications:

Balabanov, Valeriy ; Jiang, Jie-Hong R.
Formal Methods in System Design.  41 (2012)  1 - p. 45-65 , 2012
Link: https://doi.org/10.1007/..
 
?
3

TSV-aware analytical placement for 3D IC designs:

, In: Proceedings of the 48th Design Automation Conference,
Hsu, Meng-Kai ; Chang, Yao-Wen ; Balabanov, Valeriy - p. 664-669 , 2011
Link: https://dl.acm.org/doi/1..
 
?
4

High-Repetition-Rate 2.3–2.7 µm Acousto-Optically Tuned Nar..:

Antipov, Oleg ; Eranov, Ilya ; Balabanov, Stanislav...
Photonics.  11 (2024)  6 - p. 555 , 2024
Link: https://doi.org/10.3390/..
 
1-4