Automated Construction of Reasonable Environment for Java Components
- 作者Pavel Parizek; Jiri Adamek; Tomas Kalibera
- 卷第253卷
- 期第1期
- 印刷ISSN1571-0661
- 文件大小363.55KB
- 发表时间2009
- DOI10.1016/j.entcs.2009.09.033
- 页码145-160
Courcelle’s theorem—A game-theoretic approachJoachim Kneis; Alexander Langer; Peter Rossmanith · 2011
A New Algorithm for Finding Trees with Many LeavesJoachim Kneis; Alexander Langer; Peter Rossmanith · 2011
Digraph width measures in parameterized algorithmicsGanian, Robert; Hliněný, Petr; Kneis, Joachim; Langer, Alexander; Obdržálek, Jan; Rossmanith, Peter · Discrete Applied Mathematics · 2014
An exact algorithm for the Maximum Leaf Spanning Tree problemHenning Fernau; Joachim Kneis; Dieter Kratsch; Alexander Langer; Mathieu Liedloff; Daniel Raible; Peter Rossmanith · 2011
Breaking the -barrier for Irredundance: Two lines of attackDaniel Binkele-Raible; Ljiljana Brankovic; Marek Cygan; Henning Fernau; Joachim Kneis; Dieter Kratsch; Alexander Langer; Mathieu Liedloff; Marcin Pilipczuk; Peter Rossmanith; Jakub Onufry Wojtaszczyk · 2011