 | 2000 |
|---|
| 9 |       | Detlef Schmid,
Manfred Broy:
. . . noch nicht zu spät! Das Walberberg-Memorandum zur Förderung der IT-Forschung.
Informatik Spektrum 23(2): 109-117 (2000) |
| 1999 |
|---|
| 8 | | Christian Blumenröhr,
Dirk Eisenbiegler,
Detlef Schmid:
On the efficiency of formal synthesis-experimental results.
IEEE Trans. on CAD of Integrated Circuits and Systems 18(1): 25-32 (1999) |
| 1997 |
|---|
| 7 |  | Kurt Antreich,
Franz J. Rammig,
Wolfgang Rosenstiel,
Detlef Schmid,
Klaus Waldschmidt:
DFG-Schwerpunktprogramm: Entwurf und Entwurfsmethodik eingebetteter Systeme.
GI Jahrestagung 1997: 93-101 |
| 6 | | Kurt Antreich,
Franz J. Rammig,
Wolfgang Rosenstiel,
Detlef Schmid,
Klaus Waldschmidt:
DFG-Schwerpunktprogramm: Entwurf und Entwurfsmethodik eingebetteter Systeme.
Inform., Forsch. Entwickl. 12(4): 220-223 (1997) |
| 1996 |
|---|
| 5 | | Ramayya Kumar,
Christian Blumenröhr,
Dirk Eisenbiegler,
Detlef Schmid:
Formal Synthesis in Circuit Design - A Classification and Survey.
FMCAD 1996: 294-309 |
| 1984 |
|---|
| 4 | | Detlef Schmid,
Raul Camposano,
Wolfgang Rosenstiel:
Automatischer Entwurf hochintegrierter Schaltungen aus Beschreibungen der Schaltungsfunktion.
GI Jahrestagung 1984: 391-406 |
| 1979 |
|---|
| 3 | | Detlef Schmid,
Thomas Schmitt:
Vergleich und Bewertung einiger Registertransfersprachen.
Elektronische Rechenanlagen 21(1): 7-12 (1979) |
| 1978 |
|---|
| 2 | | Detlef Schmid,
Thomas Schmitt:
Beschreibung einiger Registertransfersprachen.
Elektronische Rechenanlagen 20(6): 269-277 (1978) |
| 1966 |
|---|
| 1 | | Detlef Schmid,
Gerhard Schulze:
Zeitvergleiche zwischen Lernmatrixschaltungen und funktionell gleichwertigen Simulationsprogrammen.
Elektronische Rechenanlagen 8(5): 232-237 (1966) |
