Gerwin Klein

Homepages 🌐

• http://www.cse.unsw.edu.au/~kleing/

E-Mails 📧

• ua.ude.wsnu @gnielk

Entries

2024

AutoCorres2

by Matthew Brecknell, David Greenaway, Johannes Hölzl 📧, Fabian Immler 📧, Gerwin Klein 📧, Rafal Kolanski 📧, Japheth Lim, Michael Norrish, Norbert Schirmer 📧, Salomon Sickert, Thomas Sewell, Harvey Tuch and Simon Wimmer

Apr 17

2016

Finite Machine Word Library

by Joel Beeren, Matthew Fernandez, Xin Gao, Gerwin Klein 🌐, Rafal Kolanski, Japheth Lim, Corey Lewis, Daniel Matichuk and Thomas Sewell

Jun 09

2012

Separation Algebra

by Gerwin Klein 📧, Rafal Kolanski 📧 and Andrew Boyton 📧

May 11

2005

Jinja is not Java

by Gerwin Klein 🌐 and Tobias Nipkow 🌐

Jun 01