Bernhard Sch

发表

Topic- and Author-Specific Suggestion Lists for Typing with Ambiguous Keyboards

Karin Harbusch, K Michael, Bernhard Sch, 2003 .

Support-Vektor-Methoden zur Analyse hochdimensionaler Daten

Alexander J. Smola, Bernhard Sch, Alex Smola, 1999 .

From Solution to Problem Spaces: Formal Methods in the Context of Model-Based Development and Domain-Specific Languages

Bernhard Sch, 2011 .

Modellbasierte Entwicklung softwareintensiver Systeme im Automobil

Manfred Broy, Ulrich Freund, Robert Sandner, 2007 .

Model-Based Engineering of Embedded Control Software

Bernhard Sch, 2006 .

A tutorial on n-support vector machines

Bernhard Sch, Pai-Hsuen Chen, Chih-Jen Lin, 2005 .

AutoFocus: A Tool for Distributed Systems Specification

Bernhard Sch, Katharina Spies, B. Schätz, 1996, FTRTFT.

Verification of Model Transformations

Bernhard Sch, 2009 .