Kaisa Sere

Q: What Schools Are Affiliated With Kaisa Sere

Kaisa Sere is affiliated with the following schools: Tampere University, University of Eastern Finland, Aalto University, Åbo Akademi University, University of Oulu, University of Helsinki

Kaisa Sere's AcademicInfluence.com Rankings

Kaisa Sere

Computer Science

#3507

World Rank

#3680

Historical Rank

Computational Linguistics

#3040

World Rank

#3076

Historical Rank

Machine Learning

#5544

World Rank

#5618

Historical Rank

Artificial Intelligence

#5984

World Rank

#6076

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Kaisa Sere's Degrees

PhD Computer Science Aalto University
Masters Computer Science University of Helsinki
Bachelors Computer Science University of Helsinki

Similar Degrees You Can Earn

Why Is Kaisa Sere Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Kaisa Sere was a Finnish computer scientist, specialising in research into formal methods. Kaisa Sere was born 3 June 1954 in Gamlakarleby. She received an MSc in mathematics in 1979 and a PhD in computer science in 1990, both from Åbo Akademi University in Turku, southern Finland. She undertook formal methods research in action systems, distributed systems, hardware design, neural networks, and program refinement. She undertook joint research with Ralph-Johan Back and was involved in many collaborative European research projects. She also supervised 19 PhD students.

(See a Problem?)

