Kaisa Sere

发表

Petter Sandvik, Kaisa Sere, K. Sere, 2011, AP2PS 2011.
Kaisa Sere, Emil Sekerinski, Michael J. Butler, 1995, Formal Methods for Industrial Applications.
Kaisa Sere, Juha Plosila, 1997, Proceedings Third International Symposium on Advanced Research in Asynchronous Circuits and Systems.
Kaisa Sere, Marina Waldén, 1989, Microprocess. Microsystems.
Kaisa Sere, 1996, Inf. Process. Lett..
Kaisa Sere, Matti Linjama, Mikko Heikkilä, 2009 .
Kaisa Sere, Elena Troubitsyna, E. Troubitsyna, 1999, World Congress on Formal Methods.
Kaisa Sere, Marina Waldén, Pontus Boström, 2012, Formal Aspects of Computing.
Kaisa Sere, Marina Waldén, Juha Plosila, 2005, Sci. Comput. Program..
Kaisa Sere, Marina Waldén, 1996 .
Kaisa Sere, Joost N. Kok, 1999 .
Lu Yan, Kaisa Sere, 2003, IWFM.
Kaisa Sere, Ralph-Johan Back, K. Sere, 1994, PROCOMET.
Kaisa Sere, Mauno Rönkkö, K. Sere, 1999, HSCC.
Kaisa Sere, Ralph-Johan Back, K. Sere, 1990, Sci. Comput. Program..
Kaisa Sere, Gheorghe Stefanescu, Ioana Leustean, 2012, IFM.
Kaisa Sere, 1999, Nord. J. Comput..
Kaisa Sere, Masoud Daneshtalab, Maryam Kamali, 2011, 2011 IEEE 2nd International Conference on Networked Embedded Systems for Enterprise Applications.
Kaisa Sere, Joost N. Kok, 2000, COORDINATION.
Kaisa Sere, Marta Olszewska, K. Sere, 2010 .
Kaisa Sere, Elena Troubitsyna, Linas Laibinis, 2008 .
Kaisa Sere, Matti Linjama, Mikko Heikkilä, 2012 .
Kaisa Sere, Marta Olszewska, 2010 .
Kaisa Sere, Samuel Holmström, 1998, FPL.
Kaisa Sere, Rob T. Udink, Joost N. Kok, 1996, COORDINATION.
Kaisa Sere, Joakim von Wright, 1991, 1991., International Workshop on the HOL Theorem Proving System and Its Applications.
Kaisa Sere, Luigia Petre, Marina Waldén, 2012 .
Kaisa Sere, Barbro Back, Teija Laitinen, 1998 .
Lu Yan, Kaisa Sere, Juha Plosila, 2005, Sixth International Conference on Parallel and Distributed Computing Applications and Technologies (PDCAT'05).
Kaisa Sere, Michiel C. van Wezel, Joost N. Kok, 1996, Proceedings of International Conference on Neural Networks (ICNN'96).
Kaisa Sere, Marina Waldén, Luigia Petre, 2006, ICFEM.
Kaisa Sere, Mats Neovius, K. Sere, 2009, FMCO.
Kaisa Sere, Ralph-Johan Back, Alain J. Martin, 1995, MPC.
Kaisa Sere, Luigia Petre, Michael Butler, 2002 .
Kaisa Sere, Marina Waldén, 1998, Formal Methods Syst. Des..
Kaisa Sere, Marina Waldén, Luigia Petre, 1999, Electron. Notes Theor. Comput. Sci..
Kaisa Sere, Mats Neovius, Luigia Petre, 2016, Refine@FM.
Kaisa Sere, Marcello M. Bonsangue, Joost N. Kok, 1998, MPC.
Kaisa Sere, Anders P. Ravn, Mauno Rönkkö, 2003, Theor. Comput. Sci..
Kaisa Sere, Barbro Back, Michiel C. van Wezel, 1995, ECIS.
Kaisa Sere, Marina Waldén, Juha Plosila, 2002, FMCO.
Kaisa Sere, Marina Waldén, Juha Plosila, 2000 .
Lu Yan, Kaisa Sere, Jun Pang, 2004, Proceedings. 10th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2004. FTDCS 2004..
Kaisa Sere, Luigia Petre, K. Sere, 2010, Int. J. Embed. Real Time Commun. Syst..
Kaisa Sere, Emil Sekerinski, E. Sekerinski, 1999, Formal Approaches to Computing and Information Technology FACIT.
Kaisa Sere, Fredrik Degerlund, 2008 .
Kaisa Sere, Joost N. Kok, Eric J. Hedman, 1997, COORDINATION.
Kaisa Sere, Barbro Back, Jukka Hekanaho, 1998 .
Lu Yan, Kaisa Sere, 2007, The Second International Conference on Availability, Reliability and Security (ARES'07).
Kaisa Sere, Leonidas Tsiopoulos, Juha Plosila, 2011 .
Kaisa Sere, Hannu Vanharanta, Barbro Back, 1998, 1998 IEEE International Joint Conference on Neural Networks Proceedings. IEEE World Congress on Computational Intelligence (Cat. No.98CH36227).
Kaisa Sere, Leonidas Tsiopoulos, Juha Plosila, 2013, 2013 Euromicro Conference on Digital System Design.
Kaisa Sere, Marina Waldén, Pontus Boström, 2011, Refine@FM.
Kaisa Sere, Hannu Vanharanta, Barbro Back, 1997 .
Kaisa Sere, Ralph-Johan Back, 1991, Struct. Program..
Kaisa Sere, Luigia Petre, K. Sere, 1999, COORDINATION.
Petter Sandvik, Kaisa Sere, Luigia Petre, 2013, Int. J. Crit. Comput. Based Syst..
Kaisa Sere, Elena Troubitsyna, 1999, SAFECOMP.
Kaisa Sere, Rob T. Udink, Joost N. Kok, 1998, Sci. Comput. Program..
Kaisa Sere, Marina Waldén, Fredrik Degerlund, 2007 .
Kaisa Sere, Juha Plosila, Tiberiu Seceleanu, 2005 .
Kaisa Sere, Ralph-Johan Back, K. Sere, 1994, Softw. Concepts Tools.
Kaisa Sere, Marina Waldén, Matti Linjama, 2013, PECCS.
Kaisa Sere, Emil Sekerinski, 1996, Comput. J..
Kaisa Sere, Maryam Kamali, Luigia Petre, 2010, FOCLASA.
Kaisa Sere, Tom Maibaum, Jorge Cuellar, 2008, FM'08 2008.
Kaisa Sere, Ralph-Johan Back, 2005, Formal Aspects of Computing.
Kaisa Sere, Luigia Petre, 2000, IFM.
Kaisa Sere, Marina Waldén, 2000, Formal Aspects of Computing.
Kaisa Sere, Marina Waldén, 1994, PODC '94.
Kaisa Sere, Ralph-Johan Back, 1991, FORTE.
Lu Yan, Kaisa Sere, Mats Neovius, 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).
Kaisa Sere, Luigia Petre, Milla Qvist, 1999 .
Kaisa Sere, 1993, [1993] The 2nd Israel Symposium on Theory and Computing Systems.
Kaisa Sere, Joost N. Kok, Eric J. Hedman, 2000, Theor. Comput. Sci..
Kaisa Sere, Marina Waldén, 2004, Nord. J. Comput..
Kaisa Sere, Leonidas Tsiopoulos, Pontus Boström, 2012, IFM.
Kaisa Sere, Emil Sekerinski, E. Sekerinski, 1998 .
Kaisa Sere, Maryam Kamali, Luigia Petre, 2014, Sci. Comput. Program..
Lu Yan, Kaisa Sere, Xinrong Zhou, 2004, GCC.
Lu Yan, Kaisa Sere, 2004, Third International Symposium on Parallel and Distributed Computing/Third International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Networks.
Kaisa Sere, Masoud Daneshtalab, Maryam Kamali, 2011, FSEN.
Kaisa Sere, Gheorghe Stefanescu, Luigia Petre, 2014, ICTAC.
Kaisa Sere, K. Sere, 1991, PSTV.
Kaisa Sere, Virpi Kasurinen, K. Sere, 1996 .
Kaisa Sere, Barbro Back, Teija Laitinen, 1996 .
Kaisa Sere, Hannu Vanharanta, Barbro Back, 1996 .
Kaisa Sere, Maryam Kamali, Luigia Petre, 2013, Int. J. Crit. Comput. Based Syst..
Kaisa Sere, Marina Waldén, 1997, TACS.
Kaisa Sere, Marina Waldén, 1996, FME.
Kaisa Sere, Leonidas Tsiopoulos, Juha Plosila, 2010, Int. J. Embed. Real Time Commun. Syst..
Kaisa Sere, Luigia Petre, Marina Waldén, 2012 .
Petter Sandvik, Kaisa Sere, Luigia Petre, 2012, COORDINATION.
Kaisa Sere, Marcello M. Bonsangue, Joost N. Kok, 1999, FMOODS.
Lu Yan, Kaisa Sere, Juha Plosila, 2006, 2006 Seventh International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT'06).
Kaisa Sere, Leonidas Tsiopoulos, Luigia Petre, 2010, FMCO.
Kaisa Sere, Masoud Daneshtalab, Maryam Kamali, 2011, 2011 14th Euromicro Conference on Digital System Design.
Kaisa Sere, Masoud Daneshtalab, Maryam Kamali, 2015 .
Kaisa Sere, Ralph-Johan Back, Alain J. Martin, 1996, Sci. Comput. Program..
Kaisa Sere, Luigia Petre, 2013, 2013 International Conference on High Performance Computing & Simulation (HPCS).
Kaisa Sere, Leonidas Tsiopoulos, Juha Plosila, 2013, J. Syst. Archit..
Kaisa Sere, Marina Waldén, Fredrik Degerlund, 2007, Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007).
Kaisa Sere, Marina Waldén, 1996, J. Softw. Maintenance Res. Pract..
Kaisa Sere, Marina Waldén, 2001, Nord. J. Comput..
Kaisa Sere, Juha Plosila, Rimvydas Ruksenas, 1998 .
Kaisa Sere, Juha Plosila, Rimvydas Ruksenas, 1996 .
Kaisa Sere, Barbro Back, Eija Koskivaara, 1996 .
Kaisa Sere, Barbro Back, B. Back, 1995 .