Searching for authors named "Kaisa Sere" – sorted by Relevance.
32 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
