4 papers:
- DAC-2001-Albin #verification
- Nuts and Bolts of Core and SoC Verification (KA), pp. 249–252.
- TOOLS-USA-1998-Karaorman #distributed #object-oriented
- Nuts and Bolts of Object-Oriented Distributed Computing (MK), pp. 414–427.
- KBSE-1995-Tyugu #development #experience #knowledge-based #object-oriented #programming
- From Object-Oriented to Knowledge-Based Programming (NUT System Development Experience) (ET), pp. 88–95.
- CCHSC-1988-Penjam #compilation #object-oriented
- Compiler Construction by Object-Oriented System Nut (JP), pp. 66–80.