Kevin Smyth

According to our database, Kevin Smyth authored at least 8 papers between 2003 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

VehicleFORGE: A Cloud-Based Infrastructure for Collaborative Model-Based Design.

Laszlo Juracz, Zsolt Lattmann, Tihamer Levendovszky, Graham Hemingway, Will Gaggioli, Tanner Netterville, Gábor Pap, Kevin Smyth, Larry Howard

Proceedings of the 2nd International Workshop on Model-Driven Engineering for High Performance and CLoud computing co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013

2012

Evolution in a context of an model-integrated tool environment.

Tihamer Levendovszky, Kevin Smyth, Daniel Balasubramanian, Feng Shi, Gabor Karsai

Proceedings of the 6th International Workshop on Models and Evolution, 2012

2010

A transformation instance-based approach to traceability.

Tihamer Levendovszky, Daniel Balasubramanian, Kevin Smyth, Feng Shi, Gabor Karsai

Proceedings of the 6th ECMFA Traceability Workshop, 2010

2009

Multi-agent systems for the real world.

Rajiv T. Maheswaran, Craig Milo Rogers, Romeo Sanchez, Pedro A. Szekely, Gergely Gati, Kevin Smyth, Chris VanBuskirk

Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008

Predictability & criticality metrics for coordination in complex environments.

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

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2004

Search Space Features Underlying the Performance of Stochastic Local Search Algorithms for MAX-SAT.

Holger H. Hoos, Kevin Smyth, Thomas Stützle

Proceedings of the Parallel Problem Solving from Nature, 2004

2003

Using Stochastic Local Search to Solve Quantified Boolean Formulae.

Ian P. Gent, Holger H. Hoos, Andrew G. D. Rowley, Kevin Smyth

Proceedings of the Principles and Practice of Constraint Programming, 2003

Iterated Robust Tabu Search for MAX-SAT.

Kevin Smyth, Holger H. Hoos, Thomas Stützle

Proceedings of the Advances in Artificial Intelligence, 2003