Mathematical logic in artificial intelligence
The artificial intelligence debate: false starts, real foundations
Computing the future: a broader agenda for computer science and engineering
Computing the future: a broader agenda for computer science and engineering
Journal of the ACM (JACM)
An introduction to Kolmogorov complexity and its applications
An introduction to Kolmogorov complexity and its applications
The mythical man-month (anniversary ed.)
The mythical man-month (anniversary ed.)
A Machine-Independent Theory of the Complexity of Recursive Functions
Journal of the ACM (JACM)
Some Observations About the Nature of Computer Science
Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science
The changing curriculum of computing and information technology in Australia
Proceedings of the 2nd Australasian conference on Computer science education
Communications of the ACM
On the computational complexity of bisimulation, redux
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
On the computational complexity of bisimulation, redux
Information and Computation - Special issue: Commemorating the 50th birthday anniversary of Paris C. Kanellakis
The Structural Complexity of Software: An Experimental Test
IEEE Transactions on Software Engineering
Research ethics and computer science: an unconsummated marriage
SIGDOC '06 Proceedings of the 24th annual ACM international conference on Design of communication
Abstraction ability as an indicator of success for learning computing science?
ICER '08 Proceedings of the Fourth international Workshop on Computing Education Research
On the computational complexity of bisimulation, redux
Information and Computation
Reflections on computer science and information systems research
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Teaching abstraction in introductory courses
Proceedings of the fifteenth annual conference on Innovation and technology in computer science education
Basic notions in computational complexity
Algorithms and theory of computation handbook
Other complexity classes and measures
Algorithms and theory of computation handbook
Computing as a Science: A Survey of Competing Viewpoints
Minds and Machines
Empirical Studies on the Functional Complexity of Software in Large-Scale Software Systems
International Journal of Software Science and Computational Intelligence
| Hi-index | 48.24 |