Uwe Bubeck  
ub-net Portal
Weitere Themen Arrow | Kontakt

Lehrtätigkeit

Diese Seite gibt einen Überblick über meine Lehrtätigkeit an der Universität Paderborn und der San Diego State University.

Eigene Vorlesungen

Universität Paderborn:

San Diego State University:

  • Math 141 Precalculus, Summer 2003
  • Math 141 Precalculus, Fall 2002

Seminare

Universität Paderborn:

Übungsleitung

Universität Paderborn:

San Diego State University:

  • Math 150 Calculus 1, Spring 2003

Betreute Abschlussarbeiten

  • Stephan Epp, "Learning Monotone DNF in Boolean Circuits", Masterarbeit, 2013
  • Nikolaos Ikonomakis, "Combining Three-Valued Logic and Quantified Boolean Formulas in Bounded Model Checking Encodings", Masterarbeit, gemeinsam mit N. Timm betreut, 2013
  • Fabian Schmauder, "QHORNb- und Q2-CNFb-Anteil in Quantifizierten Booleschen Formeln", Bachelorarbeit, 2012
  • Lilli Bergner, "Finding Largest Abbreviations in CNF Formulas and its Application in QBF Preprocessing", Bachelorarbeit, 2011
  • Martin Wieczorek, "Heuristiken zur Generierung von Projektionen von SAT Instanzen", Diplomarbeit, gemeinsam mit A. Goebels betreut, 2007
  • Xiaoxiao Yi, "Quantorexpansion für Quantifizierte Hornfomeln", Bachelor-/Studienarbeit, 2007
  • Henning Ellerweg, "A Multi-Agent System Approach to Satisfiability Problems", Diplomarbeit, gemeinsam mit A. Goebels betreut, 2006
  • Yuhan Yan, "Implementierung spezieller Algorithmen für Erfüllbarkeitsmodelle quantifizierter Hornformeln", Bachelor-/Studienarbeit, 2006

Promotionskommissionen

  • Nils Timm, "Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems", 2013

Navigation

Profil

Projekte

Forschung

ProverBox

Schwingkreis

Publikationen

Lehrtätigkeit

Kontakt

English Pages