BibSonomy :: author  ::

bookmarks

publications

(198)

• Justification-Based Local Search with Adaptive Noise Strategies.
  Matti Järvisalo and Tommi A. Junttila and Ilkka Niemelä LPAR 31-46 (2008)
  to dblp by dblp on 2008-11-18 00:00:00
  | URL | BibTeX  
• EGPRS2 Uplink Performance for GERAN Evolution.
  Mikko Säily and Jari Hulkkonen and Olli Piirainen and Kari Niemela and Eduardo Zacarias B VTC Spring 2572-2576 (2008)
  to dblp by dblp on 2008-11-16 00:00:00
  | URL | BibTeX  
• Incorporating Learning in Grid-Based Randomized SAT Solving.
  Antti Eero Johannes Hyvärinen and Tommi A. Junttila and Ilkka Niemelä AIMSA 247-261 (2008)
  to dblp by dblp on 2008-09-01 00:00:00
  | URL | BibTeX  
• The effect of structural branching on the efficiency of clause learning SAT solving: An experimental study.
  Matti Järvisalo and Ilkka Niemelä J. Algorithms 63 90-113 (2008)
  to dblp by dblp on 2008-08-21 00:00:00
  | URL | BibTeX  
• Ethical-Legal Challenges in User-Centric AmI Services.
  E. Kosta and Olli Pitkänen and Marketta Niemelä and Eija Kaasinen ICIW 19-24 (2008)
  to dblp by dblp on 2008-08-19 00:00:00
  | URL | BibTeX  
• OntoArch Approach for Reliability-Aware Software Architecture Development.
  Jiehan Zhou and Eila Niemelä and Antti Evesti and Anne Immonen and Pekka Savolainen COMPSAC 1228-1233 (2008)
  to dblp by dblp on 2008-08-05 00:00:00
  | URL | BibTeX  
• Strategies for Solving SAT in Grids by Randomized Search.
  Antti Eero Johannes Hyvärinen and Tommi A. Junttila and Ilkka Niemelä AISC/MKM/Calculemus 125-140 (2008)
  to dblp by dblp on 2008-08-04 00:00:00
  | URL | BibTeX  
• Capturing quality requirements of product family architecture.
  Eila Niemelä and Anne Immonen Information & Software Technology 49 1107-1120 (2007)
  to dblp by dblp on 2008-06-25 00:00:00
  | URL | BibTeX  
• Logic programs with monotone abstract constraint atoms.
  Victor W. Marek and Ilkka Niemelä and Miroslaw Truszczynski TPLP 8 167-199 (2008)
  to dblp by dblp on 2008-06-12 00:00:00
  | URL | BibTeX  
• Multiscale SOC in turbulent convection
  K. R. Sreenivasan and A. Bershadskii and J. J. Niemela Physica A: Statistical Mechanics and its Applications 340 574--579 (2004)
  to Convection by smicha on 2008-04-22 10:36:30
  | URL | BibTeX