Tietojenkäsittelytieteiden lisensiaatintutkimukset

Alla on lueteltu Tampereen yliopistossa tietojenkäsittelytieteissä hyväksytyt lisensiaattitutkimukset.

2008

Outi Räihä, Genetic synthesis of software architecture. Electronically available

2007

Sailesh Sathish, Delivery Context Access for the Mobile Web. Electronically available

2006

Taina Kaapu, Fenomenografinen luokittelu kuluttajien yksityisyyskäsityksistä sähköisessä kaupassa. Saatavana elektronisessa muodossa.
Jukka Ollikainen, Tunnisteiden vertailumenetelmistä DNA-identifikaatiotutkimuksesssa.

2004

Marketta Paukkunen, Perehdyttäminen uuteen tietojärjestelmään ja tietotekniikan alkeisiin - miten ihmisiä tulisi kouluttaa, jotta tietojenkäsittelyn edistäminen ja käyttöönotto työpaikoilla ja kodeissa tapahtuisi ihmisen eikä tekniikan ehdoilla. Saatavana elektronisessa muodossa
Jaakko Riihimaa SMEs and ICTS-innovations.
Anneli Seppinen, Opettajat ja opiskelijat tietokoneen peruskäyttäjinä ammattikorkeakouluorganisaatiossa.
Sari Walldén, Käyttäjäkeskeinen supertekstitelevision suunnittelu - käytettävyys ja metodit. Saatavana elektronisessa muodossa

2003

Jussi Ylänen, Projektitoimintavalmiuksien opetus ja kehittäminen - tarkastelussa ammattikorkeakoulujen tietojenkäsittelyn koulutusohjelmat.

2002

Juha Hautamäki, Task-driven framework specialization: goal-oriented approach. Electronically available
Marko Junkkari, Set-theoretic representations for analyzing hierarchical concept structures.

2001

Timo Poranen, Depth-first search, genetic algorithms and set manipulation: Methods for solving graph-theoretic problems.

2000

Tapio Niemi, Intensional concept theory and its applications in databases.
Torsti Rantapuska, End-user application developers as innovators in learning organisations.
Martti Stenberg, Tiedosta osaamiseen - Työntekijöiden osaamistarpeet.

1999

Isto Aho, Interactive knapsacks.
Hannu Lahtinen, Kotitietokoneen hankinta.

1998

Lauri Forsman, Re-engineering end-user support in distributed organizatonal computing.
Markopekka Niinimäki, Käsitteellinen mallintaminen, ekstensionaaliset ja intentionaaliset käsitekielet.
Tero Saarimaa, Teams and reuse in object-oriented software development.

1997

Tarja Kuosa, Tietojärjestelmäammattilaisen tulevaisuudenkäsitykset.
Saila Ovaska, Ryhmäeditorin käytettävyys suunnittelukokouksessa.
Roope Raisamo, Suorakäyttöisyyden lisääminen piirto-ohjelman toiminnoissa kaksikätisellä vuorovaikutuksella. Saatavana elektronisessa muodossa.
Tarja Systä, Automated support for constructing OMT scenarios and state diagrams in SCED.

1996

Maarit Niittymäki, Automated Construction of Source-to-Source Translators.
Harri Siirtola, Monimutkaisten ER-kaavioiden tietokoneavusteinen käsittely.
Kimmo Vättö, Oliotietokantajärjestelmät ja niiden soveltuminen tehtäväkriittiseen ympäristöön.

1995

Aulikki Hyrskykari, Algoritmien animaatiokehittimen suunnitelu ja toteutus.
Ari Juutistenaho, Linear time algorithms for layout of graphs with variable-sized vertices.
Esa Järnvall, Olioperustainen kielitoteutusjärjestelmä TaLE.
Janne Syväniemi, ERMUG-kielioppi ja sen käyttö luonnollisen kielen tietokantaliittymän kuvausvälineenä.

1994

Carl-Erik Wikström, An investigation of factors influencing the success of customer-oriented marketing information systems.

1993

Kari Nieminen, A bi-directional model from an equation to mathematical word problems.

1992

Eero Lähteenmäki, Strateginen tarkstelu tietotekniikan mahdollisuuksista yrityksen tekstitiedon hallinnassa.

1991

Esa Helttula, Manipulating disjoint sets: algorithms, testing, and animation.
Ossi Numminen, Analysis of the COMIC-system: A case tool approach.
Pirkko Nykänen, A framework for evaluation of decision support systems in medicine.
Matti Pettersson, Specifying the user interface.
Marja Vehviläinen, Social construction of information systems. An office workers' standpoint.

1989

Tauno Kankaanpää, Aktiosysteemit reaktiivisten rinnakkaisjärjestelmien suunnittelumenetelmänä.

1985

Pentti Hietala, A tool for teaching program verification.
Kalervo Järvelin, A systematic approach to modelling the costs of flat files.

1984

Markku Koskinen, Kehittyneen avainsanakäsittelyn määrittely prestel-tyyppiselle videotex-järjestelmälle.

1982

Hannu Jaakkola, Kyselykielen suunnittelu System D -järjestelmää käyttäen.
Erkki Mäkinen, Vasemmista Szilardin kielistä ja kielioppien samankaltaisuudesta.

1981

Timo Niemi, Yksinkertaiseen ja hierarkiseeen tietorakennemalliin perustuvien tietorakenteiden muuttamisen semantiikan määrittely.
Airi Salminen, Makronkäsittelijät.

1980

Juha Heinänen, Dynaamisesti mikro-ohjelmoitavan tietokoneen ja sen ohjelmointikielen suunnittelu.
Martti Karjalainen, Laitteistonläheisen mikro-ohjelmointikielen suunnittelu Ukko-tietokoneelle.

1978

Hannu Kangassalo, Informaatiotarpeen määrittelemisestä ja tyydyttämisestä.

1974

Seppo Laube-Pohto, On automatic property analysis of assembler language programs.
Heikki Sinervo, Erään kuljetusongelman ratkaiseminen p-mediaaniongelmaa yleistäen.

1973

Kyösti Korpiharju, A scheduling problem consisting of parallel jobs and machines in a stock factory.
Vesa Savolainen, Samankokoisten suorasaantitiedostojen järjestyksen optimoinnista.