Concepedia

Steve Kollmansberger

SK

4

Publications

238

Citations

4

H-Index

2005

Active since

Affiliations

Oregon State University(Current)

University of Houston

Steve Kollmansberger is an author at Oregon State University specializing in engineering, computer science, and software design.

Top concepts

EngineeringComputer ScienceFormal MethodsSoftware DesignProgram AnalysisSoftware TestingSoftware AnalysisSoftware EngineeringData ScienceData Modeling

Publications per year

2005–2005

4

Publications

4

FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell

Martin Erwig, Steve Kollmansberger · Journal of Functional Programming · 2005 · 69 citations · Full text

Engineering, Probabilistic Computation, Function F +17

Automatic generation and maintenance of correct spreadsheets

Martin Erwig, Robin Abraham, Irene Cooperstein et al. · 2005 · 65 citations

Software Maintenance, Engineering, Software Engineering +20

Visual Specifications of Correct Spreadsheets

Robin Abraham, M. Erwig, Steve Kollmansberger et al. · 2005 · 54 citations

Engineering, Visual Programming Language, Visualization (Graphics) +20

Gencel: a program generator for correct spreadsheets

Martin Erwig, Robin Abraham, Steve Kollmansberger et al. · Journal of Functional Programming · 2005 · 50 citations · Full text

Engineering, Software Systems, Software Engineering +17

Rows per page

1–4 of 4