The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kaisa Sere: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Juha Plosila, Kaisa Sere
    Action Systems in Pipelined Processor Design. [Citation Graph (0, 0)][DBLP]
    ASYNC, 1997, pp:156-166 [Conf]
  2. Henk Goeman, Joost N. Kok, Kaisa Sere, Rob T. Udink
    Coordination in the ImpUNITY Framework. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1996, pp:215-230 [Conf]
  3. Eric J. Hedman, Joost N. Kok, Kaisa Sere
    Coordinating Action Systems. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1997, pp:302-319 [Conf]
  4. Joost N. Kok, Kaisa Sere
    Coordination-Based Design of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2000, pp:347-352 [Conf]
  5. Luigia Petre, Kaisa Sere
    Coordination Among Mobile Objects. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1999, pp:227-242 [Conf]
  6. Michael J. Butler, Emil Sekerinski, Kaisa Sere
    An Action System Approach to the Steam Boiler Problem. [Citation Graph (0, 0)][DBLP]
    Formal Methods for Industrial Applications, 1995, pp:129-148 [Conf]
  7. Ralph-Johan Back, Kaisa Sere
    From Action Systems to Modular Systems. [Citation Graph (0, 0)][DBLP]
    FME, 1994, pp:1-25 [Conf]
  8. V. Kasurinen, Kaisa Sere
    Integrating Action Systems and Z in a Medical System Specification. [Citation Graph (0, 0)][DBLP]
    FME, 1996, pp:105-119 [Conf]
  9. Kaisa Sere, Elena Troubitsyna
    Safety Analysis in Formal Specification. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1564-1583 [Conf]
  10. Marina A. Waldén, Kaisa Sere
    Refining Action Systems within B-Tool. [Citation Graph (0, 0)][DBLP]
    FME, 1996, pp:85-104 [Conf]
  11. Juha Plosila, Kaisa Sere, Marina A. Waldén
    Design with Asynchronously Communicating Components. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:424-442 [Conf]
  12. Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere
    Developing Object-based Distributed Systems. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  13. Ralph-Johan Back, Kaisa Sere
    Superposition Refinement of Parallel Algorithms. [Citation Graph (0, 0)][DBLP]
    FORTE, 1991, pp:475-493 [Conf]
  14. Samuel Holmström, Kaisa Sere
    Reconfigurable Hardware - A Study in Codesign. [Citation Graph (0, 0)][DBLP]
    FPL, 1998, pp:451-455 [Conf]
  15. Lu Yan, Kaisa Sere, Xinrong Zhou, Jun Pang
    Towards an Integrated Architecture for Peer-to-Peer and Ad Hoc Overlay Network Applications. [Citation Graph (0, 0)][DBLP]
    FTDCS, 2004, pp:312-318 [Conf]
  16. Lu Yan, Moisés Ferrer Serra, Guangcheng Niu, Xinrong Zhou, Kaisa Sere
    SkyMin: A Massive Peer-to-Peer Storage System. [Citation Graph (0, 0)][DBLP]
    GCC, 2004, pp:527-534 [Conf]
  17. Mauno Rönkkö, Kaisa Sere
    Refinement and Continuous Behaviour. [Citation Graph (0, 0)][DBLP]
    HSCC, 1999, pp:223-237 [Conf]
  18. Luigia Petre, Kaisa Sere, Marina A. Waldén
    A Language for Modeling Network Availability. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2006, pp:639-659 [Conf]
  19. Luigia Petre, Kaisa Sere
    Developing Control Systems Components. [Citation Graph (0, 0)][DBLP]
    IFM, 2000, pp:156-175 [Conf]
  20. Lu Yan, Kaisa Sere
    A Formalism for Context-Aware Mobile Computing. [Citation Graph (0, 0)][DBLP]
    ISPDC/HeteroPar, 2004, pp:14-21 [Conf]
  21. Kaisa Sere
    A Formalization of Superposition Refinement. [Citation Graph (0, 0)][DBLP]
    ISTCS, 1993, pp:222-230 [Conf]
  22. Lu Yan, Kaisa Sere
    Stepwise Development of Peer-to-Peer Systems. [Citation Graph (0, 0)][DBLP]
    IWFM, 2003, pp:- [Conf]
  23. Ralph-Johan Back, Alain J. Martin, Kaisa Sere
    An Action System Specification of the Caltech Asynchronous Microprocessor. [Citation Graph (0, 0)][DBLP]
    MPC, 1995, pp:159-179 [Conf]
  24. Ralph-Johan Back, Kaisa Sere
    Stepwise Refinement of Action Systems. [Citation Graph (0, 0)][DBLP]
    MPC, 1989, pp:115-138 [Conf]
  25. Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere
    An Approach to Object-Orientation in Action Systems. [Citation Graph (0, 0)][DBLP]
    MPC, 1998, pp:68-95 [Conf]
  26. Zheng Liang, Juha Plosila, Lu Yan, Kaisa Sere
    On-chip Debug for an Asynchronous Java Accelerator. [Citation Graph (0, 0)][DBLP]
    PDCAT, 2005, pp:312-315 [Conf]
  27. Zheng Liang, Juha Plosila, Lu Yan, Kaisa Sere
    Implementing a Self-Timed Low-Power Java Accelerator for Network-on-Chip Applications. [Citation Graph (0, 0)][DBLP]
    PDCAT, 2006, pp:344-347 [Conf]
  28. Kaisa Sere, Marina A. Waldén
    Verification of a Distributed Algorithm (Abstract). [Citation Graph (0, 0)][DBLP]
    PODC, 1994, pp:391- [Conf]
  29. Ralph-Johan Back, Kaisa Sere
    Action Systems with Synchronous Communication. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1994, pp:107-126 [Conf]
  30. Kaisa Sere
    Stepwise Refinement of Reactive Processor Farms. [Citation Graph (0, 0)][DBLP]
    PSTV, 1991, pp:109-124 [Conf]
  31. Kaisa Sere, Elena Troubitsyna
    Hazard Analysis in Formal Specification. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 1999, pp:350-360 [Conf]
  32. Mats Neovius, Kaisa Sere, Lu Yan, M. Satpathy
    A Formal Model of Context-Awareness and Context-Dependency. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:177-185 [Conf]
  33. Kaisa Sere, Marina A. Waldén
    Data Refinement and Remote Procedures. [Citation Graph (0, 0)][DBLP]
    TACS, 1997, pp:267-294 [Conf]
  34. Joakim von Wright, Kaisa Sere
    Program Transformations and Refinements in HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1991, pp:231-239 [Conf]
  35. Kaisa Sere
    Stepwise Removal of Virtual Channels in Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
    WDAG, 1987, pp:408-428 [Conf]
  36. Emil Sekerinski, Kaisa Sere
    A Theory of Prioritizing Composition. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1996, v:39, n:8, pp:701-712 [Journal]
  37. Luigia Petre, Kaisa Sere, Marina A. Waldén
    A topological approach to distributed computing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:28, n:, pp:- [Journal]
  38. Ralph-Johan Back, Kaisa Sere
    Superposition Refinement of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:3, pp:324-346 [Journal]
  39. Kaisa Sere, Marina A. Waldén
    Data Refinement of Remote Procedures. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:4, pp:278-297 [Journal]
  40. Marina A. Waldén, Kaisa Sere
    Reasoning about Action Systems using the B-Method. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1998, v:13, n:1, pp:5-35 [Journal]
  41. Kaisa Sere
    Procedures and Atomicity Refinement. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1996, v:60, n:2, pp:67-74 [Journal]
  42. Kaisa Sere
    Guest Editor's Foreword. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1999, v:6, n:3, pp:213-214 [Journal]
  43. Kaisa Sere, Wang Li
    Guest Editors' Foreword. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2001, v:8, n:1, pp:1- [Journal]
  44. Kaisa Sere, Marina A. Waldén
    Structuring and Verifying Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2001, v:8, n:2, pp:193-218 [Journal]
  45. Kaisa Sere, Marina A. Waldén
    Guest Editors' Foreword. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2004, v:11, n:2, pp:73-74 [Journal]
  46. Ralph-Johan Back, Alain J. Martin, Kaisa Sere
    Specifying the Caltech Asynchronous Microprocessor. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:26, n:1-3, pp:79-97 [Journal]
  47. Ralph-Johan Back, Kaisa Sere
    Stepwise Refinement of Parallel Algorithms. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1989, v:13, n:1, pp:133-180 [Journal]
  48. Henk Goeman, Joost N. Kok, Kaisa Sere, Rob T. Udink
    Coordination in the ImpUNITY Framework. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1998, v:31, n:2-3, pp:313-334 [Journal]
  49. Juha Plosila, Kaisa Sere, Marina A. Waldén
    Asynchronous system synthesis. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:55, n:1-3, pp:259-288 [Journal]
  50. Ralph-Johan Back, Kaisa Sere
    Stepwise Refinement of Action Systems. [Citation Graph (0, 0)][DBLP]
    Structured Programming, 1991, v:12, n:1, pp:17-30 [Journal]
  51. Ralph-Johan Back, Kaisa Sere
    From Action Systems to Modular Systems. [Citation Graph (0, 0)][DBLP]
    Software - Concepts and Tools, 1996, v:17, n:1, pp:26-39 [Journal]
  52. Eric J. Hedman, Joost N. Kok, Kaisa Sere
    Coordinating action systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:240, n:1, pp:91-115 [Journal]
  53. Mauno Rönkkö, Anders P. Ravn, Kaisa Sere
    Hybrid action systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:290, n:1, pp:937-973 [Journal]
  54. Fredrik Degerlund, Kaisa Sere
    A Framework for Incorporating Trust into Formal Systems Development. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:154-168 [Conf]

  55. Dependability Aspects of Ubiquitous Computing. [Citation Graph (, )][DBLP]


  56. Formal Modular Modelling of Context-Awareness. [Citation Graph (, )][DBLP]


  57. Implementation Issues Concerning the Action Systems Formalism. [Citation Graph (, )][DBLP]


  58. Self-Recovering Sensor-Actor Networks [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002