BibSonomy :: author  ::

bookmarks

publications

(29)

• Achieving compositionality of the stable model semantics for Smodels programs
  Emilia Oikarinen and Tomi Janhunen CoRR abs/0809.4582 (2008)
  to dblp by dblp on 2008-10-02 00:00:00
  | URL | BibTeX  
• Extended ASP tableaux and rule redundancy in normal logic programs
  Matti Järvisalo and Emilia Oikarinen CoRR abs/0809.3204 (2008)
  to dblp by dblp on 2008-10-02 00:00:00
  | URL | BibTeX  
• Capricorn - an intelligent user interface for mobile widgets.
  Fredrik Boström and Petteri Nurmi and Patrik Floréen and Tianyan Liu and Tiina-Kaisa Oikarinen and Akos Vetek and Péter Boda Mobile HCI 327-330 (2008)
  to dblp by dblp on 2008-09-09 00:00:00
  | URL | BibTeX  
• Implementing Prioritized Circumscription by Computing Disjunctive Stable Models.
  Emilia Oikarinen and Tomi Janhunen AIMSA 167-180 (2008)
  to dblp by dblp on 2008-09-01 00:00:00
  | URL | BibTeX  
• Active Service Quality Management in ASEMA system.
  Markus Sihvonen and Mikko Nieminen and Johannes Oikarinen and Tomi Räty ICSNC 14 (2006)
  to dblp by dblp on 2008-08-25 00:00:00
  | URL | BibTeX  
• Quality-of-Service Management in ASEMA System for Unicast MPEG4 Video Transmissions.
  Johannes Oikarinen and Tomi Räty and Luo Miao and Markus Sihvonen EUROMICRO-SEAA 191-202 (2007)
  to dblp by dblp on 2008-08-25 00:00:00
  | URL | BibTeX  
• Sensor Data Collection of the Single Location Surveillance Point System.
  Tomi Räty and Johannes Oikarinen and Mikko Nieminen and M. Lindholm ACIS-ICIS 382-387 (2008)
  to dblp by dblp on 2008-08-25 00:00:00
  | URL | BibTeX  
• Capricorn: an intelligent interface for mobile widgets.
  Fredrik Boström and Patrik Floréen and Tianyan Liu and Petteri Nurmi and Tiina-Kaisa Oikarinen and Akos Vetek and Péter Boda Intelligent User Interfaces 417-418 (2008)
  to dblp by dblp on 2008-06-16 00:00:00
  | URL | BibTeX  
• Automated Verification of Weak Equivalence within the SMODELS System.
  Tomi Janhunen and Emilia Oikarinen TPLP 7 697-744 (2007)
  to dblp by dblp on 2008-06-12 00:00:00
  | URL | BibTeX  
• Automated verification of weak equivalence within the SMODELS system
  Tomi Janhunen and Emilia Oikarinen CoRR abs/cs/0608099 (2006)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX