Timothy Pavlik

According to our database, Timothy Pavlik authored at least 2 papers in 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Picard: a creative and social online flashcard learning game.

Kathleen Tuite, Timothy Pavlik, Sandra B. Fan, Tyler Robison, Alexander Jaffe, Yun-En Liu, Erik Andersen, Steven L. Tanimoto

Proceedings of the International Conference on the Foundations of Digital Games, 2012

Verification games: making verification fun.

Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Nathaniel Mote, Brian Walker, Seth Cooper, Timothy Pavlik, Zoran Popovic

Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, 2012