Routing money, not packets.
Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems.
Between the lines.
Created computed universe.
Forgetting made (too) easy.
Plenty of proteins.
Estonia: a model for e-government.
Evaluation without ground truth in social media research.
Bringing evidence-based education to CS.
An interview with U.S. chief technology officer Megan Smith.
Emergent innovation.
Future internets escape the simulator.
Lazarus code.
The science of managing data science.
IllumiRoom: immersive experiences beyond the TV screen.
Reliable Cron across the planet.
Q&A: The Path to Clean Data.
To learn CS principles, start in the cafeteria line.
A celebration of accomplishments.
Forging relationships.
Thank you...
Turing lecture: The computer science of concurrency: the early years.
Virtual reality in your living room: technical perspective.
Klaus Tschira: 1940-2015.