Toni Jussila

According to our database, Toni Jussila authored at least 7 papers between 1999 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

A First Step Towards a Unified Proof Checker for QBF.

Toni Jussila, Armin Biere, Carsten Sinz, Daniel Kröning, Christoph M. Wintersteiger

Proceedings of the Theory and Applications of Satisfiability Testing, 2007

2006

Compressing BMC Encodings with QBF.

Toni Jussila, Armin Biere

Proceedings of the Fourth International Workshop on Bounded Model Checking, 2006

Extended Resolution Proofs for Symbolic SAT Solving with Quantification.

Toni Jussila, Carsten Sinz, Armin Biere

Proceedings of the Theory and Applications of Satisfiability Testing, 2006

2004

BMC via Dynamic Atomicity Analysis.

Toni Jussila

Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2003

BMC via on-the-fly determinization.

Toni Jussila, Keijo Heljanko, Ilkka Niemelä

Proceedings of the First International Workshop on Bounded Model Checking, 2003

2000

Agents Based Implementation of Personalised News Delivery Service.

Henryka Jormakka, Toni Jussila, Kirsi Valtari

Proceedings of the Mobile Agents for Telecommunication Applications, 2000

1999

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, Andreas Kind, Kirsi Valtari, Henryka Jormakka, Toni Jussila

Comput. Networks, 1999