Searching for authors named "Kaisa Sere" – sorted by Relevance.
-
Stepwise Refinement of Reactive Processor Farms
- Utrecht The Netherlands ISSN: '024-75 Stepwise Refinement of Reactive Processor Farms Kaisa Sere
- Cited by 1 (0 self) – Add To MetaCart
-
Superposition Refinement of Reactive Systems
- Superposition Refinement of Reactive Systems R.J.R. Back K. Sere Abo Akademi University
- Cited by 28 (7 self) – Add To MetaCart
-
Reconfigurable Hardware - A Case Study in Codesign
- Reconfigurable Hardware --- A Case Study in Codesign Samuel Holmstrom Kaisa Sere Turku Centre
- Cited by 2 (1 self) – Add To MetaCart
-
Refinement and Continuous Behaviour
- Sekerinski for helpful discussions. The work of Kaisa Sere is supported by the Academy of Finland. References
- Cited by 2 (1 self) – Add To MetaCart
-
Handshaking Expansion as Action System Re nement
- , Department of Computer Science, Lemminkaisenkatu 14, FIN-20520 Turku, Finland Kaisa Sere Abo Akademi
- Add To MetaCart
-
A Language for Modeling Network Availability
- Luigia Petre | Kaisa Sere | Marina Waldén A Language for Modeling Network Availability TUCS
- Add To MetaCart
-
Peer-to-Peer Networking with
- ) and Department of Computer Science, ˚Abo Akademi University, FIN-20520 Turku, Finland. Kaisa Sere Department
- Add To MetaCart
-
Action Systems Synthesis of DI Circuits
- Lemminkäisenkatu 14, FIN-20520 Turku, Finland Kaisa Sere Åbo Akademi University, Department of Computer Science
- Cited by 4 (3 self) – Add To MetaCart
-
Coordination Among Mobile Objects
- Akademi University, FIN-20520, Turku, Finland. Kaisa Sere Department ofComputerScience, Abo Akademi
- Cited by 6 (4 self) – Add To MetaCart
-
Competitive Financial Benchmarking Using Self-Organizing Maps
- Kaisa Sere 3 Hannu Vanharanta 4 Abstract In financial benchmarking, the first step is financial
- Cited by 4 (1 self) – Add To MetaCart

