STORRE

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

Issue Date	Title	Author(s)	Editor(s)	Type
Sep-1992	LOTOS specification style for OSI	Turner, Kenneth J; van Sinderen, Marten	Brinksma, Ed; Bolognesi, Tommaso; Vissers, Christopher A	Conference Paper
1998	The Invoicing Case Study in (E-)LOTOS	Turner, Kenneth J	Allemand, Michel; Attiogbé, Christian; Habrias, Henri	Conference Paper
Nov-2002	Use of Logic to describe Enhanced Communications Services	Reiff-Marganiec, Stephan; Turner, Kenneth J	Peled, D A; Vardi, M Y	Conference Paper
2008	Considering Side Effects in Service Interactions in Home Automation - An Online Approach	Wilson, Michael; Kolberg, Mario; Magill, Evan	Du Bousquet, L; Richier, J-L	Conference Paper
1997	Requirements for Service Creation Environments	Kosmas, Nikolaos; Turner, Kenneth J	Lovrek, Ignac	Conference Paper
Jun-1997	Relating Services and Features in the Intelligent Network	Turner, Kenneth J	Kunstic, Marijan	Conference Paper
Jun-2003	A Policy Architecture for Enhancing and Controlling Features	Reiff-Marganiec, Stephan; Turner, Kenneth J	Amyot, Daniel; Logrippo, Luigi	Conference Paper
Jun-2014	Towards High-Performance Haplo- type Assembly for Future Sequencing	Aldinucci, Marco; Bracciali, Andrea; Pisanti, Nadia; Torquati, Massimo	-	Conference Paper
Sep-2010	Modelling Immunological Systems using PEPA: a preliminary report	Scott, Erin; Mahajan, Simmi M; Brand-Spencer, Timothy; Allen, Judith E; Norman, Rachel; Graham, Andrea L; Shankland, Carron	-	Conference Paper
2017	A hybrid model of attribute aggregation in federated identity management	Ferdous, Md Sadek; Chowdhury, Farida; Poet, Ron	Chang, V; Ramachandran, M; Walters, R; Wills, G	Conference Paper
2012	Investigating co-infection dynamics through evolution of Bio-PEPA model parameters: a combined process algebra and evolutionary computing approach	Marco, David; Scott, Erin; Cairns, David; Graham, Andrea; Allen, Judith E; Mahajan, Simmi M; Shankland, Carron	Gilbert, D; Heiner, M	Conference Paper
2012	Measles epidemics and PEPA: An exploration of historic disease dynamics using process algebra	Benkirane, Soufiene; Norman, Rachel; Scott, Erin; Shankland, Carron	Giannakopoulou, D; Mery, D	Conference Paper
7-Sep-2016	Evolutionary Algorithms with Linkage Information for Feature Selection in Brain Computer Interfaces	Adair, Jason; Brownlee, Alexander; Ochoa, Gabriela	Angelov, P; Gegov, A; Jayne, C; Shen, Q	Conference Paper
2008	Personalised Ambient Monitoring (PAM) of the mentally ill	James, Christopher J; Crowe, John A; Magill, Evan; Brailsford, Sally C; Amor, James D; Prociow, Pawel A; Blum, Jesse Michael; Mohiuddin, Syed Golam	Vander Sloten, J; Verdonck, P; Nyssen, M; Haueisen, J	Conference Paper
2005	Issues in reasoning about interaction networks in cells: Necessity of event ordering knowledge	Tran, Nam; Baral, Chitta; Shankland, Carron	-	Conference Paper
2001	An Adequate Logic for Full LOTOS	Calder, Muffy; Maharaj, Savi; Shankland, Carron	Oliveira, JN; Zave, P	Conference Paper
2016	The Multi-Funnel Structure of TSP Fitness Landscapes: A Visual Exploration	Ochoa, Gabriela; Veerapen, Nadarajen; Whitley, Darrell; Burke, Edmund	Bonnevay, S; Legrand, P; Monmarché, N; Lutton, E; Schoenauer, M	Conference Paper
2001	A symbolic semantics and bisimulation for Full LOTOS	Calder, Muffy; Shankland, Carron	Kim, M; Chin, B; Kang, S; Lee, D	Conference Paper
2016	TCP Goes to Hollywood	McQuistin, Stephen; Perkins, Colin; Fayed, Marwan	-	Conference Paper
Oct-2010	A neural network-based framework for the reconstruction of incomplete data sets	Gheyas, Iffat A; Smith, Leslie	-	Conference Paper

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