STORRE

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

Issue Date	Title	Author(s)	Editor(s)	Type
1997	Modelling Digital Logic in SDL	Csopaki, Gyula; Turner, Kenneth J	Mizuno, Tadanori; Shiratori, Norio; Higashino, Teruo; Togashi, Atsushi	Conference Paper
May-2001	The N-Body Problem in LOTOS	Turner, Kenneth J	-	Conference Paper
1999	Protocol-Inspired Hardware Testing	He, Ji; Turner, Kenneth J	Csopaki, Gyula; Dibuz Sarolta, Sarolta; Tarnay, Katalin	Conference Paper
2005	Handling Policy Conflicts in Call Control	Blair, Lynne; Turner, Kenneth J	Reiff-Marganiec, Stephan; Ryan, Mark D	Conference Paper
1999	Specification and Verification of Synchronous Hardware using LOTOS	He, Ji; Turner, Kenneth J	Wu, Jianping; Chanson, Samuel T; Gao, Quiang	Conference Paper
May-2007	Graphical Composition of Grid Services	Turner, Kenneth J; Tan, Koon Leai Larry	Guelfi, Nicolas; Buchs, Didier	Conference Paper
2006	GEODE – Sharing Occupational Data Through The Grid	Tan, Koon Leai Larry; Gayle, Vernon; Lambert, Paul; Sinnott, Richard; Turner, Kenneth J	Cox, Simon J	Conference Paper
2008	Policy Conflict Filtering for Call Control	Campbell, Gavin A; Turner, Kenneth J	Bousquet, Lydie du; Richier, Jean-Luc	Conference Paper
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

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