dblp.uni-trier.dewww.uni-trier.de

Stephen Schmitt

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
4EEStephen Schmitt, Wolfgang Rosenstiel: Verification of a Microcontroller IP Core for System-on-a-Chip Designs Using Low-Cost Prototyping Environments. DATE 2004: 96-101
1999
3 Stephen Schmitt, Wolfgang Rosenstiel: Der Einsatz von Jini für die Realisierung durchgängiger Steuerungskonzepte in verteilten eingebetteten Systemen. Java-Informations-Tage 1999: 223-232
1997
2EEWolfgang Bibel, Daniel S. Korn, Christoph Kreitz, F. Kurucz, Jens Otten, Stephen Schmitt, G. Stolpmann: A Multi-level Approach to Program Synthesis. LOPSTR 1997: 1-27
1996
1 Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, Stephen Schmitt: Problem-Oriented Applications of Automated Theorem Proving. DISCO 1996: 1-21

Coauthor Index

1Wolfgang Bibel [1] [2]
2Daniel S. Korn [1] [2]
3Christoph Kreitz [1] [2]
4F. Kurucz [2]
5Jens Otten [2]
6Wolfgang Rosenstiel [3] [4]
7G. Stolpmann [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)