Use of agent technology in service and retailer selection in a personal mobility context. - 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 I. Liossis; et al. (Comput. Networks, 1999)

Agents Based Implementation of Personalised News Delivery Service. - Henryka Jormakka; Toni Jussila; Kirsi Valtari (MATA, 2000)

BMC via Dynamic Atomicity Analysis. - Toni Jussila (ACSD, 2004)

BMC via on-the-fly determinization. - Toni Jussila; Keijo Heljanko; Ilkka Niemelä (Int. J. Softw. Tools Technol. Transf., 2005)

On bounded model checking of asynchronous systems. - Toni Jussila (2005)

Extended Resolution Proofs for Symbolic SAT Solving with Quantification. - Toni Jussila; Carsten Sinz; Armin Biere (SAT, 2006)

Compressing BMC Encodings with QBF. - Toni Jussila; Armin Biere (BMC@FLoC, 2006)

A First Step Towards a Unified Proof Checker for QBF. - Toni Jussila; Armin Biere; Carsten Sinz; Daniel Kröning; Christoph M. Wintersteiger (SAT, 2007)