The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

I. S. W. B. Prasetya: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. I. S. W. B. Prasetya, Tanja E. J. Vos, S. Doaitse Swierstra
    Web Cube. [Citation Graph (0, 0)][DBLP]
    FORTE, 2006, pp:77-92 [Conf]
  2. I. S. W. B. Prasetya, Tanja E. J. Vos, A. Azurat, S. Doaitse Swierstra
    A UNITY-Based Framework Towards Component Based Systems. [Citation Graph (0, 0)][DBLP]
    OPODIS, 2004, pp:52-66 [Conf]
  3. I. S. W. B. Prasetya, A. Azurat, Tanja E. J. Vos, A. Van Leeuwen
    Building Verification Condition Generators by Compositional Extensions. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:220-230 [Conf]
  4. I. S. W. B. Prasetya
    Mechanically Verified Self-Stabilizing Hierarchical Algorithms. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:399-415 [Conf]
  5. I. S. W. B. Prasetya
    Formalization of Variables Access Constraints to Support Compositionality of Liveness Properties. [Citation Graph (0, 0)][DBLP]
    HUG, 1993, pp:324-337 [Conf]
  6. I. S. W. B. Prasetya
    On the Style of Mechanical Proving. [Citation Graph (0, 0)][DBLP]
    HUG, 1993, pp:475-488 [Conf]
  7. I. S. W. B. Prasetya
    Towards a Mechanically Supported and Compositional Calculus to Design Destributed Algorithms. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1994, pp:362-377 [Conf]
  8. I. S. W. B. Prasetya
    Error in the UNITY Rule for Subscripted Operators (Short Communication). [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1994, v:6, n:4, pp:466-470 [Journal]
  9. I. S. W. B. Prasetya, S. Doaitse Swierstra
    Formal design of self-stabilizing programs. [Citation Graph (0, 0)][DBLP]
    J. High Speed Networks, 2005, v:14, n:1, pp:59-83 [Journal]
  10. I. S. W. B. Prasetya, S. Doaitse Swierstra
    Factorizing fault tolerance. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:290, n:2, pp:1201-1222 [Journal]

Search in 0.002secs, Finished in 0.002secs
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