Kaisa Sere's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Stepwise Refinement of Action Systems (1989) (204)
Neural networks and genetic algorithms for bankruptcy predictions (1996) (203)
Choosing Bankruptcy Predictors Using Discriminant Analysis, Logit Analysis, and Genetic Algorithms (1996) (175)
Stepwise Refinement of Parallel Algorithms (1990) (101)
From Action Systems to Modular Systems (1994) (91)
Superposition refinement of reactive systems (1996) (86)
Managing Complexity in Large Data Bases Using Self-Organizing Maps (1996) (84)
FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings (2008) (81)
Program Development by Refinement: Case Studies Using The B Method (1998) (78)
Hybrid action systems (2003) (55)
An Approach to Object-Orientation in Action Systems (1998) (53)
Reasoning about Action Systems using the B-Method (1998) (53)
A Theory of Prioritizing Composition (1996) (51)
An Action System Approach to the Steam Boiler Problem (1995) (49)
Program Development by Refinement (1999) (40)
Action Systems with Synchronous Communication (1994) (36)
Action systems in pipelined processor design (1997) (36)
Data Refinement of Remote Procedures (2000) (32)
Safety Analysis in Formal Specification (1999) (31)
Superposition Refinement of Parallel Algorithms (1991) (25)
Dependability and Computer Engineering: Concepts for Software-Intensive Systems (2011) (24)
Formal development of wireless sensor-actor networks (2014) (22)
A formalism for context-aware mobile computing (2004) (22)
The Effect of Sample Size on Different Failure Prediction Methods (1998) (21)
Towards an integrated architecture for peer-to-peer and ad hoc overlay network applications (2004) (21)
FM 2008: Formal Methods (2008) (19)
Refining Action Systems within B-Tool (1996) (18)
Specifying the Caltech Asynchronous Microprocessor (1996) (17)
Competitive financial benchmarking using self-organizing maps (1997) (17)
A Formal Model of Context-Awareness and Context-Dependency (2006) (16)
Developing Object-based Distributed Systems (1999) (16)
Free text retrieval on transputer networks (1989) (15)
Formal Modeling of Multicast Communication in 3D NoCs (2011) (15)
Refinement-Based Modeling of 3D NoCs (2011) (14)
Self-Recovering Sensor-Actor Networks (2010) (14)
A topological approach to distributed computing (1999) (14)
Developing Control Systems Components (2000) (13)
Coordination in the ImpUNITY Framework (1996) (13)
Refinement-Based Development of Timed Systems (2012) (13)
Data Refinement and Remote Procedures (1997) (13)
Coordination Among Mobile Objects (1999) (12)
Derivation of concurrent programs by stepwise scheduling of Event-B models (2014) (12)
Modeling Communication in Multi-Processor Systems-on-Chip Using Modular Connectors (2010) (11)
Reverse Engineering Distributed Algorithms (1996) (11)
Analysing Bankruptcy Data with Multiple Methods (1998) (11)
Hazard Analysis in Formal Specification (1999) (11)
Refinement and Continuous Behaviour (1999) (11)
Action Systems Synthesis of DI Circuits (1998) (11)
Asynchronous Java accelerator for embedded Java virtual machine (2004) (11)
A Language for Modeling Network Availability (2006) (10)
Distributed service composition (1999) (10)
Specification Metrics for Event-B Developments (2010) (10)
Integrating Action Systems and Z in a Medical System Specification (1996) (9)
Choosing the Best Set of Bankruptcy Predictors (1995) (9)
Stepwise Development of Peer-to-Peer Systems (2003) (9)
Determining the number of dimensions underlying customer-choices with a competitive neural network (1996) (9)
Towards Sustainable Development of Energy-Aware Systems (2010) (8)
Asynchronous system synthesis (2005) (8)
Data modelling in ZIM (1996) (8)
Formal Analysis and Verification of Peer-to-Peer Node Behaviour (2011) (7)
Program Transformations And Refinements In HOL (1991) (7)
Coordinating action systems (1997) (7)
Implementation Issues Concerning the Action Systems Formalism (2007) (7)
Design with Asynchronously Communicating Components (2002) (7)
Intelligent IS within business: bankruptcy predictions using neural networks (1995) (7)
Formal Modular Modelling of Context-Awareness (2009) (6)
Distributed Object-Based Control Systems (1999) (6)
Node Coordination in Peer-to-Peer Networks (2012) (6)
An Action System Specification of the Caltech Asynchronous Microprocessor (1995) (5)
Concurrent Scheduling of Event-B Models (2011) (5)
Delay-Insensitive Circuits and Action Systems (1996) (5)
Verification of a Distributed Algorithm due to Chu (1994) (5)
Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems (2012) (5)
Refinement of Structured Interactive Systems (2014) (5)
Stepwise Removal of Virtual Channels in Distributed Algorithms (1987) (4)
Formal approach to agent-based dynamic reconfiguration in Networks-On-Chip (2013) (4)
Procedures and Atomicity Refinement (1996) (3)
Reconngurable Hardware | a Case Study in Codesign (1998) (3)
Dependability Aspects of Ubiquitous Computing (2007) (3)
Formal Communication Modeling and Refinement (2005) (3)
Proceedings of the Third International Conference on Integrated Formal Methods (2002) (3)
Development of Controllers Using Simulink and Contract-Based Design (2012) (2)
Structuring and Verifying Distributed Algorithms (2001) (2)
Integrated formal methods : third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings (2002) (2)
A distributed design of a network recovery algorithm (2013) (2)
CorreComm: A formal hierarchical framework for communication designs (2011) (2)
Network Availability for Distributed Applications (2012) (2)
On-chip Debug for an Asynchronous Java Accelerator (2005) (2)
Reconfigurable Hardware - A Study in Codesign (1998) (2)
Modelling Intelligent Information Systems for Auditing (1996) (2)
Component-Based Asynchronous Circuit Design in B (2000) (2)
Verification of a distributed algorithm (abstract) (1994) (2)
Towards Rigorous Engineering of Resilient Pervasive Systems (2008) (2)
Superposition Re nement of Reactive Systems (1993) (2)
A Framework for Incorporating Trust into Formal Systems Development (2007) (2)
A Theory of Service Dependency (2016) (1)
Generation of Structural VHDL Code with Library Components from Formal Event-B Models (2013) (1)
Handshaking Expansion as Action System Refinement (1996) (1)
Location-Awareness with Action Systems (2012) (1)
Model-Based Analysis Tools for Component Synthesis (2010) (1)
Towards correct and reusable Network-on-Chip architectures (2015) (1)
Coordination-Based Design of Distributed Systems (2000) (1)
A formal approach to H.264 video decoding on multicore systems (2013) (1)
SkyMin: A Massive Peer-to-Peer Storage System (2004) (1)
Towards Event-B Specification Metrics (2010) (1)
A formalization of superposition refinement (1993) (1)
Proceedings of the 15th international symposium on Formal Methods (2008) (1)
Mechanising proofs of program transformaton rules (1991) (1)
Deriving Distributed Systems using B-Method (1996) (0)
Tucs General Publication (2004) (0)
Guest Editors' Foreword (2004) (0)
Location-aware resource availability (2013) (0)
Derivation of concurrent programs by stepwise scheduling of Event-B models (2012) (0)
Communication in Processor Farms: a Case Study in Reactive Systems Renement (1994) (0)
7 Conclusions and Further Research Acknowledgements We like to Thank the Calculi for Distributed Program Construction Club Headed by Lambert Meertens and Doaitse Swierstra and the Formal Models Club at Utrecht University. We Also Want to Acknowledge (2007) (0)
Implementing a Self-Timed Low-Power Java Accelerator for Network-on-Chip Applications (2006) (0)
Integrated Formal Methods 2002 (2002) (0)
Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time Systems (2013) (0)
Software Architectures for Coordinated Distributed Systems (1999) (0)
Refinement of Parallel Algorithms (2008) (0)
Determining the Number of Dimensions UnderlyingCustomer-choices with a Competitive Neural (2007) (0)
Stepwise Refinement of Reactive Processor Farms (1991) (0)
Toward Self-Placing Applications on 2D and 3D NoCs (2011) (0)
Contract-based design in controller development and its evaluation (2009) (0)

This paper list is powered by the following services:

Other Resources About Kaisa Sere

What Schools Are Affiliated With Kaisa Sere?

Kaisa Sere is affiliated with the following schools:

Kaisa Sere's Academic­Influence.com Rankings

Kaisa Sere's Degrees

Similar Degrees You Can Earn

Why Is Kaisa Sere Influential?

Kaisa Sere's Published Works

Published Works

Other Resources About Kaisa Sere

What Schools Are Affiliated With Kaisa Sere?

Kaisa Sere's AcademicInfluence.com Rankings