STORRE

Subscribe to this collection to receive daily e-mail notification of new additions

Issue Date	Title	Author(s)	Editor(s)	Type
2000	Verifying and Testing Asynchronous Circuits using LOTOS (extended version)	He, Ji; Turner, Kenneth J	Bolognesi, Tommaso; Latella, Diego	Conference Paper
2017	Comparing Communities of Optima with Funnels in Combinatorial Fitness Landscapes	Thomson, Sarah; Daolio, Fabio; Ochoa, Gabriela	-	Conference Paper
2017	Modelling Genetic Improvement Landscapes with Local Optima Networks	Veerapen, Nadarajen; Daolio, Fabio; Ochoa, Gabriela	-	Conference Paper
2017	The Effect of Landscape Funnels in QAPLIB Instances	Thomson, Sarah; Ochoa, Gabriela; Daolio, Fabio; Veerapen, Nadarajen	-	Conference Paper
Jul-2016	Communities of Local Optima as Funnels in Fitness Landscapes	Herrmann, Sebastian; Ochoa, Gabriela; Rothlauf, Franz	Friedrich, T	Conference Paper
7-Jul-2017	Local Optima Networks for the Permutation Flowshop Scheduling Problem: Makespan vs. Total Flow Time	Hernando, Leticia; Daolio, Fabio; Veerapen, Nadarajen; Ochoa, Gabriela	-	Conference Paper
Apr-2010	Verification and Validation Of An Agent-Based Forest Fire Simulation Model	Niazi, Muaz A K; Siddique, Qasim; Hussain, Amir; Kolberg, Mario	-	Conference Paper
Sep-2011	SimConnector: An Approach to Testing Disaster-Alerting Systems Using Agent Based Simulation Models	Niazi, Muaz A K; Siddique, Qasim; Hussain, Amir; Fortino, Giancarlo	-	Conference Paper
2008	Simulation of the research process	Niazi, Muaz A K; Hussain, Amir; Baig, Abdul Rauf; Bhatti, Saeed	Mason, Scott; Hill, Ray; Mönch, Lars; Rose, Oliver	Conference Paper
1993	An engineering approach to formal methods	Turner, Kenneth J	Danthine, A; Leduc, Guy; Wolper, Pierre	Conference Paper
Aug-2011	Events, Neural Systems and Time Series	Smith, Leslie; Metz, Daniel; Bao, Jungpen; Bizarro, Pedro	Cezon, M; Wolfsthal, Y	Conference Paper
2001	Specifying Hardware Timing with ET-LOTOS (extended version)	He, Ji; Turner, Kenneth J	Margaria, Tiziana; Melham, Thomas F	Conference Paper
2009	Dynamically Programmable m-Psychiatry System For Self-Management of Bipolar Disorder	Blum, Jesse Michael; Magill, Evan	James, Christopher J; Demanuele Charmaine, Charmaine; Jimenez-Gonzalez, Aida	Conference Paper
2009	A Framework for Mobile Applications based on a structured P2P Overlay	Kolberg, Mario; Wilson, Michael; Blunn, Martin; Magill, Evan; Burtwistle, Peter	-	Conference Paper
2009	Personalised Ambient Monitoring (PAM) for People with Bipolar Disorder	Prociow, Pawel A; Crowe, John A; Brailsford, Sally C; James, Christopher J; Magill, Evan; Amor, James D; Blum, Jesse Michael; Mohiuddin, Syed Golam	Jordanova, Malina; Lievens, Frank	Conference Paper
2010	A communications-enabled collaboration platform: work in progress	Buford, John; Dhara, Kishore; Wu, Xiaotao; Krishnaswamy, Venky; Kolberg, Mario	Carle, Georg; Reiser, Helmut; Camarillo, Gonzalo; Gurbani, Vijay K	Conference Paper
Jun-1997	An Architectural Foundation for Relating Features	Turner, Kenneth J	Dini Petre, Petre; Boutaba, Raouf; Logrippo, Luigi	Conference Paper
2016	Building a Better Mouse Maze	Enright, Jessica; Faben, John D	Demaine ED, ED; Grandoni, F	Conference Paper
Jun-2002	Systematic Testing of Radiotherapy Accelerators	Turner, Kenneth J; Bing, Qian	Ehrig, H (Hartmut); Krämer, Berndt J; Ertas, Atila	Conference Paper
Jul-2007	Particle Swarm Optimisation for learning Bayesian Networks	Cowie, Julie; Oteniya, Lloyd; Coles, Richard	Ao, Sio-Iong; Gelman, Len; Hukins, David W L; Hunter, Andrew; Korsunsky, Alexander M	Conference Paper

This collection contains electronic copies of conference papers and proceedings produced by Computing Science and Mathematics staff.