Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Steven Obua
ProofScript: Proof Scripting for the Masses
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proving Bounds for Real Linear Programs in Isabelle/Hol
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Scripting Discussions for Elaborative, Critical Interactions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Python Scripting in the Nengo Simulator
Frontiers in Neuroinformatics
Neuroscience
Computer Science Applications
Biomedical Engineering
Windows Scripting Lernen
A Spreadsheet-Based Scripting Environment for SNMP
Remote Scripting for Microscope Control Applications on the Tecnai TEM
Microscopy and Microanalysis
Instrumentation
Fabrication of a Biomimetic Corrugated Polysilicon Diaphragm With Attached Single Crystal Silicon Proof Masses
Experience With SAND-Tcl: A Scripting Tool for Spatial Databases
Journal of Visual Languages and Computing
Linguistics
Computer Science Applications
Human-Computer Interaction
Language
DVD-Video: Multimedia for the Masses
IEEE Multimedia
Media Technology
Signal Processing
Hardware
Computer Science Applications
Architecture
Software
Fluctuation Electron Microscopy for the MASses
Microscopy and Microanalysis
Instrumentation
