[Sökformulär] [Info om databasen] [Söktips]

Biblio: söktermen namn=('Sere, Kaisa') gav 25 träffar

1. Sere, Kaisa / Institutionen för informationsbehandling
  Free text retrieval on transporter networks / M. Waldén and K. Sere.
- Ingår i: Microprocessors and microsystems, ISSN 0141-9331, (1989) s. 179-187.

2. Sere, Kaisa / Institutionen för informationsbehandling
  The Hathi project : a research project on parallel programming technology 1986-1988 (final report) / M. Aspnäs, R. J. R. Back, K. Sere. - Åbo : Åbo Akademi, 1989. - 55 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 95).
ISBN 951-649-654-7
UDK 681.3
3. Sere, Kaisa / Institutionen för informationsbehandling
  Stepwise refinement of action systems / R. J. R. Back, K. Sere. - Åbo : Åbo Akademi, 1989. - 22 blad : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 78). Även i: van de Snepscheut (ed.), Mathematics of program construction. 375 anniversary of the Groningen university international conference, Groningen, The Netherlands 29-30 June 1989. Proceedings s 115-138.
ISBN 951-649-593-1
UDK 51
4. Sere, Kaisa / Institutionen för informationsbehandling
  Laws of action system programming / Kaisa Sere. - Åbo : Åbo Akademi, 1990. - 43 blad - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 100).
ISBN 951-649-702-0
UDK 681.3, 51
5. Sere, Kaisa / Institutionen för informationsbehandling
  Deriving an occam implementation of action systems / R. J. R. Back, K. Sere. - Åbo : Åbo Akademi, 1990. - 24 bl. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik, ISSN 0358-0563 ; no 99).
ISBN 951-649-685-7 (nid.)
UDK 51
6. Sere, Kaisa / Institutionen för informationsbehandling
  Stepwise derivation of parallel algorithms / by Kaisa Sere. - Åbo : Åbo Akademi , 1990. - 130 s. : diagr. Diss.: Åbo Akademi.
ISBN 951-649-748-9
UDK 51
7. Sere, Kaisa / Institutionen för informationsbehandling
  Stepwise refinement of parallel algorithms / R. J. R. Back, K. Sere.
- Ingår i: Science of computer programming, ISSN 0167-6423, 13 (1990) 2-3, s. 133-188. Tidigare publ. i: Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 64.

8. Sere, Kaisa / Institutionen för informationsbehandling
  Centipede : formaalin ohjelmakehityksen ympäristö / Kaisa Sere, Ralph-Johan Back.
- Ingår i: Rinnakkaisjärjestelmät 1988...1991 : ohjelmistoteknologian ohjelma FINSOFT / toim. Atte Kortekangas. - Hki : TEKES, 1991, s. 123-125.
ISBN 951-47-1910-7
9. Sere, Kaisa / Institutionen för informationsbehandling
  Communication in processor farms : a case study in reactive systems refinement / Kaisa Sere. - Åbo : Åbo Akademi, 1991. - 18 bl. : diagr. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 122).
ISBN 951-649-855-8
UDK 681.3
10. Sere, Kaisa / Institutionen för informationsbehandling
  Deriving an occam implementation of action systems / R. J. R. Back and K. Sere.
- Ingår i: 3rd Refinemnt Workshop : proceedings of the 3rd refinement workshop (organised by BCS-FACS, and sponsored by IBM UK laboratories, Hursley Park and the Programming Research Group, University of Oxford), 9-11 January 1990, Hursley Park. - London : Springer, 1991, s. 9-30. - (Works in computing).
ISBN 3-540-19624-2
11. Sere, Kaisa / Institutionen för informationsbehandling
  Mechanising proofs of program transformation rules / K. Sere, J von Wright. - Utrecht : Utrecht University. Department on Computer Science, 1991. - 21 s. - (Technical report RUU-CS ; 91, 11).

12. Sere, Kaisa / Institutionen för informationsbehandling
  Mechanising proofs of program transformation rules / K. Sere and J. von Wright.
- Ingår i: Proceedings of the 2nd symposium on programming language and software tools / Kai Koskimies and Kari-Jouko Räihä (eds.). - Tampere : University of Tampere, 1991, s. 103-117. - (Series of publikations/University of Tampere. Department of computer science. A., ISSN 0783-6910 ; 1991, 5).

13. Sere, Kaisa / Institutionen för informationsbehandling
  Rinnakkaisohjelmien astettain tarkentaminen / Kaisa Sere, Ralph-Johan Back.
- Ingår i: Rinnakkaisjärjestelmät 1988...1991 : ohjelmistoteknologian ohjelma FINSOFT / toim. Atte Kortekangas. - Hki : TEKES, 1991, s. 116-122.
ISBN 951-47-1910-7
14. Sere, Kaisa / Institutionen för informationsbehandling
  Stepwise refinement of action system / R. J. R. Back, K. Sere.
- Ingår i: Structured programming, ISSN 0935-1183, 12 (1991) s. 17-30.

