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

Stephen Schmitt Vis

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

*2009
5EESayandeep Sen, Stephen Schmitt, Mason Donahue, Suman Banerjee: Exploiting "approximate communication" for mobile media applications. HotMobile 2009
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
1EEWolfgang Bibel, Daniel S. Korn, Christoph Kreitz, Stephen Schmitt: Problem-Oriented Applications of Automated Theorem Proving. DISCO 1996: 1-21

Coauthor Index

1Suman Banerjee [5]
2Wolfgang Bibel [1] [2]
3Mason Donahue [5]
4Daniel S. Korn [1] [2]
5Christoph Kreitz [1] [2]
6F. Kurucz [2]
7Jens Otten [2]
8Wolfgang Rosenstiel [3] [4]
9Sayandeep Sen [5]
10G. Stolpmann [2]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)