Skip to search formSkip to main contentSkip to account menu

Nico Habermann

Known as: Habermann, Arie Habermann, A. N. Habermann 
Arie Nicolaas Habermann (26 June 1932 – 8 August 1993), often known as Nico Habermann, was a noted Dutch computer scientist. Habermann was born in… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
Citation for published version (APA): Osama, M., & Wijs, A. (2019). Parallel SAT simplification on GPU architectures. In L. Zhang… 
Highly Cited
2008
Highly Cited
2008
One of the most important control problems is control under heavy uncertainty conditions. While there are a number of… 
Highly Cited
2007
Highly Cited
2007
SUPERFLIP is a computer program that can solve crystal structures from diffraction data using the recently developed charge… 
Review
2005
Review
2005
Visualization Handbook Section One: Introduction by Johnson and Hansen Chapter 1. Overview of Visualization by Schroeder Section… 
Highly Cited
2004
Highly Cited
2004
Invited Contributions.- Branching vs. Linear Time: Final Showdown.- Propositional Reasoning.- Symbolic Verification.- Language… 
Highly Cited
2000
Highly Cited
2000
1. Introduction Suzanne Kemmer and Michael Barlow 2. A dynamic usage-based model Ronald W. Langacker 3. The phonology of the… 
Highly Cited
1997
Highly Cited
1997
Highly Cited
1997
This document1 contains definitions of a wide range of concepts specific to and widely used within temporal databases. In… 
Highly Cited
1992
Highly Cited
1992
We present a domain-independent model of hierarchical software system design and construction that is based on interchangeable…