Concepedia

Bogumił Hausman

BH

Statistics

Publications

6

Citations

236

H-Index

6

Active since

1987

Affiliations

Swedish Institute(Current)

Bogumił Hausman is an author at Swedish Institute specializing in parallel programming, engineering, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceParallel ProgrammingParallel ComputingComputer EngineeringComputer ArchitectureProgram AnalysisLogic ProgrammingAutomated Reasoning

Publications per year

1987–1996

6

Publications

6

Benchmarking implementations of functional languages with ‘Pseudoknot’, a float-intensive benchmark

Pieter Hartel, Marc Feeley, Martin Alt et al. · Journal of Functional Programming · 1996 · 73 citations · Full text

Engineering, Compiler Technology, Computer Architecture +19

The Aurora or-parallel Prolog system

Ewing Lusk, Ralph Butler, Robert Olson et al. · New Generation Computing · 1990 · 67 citations · Full text

Computational Logic, Engineering, Automated Reasoning +6

OR-parallel Prolog made efficient on shared memory multiprocessors

Bogumił Hausman, Andrzej Ciepielewski, Seif Haridi · KTH Publication Database DiVA (KTH Royal Institute of Technology) · 1987 · 51 citations · Full text

Engineering, Computer Architecture, Memory Model (Programming) +17

Cut and Side-Effects in Or-Parallel Prolog.

Bogumił Hausman, Andrzej Ciepielewski, Alan Calderwood · Future Generation Computer Systems · 1988 · 25 citations

Or-parallel PROLOG on shared memory multiprocessors

Andrzej Ciepielewski, Seif Haridi, Bogumił Hausman · The Journal of Logic Programming · 1989 · 10 citations

Engineering, Parallel Software, Formal Methods +8

1–5 of 6