Publications
- Martin Schwenke.
Towards a small, efficient Linux hardware inventory system.
In linux.conf.au 2005,
April 2005.
[more...]
- Martin Schwenke.
Using Vital Product Data For Persistent Device Naming.
In AUUG 2004 - Who Are You?,
September 2004.
[more...]
- Martin Schwenke.
Linux hardware inventory: Current reality, future possibilities.
In AUUG 2003 - Open Standards, Open Source, Open Computing,
September 2003.
[more...]
- Martin Schwenke.
Abusing the Debian ipmasq package.
In AUUG System Administration Symposium 2003,
April 2003.
[more...]
- Martin Schwenke.
My computer is bigger than yours!.
In linux.conf.au 2003,
January 2003.
[more...]
- Martin Schwenke.
Polythene PAM ain't what she used to be....
In AUUG 2002 - Measure, Monitor, Control,
September 2002.
[more...]
- Jim Grundy, Martin Schwenke and Trevor Vickers, editors.
International Refinement Workshop and Formal Methods
Pacific 1998. Proceedings of IRW/FMP'98, 29 September – 2
October 1998, Canberra, Australia. Discrete Mathematics
and Theoretical Computer Science, Singapore, 1998.
ISBN 981-4021-16-4. Springer-Verlag.
- Martin Schwenke and Brendan Mahony. The Essence of
Expression Refinement. In International Refinement
Workshop and Formal Methods Pacific 1998 (proceedings,
see above), pages 324–333.
[more...]
- Jim Grundy, Martin Schwenke and Trevor Vickers, editors.
International Refinement Workshop and Formal Methods
Pacific 1998. Work-in-progress papers of IRW/FMP'98, 29
September – 2 October 1998, Canberra, Australia.
Joint
Computer Science Technical Report TR-CS-98-09. The
Australian National University, Department of Computer Science,
Canberra ACT 0200, Australia. September 1998.
ISBN 0-7315-4801-9.
- Martin Schwenke. I Went Down To The Crossroads:
Conjoining Catamorphisms. In International
Refinement Workshop and Formal Methods Pacific 1998
(work-in-progress papers, see above), pages 85–96.
[more...]
- Ken Robinson, Peter Ho and Martin Schwenke. To Zed and
Back: Integrating Data Flow Diagrams and Z. First
Australian Conference on Computer Science Education, ACM,
University of Sydney, Sydney, Australia, July 3–5, 1996.
|
