@article{journals/icl/VaananenVVH02,
  added-at = {2012-02-14T00:00:00.000+0100},
  author = {Väänänen, Olli and Vankka, Jouko and Viero, Timo and Halonen, Kari},
  biburl = {http://www.bibsonomy.org/bibtex/28a6d095be7b656378c649f2b2e77244f/dblp},
  ee = {http://dx.doi.org/10.1109/LCOMM.2002.804245},
  interhash = {6286e0ab0706c7bf2fc614e34656bc5f},
  intrahash = {8a6d095be7b656378c649f2b2e77244f},
  journal = {IEEE Communications Letters},
  keywords = {dblp},
  number = 10,
  pages = {443-445},
  title = {Reducing the crest factor of a CDMA downlink signal by adding unused channelization codes.},
  url = {http://dblp.uni-trier.de/db/journals/icl/icl6.html#VaananenVVH02},
  volume = 6,
  year = 2002
}

@inproceedings{conf/mum/KorhonenAV10,
  added-at = {2012-01-25T00:00:00.000+0100},
  author = {Korhonen, Hannu and Arrasvuori, Juha and Väänänen-Vainio-Mattila, Kaisa},
  biburl = {http://www.bibsonomy.org/bibtex/25c28c639b59a65ad5406f0886e43b04e/dblp},
  booktitle = {MUM},
  crossref = {conf/mum/2010},
  editor = {Angelides, Marios C. and Lambrinos, Lambros and Rohs, Michael and Rukzio, Enrico},
  ee = {http://doi.acm.org/10.1145/1899475.1899486},
  interhash = {1a9be7564dbeacd7bb637990269cc85a},
  intrahash = {5c28c639b59a65ad5406f0886e43b04e},
  isbn = {978-1-4503-0424-5},
  keywords = {dblp},
  pages = 11,
  publisher = {ACM},
  title = {Analysing user experience of personal mobile products through contextual factors.},
  url = {http://dblp.uni-trier.de/db/conf/mum/mum2010.html#KorhonenAV10},
  year = 2010
}

@inproceedings{conf/mum/VartiainenV10,
  added-at = {2012-01-25T00:00:00.000+0100},
  author = {Vartiainen, Elina and Väänänen-Vainio-Mattila, Kaisa},
  biburl = {http://www.bibsonomy.org/bibtex/28656ff0be4f26dc8ac6e906594fa4657/dblp},
  booktitle = {MUM},
  crossref = {conf/mum/2010},
  editor = {Angelides, Marios C. and Lambrinos, Lambros and Rohs, Michael and Rukzio, Enrico},
  ee = {http://doi.acm.org/10.1145/1899475.1899479},
  interhash = {f227eed6a686207305ade4faf1a3e987},
  intrahash = {8656ff0be4f26dc8ac6e906594fa4657},
  isbn = {978-1-4503-0424-5},
  keywords = {dblp},
  pages = 4,
  publisher = {ACM},
  title = {User experience of mobile photo sharing in the cloud.},
  url = {http://dblp.uni-trier.de/db/conf/mum/mum2010.html#VartiainenV10},
  year = 2010
}

@inproceedings{conf/mum/Vaananen-Vainio-MattilaSWHOK10,
  added-at = {2012-01-25T00:00:00.000+0100},
  author = {Väänänen-Vainio-Mattila, Kaisa and Saarinen, Petri and Wäljas, Minna and Hännikäinen, Marko and Orsila, Heikki and Kiukkonen, Niko},
  biburl = {http://www.bibsonomy.org/bibtex/22225dc6731863199d8c98d8b0c194446/dblp},
  booktitle = {MUM},
  crossref = {conf/mum/2010},
  editor = {Angelides, Marios C. and Lambrinos, Lambros and Rohs, Michael and Rukzio, Enrico},
  ee = {http://doi.acm.org/10.1145/1899475.1899485},
  interhash = {5f91e637f223c35d3d10305ad58696d3},
  intrahash = {2225dc6731863199d8c98d8b0c194446},
  isbn = {978-1-4503-0424-5},
  keywords = {dblp},
  pages = 10,
  publisher = {ACM},
  title = {User experience of social ad hoc networking: findings from a large-scale field trial of TWIN.},
  url = {http://dblp.uni-trier.de/db/conf/mum/mum2010.html#Vaananen-Vainio-MattilaSWHOK10},
  year = 2010
}

@inproceedings{conf/mum/Vaananen-Vainio-MattilaSGSJ11,
  added-at = {2012-01-25T00:00:00.000+0100},
  author = {Väänänen-Vainio-Mattila, Kaisa and Suhonen, Katja and Gonsalves, Tina and Schrader, Martin and Järvenpää, Toni},
  biburl = {http://www.bibsonomy.org/bibtex/291f70ee47c58adf67c62f6bff442bff1/dblp},
  booktitle = {MUM},
  crossref = {conf/mum/2011},
  editor = {Dai, Qionghai and Jain, Ramesh and Ji, Xiangyang and Kranz, Matthias},
  ee = {http://doi.acm.org/10.1145/2107596.2107610},
  interhash = {ab4c5c918fd4e2066ffe85b3b500bac1},
  intrahash = {91f70ee47c58adf67c62f6bff442bff1},
  isbn = {978-1-4503-1096-3},
  keywords = {dblp},
  pages = {113-122},
  publisher = {ACM},
  title = {Carpe diem: exploring user experience and intimacy in eye-based video conferencing.},
  url = {http://dblp.uni-trier.de/db/conf/mum/mum2011.html#Vaananen-Vainio-MattilaSGSJ11},
  year = 2011
}

@inproceedings{conf/lics/VaananenK92,
  added-at = {2012-01-20T00:00:00.000+0100},
  author = {Kolaitis, Phokion G. and Väänänen, Jouko A.},
  biburl = {http://www.bibsonomy.org/bibtex/2139d67ab8fd24348049e799cdc483e51/dblp},
  booktitle = {LICS},
  crossref = {conf/lics/1992},
  ee = {http://dx.doi.org/10.1109/LICS.1992.185547},
  interhash = {1aa7f4e9deb60cb7d007ba7c5be29542},
  intrahash = {139d67ab8fd24348049e799cdc483e51},
  isbn = {0-8186-2735-2},
  keywords = {dblp},
  pages = {348-359},
  publisher = {IEEE Computer Society},
  title = {Generalized Quantifiers and Pebble Games on Finite Structures},
  url = {http://dblp.uni-trier.de/db/conf/lics/lics92.html#VaananenK92},
  year = 1992
}

@article{journals/iwc/KujalaRVKS11,
  added-at = {2011-12-06T00:00:00.000+0100},
  author = {Kujala, Sari and Roto, Virpi and Väänänen-Vainio-Mattila, Kaisa and Karapanos, Evangelos and Sinnelä, Arto},
  biburl = {http://www.bibsonomy.org/bibtex/2c1b4964245c98418ccf78706a7d0f416/dblp},
  ee = {http://dx.doi.org/10.1016/j.intcom.2011.06.005},
  interhash = {7f0984849bc92ad8338d25721a79e2f0},
  intrahash = {c1b4964245c98418ccf78706a7d0f416},
  journal = {Interacting with Computers},
  keywords = {dblp},
  number = 5,
  pages = {473-483},
  title = {UX Curve: A method for evaluating long-term user experience.},
  url = {http://dblp.uni-trier.de/db/journals/iwc/iwc23.html#KujalaRVKS11},
  volume = 23,
  year = 2011
}

@inproceedings{conf/ecce/OlssonILVV09,
  added-at = {2011-12-06T00:00:00.000+0100},
  author = {Olsson, Thomas and Ihamäki, Pirita and Lagerstam, Else and Ventä-Olkkonen, Leena and Väänänen-Vainio-Mattila, Kaisa},
  biburl = {http://www.bibsonomy.org/bibtex/2588a0bd1423dd4d62b33fc687b1dd2ce/dblp},
  booktitle = {ECCE},
  crossref = {conf/ecce/2009},
  editor = {Norros, Leena and Koskinen, Hanna and Salo, Leena and Savioja, Paula},
  ee = {http://portal.acm.org/citation.cfm?id=1690533&CFID=71818747&CFTOKEN=91476852},
  interhash = {d98100e6830b11fafcb07285404aabb9},
  intrahash = {588a0bd1423dd4d62b33fc687b1dd2ce},
  isbn = {978-951-38-6340-1},
  keywords = {dblp},
  pages = 19,
  publisher = {VTT Technical Research Centre of Finland / ACM},
  title = {User expectations for mobile mixed reality services: an initial user study.},
  url = {http://dblp.uni-trier.de/db/conf/ecce/ecce2009.html#OlssonILVV09},
  year = 2009
}

@article{journals/corr/abs-1102-1388,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Abramsky, Samson and Väänänen, Jouko A.},
  biburl = {http://www.bibsonomy.org/bibtex/2ba40b5dc3471f43d57ad70cb565e429b/dblp},
  ee = {http://arxiv.org/abs/1102.1388},
  interhash = {628090446134cd0cc94eb4441d1c0ebe},
  intrahash = {ba40b5dc3471f43d57ad70cb565e429b},
  journal = {CoRR},
  keywords = {dblp},
  title = {From IF to BI: a tale of dependence and separation},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1102.html#abs-1102-1388},
  volume = {abs/1102.1388},
  year = 2011
}

@inproceedings{conf/mhci/PaasovaaraPSHV11,
  added-at = {2011-11-19T00:00:00.000+0100},
  author = {Paasovaara, Susanna and Paldanius, Mikko and Saarinen, Petri and Häkkilä, Jonna and Väänänen-Vainio-Mattila, Kaisa},
  biburl = {http://www.bibsonomy.org/bibtex/22fc51edff3c1bb069d72323b2833ca4e/dblp},
  booktitle = {Mobile HCI},
  crossref = {conf/mhci/2011},
  editor = {Bylund, Markus and Juhlin, Oskar and Fernaeus, Ylva},
  ee = {http://doi.acm.org/10.1145/2037373.2037409},
  interhash = {1f2f80f2f922daad1d3c79e6fe6a3767},
  intrahash = {2fc51edff3c1bb069d72323b2833ca4e},
  isbn = {978-1-4503-0541-9},
  keywords = {dblp},
  pages = {231-240},
  publisher = {ACM},
  title = {The secret life of my dog: design and evaluation of paw tracker concept.},
  url = {http://dblp.uni-trier.de/db/conf/mhci/mhci2011.html#PaasovaaraPSHV11},
  year = 2011
}

@article{journals/tmm/ScheirerVH99,
  added-at = {2011-11-03T00:00:00.000+0100},
  author = {Scheirer, Eric D. and Väänänen, Riitta and Huopaniemi, Jyri},
  biburl = {http://www.bibsonomy.org/bibtex/2ca0d9a9e98aeb1b6eee4dcdb88fdc047/dblp},
  ee = {http://dx.doi.org/10.1109/6046.784463},
  interhash = {d384ec7a3e54aa999e0981713b07177f},
  intrahash = {ca0d9a9e98aeb1b6eee4dcdb88fdc047},
  journal = {IEEE Transactions on Multimedia},
  keywords = {dblp},
  number = 3,
  pages = {237-250},
  title = {AudioBIFS: Describing Audio Scences with MPEG-4 Multimedia Standard.},
  url = {http://dblp.uni-trier.de/db/journals/tmm/tmm1.html#ScheirerVH99},
  volume = 1,
  year = 1999
}

@article{journals/tit/MoisioV99,
  added-at = {2011-10-31T00:00:00.000+0100},
  author = {Moisio, Marko J. and Väänänen, Keijo O.},
  biburl = {http://www.bibsonomy.org/bibtex/29927e61b616cdc93c597fc07f8fb7a47/dblp},
  ee = {http://dx.doi.org/10.1109/18.761277},
  interhash = {725a0d865d83e2330f6d5c43b8f57afb},
  intrahash = {9927e61b616cdc93c597fc07f8fb7a47},
  journal = {IEEE Transactions on Information Theory},
  keywords = {dblp},
  number = 4,
  pages = {1244-1249},
  title = {Two Recursive Algorithms for Computing the Weight Distribution of Certain Irreducible Cyclic Codes.},
  url = {http://dblp.uni-trier.de/db/journals/tit/tit45.html#MoisioV99},
  volume = 45,
  year = 1999
}

@article{journals/cga/LokkiSVHT02,
  added-at = {2011-10-25T00:00:00.000+0200},
  author = {Lokki, Tapio and Savioja, Lauri and Väänänen, Riitta and Huopaniemi, Jyri and Takala, Tapio},
  biburl = {http://www.bibsonomy.org/bibtex/2eb4107d009a500068c1d90685744f59d/dblp},
  ee = {http://doi.ieeecomputersociety.org/10.1109/MCG.2002.1016698},
  interhash = {056816c10819fa128aa12a1dee88dc2d},
  intrahash = {eb4107d009a500068c1d90685744f59d},
  journal = {IEEE Computer Graphics and Applications},
  keywords = {dblp},
  number = 4,
  pages = {49-57},
  title = {Creating Interactive Virtual Auditory Environments.},
  url = {http://dblp.uni-trier.de/db/journals/cga/cga22.html#LokkiSVHT02},
  volume = 22,
  year = 2002
}

@inproceedings{conf/interact/RotoVVL11,
  added-at = {2011-09-02T00:00:00.000+0200},
  author = {Roto, Virpi and Vermeeren, Arnold P. O. S. and Väänänen-Vainio-Mattila, Kaisa and Law, Effie},
  biburl = {http://www.bibsonomy.org/bibtex/2c6ebbeafb55aa63d6c2e6965f163b080/dblp},
  booktitle = {INTERACT (4)},
  crossref = {conf/interact/2011-4},
  editor = {Campos, Pedro and Graham, T. C. Nicholas and Jorge, Joaquim A. and Nunes, Nuno Jardim and Palanque, Philippe A. and Winckler, Marco},
  ee = {http://dx.doi.org/10.1007/978-3-642-23768-3_129},
  interhash = {1603c0c6cb7031ae6f90075509b0172c},
  intrahash = {c6ebbeafb55aa63d6c2e6965f163b080},
  isbn = {978-3-642-23767-6},
  keywords = {dblp},
  pages = {714-715},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {User Experience Evaluation - Which Method to Choose?},
  url = {http://dblp.uni-trier.de/db/conf/interact/interact2011-4.html#RotoVVL11},
  volume = 6949,
  year = 2011
}

@inproceedings{conf/mhci/HarperSKGV04,
  added-at = {2011-07-07T00:00:00.000+0200},
  author = {Harper, Richard H. R. and Sellen, Abigail and Kindberg, Tim and Gosett, Phil and Väänänen-Vainio-Mattila, Kaisa},
  biburl = {http://www.bibsonomy.org/bibtex/202b4cfc0fa51c1a170f8f8226de98658/dblp},
  booktitle = {Mobile HCI},
  crossref = {conf/mhci/2004},
  editor = {Brewster, Stephen A. and Dunlop, Mark D.},
  ee = {http://dx.doi.org/10.1007/978-3-540-28637-0_76},
  interhash = {fa68e5628fefc0ebab8fbe209c493c41},
  intrahash = {02b4cfc0fa51c1a170f8f8226de98658},
  isbn = {3-540-23086-6},
  keywords = {dblp},
  pages = {536-537},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {The Myth of the 'Martini Solution'.},
  url = {http://dblp.uni-trier.de/db/conf/mhci/mhci2004.html#HarperSKGV04},
  volume = 3160,
  year = 2004
}

@inproceedings{conf/mhci/KoskelaVL04,
  added-at = {2011-07-07T00:00:00.000+0200},
  author = {Koskela, Tiiu and Väänänen-Vainio-Mattila, Kaisa and Lehti, Lauri},
  biburl = {http://www.bibsonomy.org/bibtex/22979b79749b786aff30094f8c317e2ed/dblp},
  booktitle = {Mobile HCI},
  crossref = {conf/mhci/2004},
  editor = {Brewster, Stephen A. and Dunlop, Mark D.},
  ee = {http://dx.doi.org/10.1007/978-3-540-28637-0_7},
  interhash = {50382398669aaba78d812e2e602f772d},
  intrahash = {2979b79749b786aff30094f8c317e2ed},
  isbn = {3-540-23086-6},
  keywords = {dblp},
  pages = {74-85},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Home Is Where Your Phone Is: Usability Evaluation of Mobile Phone UI for a Smart Home.},
  url = {http://dblp.uni-trier.de/db/conf/mhci/mhci2004.html#KoskelaVL04},
  volume = 3160,
  year = 2004
}

@article{journals/apal/KolaitisV95,
  added-at = {2011-07-01T00:00:00.000+0200},
  author = {Kolaitis, Phokion G. and Väänänen, Jouko A.},
  biburl = {http://www.bibsonomy.org/bibtex/26a2687b7e6d85b066f9e07e8b4c742e9/dblp},
  ee = {http://dx.doi.org/10.1016/0168-0072(94)00025-X},
  interhash = {5de5227b62910df73048ac7893ae93f5},
  intrahash = {6a2687b7e6d85b066f9e07e8b4c742e9},
  journal = {Ann. Pure Appl. Logic},
  keywords = {dblp},
  number = 1,
  pages = {23-75},
  title = {Generalized Quantifiers and Pebble Games on Finite Structures.},
  url = {http://dblp.uni-trier.de/db/journals/apal/apal74.html#KolaitisV95},
  volume = 74,
  year = 1995
}

@article{journals/apal/KrynickiV89,
  added-at = {2011-07-01T00:00:00.000+0200},
  author = {Krynicki, Michal and Väänänen, Jouko A.},
  biburl = {http://www.bibsonomy.org/bibtex/2684d9c2d7372a77e6972aed6514ab194/dblp},
  ee = {http://dx.doi.org/10.1016/0168-0072(89)90071-7},
  interhash = {bf5c1a44a82cdd0a73b93882edca4163},
  intrahash = {684d9c2d7372a77e6972aed6514ab194},
  journal = {Ann. Pure Appl. Logic},
  keywords = {dblp},
  number = 3,
  pages = {273-292},
  title = {Henkin and Function Quantifiers.},
  url = {http://dblp.uni-trier.de/db/journals/apal/apal43.html#KrynickiV89},
  volume = 43,
  year = 1989
}

@article{journals/apal/OikkonenV93,
  added-at = {2011-07-01T00:00:00.000+0200},
  author = {Oikkonen, Juha and Väänänen, Jouko A.},
  biburl = {http://www.bibsonomy.org/bibtex/2b7f1ed6b68402aa563e4d3b794016dcc/dblp},
  ee = {http://dx.doi.org/10.1016/0168-0072(93)90014-5},
  interhash = {fbee22524e1472549d0427e0b70a9d13},
  intrahash = {b7f1ed6b68402aa563e4d3b794016dcc},
  journal = {Ann. Pure Appl. Logic},
  keywords = {dblp},
  number = 3,
  pages = {265-306},
  title = {Game-Theoretic Inductive Definability.},
  url = {http://dblp.uni-trier.de/db/journals/apal/apal65.html#OikkonenV93},
  volume = 65,
  year = 1993
}

@article{journals/apal/TodorcevicV99,
  added-at = {2011-07-01T00:00:00.000+0200},
  author = {Todorcevic, Stevo and Väänänen, Jouko A.},
  biburl = {http://www.bibsonomy.org/bibtex/2f301ab7b86e30664054cc1dd0864f8f1/dblp},
  ee = {http://dx.doi.org/10.1016/S0168-0072(98)00064-5},
  interhash = {7e1eb6c84b02b8ee4238fd9b009d068f},
  intrahash = {f301ab7b86e30664054cc1dd0864f8f1},
  journal = {Ann. Pure Appl. Logic},
  keywords = {dblp},
  number = {1-3},
  pages = {69-97},
  title = {Trees and Ehrenfeucht-Fraïssé Games.},
  url = {http://dblp.uni-trier.de/db/journals/apal/apal100.html#TodorcevicV99},
  volume = 100,
  year = 1999
}