The SCEAS System
Navigation Menu

Journals and Conferences that author prefers


Insup Lee: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Journals

  1. Electr. Notes Theor. Comput. Sci. (9 paper(s))
  2. IEEE Trans. Computers (5 paper(s))
  3. IEEE Computer (4 paper(s))
  4. IEEE Trans. Software Eng. (3 paper(s))
  5. Real-Time Systems (3 paper(s))
  6. Inf. Comput. (2 paper(s))
  7. Advances in Computers (1 paper(s))
  8. Sci. Comput. Program. (1 paper(s))
  9. Ann. Software Eng. (1 paper(s))
  10. Simulation Modelling Practice and Theory (1 paper(s))
  11. Softw., Pract. Exper. (1 paper(s))
  12. ACM Comput. Surv. (1 paper(s))
  13. STTT (1 paper(s))
  14. Formal Methods in System Design (1 paper(s))
  15. Theor. Comput. Sci. (1 paper(s))
  16. ACM Trans. Embedded Comput. Syst. (1 paper(s))
  17. I. J. Robotic Res. (1 paper(s))
  18. IEEE Trans. Parallel Distrib. Syst. (1 paper(s))
  19. Inf. Process. Lett. (1 paper(s))
  20. J. Log. Algebr. Program. (1 paper(s))
  21. J. Log. Program. (1 paper(s))
  22. J. Parallel Distrib. Comput. (1 paper(s))
  23. Proceedings of the IEEE (1 paper(s))

Conferences

  1. (32 paper(s))
  2. IEEE Real-Time Systems Symposium (RTSS) (11 paper(s))
  3. Object-Oriented Real-Time Distributed Computing (5 paper(s))
  4. Hybrid Systems (5 paper(s))
  5. International Conference on Concurrency Theory (CONCUR) (4 paper(s))
  6. International Conference / Workshop on Embedded Systems (EMSOFT) (4 paper(s))
  7. IEEE Real Time Technology and Applications Symposium (4 paper(s))
  8. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (3 paper(s))
  9. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (3 paper(s))
  10. Computer Aided Verification (CAV) (2 paper(s))
  11. International Conference on Parallel Processing (ICPP) (2 paper(s))
  12. International Conference on Software Engineering (ICSE) (2 paper(s))
  13. Information Reuse and Integration (2 paper(s))
  14. International Symposium on Software Testing and Analysis (ISSTA) (2 paper(s))
  15. International Conference on Distributed Computing Systems (ICDCS) (2 paper(s))
  16. Winter Simulation Conference (WSC) (2 paper(s))
  17. (1 paper(s))
  18. Parallel and Distributed Processing Techniques and Applications (1 paper(s))
  19. Conference on Computer and Communications Security (CCS) (1 paper(s))
  20. Requirements Engineering (1 paper(s))
  21. REX (Research and Education in Concurrent Systems) - Workshops (1 paper(s))
  22. IEEE Computer Security Foundations Workshop (CSFW) (1 paper(s))
  23. Radical Innovations of Software and Systems Engineering in the Future (1 paper(s))
  24. International Service Availability Symposium (1 paper(s))
  25. World Congress on Formal Methods (FM) (1 paper(s))
  26. International Symposium on Experimental Robotics (1 paper(s))
  27. Real-Time Computing Systems and Applications (1 paper(s))
  28. Formal Techniques for Networked and Distributed Systems / (1 paper(s))
  29. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (1 paper(s))
  30. Source Code Analysis and Manipulation (1 paper(s))
  31. High-Assurance Systems (HASE) (1 paper(s))
  32. Information Security Conference / Workshop (ISC/ISW) (1 paper(s))
  33. Software Engineering and Knowledge Engineering (SEKE) (1 paper(s))
  34. International Test Conference (ITC) (1 paper(s))
  35. Computational Science and Its Applications (1 paper(s))
  36. Languages, Compilers, and Tools for Embedded Systems (LCTES) (1 paper(s))
  37. International Conference on Theorem Proving in Higher Order Logics (1 paper(s))
  38. North American Process Algebra Workshop (1 paper(s))
  39. International Conference on Engineering of Complex Computer Systems (1 paper(s))
  40. Network and System Support for Games (1 paper(s))
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