| 2008 |
|---|
| 6 | EE | Thomas Weigold,
Peter Buhler,
Jeyarajan Thiyagalingam,
Artie Basukoski,
Vladimir Getov:
Advanced Grid Programming with Components: A Biometric Identification Case Study.
COMPSAC 2008: 401-408 |
| 2006 |
|---|
| 5 | EE | Alexander Bolotov,
Artie Basukoski,
Oleg Grigoriev,
Vasilyi Shangin:
Natural Deduction Calculus for Linear-Time Temporal Logic.
JELIA 2006: 56-68 |
| 4 | EE | Alexander Bolotov,
Artie Basukoski:
A clausal resolution method for branching-time logic ECTL+.
Ann. Math. Artif. Intell. 46(3): 235-263 (2006) |
| 3 | EE | Alexander Bolotov,
Artie Basukoski:
A clausal resolution method for extended computation tree logic ECTL.
J. Applied Logic 4(2): 141-167 (2006) |
| 2005 |
|---|
| 2 | EE | Artie Basukoski,
Alexander Bolotov:
Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity.
TIME 2005: 195-197 |
| 2004 |
|---|
| 1 | EE | Alexander Bolotov,
Artie Basukoski:
A Clausal Resolution Method for Branching-Time Logic ECTL+.
TIME 2004: 140-147 |
