RoboLog Koblenz. - Jan Murray; Oliver Obst; Frieder Stolzenburg (RoboCup, 1999)

Spatial Agents Implemented in a Logical Expressible Language. - Frieder Stolzenburg; Oliver Obst; Jan Murray; Björn Bremer (RoboCup, 1999)

Towards a Logical Approach for Soccer Agents Engineering. - Jan Murray; Oliver Obst; Frieder Stolzenburg (RoboCup, 2000)

RoboLog Koblenz 2000. - Jan Murray; Oliver Obst; Frieder Stolzenburg (RoboCup, 2000)

RoboLog Koblenz 2001. - Jan Murray; Oliver Obst; Frieder Stolzenburg (RoboCup, 2001)

Specifying agents with UML in robotic soccer. - Jan Murray (AAMAS, 2002)

Qualitative Velocity and Ball Interception. - Frieder Stolzenburg; Oliver Obst; Jan Murray (KI, 2002)

Multiagent Matching Algorithms with and without Coach. - Frieder Stolzenburg; Jan Murray; Karsten Sturm (MATES, 2003)

Specifying Agent Behaviors with UML Statecharts and StatEdit. - Jan Murray (RoboCup, 2003)

Towards a League-Independent Qualitative Soccer Theory for RoboCup. - Frank Dylla; Alexander Ferrein; Gerhard Lakemeyer; Jan Murray; Oliver Obst; Thomas Röfer; Frieder Stolzenburg; Ubbo Visser; Thomas Wagner 005 (RoboCup, 2004)

Hybrid State Machines with Timed Synchronization for Multi-Robot System Specification. - Jan Murray; Frieder Stolzenburg; Toshiaki Arai (Künstliche Intell., 2006)

Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking. - Ulrich Furbach; Jan Murray; Falk Schmidsberger; Frieder Stolzenburg (PROMAS, 2007)

Model Checking Hybrid Multiagent Systems for the RoboCup. - Ulrich Furbach; Jan Murray; Falk Schmidsberger; Frieder Stolzenburg (RoboCup, 2007)