The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Nayeem Islam: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula
    JVer: A Java Verifier. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:144-147 [Conf]
  2. Jun Sun, Wanghong Yuan, Mahesh Kallahalla, Nayeem Islam
    HAIL: a language for easy and correct device access. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2005, pp:1-9 [Conf]
  3. Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula
    Enforcing Resource Bounds via Static Verification of Dynamic Checks. [Citation Graph (0, 0)][DBLP]
    ESOP, 2005, pp:311-325 [Conf]
  4. Dachuan Yu, Nayeem Islam
    A Typed Assembly Language for Confidentiality. [Citation Graph (0, 0)][DBLP]
    ESOP, 2006, pp:162-179 [Conf]
  5. Jochen Liedtke, Kevin Elphinstone, Sebastian Schönberg, Hermann Härtig, Gernot Heiser, Nayeem Islam, Trent Jaeger
    Achieved IPC Performance. [Citation Graph (0, 0)][DBLP]
    Workshop on Hot Topics in Operating Systems, 1997, pp:28-31 [Conf]
  6. Jochen Liedtke, Nayeem Islam, Trent Jaeger
    Preventing Denial-of-Service Attacks on a µ-Kernel for WebOSes. [Citation Graph (0, 0)][DBLP]
    Workshop on Hot Topics in Operating Systems, 1997, pp:73-79 [Conf]
  7. Nayeem Islam, Roy H. Campbell
    Techniques for Global Optimization of Message Passing Communication on Unreliable Networks. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1995, pp:246-253 [Conf]
  8. Nayeem Islam, Amitabh Dave, Roy H. Campbell
    Communication Compilation for Unreliable Networks. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1996, pp:188-195 [Conf]
  9. Nayeem Islam, Andreas L. Prodromidis, Mark S. Squillante, Ajei S. Gopal, Liana L. Fong
    Extensible Resource Management for Cluster Computing. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1997, pp:0-0 [Conf]
  10. Nayeem Islam, Roy H. Campbell
    Uniform Co-Scheduling Using Object-Oriented Design Techniques. [Citation Graph (0, 0)][DBLP]
    Decentralized and Distributed Systems, 1993, pp:317-328 [Conf]
  11. Nayeem Islam, Andreas L. Prodromidis, Mark S. Squillante
    Dynamic Partitioning in Different Distributed-Memory Environments. [Citation Graph (0, 0)][DBLP]
    JSSPP, 1996, pp:244-270 [Conf]
  12. Manuel Román, Nayeem Islam
    Dynamically Programmable and Reconfigurable Middleware Services. [Citation Graph (0, 0)][DBLP]
    Middleware, 2004, pp:372-396 [Conf]
  13. James Beck, Alain Gefflaut, Nayeem Islam
    MOCA: A Service Framework for Mobile Computing Devices. [Citation Graph (0, 0)][DBLP]
    MobiDE, 1999, pp:62-68 [Conf]
  14. Henry Song, Hao-hua Chu, Nayeem Islam, Shoji Kurakake, Masaji Katagiri
    Browser State Repository Service. [Citation Graph (0, 0)][DBLP]
    Pervasive, 2002, pp:253-266 [Conf]
  15. Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serikov
    JavaScript instrumentation for browser security. [Citation Graph (0, 0)][DBLP]
    POPL, 2007, pp:237-249 [Conf]
  16. Nayeem Islam, Andreas L. Prodromidis, Mark S. Squillante, Ajei S. Gopal, Liana L. Fong
    Extensible Resource Scheduling for Parallel Scientific Applications. [Citation Graph (0, 0)][DBLP]
    PPSC, 1997, pp:- [Conf]
  17. Trent Jaeger, Frederique Giraud, Nayeem Islam, Jochen Liedtke
    A role-based access control model for protection domain derivation and management. [Citation Graph (0, 0)][DBLP]
    ACM Workshop on Role-Based Access Control, 1997, pp:95-106 [Conf]
  18. Nayeem Islam, Dong Zhou, Shahid Shoaib, Ali Ismael, Sajithkumar Kizhakkiniyil
    AOE: A Mobile Operating Environment for Web-Based Applications. [Citation Graph (0, 0)][DBLP]
    SAINT, 2004, pp:15-24 [Conf]
  19. Trent Jaeger, Jochen Liedtke, Vsevolod Panteleenko, Yoonho Park, Nayeem Islam
    Security architecture for component-based operating systems. [Citation Graph (0, 0)][DBLP]
    ACM SIGOPS European Workshop, 1998, pp:222-228 [Conf]
  20. Jochen Liedtke, Nayeem Islam, Trent Jaeger, Vsevolod Panteleenko, Yoonho Park
    An unconventional proposal: using the x86 architecture as the ubiquitous virtual standard architecture. [Citation Graph (0, 0)][DBLP]
    ACM SIGOPS European Workshop, 1998, pp:237-241 [Conf]
  21. Jochen Liedtke, Nayeem Islam, Trent Jaeger, Vsevolod Panteleenko, Yoonho Park
    Irreproducible benchmarks might be sometimes helpful. [Citation Graph (0, 0)][DBLP]
    ACM SIGOPS European Workshop, 1998, pp:242-246 [Conf]
  22. Rangachari Anand, Nayeem Islam, Trent Jaeger, Josyula R. Rao
    A Flexible Security Model for Using Internet Content. [Citation Graph (0, 0)][DBLP]
    Symposium on Reliable Distributed Systems, 1997, pp:89-96 [Conf]
  23. Dong Zhou, Nayeem Islam, Ali Ismael
    Flexible on-device service object replication with replets. [Citation Graph (0, 0)][DBLP]
    WWW, 2004, pp:131-142 [Conf]
  24. Roy H. Campbell, Nayeem Islam, David Raila, Peter Madany
    Designing and Implementing Choices: An Object-Oriented System in C++. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1993, v:36, n:9, pp:117-126 [Journal]
  25. Nayeem Islam, Roy H. Campbell
    Latest Developments in Operating Systems (Introduction to the Special Section). [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1996, v:39, n:9, pp:38-40 [Journal]
  26. Nayeem Islam, Murthy V. Devarakonda
    An Essential Design Pattern for Fault-Tolerant Distributed State Sharing. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1996, v:39, n:10, pp:65-74 [Journal]
  27. Nayeem Islam, Mohamed E. Fayad
    Toward ubiquitous acceptance of ubiquitous computing. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 2003, v:46, n:2, pp:89-92 [Journal]
  28. Nayeem Islam
    Customizing System Software Using OO Frameworks. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1997, v:30, n:2, pp:69-78 [Journal]
  29. Roy H. Campbell, Nayeem Islam
    A Technique for Documenting the Framework of an Object-Oriented System. [Citation Graph (0, 0)][DBLP]
    Computing Systems, 1993, v:6, n:4, pp:363-389 [Journal]
  30. Roy H. Campbell, Nayeem Islam, Peter Madany
    Choices, Frameworks and Refinement. [Citation Graph (0, 0)][DBLP]
    Computing Systems, 1992, v:5, n:3, pp:217-257 [Journal]
  31. Nayeem Islam
    Customized Message Passing. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1997, v:41, n:2, pp:205-224 [Journal]
  32. Nayeem Islam, Rangachari Anand, Trent Jaeger, Josyula R. Rao
    A Flexible Security System for Using Internet Content. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1997, v:14, n:5, pp:52-59 [Journal]
  33. Trent Jaeger, Atul Prakash, Jochen Liedtke, Nayeem Islam
    Flexible Control of Downloaded Executable Content. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Inf. Syst. Secur., 1999, v:2, n:2, pp:177-228 [Journal]
  34. Nayeem Islam, Roy H. Campbell
    Design Considerations for Shared Memory Multiprocessor Message Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 1992, v:3, n:6, pp:702-711 [Journal]
  35. Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula
    Enforcing resource bounds via static verification of dynamic checks. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:5, pp:- [Journal]

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