Skip to search formSkip to main contentSkip to account menu

Kaisa Sere

Kaisa Sere (1954 – 5 December 2012) was a Finnish computer scientist, specialising in research into formal methods. Kaisa Sere was born in Kokkola… 
Wikipedia (opens in a new tab)

Related topics

Related topics

4 relations
Computer scienceFormal methodsLecture Notes in Computer ScienceRalph-Johan Back

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2016
Review
2016
Knowledge sharing and individual work performance: an empirical study of a public sector organisation
Purpose The purpose of this study is to examine whether individual-level knowledge sharing (in terms of attitudes… 
2012
2012
Effect of Anode off‐gas Recycling on Reforming of Natural Gas for Solid Oxide Fuel Cell Systems
The effect of anode off‐gas recycling (AOGR) on the characteristic performance of a natural gas reformer equipped with a precious… 
2011
2011
Thermodynamic and structural description of allosterically regulated VEGF receptor 2 dimerization
Maurice S. Brozzo, Saša Bjelić, Kaisa Kisko, Thomas Schleier, Veli-Matti Leppänen, Kari Alitalo, Fritz K. Winkler and Kurt… 
2010
2010
Leaf stoichiometric trait and specific leaf area of dominant species in the secondary succession of the Loess Plateau
Ecological stoichiometry is the study of the balance of multiple chemical elements in ecological interactions. Terrestrial plants… 
Highly Cited
2006
Highly Cited
2006
Co-variations in litter decomposition, leaf traits and plant growth in species from a Mediterranean old-field succession
Summary 1A growing consensus is developing that the impact of species on ecosystem properties is mediated, at least partially… 
2006
2006
Moisture Buffering in the Indoor Environment
Moisture buffering in the indoor environment is the ability, through absorption and desorption, of surface materials to attenuate… 
2005
2005
Foltok detektálása mammogrammokon textúra-analízis segítségével
A nok daganatos megbetegedesei kozott az egyikleggyakoribb az emlorak [1]. Statisztika szerint mindennyolcadik noben elete soran… 
2003
2003
Spike detection and correction in Brewer spectroradiometer ultraviolet spectra
The occurrence of spikes in Brewer UV spectra is studied. Use is made of continuous measurement data over several years, com… 
Highly Cited
1993
Highly Cited
1993
Change in pattern diversity during secondary succession in Estonian forests
Comparisons of observed variance in species diver- sity (exp H') and in species richness with expectation assum- ing a random and… 
Highly Cited
1963
Highly Cited
1963
Plant Biomass and Productivity of Prairie, Savanna, Oakwood, and Maize Field Ecosystems in Central Minnesota
JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)