dblp.uni-trier.dewww.uni-trier.de

Toni Jussila

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2007
8EEToni 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
7EEToni Jussila, Armin Biere: Compressing BMC Encodings with QBF. Electr. Notes Theor. Comput. Sci. 174(3): 45-56 (2007)
2006
6EEToni Jussila, Carsten Sinz, Armin Biere: Extended Resolution Proofs for Symbolic SAT Solving with Quantification. SAT 2006: 54-60
2005
5EEToni Jussila, Keijo Heljanko, Ilkka Niemelä: BMC via on-the-fly determinization. STTT 7(2): 89-101 (2005)
2004
4EEToni Jussila: BMC via Dynamic Atomicity Analysis. ACSD 2004: 197-206
2003
3EEToni Jussila, Keijo Heljanko, Ilkka Niemelä: BMC via on-the-fly determinization. Electr. Notes Theor. Comput. Sci. 89(4): (2003)
2000
2EEHenryka Jormakka, Toni Jussila, Kirsi Valtari: Agents Based Implementation of Personalised News Delivery Service. MATA 2000: 257-269
1999
1EEDidoe 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)

Coauthor Index

1Miltiades E. Anagnostou [1]
2Armin Biere [6] [7] [8]
3Panagiotis Demestichas [1]
4Sofoklis Efremidis [1]
5Keijo Heljanko [3] [5]
6Henryka Jormakka [1] [2]
7Dimitrios Kalopsikakis [1]
8Andreas Kind [1]
9Anna Kirikoglou [1]
10Daniel Kroening (Daniel Kröning) [8]
11Nikos Liossis [1]
12Tenia Louta [1]
13Ilkka Niemelä [3] [5]
14Didoe Prevedourou [1]
15Carsten Sinz [6] [8]
16Vasilios A. Siris [1]
17George D. Stamoulis [1]
18Evangelia Tzifa [1]
19Kirsi Valtari [1] [2]
20Christoph M. Wintersteiger [8]
21Kostas Zygourakis [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)