• SoPlex

  • Referenced in 88 articles [sw04063]
  • part of Roland Wunderling’s Ph.D. thesis Paralleler und Objektorientierter Simplex-Algorithmus (in German...
  • ALF

  • Referenced in 67 articles [sw08603]
  • Monomorphic Type Theory with Explicit Substitution. This thesis describes the implementation of ALF, which...
  • Octagon

  • Referenced in 61 articles [sw13702]
  • done during my DEA and PhD. Thesis The main publication is an article entitled...
  • GHC

  • Referenced in 43 articles [sw23765]
  • Guarded Horn clauses. The thesis introduces the programming language Guarded Horn Clauses which is abbreviated...
  • MULTIMIX

  • Referenced in 34 articles [sw03250]
  • Hunt [Clustering using finite mixture models. Ph.D. thesis, Univ. Waikato (1996)] implemented the finite mixture...
  • QSopt_ex

  • Referenced in 27 articles [sw04722]
  • description (which is part of my Ph.D. thesis) can be found here Much...
  • subplex

  • Referenced in 23 articles [sw04818]
  • developed by Tom Rowan for his Ph.D. Thesis: Functional Stability Analysis of Numerical Algorithms (University...
  • BiMD

  • Referenced in 22 articles [sw13275]
  • also Cecilia Magherini’s PhD thesis, also available as a compressed file); the code BiMD...
  • SharpClaw

  • Referenced in 20 articles [sw06638]
  • described in David Ketcheson’s Ph.D. thesis. To solve a particular hyperbolic system, SharpClaw requires...
  • parDG

  • Referenced in 19 articles [sw18743]
  • With CD-ROM. The aim of this thesis is the numerical simulation of two-phase...
  • SFMT

  • Referenced in 17 articles [sw22111]
  • state is much faster. See Master’s Thesis of Mutsuo Saito for detail...
  • YalSAT

  • Referenced in 10 articles [sw31644]
  • WalkSAT. As part of reviewing the PhD thesis of Adrian Balint, who introduced ProbSAT...
  • SHRAD

  • Referenced in 6 articles [sw02663]
  • computability on real numbers. Ph. D. Thesis, Università di Pisa-Genova-Udine (1993)] introduced ... author, Sequentiality in real number computation. Ph.D. thesis, School of Computer Science, University of Birmingham...
  • COCA

  • Referenced in 8 articles [sw05004]
  • Tang} [Ph. D. Thesis, Univ. of California at Berkeley (1987)].par Furthermore, the authors present...
  • MuShROOM

  • Referenced in 8 articles [sw12000]
  • control and model-predictive control problems. His thesis presents a lot of novel results...
  • qpHPSC

  • Referenced in 8 articles [sw12001]
  • control and model-predictive control problems. His thesis presents a lot of novel results...
  • PermLib

  • Referenced in 7 articles [sw09845]
  • implementation can be found in the Diploma thesis of the author Thomas Rehn...
  • CHUFFED

  • Referenced in 7 articles [sw24724]
  • generation solver chuffed: Improving combinatorial optimization. PhD thesis, Engineering, Computer Science and Software Engineering...
  • MUSCOP

  • Referenced in 6 articles [sw06143]
  • with time-periodic PDE constraints. In this thesis we develop a numerical method based...