2009 | ||
---|---|---|
4 | EE | Markus Triska, Ulrich Neumerkel, Jan Wielemaker: Better Termination for Prolog with Constraints CoRR abs/0903.2168: (2009) |
3 | EE | Adrian Prantl, Jens Knoop, Markus Schordan, Markus Triska: Constraint solving for high-level WCET analysis CoRR abs/0903.2251: (2009) |
2008 | ||
2 | EE | Markus Triska: Generalising Constraint Solving over Finite Domains. ICLP 2008: 820-821 |
2006 | ||
1 | EE | Stefan Kral, Markus Triska, Christoph W. Ueberhuber: Compiler Technology for Blue Gene Systems. Euro-Par 2006: 279-288 |
1 | Jens Knoop | [3] |
2 | Stefan Kral | [1] |
3 | Ulrich Neumerkel | [4] |
4 | Adrian Prantl | [3] |
5 | Markus Schordan | [3] |
6 | Christoph W. Ueberhuber | [1] |
7 | Jan Wielemaker | [4] |