The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Toni Jussila: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Toni Jussila
    BMC via Dynamic Atomicity Analysis. [Citation Graph (0, 0)][DBLP]
    ACSD, 2004, pp:197-206 [Conf]
  2. Henryka Jormakka, Toni Jussila, Kirsi Valtari
    Agents Based Implementation of Personalised News Delivery Service. [Citation Graph (0, 0)][DBLP]
    MATA, 2000, pp:257-269 [Conf]
  3. Toni Jussila, Carsten Sinz, Armin Biere
    Extended Resolution Proofs for Symbolic SAT Solving with Quantification. [Citation Graph (0, 0)][DBLP]
    SAT, 2006, pp:54-60 [Conf]
  4. 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. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 1999, v:31, n:19, pp:2079-2098 [Journal]
  5. Toni Jussila, Keijo Heljanko, Ilkka Niemelä
    BMC via on-the-fly determinization. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:4, pp:- [Journal]
  6. Toni Jussila, Armin Biere
    Compressing BMC Encodings with QBF. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:3, pp:45-56 [Journal]
  7. Toni Jussila, Keijo Heljanko, Ilkka Niemelä
    BMC via on-the-fly determinization. [Citation Graph (0, 0)][DBLP]
    STTT, 2005, v:7, n:2, pp:89-101 [Journal]
  8. Toni Jussila, Armin Biere, Carsten Sinz, Daniel Kröning, Christoph M. Wintersteiger
    A First Step Towards a Unified Proof Checker for QBF. [Citation Graph (0, 0)][DBLP]
    SAT, 2007, pp:201-214 [Conf]

Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002