• Verification of a Prolog Compiler - First Steps with KIV 

  Schellhorn, Gerhard; Ahrendt, W. (1996)

  Bericht
  
  

• The KIV-approach to Software Verification 

  Reif, Wolfgang; Broy, M.; Jähnichen, S. (1995)

  Teil eines Buches
  
  

• Sequence-Based Pronunciation Variation Modeling for Spontaneous ASR Using a Noisy Channel Approach 

  Hofmann, Hansjoerg et al. (2012)

  Wissenschaftlicher Artikel
  
  

• Self-learning speaker identification for enhanced speech recognition 

  Herbig, Tobias; Gerl, Franz; Minker, Wolfgang (2012)

  Wissenschaftlicher Artikel
  
  

• Reliability investigation of the degradation of the surface passivation of InAlN/GaN HEMTs using a dual gate structure 

  Ostermaier, Clemens et al. (2012)

  Beitrag zu einer Konferenz
  
  

• Active Integrated Tracking Detectors for MRI-Guided Interventions 

  Anders, J. et al. (2012)

  Wissenschaftlicher Artikel
  
  

• Habitual self-regulatory orientation and ease-of-retrieval: Regulatory focus qualifies the impact of subjective experiences in judgment 

  Greifeneder, Rainer; Keller, Johannes (2012)

  Wissenschaftlicher Artikel
  
  

• Self-Regulated Learning 

  Goetz, Thomas; Nett, Ulrike E.; Hall, Nathan C. (2013)

  Teil eines Buches
  
  

• Introduction to the Special Section on SCOPES'09 

  Falk, Heiko; Marwedel, Peter (2012)

  Wissenschaftlicher Artikel
  
  

• Antenna Concepts for Millimeter-Wave Automotive Radar Sensors 

  Menzel, Wolfgang; Moebius, Arnold (2012)

  Wissenschaftlicher Artikel
  
  

View more