Edit Profile Sere, Kaisa Compute Distance To: Compute Author ID: sere.kaisa Published as: Sere, K.; Sere, Kaisa Documents Indexed: 25 Publications since 1990, including 3 Books Biographic References: 1 Publication 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 Butler, Michael J. 1 Cuellar, Jorge 1 Diaconescu, Denisa 1 Goeman, Henk J. M. 1 Hedman, Eric J. 1 Liljeberg, Pasi 1 Maibaum, Thomas Stephen Edward 1 Martin, Andrew J. 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 15 Publications have been cited 52 times in 38 Documents Cited by ▼ Year ▼ Stepwise refinement of parallel algorithms. Zbl 0705.68057Back, R. J. R.; Sere, K. 12 1990 Superposition refinement of reactive systems. Zbl 0852.68008Back, R. J. R.; Sere, K. 9 1996 Hybrid action systems. Zbl 1019.68054Rönkkö, Mauno; Ravn, Anders P.; Sere, Kaisa 8 2003 Program development by refinement. Case studies using the B method. Zbl 0930.68087Sekerinski, Emil (ed.); Sere, Kaisa (ed.) 4 1999 Superposition refinement of parallel algorithms. Zbl 0785.68060Back, R. J. R.; Sere, K. 4 1992 Data refinement of remote procedures. Zbl 0972.68013Sere, Kaisa; Waldén, Marina 3 2000 Asynchronous system synthesis. Zbl 1075.68618Plosila, J.; Sere, K.; Waldén, M. 2 2005 Refinement and continuous behaviour. Zbl 0930.68030Rönkkö, Mauno; Sere, Kaisa 2 1999 Specifying the Caltech asynchronous microprocessor. Zbl 0848.68022Back, R. J. R.; Martin, A. J.; Sere, K. 2 1996 Derivation of concurrent programs by stepwise scheduling of Event-B models. Zbl 1342.68056Boström, Pontus; Degerlund, Fredrik; Sere, Kaisa; Waldén, Marina 1 2014 Toward self-placing applications on 2D and 3D NoCs. Zbl 1251.68039Petre, L.; Sere, K.; Tsiopoulos, L; Liljeberg, P.; Plosila, J. 1 2012 Structuring and verifying distributed algorithms. Zbl 0985.68091Sere, Kaisa; Waldén, Marina 1 2001 A topological approach to distributed computing. Zbl 0966.68011Petre, Luigia; Sere, Kaisa; Waldén, Marina 1 1999 Developing object-based distributed systems. Zbl 0928.68047Bonsangue, Marcello M.; Kok, Joost N.; Sere, Kaisa 1 1999 Coordination in the ImpUNITY framework. Zbl 0943.68114Goeman, 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.68056Boström, Pontus; Degerlund, Fredrik; Sere, Kaisa; Waldén, Marina 1 2014 Toward self-placing applications on 2D and 3D NoCs. Zbl 1251.68039Petre, L.; Sere, K.; Tsiopoulos, L; Liljeberg, P.; Plosila, J. 1 2012 Asynchronous system synthesis. Zbl 1075.68618Plosila, J.; Sere, K.; Waldén, M. 2 2005 Hybrid action systems. Zbl 1019.68054Rönkkö, Mauno; Ravn, Anders P.; Sere, Kaisa 8 2003 Structuring and verifying distributed algorithms. Zbl 0985.68091Sere, Kaisa; Waldén, Marina 1 2001 Data refinement of remote procedures. Zbl 0972.68013Sere, Kaisa; Waldén, Marina 3 2000 Program development by refinement. Case studies using the B method. Zbl 0930.68087Sekerinski, Emil (ed.); Sere, Kaisa (ed.) 4 1999 Refinement and continuous behaviour. Zbl 0930.68030Rönkkö, Mauno; Sere, Kaisa 2 1999 A topological approach to distributed computing. Zbl 0966.68011Petre, Luigia; Sere, Kaisa; Waldén, Marina 1 1999 Developing object-based distributed systems. Zbl 0928.68047Bonsangue, Marcello M.; Kok, Joost N.; Sere, Kaisa 1 1999 Coordination in the ImpUNITY framework. Zbl 0943.68114Goeman, H. J. M.; Kok, J. N.; Sere, K.; Udink, R. T. 1 1998 Superposition refinement of reactive systems. Zbl 0852.68008Back, R. J. R.; Sere, K. 9 1996 Specifying the Caltech asynchronous microprocessor. Zbl 0848.68022Back, R. J. R.; Martin, A. J.; Sere, K. 2 1996 Superposition refinement of parallel algorithms. Zbl 0785.68060Back, R. J. R.; Sere, K. 4 1992 Stepwise refinement of parallel algorithms. Zbl 0705.68057Back, R. J. R.; Sere, K. 12 1990 all cited Publications top 5 cited Publications all top 5 Cited by 72 Authors 5 Sere, Kaisa 3 Banach, Richard 2 Back, Ralph-Johan 2 Barbosa, Luís Soares 2 Bortolussi, Luca 2 Galpin, Vashti 2 Hayes, Ian J. 2 Hennicker, Rolf 2 Hillston, Jane 2 Madeira, Alexandre 2 Martins, Manuel António 2 Payton, Jamie 2 Platzer, André 2 Reniers, Michel Adriaan 2 Roman, Gruia-Catalin 2 Troubitsyna, Elena A. 2 Waldén, Marina 1 Berzigyarov, Parvaz K. 1 Boglaev, Yuri P. 1 Boström, Pontus 1 Butler, Michael J. 1 Chandy, Kanianthra Mani 1 Cuijpers, Pieter J. L. 1 de Roever, Willem-Paul 1 Degerlund, Fredrik 1 Dobrikov, Ivaylo 1 Dongol, Brijesh 1 Fidge, Colin J. 1 Go, Brian 1 Hedman, Eric J. 1 Hekanaho, J. 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, Zhiming 1 Luostarinen, P. 1 Man, Ka Lok 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 Schiffelers, R. R. H. 1 Sekerinski, Emil 1 Singh, Ambuj K. 1 Smith, Graeme 1 Stomp, F. A. 1 Su, Wen 1 van Beek, D. A. 1 von Wright, Joachim 1 von Wright, Joakim 1 Wellings, Andrew J. 1 White, Jerome 1 Winter, Kirsten 1 Zhu, Huibiao all top 5 Cited in 9 Serials 16 Formal Aspects of Computing 7 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 Cited in 5 Fields 36 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 2 Systems theory; control (93-XX) 1 History and biography (01-XX) 1 Numerical analysis (65-XX) Citations by Year