Kevin Smyth
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2003–2013
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | MODELS | VehicleFORGE: A Cloud-Based Infrastructure for Collaborative Model-Based Design. | Laszlo Juracz, Zsolt Lattmann, Tihamer Levendovszky, Graham Hemingway, Will Gaggioli, Tanner Netterville, Gbor Pap, Kevin Smyth, Larry Howard |
| 2012 | MODELS | Evolution in a context of an model-integrated tool environment. | Tihamer Levendovszky, Kevin Smyth, Daniel Balasubramanian, Feng Shi, Gabor Karsai |
| 2004 | PPSN | Search Space Features Underlying the Performance of Stochastic Local Search Algorithms for MAX-SAT. | Holger H. Hoos, Kevin Smyth, Thomas Sttzle |
| 2003 | AI | Iterated Robust Tabu Search for MAX-SAT. | Kevin Smyth, Holger H. Hoos, Thomas Sttzle |
| 2003 | CP | Using Stochastic Local Search to Solve Quantified Boolean Formulae. | Ian P. Gent, Holger H. Hoos, Andrew G. D. Rowley, Kevin Smyth |