Michael Benedikt
2016
Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation
Michael Benedikt
|
Julien Leblay
|
Balder ten Cate
|
Efthymia Tsamoura
2016
2012
ProFoUnd: program-analysis-based form understanding
Michael Benedikt
|
Tim Furche
|
Andreas Savvides
|
Pierre Senellart
Proceedings of the 21st World Wide Web Conference, WWW 2012, Lyon, France, April 16-20, 2012 (Companion Volume)
Search
Co-authors
- Tim Furche 1
- Andreas Savvides 1
- Pierre Senellart 1
- Julien Leblay 1
- Efthymia Tsamoura 1
- show all...