| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | J | jnl |
Digit. Scholarsh. Humanit.
|
| 2023 | J | jnl |
Digit. Scholarsh. Humanit.
|
| 2023 | J | jnl |
it Inf. Technol.
|
| 2022 | J | jnl |
Digit. Scholarsh. Humanit.
|
| 2020 | J | jnl |
it Inf. Technol.
|
| 2020 | J | jnl |
it Inf. Technol.
|
| 2020 | — | conf |
DHd
|
| 2019 | — | book |
Ausgezeichnete Informatikdissertationen
|
| 2018 | — | book |
Ausgezeichnete Informatikdissertationen
|
| 2018 | C | conf |
RC
|
| 2017 | — | book |
Ausgezeichnete Informatikdissertationen
|
| 2016 | — | book |
Ausgezeichnete Informatikdissertationen
|
| 2015 | J | jnl |
Datenbank-Spektrum
|
| 2015 | J | jnl |
Digit. Scholarsh. Humanit.
|
| 2015 | — | book |
Ausgezeichnete Informatikdissertationen
|
| 2015 | J | jnl |
Comput.
|
| 2015 | J | jnl |
Datenbank-Spektrum
|
| 2015 | J | jnl |
it Inf. Technol.
|
| 2014 | J | jnl |
J. Heuristics
|
| 2014 | — | book |
Ausgezeichnete Informatikdissertationen
|
| 2014 | J | jnl |
Discret. Appl. Math.
|
| 2014 | J | jnl |
it Inf. Technol.
|
| 2014 | — | conf |
DH
|
| 2013 | — | conf |
MBMV
|
| 2013 | — | conf |
DH
|
| 2012 | — | book |
Ausgezeichnete Informatikdissertationen
|
| 2012 | — | book |
Ausgezeichnete Informatikdissertationen
|
| 2011 | — | book |
Ausgezeichnete Informatikdissertationen
|
| 2011 | — | conf |
MBMV
|
| 2011 | J | jnl |
it Inf. Technol.
|
| 2010 | — | book |
Ausgezeichnete Informatikdissertationen
|
| 2010 | — | book |
Ausgezeichnete Informatikdissertationen
|
| 2010 | C | conf |
AAIM
|
| 2009 | C | conf |
CTW
|
| 2009 | C | conf |
AAIM
|
| 2008 | C | conf |
COCOA
|
| 2008 | — | book |
Ausgezeichnete Informatikdissertationen
|
| 2008 | J | jnl |
it Inf. Technol.
|
| 2008 | — | book |
Technische Informatik - eine einführende Darstellung.
|
| 2007 | — | conf |
CAAN
|
| 2007 | — | conf |
ICCTA
|
| 2006 | J | jnl |
it Inf. Technol.
|
| 2006 | — | book |
Ausgezeichnete Informatikdissertationen
|
| 2006 | C | conf |
AAIM
|
| 2006 | — | conf |
CAAN
|
| 2005 | — | book |
Ausgezeichnete Informatikdissertationen
|
| 2005 | J | jnl |
it Inf. Technol.
|
| 2005 | — | book |
Technische Informatik - eine Einführung.
|
| 2004 | J | jnl |
it Inf. Technol.
|
| 2004 | — | book |
|
| 2003 | J | jnl |
Formal Methods Syst. Des.
|
| 2003 | J | jnl |
it Inf. Technol.
|
| 2002 | J | jnl |
Formal Methods Syst. Des.
|
| 2002 | — | conf |
APCCAS (1)
|
| 2001 | A | conf |
FPGA
|
| 2001 | J | jnl |
Int. J. Softw. Tools Technol. Transf.
|
| 2000 | — | conf |
CICC
|
| 2000 | — | conf |
ASP-DAC
|
| 2000 | J | jnl |
IEEE Trans. Computers
|
| 2000 | — | conf |
MBMV
|
| 2000 | — | conf |
ACM Great Lakes Symposium on VLSI
|
| 1999 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 1999 | — | book |
Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen.
|
| 1999 | J | jnl |
Integr.
|
| 1999 | A | conf |
GD
|
| 1998 | — | conf |
Euro-Par
|
| 1997 | — | conf |
ED&TC
|
| 1997 | Misc | conf |
VTS
|
| 1996 | — | conf |
Great Lakes Symposium on VLSI
|
| 1996 | A | conf |
PPSN
|
| 1995 | — | conf |
ASP-DAC
|
| 1995 | — | conf |
ASP-DAC
|
| 1995 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 1995 | — | conf |
Great Lakes Symposium on VLSI
|
| 1994 | — | conf |
Great Lakes Symposium on VLSI
|
| 1994 | Misc | conf |
VLSI Design
|
| 1993 | J | jnl |
Integr.
|
| 1993 | — | conf |
EURO-DAC
|
| 1992 | — | ch. |
Informatik
|
| 1992 | — | conf |
EURO-DAC
|
| 1992 | A | conf |
STACS
|
| 1991 | J | jnl |
J. Inf. Process. Cybern.
|
| 1991 | J | jnl |
Integr.
|
| 1990 | — | conf |
EURO-DAC
|
| 1990 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 1989 | J | jnl |
Integr.
|
| 1989 | — | book |
Einführung in den VLSI-Entwurf.
|
| 1987 | A* | conf |
DAC
|
| 1987 | A | conf |
STACS
|
| 1986 | J | jnl |
Inform. Forsch. Entwickl.
|
| 1986 | J | jnl |
Inform. Forsch. Entwickl.
|
| 1986 | — | conf |
Graph-Grammars and Their Application to Computer Science
|
| 1986 | — | — |