| 2007 |
|---|
| 8 | EE | Toni Jussila,
Armin Biere,
Carsten Sinz,
Daniel Kröning,
Christoph M. Wintersteiger:
A First Step Towards a Unified Proof Checker for QBF.
SAT 2007: 201-214 |
| 7 | EE | Toni Jussila,
Armin Biere:
Compressing BMC Encodings with QBF.
Electr. Notes Theor. Comput. Sci. 174(3): 45-56 (2007) |
| 2006 |
|---|
| 6 | EE | Toni Jussila,
Carsten Sinz,
Armin Biere:
Extended Resolution Proofs for Symbolic SAT Solving with Quantification.
SAT 2006: 54-60 |
| 2005 |
|---|
| 5 | EE | Toni Jussila,
Keijo Heljanko,
Ilkka Niemelä:
BMC via on-the-fly determinization.
STTT 7(2): 89-101 (2005) |
| 2004 |
|---|
| 4 | EE | Toni Jussila:
BMC via Dynamic Atomicity Analysis.
ACSD 2004: 197-206 |
| 2003 |
|---|
| 3 | EE | Toni Jussila,
Keijo Heljanko,
Ilkka Niemelä:
BMC via on-the-fly determinization.
Electr. Notes Theor. Comput. Sci. 89(4): (2003) |
| 2000 |
|---|
| 2 | EE | Henryka Jormakka,
Toni Jussila,
Kirsi Valtari:
Agents Based Implementation of Personalised News Delivery Service.
MATA 2000: 257-269 |
| 1999 |
|---|
| 1 | EE | Didoe Prevedourou,
Kostas Zygourakis,
Sofoklis Efremidis,
George D. Stamoulis,
Dimitrios Kalopsikakis,
Anna Kirikoglou,
Vasilios A. Siris,
Miltiades E. Anagnostou,
Evangelia Tzifa,
Tenia Louta,
Panagiotis Demestichas,
Nikos Liossis,
Andreas Kind,
Kirsi Valtari,
Henryka Jormakka,
Toni Jussila:
Use of agent technology in service and retailer selection in a personal mobility context.
Computer Networks 31(19): 2079-2098 (1999) |
