| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2024 | — | conf |
CEEeGov
|
| 2023 | — | conf |
ESEC/SIGSOFT FSE
|
| 2023 | J | jnl |
CoRR
|
| 2022 | B | conf |
GPCE
|
| 2021 | A* | conf |
PLDI
|
| 2021 | A* | conf |
PLDI
|
| 2021 | — | — |
|
| 2021 | — | ch. |
Ausgezeichnete Informatikdissertationen
|
| 2020 | J | jnl |
Proc. ACM Program. Lang.
|
| 2020 | — | conf |
ICAI
|
| 2020 | J | jnl |
Bioinform.
|
| 2020 | J | jnl |
Robotica
|
| 2019 | J | jnl |
Comput. Electron. Agric.
|
| 2019 | J | jnl |
Softw. Syst. Model.
|
| 2018 | — | conf |
ISSTA/ECOOP Workshops
|
| 2018 | J | jnl |
Proc. ACM Program. Lang.
|
| 2016 | A* | conf |
ASE
|
| 2016 | — | conf |
SPLASH (Companion Volume)
|
| 2016 | B | conf |
SLE
|
| 2016 | A* | conf |
ASE
|
| 2015 | — | conf |
CogInfoCom
|
| 2014 | — | conf |
MED
|
| 2014 | — | conf |
NEMS
|
| 2014 | C | conf |
IAS
|
| 2014 | — | conf |
ETX
|
| 2014 | — | conf |
HILT
|
| 2013 | J | jnl |
Appl. Math. Comput.
|
| 2012 | — | conf |
AMT@MoDELS
|
| 2012 | B | conf |
ICGT
|
| 2011 | C | conf |
ISPDC
|
| 2010 | J | jnl |
Comput. Chem. Eng.
|
| 2010 | J | jnl |
J. Comput. Appl. Math.
|
| 2009 | — | conf |
LSSC
|
| 2008 | — | conf |
NAA
|
| 2007 | J | jnl |
J. Comb. Theory A
|
| 2007 | J | jnl |
IEEE Trans. Syst. Man Cybern. Part B
|
| 2004 | J | jnl |
Appl. Intell.
|
| 2003 | — | conf |
MIE
|
| 2002 | J | jnl |
Discret. Math.
|
| 2001 | C | conf |
IEA/AIE
|
| 2000 | — | conf |
IJCNN (2)
|
| 2000 | — | conf |
IJCNN (3)
|
| 1998 | J | jnl |
IEEE Trans. Instrum. Meas.
|
| 1998 | — | conf |
NC
|
| 1998 | — | conf |
KES (3)
|
| 1998 | J | jnl |
Discret. Math.
|
| 1997 | Misc | conf |
ICASSP
|