| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2022 | J | jnl |
J. Symb. Comput.
|
| 2021 | J | jnl |
ACM Commun. Comput. Algebra
|
| 2017 | J | jnl |
Theory Comput. Syst.
|
| 2016 | J | jnl |
Fundam. Informaticae
|
| 2016 | B | ed. |
WG
|
| 2015 | A | ed. |
STACS
|
| 2015 | J | jnl |
Fundam. Informaticae
|
| 2015 | A | conf |
STACS
|
| 2014 | A | ed. |
STACS 2014
|
| 2014 | B | conf |
Petri Nets
|
| 2013 | — | conf |
RP
|
| 2013 | B | ed. |
CASC
|
| 2013 | J | jnl |
J. Symb. Comput.
|
| 2013 | J | jnl |
Algorithmica
|
| 2013 | B | conf |
Petri Nets
|
| 2012 | B | ed. |
CASC
|
| 2012 | — | conf |
ANALCO
|
| 2011 | B | ed. |
CASC
|
| 2011 | B | conf |
ISSAC
|
| 2010 | B | ed. |
CASC
|
| 2010 | Misc | ed. |
CSR
|
| 2010 | B | conf |
ISSAC
|
| 2010 | B | conf |
CASC
|
| 2009 | J | jnl |
Inform. Spektrum
|
| 2009 | B | ed. |
CASC
|
| 2009 | J | jnl |
Inform. Spektrum
|
| 2008 | — | conf |
Lebenslanges Lernen in der Informatik
|
| 2007 | B | ed. |
CASC
|
| 2007 | — | conf |
SNC
|
| 2007 | B | conf |
CASC
|
| 2006 | B | ed. |
CASC
|
| 2006 | B | conf |
CASC
|
| 2005 | B | ed. |
CASC
|
| 2005 | — | conf |
GI Jahrestagung (2)
|
| 2005 | B | conf |
CASC
|
| 2004 | — | conf |
GI Jahrestagung (2)
|
| 2004 | — | ed. |
IFIP TCS
|
| 2004 | — | conf |
Automated Deduction in Geometry
|
| 2003 | J | jnl |
Comput. J.
|
| 2003 | — | conf |
GI Jahrestagung (1)
|
| 2002 | — | conf |
Euro-Par
|
| 2002 | J | jnl |
J. Algorithms
|
| 2002 | J | jnl |
J. Algorithms
|
| 2001 | J | jnl |
J. Symb. Comput.
|
| 2001 | J | jnl |
Theor. Comput. Sci.
|
| 2001 | J | jnl |
J. Parallel Distributed Comput.
|
| 2000 | — | conf |
Euro-Par
|
| 2000 | — | conf |
IFIP TCS
|
| 2000 | J | jnl |
Inf. Comput.
|
| 1999 | J | jnl |
J. Symb. Comput.
|
| 1999 | — | conf |
GI Jahrestagung
|
| 1999 | B | ed. |
CASC
|
| 1998 | — | conf |
Euro-Par
|
| 1998 | — | ed. |
Lectures on Proof Verification and Approximation Algorithms
|
| 1998 | B | conf |
ISAAC
|
| 1998 | B | conf |
SPAA
|
| 1997 | J | jnl |
J. Algorithms
|
| 1997 | J | jnl |
Algorithmica
|
| 1997 | J | jnl |
J. Complex.
|
| 1997 | B | conf |
FCT
|
| 1996 | — | conf |
Euro-Par, Vol. I
|
| 1996 | J | jnl |
J. Algorithms
|
| 1996 | B | conf |
ISSAC
|
| 1996 | J | jnl |
Theor. Comput. Sci.
|
| 1996 | — | conf |
IRREGULAR
|
| 1996 | — | conf |
Euro-Par, Vol. II
|
| 1996 | A | conf |
STACS
|
| 1996 | B | conf |
ISSAC
|
| 1996 | A* | conf |
ICALP
|
| 1996 | J | jnl |
Parallel Algorithms Appl.
|
| 1995 | B | ed. |
WG
|
| 1995 | B | conf |
FCT
|
| 1995 | J | jnl |
J. Parallel Distributed Comput.
|
| 1995 | A | ed. |
STACS
|
| 1995 | — | conf |
HICSS (2)
|
| 1994 | — | conf |
Optimal Expression Evaluation and Term Matching on the Boolean Hypercube and on Hypercubic Networks.
HICSS (2)
|
| 1994 | A | ed. |
STACS
|
| 1993 | J | jnl |
Forschungsberichte, TU Munich
|
| 1993 | J | jnl |
Forschungsberichte, TU Munich
|
| 1993 | A | conf |
STACS
|
| 1993 | B | ed. |
WG
|
| 1993 | A | conf |
ESA
|
| 1993 | J | jnl |
J. Parallel Distributed Comput.
|
| 1992 | J | jnl |
Comb.
|
| 1992 | — | conf |
Heinz Nixdorf Symposium
|
| 1992 | B | conf |
SPAA
|
| 1992 | J | jnl |
J. Comput. Syst. Sci.
|
| 1991 | — | conf |
SPDP
|
| 1989 | A | conf |
STACS
|
| 1989 | J | jnl |
Inf. Comput.
|
| 1989 | J | jnl |
Theor. Comput. Sci.
|
| 1989 | — | conf |
SCT
|
| 1988 | B | conf |
WG
|
| 1988 | — | conf |
FGCS
|
| 1987 | J | jnl |
Inf. Process. Lett.
|
| 1987 | J | jnl |
SIAM J. Comput.
|
| 1986 | B | conf |
WG
|
| 1986 | B | conf |
ICPP
|
| 1986 | — | conf |
Aegean Workshop on Computing
|
| 1984 | J | jnl |
SIAM J. Comput.
|
| 1984 | A* | conf |
ICALP
|
| 1983 | A* | conf |
FOCS
|
| 1981 | A* | conf |
STOC
|
| 1981 | J | jnl |
Acta Informatica
|
| 1981 | J | jnl |
J. ACM
|