Research output

Research output per year 1972 1984 1985 1986 1987 1988 1989 1995 1997 2006 2009 2024

• 103 Conference contribution
• 85 Article
• 27 Chapter (peer-reviewed)
• 20 Other report
• 42 More
  • 11 Editorial
  • 7 Other chapter contribution
  • 7 Paper
  • 5 Conference article
  • 4 Chapter
  • 3 Book
  • 3 Other contribution
  • 1 Comment/debate
  • 1 Digital or Visual Products

Research output per year

Research output per year

Search results

• 1980

  Space-time tradeoffs and first order problems in a model of programs

  Yap, C., 1980, ACM Symposium on Theory of Computing. Vol. 12. p. 318-325

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 1979

  On the formal specification and analysis of loosely connected processes

  Miller, R. E. & Yap, C. K., 1979, Mathematical Studies of Information Processing - Proceedings of the International Conference. Blum, E. K., Paul, M. & Takasu, S. (eds.). Springer Verlag, p. 33-66 34 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 75 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Mutual Exclusion 100%
  • Synchronization Graphs 50%
  • Exclusion Problem 50%
  • Process Graph 50%
  • Inherent Requirements 50%
• 1978

  Formal specification and analysis of loosely connected processes

  Miller, R. & Yap, C., 1978, Proceedings of the International Conference on Mathematical Studies of Information Processing. Research Institute of Mathematical Sciences, Kyoto, Japan. August 23-26, 1978. (Complete report in IBM Research Report RC-6716; no. 28917).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution