Condoluci |
Andrea |
Italian |
TUW |
10 August 2015 - 18 October 2015 |
Proof Assistant HOL4 |
Peter Norrish |
yes |
Ziberi |
Emira |
Macedonian |
TUD |
1 August 2015 - 18 October 2015 |
Online Fair Division with Unequal Entitlements |
Nicholas Mattei / Toby Walsh |
yes |
Manighetti |
Matteo |
Italian |
TUW |
1 August 2015 - 16 October 2015 |
Exploring SMT solvers for Software Analysis |
Ralf Huuck |
yes |
Emmanoil |
Thanos |
Greek |
NOVA |
9 November 2014 - 16 January 2015 |
Intelligent Transport Systems |
Toby Walsh |
yes |
Medina |
Andresel |
Romanian |
TUW |
31 October 2014 - 13 January 2015 |
Fair Division with Side Constraints and Externalities |
Toby Walsh |
yes |
Adrian |
Rebola Pardo |
Spanish |
TUD |
4 August 2014 - 24 October 2015 |
Sufficient (In)completeness in Finitely Quantified Hierarchic Theorem Proving |
Peter Baumgartner |
yes |
Amr Hany Shehata |
Saleh |
Egyptian |
NOVA |
29 July 2013 - 12 October 2013 |
Implementation and Extension of Half Reification Technique for MiniZinc |
Peter Stuckey |
yes |
Tobias |
Kaminski |
German |
NOVA |
29 July 2013 - 11 October 2013 |
A Theoretical and Empirical Study of Algorithms for Fair Division of Indivisible Goods |
Toby Walsh |
yes |
Alina |
Petrova |
Russian |
TUD |
August 2012 - October 2012 |
Social Network Recommendations |
Scott Sanner |
no |
Martin |
Diller |
German (Argentinian) |
TUW |
August 2012 - October 2012 |
Reasoning about Business Operations |
Andreas Bauer |
yes |
Sergej |
Pugacs |
Latvian |
NOVA |
August 2012 - October 2012 |
Scalability in Vehicle Routing Problems |
Philip Kilby |
yes |
Peter |
Skocovsky |
Slovak |
NOVA |
August 2012 - October 2012 |
Global SPACING Constraint |
Toby Walsh |
yes |
Martin |
Aleksandrov |
Bulgarian |
NOVA |
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 |
unibz |
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 |
NOVA |
1 September 2009 - 30 November 2009 |
A Translational Approach to Constraint Answer Set Solving |
Toby Walsh |
yes |
Spas Gueorguiev |
Bojanov |
Bulgarian |
unibz |
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 |
unibz |
2 October 2008 - 30 November 2008 |
Reinforcement Learning using RTS Domain |
Scott Sanner, Patrik Haslum |
yes |
Clemens |
Dubslaff |
German |
NOVA |
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 |
unibz |
1 July 2008 - 22 September 2008 |
An Ontology Based Visual Tool for Query Formulation Support: theoretical foundations |
Alfredo Gabaldon |
yes |
Anna |
Roubickova |
Czech |
unibz |
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 |