| Alina |
Petrova |
Russian |
TUD |
August 2012 - October 2012 |
Socia Network Recommendations |
Scott Sanner |
no |
| Martin |
Diller |
German (Argentinian) |
TUW |
August 2012 - October 2012 |
Reasoning about business operations |
Andreas Bauer |
yes |
| Sergej |
Pugacs |
Latvian |
UNL |
August 2012 - October 2012 |
Scalability in Vehicle Routing Problems |
Philip Kilby |
yes |
| Peter |
Skocovsky |
Slovakia |
UNL |
August 2012 - October 2012 |
Global SPACING Constraint |
Toby Walsh |
yes |
| Martin |
Aleksandrov |
Bulgarian |
UNL |
4 October 2011 - 27 December 2011 |
Online Dynamic Pickup and Delivery Problems |
Toby Walsh |
no |
| Ronald |
de Haan |
Dutch |
TUW |
4 October 2011 - 21 December 2011 |
The RegularGcc matrix constraint |
Toby Walsh |
no |
| Gil |
Vegliach |
Italian |
TUW |
17 August 2011 - 16 November 2011 |
Extending runtime verification towards Android |
Andreas Bauer |
no |
| Norbert |
Manthey |
German |
TUD |
22 July 2010 - 30 September 2010 |
Converting CSP lazily into SAT during solving |
Toby Walsh, George Katsirelos |
yes |
| Marco |
Gario |
Italian |
FUB |
18 July 2010 - 30 September 2010 |
NetSAT: Automated Reasoning Methods for Verification and Configuration of Computer Networks |
Jussi Rintanen |
yes |
| Oana |
Tifrea |
Romanian |
TUW |
7 September 2009 - 25 November 2009 |
Symmetry-breaking Answer Set Solving |
Toby Walsh |
yes |
| Christian |
Drescher |
German |
UNL |
1 September 2009 - 30 November 2009 |
A Translational Approach to Constraint Answer Set Solving |
Toby Walsh |
yes |
| Spas Gueorguiev |
Bojanov |
Bulgarian |
FUB |
11 August 2009 - 9 November 2009 |
Pointer alias analysis for C and C++ programs |
Ralf Huuck |
yes |
| Cedric |
Phillipe |
French |
TUD |
4 October 2008 - 6 January 2009 |
Development of a traffic simulator in Haskell |
William Uther |
yes |
| Martins |
Zalcmanis |
Latvia |
FUB |
2 October 2008 - 30 November 2008 |
Reinforcement Learning using RTS domain |
Scott Sanner, Patrik Haslum |
yes |
| Clemens |
Dubslaff |
German |
UNL |
30 August 2008 - 28 November 2008 |
Counterexamples in Interprocedural Static Analysis |
Ralf Huuck |
yes |
| Patrick |
Bahr |
German |
TUD |
10 August 2008 - 31 October 2008 |
Implementation of a Pragmatic Translation from Haskell into Isabelle/HOL |
Gerwin Klein |
yes |
| Paolo |
Guagliardo |
Italian |
FUB |
1 July 2008 - 22 September 2008 |
An ontology based visual tool for query formulation support: theoretical foundations |
Alfredo Gabaldon |
yes |
| Anna |
Roubickova |
Czech |
FUB |
1 July 2008 - 22 September 2008 |
Encoding sd-DNNF theories into CNF |
Toby Walsh |
yes |
| Jean Christoph |
Jung |
German |
TUD |
23 August 2007 - 5 December 2007 |
Constraint Propagation and Model Counting |
Toby Walsh |
yes |
| Hannes |
Strass |
German |
TUD |
23 August 2007 - 5 December 2007 |
Compiling Grammar Constraints into SAT Using Cadmium |
Toby Walsh |
yes |
