Alan Turing: Life and Legacy of a Great Thinker

Principles of problem solving

Communications of the ACM - Services science

Zeno machines and hypercomputation

Theoretical Computer Science

A note on discreteness and virtuality in analog computing

Theoretical Computer Science

$-Calculus of Bounded Rational Agents: Flexible Optimization as Search under Bounded Resources in Interactive Systems

Fundamenta Informaticae

How can nature help us compute?

SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science

Bio-inspired computing paradigms (natural computing)

UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms

Envisioning ubiquitous computing

Proceedings of the SIGCHI Conference on Human Factors in Computing Systems

The incomputable Alan Turing

Turing'04 Proceedings of the 2004 international conference on Alan Mathison Turing: a celebration of his life and achievements