Concepedia

Kaisa Sere

KS

25

Publications

1.1K

Citations

16

H-Index

1989

Active since

Affiliations

Åbo Akademi University(Current)

Turku Centre for Computer Science

University of Eastern Finland

Turku University of Applied Sciences

University of Turku

Kaisa Sere is an author at Åbo Akademi University specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsParallel ComputingFormal VerificationSystems EngineeringBusinessSystem SoftwareComputer EngineeringFinance

Publications per year

1989–2012

25

Publications

25

Neural networks and genetic algorithms for bankruptcy predictions

Barbro Back, Teija Laitinen, Kaisa Sere · Expert Systems with Applications · 1996 · 193 citations

Intelligent Forecasting, Accounting, Predictive Analytics +8

Choosing Bankruptcy Predictors Using Discriminant Analysis, Logit Analysis, and Genetic Algorithms

Barbro Back, Teija Laitinen, Kaisa Sere et al. · 1996 · 140 citations

Engineering, Financial Data, Feature Selection +20

Superposition refinement of reactive systems

R. J. R. Back, Kaisa Sere · Formal Aspects of Computing · 1996 · 99 citations · Full text

Stepwise refinement of action systems

Ralph‐Johan Back, Kaisa Sere · Lecture notes in computer science · 1989 · 99 citations

Stepwise refinement of parallel algorithms

R. J. R. Back, Kaisa Sere · Science of Computer Programming · 1990 · 86 citations

Engineering, Stepwise Refinement, Parallel Complexity Theory +7

Rows per page

1–5 of 25