myContract. de - Document Design online oder individuelle Verträge aus dem Internet. - Peter Bellmann; Sebastian Gottschall; Sebastian Haufe; Jürgen Schwarz (Liechtensteinisches Wirtschaftsinformatik-Symposium, 2001)

Pushing the Envelope: General Game Players Prove Theorems. - Sebastian Haufe; Michael Thielscher (Australasian Conference on Artificial Intelligence, 2010)

Knowledge-Based General Game Playing. - Sebastian Haufe; Daniel Michulke; Stephan Schiffel; Michael Thielscher (Künstliche Intell., 2011)

Automated Verification of Epistemic Properties for General Game Playing. - Sebastian Haufe; Michael Thielscher (KR, 2012)

Automated verification of state sequence invariants in general game playing. - Sebastian Haufe; Stephan Schiffel; Michael Thielscher (Artif. Intell., 2012)

Automated Theorem Proving for General Game Playing. - Sebastian Haufe (2012)

The role of alpha-rhythm states in perceptual learning: insights from experiments and computational models. - Rodrigo Sigala; Sebastian Haufe; Dipanjan Roy; Hubert R. Dinse; Petra Ritter (Frontiers Comput. Neurosci., 2014)