Harald Ganzinger

Harald Ganzinger (31 October 1950, Werneck – 3 June 2004, Saarbrücken) was a German computer scientist who together with Leo Bachmair developed the… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
The fourth generation wireless communication systems have been deployed or are soon to be deployed in many countries. However… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2013
Highly Cited
2013
The recent emergence of artemisinin-resistant Plasmodium falciparum malaria in western Cambodia could threaten prospects for… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
Highly Cited
2009
Highly Cited
2009
0022-1694/$ see front matter 2009 Elsevier B.V. A doi:10.1016/j.jhydrol.2009.08.003 * Corresponding author. Present address: IWHW… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2006
2006
In this paper we present a method of integrating theory reasoning into the instantiation framework. This integration is done in… (More)
Is this relevant?
Highly Cited
2002
Highly Cited
2002
The increased usage of embedded pre-designed reusable cores necessitates a core-based test strategy, in which cores are tested as… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
2000
Highly Cited
2000
A wrapper is a thin shell around the core, that provides the switching between functional, and core-internal and core-external… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
Highly Cited
1999
Highly Cited
1999
The paper develops a simple stochastic new open economy macroeconomic model based on sticky nominal wages. Explicit solution of… (More)
  • table 1
  • table 2
Is this relevant?
Highly Cited
1988
Highly Cited
1988
In general, logic programs are undirected, i.e. there is no concept of ‘‘input’’ and ‘‘output’’ arguments to a procedure. An… (More)
  • figure 1
Is this relevant?
Highly Cited
1943
Highly Cited
1943
The Oceans: Their Physics, Chemistry and General Biology is described as the first comprehensive textbook in oceanography. It is… (More)
Is this relevant?