×

zbMATH — the first resource for mathematics

Sere, Kaisa

Compute Distance To:
Author ID: sere.kaisa Recent zbMATH articles by "Sere, Kaisa"
Published as: Sere, K.; Sere, Kaisa
Documents Indexed: 25 Publications since 1990, including 3 Books
Biographic References: 1 Publication

Publications by Year

Citations contained in zbMATH

15 Publications have been cited 52 times in 38 Documents Cited by Year
Stepwise refinement of parallel algorithms. Zbl 0705.68057
Back, R. J. R.; Sere, K.
12
1990
Superposition refinement of reactive systems. Zbl 0852.68008
Back, R. J. R.; Sere, K.
9
1996
Hybrid action systems. Zbl 1019.68054
Rönkkö, Mauno; Ravn, Anders P.; Sere, Kaisa
8
2003
Program development by refinement. Case studies using the B method. Zbl 0930.68087
Sekerinski, Emil (ed.); Sere, Kaisa (ed.)
4
1999
Superposition refinement of parallel algorithms. Zbl 0785.68060
Back, R. J. R.; Sere, K.
4
1992
Data refinement of remote procedures. Zbl 0972.68013
Sere, Kaisa; Waldén, Marina
3
2000
Asynchronous system synthesis. Zbl 1075.68618
Plosila, J.; Sere, K.; Waldén, M.
2
2005
Refinement and continuous behaviour. Zbl 0930.68030
Rönkkö, Mauno; Sere, Kaisa
2
1999
Specifying the Caltech asynchronous microprocessor. Zbl 0848.68022
Back, R. J. R.; Martin, A. J.; Sere, K.
2
1996
Derivation of concurrent programs by stepwise scheduling of Event-B models. Zbl 1342.68056
Boström, Pontus; Degerlund, Fredrik; Sere, Kaisa; Waldén, Marina
1
2014
Toward self-placing applications on 2D and 3D NoCs. Zbl 1251.68039
Petre, L.; Sere, K.; Tsiopoulos, L; Liljeberg, P.; Plosila, J.
1
2012
Structuring and verifying distributed algorithms. Zbl 0985.68091
Sere, Kaisa; Waldén, Marina
1
2001
A topological approach to distributed computing. Zbl 0966.68011
Petre, Luigia; Sere, Kaisa; Waldén, Marina
1
1999
Developing object-based distributed systems. Zbl 0928.68047
Bonsangue, Marcello M.; Kok, Joost N.; Sere, Kaisa
1
1999
Coordination in the ImpUNITY framework. Zbl 0943.68114
Goeman, H. J. M.; Kok, J. N.; Sere, K.; Udink, R. T.
1
1998
Derivation of concurrent programs by stepwise scheduling of Event-B models. Zbl 1342.68056
Boström, Pontus; Degerlund, Fredrik; Sere, Kaisa; Waldén, Marina
1
2014
Toward self-placing applications on 2D and 3D NoCs. Zbl 1251.68039
Petre, L.; Sere, K.; Tsiopoulos, L; Liljeberg, P.; Plosila, J.
1
2012
Asynchronous system synthesis. Zbl 1075.68618
Plosila, J.; Sere, K.; Waldén, M.
2
2005
Hybrid action systems. Zbl 1019.68054
Rönkkö, Mauno; Ravn, Anders P.; Sere, Kaisa
8
2003
Structuring and verifying distributed algorithms. Zbl 0985.68091
Sere, Kaisa; Waldén, Marina
1
2001
Data refinement of remote procedures. Zbl 0972.68013
Sere, Kaisa; Waldén, Marina
3
2000
Program development by refinement. Case studies using the B method. Zbl 0930.68087
Sekerinski, Emil (ed.); Sere, Kaisa (ed.)
4
1999
Refinement and continuous behaviour. Zbl 0930.68030
Rönkkö, Mauno; Sere, Kaisa
2
1999
A topological approach to distributed computing. Zbl 0966.68011
Petre, Luigia; Sere, Kaisa; Waldén, Marina
1
1999
Developing object-based distributed systems. Zbl 0928.68047
Bonsangue, Marcello M.; Kok, Joost N.; Sere, Kaisa
1
1999
Coordination in the ImpUNITY framework. Zbl 0943.68114
Goeman, H. J. M.; Kok, J. N.; Sere, K.; Udink, R. T.
1
1998
Superposition refinement of reactive systems. Zbl 0852.68008
Back, R. J. R.; Sere, K.
9
1996
Specifying the Caltech asynchronous microprocessor. Zbl 0848.68022
Back, R. J. R.; Martin, A. J.; Sere, K.
2
1996
Superposition refinement of parallel algorithms. Zbl 0785.68060
Back, R. J. R.; Sere, K.
4
1992
Stepwise refinement of parallel algorithms. Zbl 0705.68057
Back, R. J. R.; Sere, K.
12
1990

Citations by Year