15. Sere, Kaisa / Institutionen för informationsbehandling
  Stepwise refinement of reactive processor farms / Kaisa Sere.
- Ingår i: Protocol specification, testing and verification : proceedings of the IFIP WG 6.1. eleventh international symposium on protocol specifikation, testing and verification, Stockholm, Sweden, 18-20 June, 1991 / ed. by Bengt Jonsson, Joachom Parrow, Björn Pehrson. - North-Holland : Elsevier, 1991, s. 109-124.
ISBN 0-444-89210-9
16. Sere, Kaisa / Institutionen för informationsbehandling
  Stepwise refinement of reactive processor farms / K. Sere. - Utrecht : Utrecht University. Department on Computer Science, 1991. - 21 s. - (Technical report RUU-CS ; 91, 17).

17. Sere, Kaisa / Institutionen för informationsbehandling
  Superposition refinement of parallel algorithms / R. J. R. Back, K. Sere. - Utrecht : Utrecht University. Department on Computer Science, 1991. - 20 s. : ill. - (Technical report RUU-CS ; 91, 34).

18. Sere, Kaisa / Institutionen för informationsbehandling
  Tarkennuskalkyyli formaalin ohjelmankehityksen perustana / Kaisa Sere and Ralph-Johan Back.
- Ingår i: Rinnakkaisjärjestelmät 1988...1991 : ohjelmistoteknologian ohjelma FINSOFT / toim. Atte Kortekangas. - Hki : TEKES, 1991, s. 107-112.
ISBN 951-47-1910-7
19. Sere, Kaisa / Institutionen för informationsbehandling
  Centipede : a program refinement environment / R. J. R. Back, J. Hekanaho, K. Sere. - Åbo : Åbo akademi, 1992. - 21 s. : ill. - (Reports on computer science and mathematics, ISSN 1235-7502 ; no 139).
ISBN 951-650-123-0
20. Sere, Kaisa / Institutionen för informationsbehandling
  A formalization of superposition refinement / K. Sere. - Åbo : Åbo Akademi, 1992. - 26 bl. : ill. - (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; no 134).
ISBN 951-650-072-2
21. Sere, Kaisa / Institutionen för informationsbehandling
  Superposition refinement of parallel algorithms / R. J. R. Back and K. Sere.
- Ingår i: Formal description techniques, IV : IV: proceedings of the IFIP TC6/WG 6.1 Fourth international conference on formal description techniques for distribution system and communication protocols, FORTE '91, Sydney, Australia, 19-22 November 1991 / ed. by K. R. Parker, G. A. Rose. - Amsterdam : North-Holland, 1992, s. 475-494. - (IFIP transactions. C, communication system, ISSN 0926-549X ; C-2).
ISBN 0-444-89402-0
22. Sere, Kaisa / Institutionen för informationsbehandling
  A comparative study of neural networks in bankruptcy prediction / B. Back ... [et al.].
- Ingår i: Multiple paradigms for artificial intelligence : proceedings of contributed session papers / Conference on Artificial Intelligence Research in Finland, Suomen tekoälytutkimuksen päivät STeP-94, Turku Technology Center, 29-31 August 1994, Turku ; edited by Christer Carlsson, Timo Järvi and Tapio Reponen. - [Turku] : Åbo Akademi University, 1994, s. 140-148. - (Publications of the Finnish Artificial Intelligence Society (FAIS)).
ISBN 951-96735-3-9
23. Sere, Kaisa / Institutionen för informationsbehandling / Projekt
  Data refinement of remote procedures / K. Sere, M. Waldén.
- Ingår i: Theoretical aspects of computer software : third International Symposium, TACS '97, Sendai, Japan, September 23-6, 1997 : proceedings / Martín Abadi, Takayaso Ito (eds.). - Berlin : Springer, cop. 1997, s. 267-294. - (Lecture notes in computer science ; 1281). Kongress: International Symposium on Theorethical Aspects of Computer Software (3 : 1997 : Sendai).
ISBN 3-540-63388-X
24. Sere, Kaisa / Institutionen för informationsbehandling
  Intelligent information systems within business, bankruptcy predicitons using neural networks / B. Back ... [et al.].
- Ingår i: Proceedings of the 3rd European Conference on Information Systems, ECIS '95, Athens, Greece, June 1-3 1995 / editors Georgios Doukidis ... [et al.]. - Athens : Print Xpress, cop. 1995, s. 99-111.
ISBN 960-306-128-X
25. Sere, Kaisa / Institutionen för informationsbehandling
  Neural networks and bankruptcy prediction : funds flows, accrual ratios and accounting data / Barbro Back, Teija Laitinen, Kaisa Sere. - [Turku] : [Turku School of Economics and Business Administration], 1995. - 27 s. : ill. - (Turun kauppakorkeakoulun julkaisuja. Sarja A, ISSN 0357-4652 ; 1995, 4). Även i: Proceedings of 300 Jahre Universität Halle-Konferenz, Decision support systems and informations management, Halle, Germany, September-94.
ISBN 951-738-686-9