| 2012 | ||
|---|---|---|
| c13 | Vladimir Estivill-Castro, René Hexel, David A. Rosenblueth: Efficient Modelling of Embedded Software Systems and their Formal Verification. APSEC 2012: 428-433 | |
| c12 | Robert Coleman, Vladimir Estivill-Castro, René Hexel, Carl Lusty: Visual-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex Behaviour. SIMPAR 2012: 52-64 | |
| c11 | Lin Wah Chan, René Hexel, Lian Wen: Integrating Non-Monotonic Reasoning into High Level Component-Based Modelling Using Behavior Trees. SoMeT 2012: 21-40 | |
| 2010 | ||
| c10 | David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock: Non-monotonic Reasoning for Requirements Engineering - State Diagrams Driven by Plausible Logic. ENASE 2010: 68-77 | |
| c9 | David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock: Modelling Behaviour Requirements for Automatic Interpretation, Simulation and Deployment. SIMPAR 2010: 204-216 | |
| 2009 | ||
| c8 | David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock: Architecture for Hybrid Robotic Behavior. HAIS 2009: 145-156 | |
| 2007 | ||
| c7 | Craig Chatfield, René Hexel: Privacy and community connectedness: designing intelligent environments for our cities. OZCHI 2007: 265-272 | |
| 2006 | ||
| c6 | David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock: Using Temporal Consistency to Improve Robot Localisation. RoboCup 2006: 232-244 | |
| 2005 | ||
| c5 | Craig Chatfield, David J. Carmichael, René Hexel, Judy Kay, Bob Kummerfeld: Personalisation in intelligent environments: managing the information flow. OZCHI 2005 | |
| 2004 | ||
| c4 | René Hexel, Chris Johnson, Bob Kummerfeld, Aaron J. Quigley: 'Powerpoint to the People': Suiting the Word to the Audience. AUIC 2004: 49-56 | |
| c3 | ||
| c2 | ||
| 2003 | ||
| c1 | ||
Colors in the list of coauthors
Last update Mon May 20 03:51:34 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page