Kevin Smyth

Publication Activity (10 Years)

Years Active: 2003-2013
Publications (10 Years): 0

Top Topics

Design Decisions

Context Dependent

Top Venues

Publications

Laszlo Juracz, Zsolt Lattmann, Tihamer Levendovszky, Graham Hemingway, Will Gaggioli, Tanner Netterville, Gábor Pap, Kevin Smyth, Larry Howard
VehicleFORGE: A Cloud-Based Infrastructure for Collaborative Model-Based Design. MDHPCL@MoDELS (2013)
Tihamer Levendovszky, Kevin Smyth, Daniel Balasubramanian, Feng Shi, Gabor Karsai
Evolution in a context of an model-integrated tool environment. ME@MoDELS (2012)
Tihamer Levendovszky, Daniel Balasubramanian, Kevin Smyth, Feng Shi, Gabor Karsai
A transformation instance-based approach to traceability. ECMFA-TW (2010)
Rajiv T. Maheswaran, Craig Milo Rogers, Romeo Sanchez, Pedro A. Szekely, Gergely Gati, Kevin Smyth, Chris VanBuskirk
Multi-agent systems for the real world. AAMAS (2) (2009)
Rajiv T. Maheswaran, Pedro A. Szekely, Marcel Becker, Stephen Fitzpatrick, Gergely Gati, Jing Jin, Robert Neches, Narges Noori, Craig Milo Rogers, Romeo Sanchez, Kevin Smyth, Chris VanBuskirk
Predictability & criticality metrics for coordination in complex environments. AAMAS (2) (2008)
Holger H. Hoos, Kevin Smyth, Thomas Stützle
Search Space Features Underlying the Performance of Stochastic Local Search Algorithms for MAX-SAT. PPSN (2004)
Ian P. Gent, Holger H. Hoos, Andrew G. D. Rowley, Kevin Smyth
Using Stochastic Local Search to Solve Quantified Boolean Formulae. CP (2003)
Kevin Smyth, Holger H. Hoos, Thomas Stützle
Iterated Robust Tabu Search for MAX-SAT. Canadian Conference on AI (2003)