×
Edit Profile (opens in new tab)

Sere, Kaisa

Co-Author Distance
Author ID: sere.kaisa Recent zbMATH articles by "Sere, Kaisa"
Published as: Sere, Kaisa; Sere, K.
Documents Indexed: 21 Publications since 1990
4 Contributions as Editor
Biographic References: 1 Publication
Co-Authors: 21 Co-Authors with 24 Joint Publications
282 Co-Co-Authors
all top 5

Co-Authors

1 single-authored
6 Waldén, Marina
5 Petre, Luigia
4 Back, Ralph-Johan
3 Degerlund, Fredrik
3 Kok, Joost N.
3 Plosila, Juha
2 Rönkkö, Mauno
1 Bonsangue, Marcello Maria
1 Boström, Pontus
1 Cuellar, Jorge
1 Diaconescu, Denisa
1 Goeman, Henk J. M.
1 Hedman, Eric J.
1 Liljeberg, Pasi
1 Maibaum, Thomas Stephen Edward
1 Ravn, Anders P.
1 Rukšėnas, Rimvydas
1 Sekerinski, Emil
1 Ştefănescu, Gheorghe
1 Tsiopoulos, Leonidas
1 Udink, R. T.
all top 5

Serials

4 Science of Computer Programming
3 Formal Aspects of Computing
2 Theoretical Computer Science
2 Nordic Journal of Computing
2 Lecture Notes in Computer Science
1 Information Processing Letters

Fields

25 Computer science (68-XX)
4 General and overarching topics; collections (00-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

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

Cited by 77 Authors

4 Banach, Richard
4 Platzer, André
4 Sere, Kaisa
3 Hayes, Ian J.
2 Back, Ralph-Johan
2 Bortolussi, Luca
2 Dongol, Brijesh
2 Galpin, Vashti
2 Hillston, Jane
2 Payton, Jamie
2 Reniers, Michel Adriaan
2 Roman, Gruia-Catalin
2 Troubitsyna, Elena A.
2 Waldén, Marina
1 Barbosa, Luís Soares
1 Berzigyarov, Parvaz K.
1 Boglaev, Yuri P.
1 Boström, Pontus
1 Chandy, Kanianthra Mani
1 Cousot, Patrick
1 Cuijpers, Pieter J. L.
1 Degerlund, Fredrik
1 Dobrikov, Ivaylo
1 Fidge, Colin J.
1 Go, Brian
1 Guttmann, Walter
1 Hedman, Eric J.
1 Hekanaho, J.
1 Hennicker, Rolf
1 Huang, Runlei
1 Iliasov, Alexei
1 Jeske, Czeslaw
1 Jonsson, Bengt
1 Joseph, Mathai
1 Julien, Christine
1 Katz, Shmuel
1 Kok, Joost N.
1 Kurki-Suonio, Reino
1 Laibinis, Linas
1 Långbacka, Thomas
1 Leuschel, Michael
1 Liu, Jie
1 Liu, Jing
1 Liu, Yang
1 Liu, Zhiming
1 Luostarinen, P.
1 Madeira, Alexandre
1 Man, Ka Lok
1 Martins, Manuel António
1 Meinicke, Larissa A.
1 Mitra, Sayan
1 Morgan, Carroll C.
1 Peled, Doron A.
1 Petre, Luigia
1 Pilotto, Concetta
1 Ravn, Anders P.
1 Robinson, Peter J.
1 Romanovsky, Alexander B.
1 Rönkkö, Mauno
1 Rooda, Jacobus E.
1 Sanán, David
1 Schiffelers, R. R. H.
1 Sekerinski, Emil
1 Singh, Ambuj K.
1 Smith, Graeme
1 Stomp, F. A.
1 Stupnikov, Sergey A.
1 Su, Wen
1 Tan, Yong Kiam
1 van Beek, D. A.
1 von Wright, Joakim
1 Wellings, Andrew J.
1 White, Jerome
1 Winter, Kirsten
1 Zhang, Fuyuan
1 Zhao, Yongwang
1 Zhu, Huibiao
all top 5

Cited in 11 Serials

17 Formal Aspects of Computing
6 Theoretical Computer Science
2 Acta Informatica
2 The Journal of Logic and Algebraic Programming
1 Information Processing Letters
1 Journal of Automated Reasoning
1 Distributed Computing
1 Formal Methods in System Design
1 Parallel Algorithms and Applications
1 Lobachevskii Journal of Mathematics
1 Journal of Logical and Algebraic Methods in Programming
all top 5

Cited in 10 Fields

42 Computer science (68-XX)
10 Mathematical logic and foundations (03-XX)
4 Systems theory; control (93-XX)
1 History and biography (01-XX)
1 Combinatorics (05-XX)
1 Ordinary differential equations (34-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 Numerical analysis (65-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 Information and communication theory, circuits (94-XX)

Citations by Year