Efficient solutions of a PEPA model of a key distribution centre
Zhao, Y. and Thomas, N.
Performance Evaluation Vol. 67, Issue 8, pp 740-756
Elsevier B.V., 2010 ISSN 0166-5316

Live Coverage of Scientific Conferences Using Web Technologies
Lister, A.L., Datta, R.S., Hofmann, O. et al.
PLoS Computational Biology Vol. 6, Issue 1,
Public Library of Science in association with the International Society for Computational Biology, 2010 ISSN 1553-7358
Notes : Paper no. e1000563, 5 pp. Newcastle author: Allyson Lister.

Reminiscences of Whetstone ALGOL
Randell, B.
ResurrectionIssue 50, pp 14-22
Computer Conservation Society, 2010 ISSN 0958-7403

Securing business operations in an SOA
de Leusse, P., Brossard, D. and Georgalas, N.
Security and Communication Networks
John Wiley & Sons Ltd., 2010 ISSN 1939-0114
Notes : DOI: 10.1002/sec.188 Special Issue on Security and Trust Management for Dynamic Coalitions. Published online 1st February 2010.

Modelling interactive experience, function and performance in ubiquitous systems
Harrison, M.D. and Massink, M.
Electronic Notes in Theoretical Computer Science Vol. 261, pp 23-42
Elsevier B.V., 2010 ISSN 1571-0661
Notes : 10.1016/j.entcs.2010.01.004 Paper originally presented at the 4th International Workshop on the Practical Application of Stochastic Modelling (PASM 2009), Imperial College London, September 2009.

Guest Editors' Introduction to the Special Section on Exception Handling: From Requirements to Software Maintenance
Garcia, A., Romanovsky, A. and Issarny, V.
IEEE Transactions on Software Engineering Vol. 36, Issue 2, pp 147-149
IEEE Computer Society, 2010 ISSN 0098-5589

Live Coverage of Intelligent Systems for Molecular Biology/European Conference on Computational Biology (ISMB/ECCB) 2009
Lister, A.L., Datta, R.S., Hofmann, O. et al.
PLoS Computational Biology Vol. 6, Issue 1,
Public Library of Science in association with the International Society for Computational Biology, 2010 ISSN 1553-7358
Notes : Paper no. e1000640, 4 pp. Newcastle author: Allyson Lister.

Elucidating concurrent algorithms via layers of abstraction and reification
Jones, C.B. and Pierce, K.G.
Formal Aspects of Computing
Springer , 2010 ISSN 0934-5043 (Print) 1433-299X (Online)
Notes : DOI: 10.1007/s00165-010-0156-1 Published online 28th April 2010.

The Overture Initiative Integrating Tools for VDM
Larsen, P.G., Battle, N., Ferreira, M., Fitzgerald, J. et al.
Software Engineering Notes Vol. 35, Issue 1, pp 1-6
ACM, 2010 ISSN 0163-5948

[Abstract]

Structured Occurrence Nets: A formalism for aiding system failure prevention and analysis techniques
Koutny, M. and Randell, B.
Fundamenta Informaticae Vol. 97, Issue 1-2, pp 41-91
IOS Press, 2009 ISSN 0169-2968

Field deployments of the MESSAGE system for environmental monitoring
North, R., Cohen, J., Wilkins, S. et al.
Traffic Engineering & Control Vol. 50, Issue 11, pp 484-488
Hemming Information Services, 2009 ISSN 0041-0683
Notes : Newcastle University Computing Science author is: V. Suresh

[Abstract]

Application of Concurrency to System Design, the Seventh Special Issue
Janicki, R. and Koutny, M. (eds.)
Fundamenta Informaticae Vol. 95, Issue 1, pp i-iv
IOS Press, 2009 ISSN 0169-2968
Notes : Preface to special issue of the Fundamenta Informaticae journal containing selected paper presented at ACSD'08 conference. DOI 10.3233/FI-2009-139

Building Interactive Multi-Touch Surfaces
Schöning, J., Hook, J., Motamedi, N. et al.
Journal of Graphics, GPU, and Game Tools Vol. 14, Issue 3, pp 35-55
A K Peters Ltd., 2009 ISSN 2151-237X

Creating the MESSAGE infrastructure
Cohen, J., North, R., Wilkins, S. et al.
Traffic Engineering & Control Vol. 50, Issue 11, pp 480-483
Hemming Information Services, 2009 ISSN 0041-0683
Notes : Newcastle University Computing Science authors are: V. Suresh and P. Watson.

[Abstract]

A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks
Banks, R., Khomenko, V. and Steggles, L.J.
Electronic Notes in Theoretical Computer Science Vol. 227, pp 3-19
Elsevier B.V., 2009
Notes : Paper presented at Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2008), Iasi, Romania, 3-4 September 2008.

[Abstract]

Synthesis of Nets with Step Firing Policies
Darondeau, P., Koutny, M., Pietkiewicz-Koutny, M. and Yakovlev, A.
Fundamenta Informaticae Vol. 94, Issue 3-4, pp 275-303
IOS Press, 2009 ISSN 0169-2968
Notes : Journal version of the ICATPN'08 Best Paper Award paper.

STG Decomposition Strategies in Combination with Unfolding
Khomenko, V., Schaefer, M., Vogler, W. and Wollowski, R.
Acta Informatica Vol. 46, Issue 6, pp 433-474
Springer-Verlag, 2009 ISSN 0001-5903

CAPTCHA Security: A Case Study
Yan, J. and Salah El Ahmad, A.
IEEE Security & Privacy Vol. 7, Issue 4, pp 22-28
IEEE Computer Society, 2009 ISSN 1540-7993
Notes : This article is featured on the cover of this issue of the journal.

Formal Methods: Practice and Experience
Woodcock, J., Larsen, P.G., Bicarregui, J. and Fitzgerald, J.
ACM Computing Surveys Vol. 41, Issue 4, pp 1-36
ACM, 2009 ISSN 0360-0300
Notes : Article no. 19.

[Abstract]

Practice-oriented courses in formal methods using VDM++
Larsen, P.G., Fitzgerald, J.S. and Riddle, S.
Formal Aspects of Computing Vol. 21, Issue 3, pp 245-257
Springer, 2009 ISSN 0934-5043
Notes : DOI 10.1007/s00165-008-0068-5 Published online 2 February 2008.

Methods for the Development of Distributed Real-Time Embedded Systems using VDM
Larsen, P.G., Fitzgerald, J. and Wolff, S.
International Journal of Software and Informatics Vol. 3, Issue 2, pp 305-341
Institute of Software, Chinese Academy of Sciences , 2009 ISSN 1673-7288

[Abstract]

Highly Interactive Scalable Online Worlds
Morgan, G.
Advances in Computers Vol. 76, pp 75-120
Academic Press, 2009 ISSN 0065-2458
Notes : Chapter 3. Theme of volume: Social Networking and the Web.

Bridging the gap between the Kodak and Flickr generations: a novel interaction technique for collocated photo sharing
Kray, C., Rohs, M., Hook, J. and Kratz, S.
International Journal of Human-Computer Studies Vol. 67, Issue 12, pp 1060-1072
Elsevier Ltd., 2009 ISSN 1071-5819
Notes : doi:10.1016/j.ijhcs.2009.09.006

Improving reliability of cooperative concurrent systems with exception flow analysis
Castor Filho, F., Romanovsky, A. and Rubira, C.M.F.
Journal of Systems and Software Vol. 82, Issue 5, pp 874–890
Elsevier Inc., 2009 ISSN 0164-1212

[Abstract]

Digital Technologies and the Emotional Family
Olivier, P. and Wallace, J.
International Journal of Human-Computer Studies Vol. 67, Issue 2, pp 204-214
Elsevier Ltd., 2009

[Abstract]

Smart Phone Interaction with Registered Displays
Pears, N., Jackson, D.G. and Olivier, P.
IEEE Pervasive Computing Vol. 8, Issue 2, pp 14-21
IEEE Computer Society, 2009

[Abstract]

“Smart” Approaches to Lighting Design
Olivier, P., Ha, H.N. and Christie, M.
it - Information Technology Vol. 51, Issue 3, pp 149-156
Oldenbourg Wissenschaftsverlag, 2009

[Abstract]

Synthesis of Petri Nets with Localities
Koutny, M. and Pietkiewicz-Koutny, M.
Scientific Annals of Computer Science Vol. 19, pp 1-23
Alexandru Ioan Cuza, University of Iasi, Romania, 2009 ISSN 1843 - 8121

Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings
Khomenko, V.
IEEE Transactions on Very Large Scale Integration (VLSI) Systems Vol. 17, Issue 7, pp 855-868
A Joint Publication of IEEE Circuits and Systems Society, IEEE Computer Society and IEEE Solid-State Circuits Society , 2009
Notes : Special Section on Asynchronous Circuits and Systems

[Abstract]

Securing business operations in an SOA
Dimitrakos, T., Brossard, D. and de Leusse, P.
BT Technology Journal Vol. 26, Issue 2,
BT, 2009

Challenges of Online Game Development: A Review
Morgan, G.
Simulation & Gaming Vol. 40, Issue 5, pp 688-710
SAGE Publications, 2009 ISSN 1552-826X

[Abstract]

Saint: A Lightweight Integration Environment for Model Annotation
Lister, A.L., Pocock, M., Taschuk, M. and Wipat, A.
Bioinformatics Vol. 25, Issue 22, pp 3026-3027
Oxford University Press, 2009 ISSN 1460-2059

[Abstract]

Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study
Capozucca, A., Guelfi, N., Pelliccione, P. et al.
Journal of Systems and Software Vol. 82, Issue 2, pp 207-228
Elsevier Inc., 2009 ISSN 0164-1212

Keeping In Touch Everyday (KITE) project : developing assistive technologies with people with dementia and their carers to promote independence
Robinson, L., Brittain, K, Lindsay, S. et al.
International Psychogeriatrics Vol. 21, Issue 3, pp 494-502
Cambridge University Press, 2009

[Abstract]

Adaptive workload allocation in query processing in autonomous heterogeneous environments
Gounaris, A., Smith, J., Paton, N.W. et al.
Distributed and Parallel Databases Vol. 25, Issue 3, pp 125-164
Springer, 2009
Notes : DOI 10.1007/s10619-008-7032-5 Newcastle authors are Jim Smith and Paul Watson.

A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
Meyer, R., Khomenko, V. and Strazny, T.
Fundamenta Informaticae Vol. 94, Issue 3-4, pp 439-471
IOS Press, 2009 ISSN 0169-2968
Notes : Special Issue on Best Papers from ATPN'08.

An Investigation of Cheating in Online Games
Yan, J. and Randell, B.
IEEE Security & Privacy Vol. 7, Issue 3, pp 37-44
IEEE Computer Society, 2009 ISSN 1540-7993

Encounter-Based Message Propagation in Mobile Ad-Hoc Networks
Cooper, D.E., Ezhilchelvan, P. and Mitrani, I.
Ad Hoc Networks Vol. 7, Issue 7, pp 1271-1284
Elsevier B.V., 2009
Notes : Published online January 2009, in print September 2009. We acknowledge the financial support from the UK EPSRC Projects “Networked Computing in Inter-organisation Settings” (EP/D037743/1) and “Protocols for Ad-hoc Collaborative Environments” (GR/S02082/01).

[Abstract]

The design and implementation of OGSA-DQP: A service-based distributed query processor
Lynden, S., Mukherjee, A., Hume, A.C., Fernandes, A.A.A., Paton, N.W., Sakellariou, R. and Watson, P.
Future Generation Computer Systems Vol. 25, Issue 3, pp 224-236
Elsevier B.V., 2009
Notes : Newcastle authors are: Arijit Mukherjee and Paul Watson.

COTraSE: Connection Oriented Traceback in Switched Ethernet
Andreou, M. S. and van Moorsel, A.
Journal of Information Assurance and Security Vol. 4, Issue 2, pp 91-105
Dynamic Publishers Inc., USA, 2009
Notes : A preliminary version of this paper was presented at IAS 2008. In this article we outline our L2 Traceback system requirements and explain how COTraSE improves over our earlier switch-SPIE system. We provide supplementary details of the WAN trace data used by our implementation and expand on the calculation of COTraSE memory requirements. We also provide additional background material to aid the reader, including a discussion of the related Netflow system. In particular we consider how the flow expiration mechanisms adopted by Netflow differ from those of COTraSE and how this affects L2 Traceback.

[Abstract]

Modeling and Managing Experimental Data Using FuGE
Jones, A.R. , Lister, A.L., Hermida, L. et al.
OMICS: A Journal of Integrative Biology Vol. 13, Issue 3, pp 239-251
Mary Ann Liebert, Inc., 2009

[Abstract]

AMUC: Associated Motion capture User Categories
Norman, S. J., Lawson, S. E. M., Olivier, P. et al.
Philosophical Transactions of the Royal Society A Vol. 367, Issue 1898, pp 2771-2780
Royal Society , 2009

Using Facebook to improve communication in undergraduate software development teams
Charlton, T., Devlin, M. and Drummond, S.
Computer Science Education Vol. 19, Issue 4, pp 273-292
Routledge, 2009 ISSN 0899-3408

Interfacing systems biology and synthetic biology
Lister, A., Charoensawan, V., De, S. et al.
Genome Biology Vol. 10, Issue 6, pp 309:1-3
BioMed Central Ltd, 2009

Opacity generalised to transition systems
Bryans, J.W., Koutny, M., Mazaré, L. and Ryan, P.Y.A.
International Journal of Information Security Vol. 7, Issue 6, pp 421-435
Springer , 2008
Notes : DOI 10.1007/s10207-008-0058-x

Non-parametric Early Seizure Detection in an Animal Model of Temporal Lobe Epilepsy
Talathi, S.S., Hwang, D.-u., Spano, M.L. , Simonotto, J. et al.
Journal of Neural Engineering Vol. 5, Issue 1, pp 85-98
IOP Publishing Ltd., 2008

Framed Temporal Logic Programming
Duan, Z., Yang, X. and Koutny, M.
Science of Computer Programming Vol. 70, Issue 1, pp 31-61
Elsevier B.V., 2008
Notes : doi:10.1016/j.scico.2007.09.001

Period concatenation underlies interactions between gamma and beta rhythms in neocortex
Roopun, A.K., Kramer, M.A., Carracedo, L.M., Kaiser, M. et al.
Frontiers in Cellular Neuroscience Vol. 2, Issue 1,
Frontiers Research Foundation, 2008

[Abstract]

Comparing job allocation schemes where service demand is unknown
Thomas, N.
Journal of Computer and System Sciences Vol. 74, Issue 6, pp 1067–1081
Elsevier Inc., 2008

An aspect-oriented software architecture for code mobility
Lobato, C., Garcia, A., Romanovsky, A. and Lucena, C.
Software: Practice and Experience Vol. 38, Issue 13, pp 1365-1392
John Wiley & Sons, 2008 ISSN 0038-0644

Enhancing an Application Server to Support Available Components
Kistijantoro, A. I., Morgan, G., Shrivastava, S. K. and Little, M. C.
IEEE Transactions on Software Engineering Vol. 34, Issue 4, pp 531-545
IEEE Computer Society, 2008

[Abstract]

How do I model state?: Let me count the ways
Foster, I., Parastatidis, S., Watson, P. and Mckeown, M.
Communications of the ACM Vol. 51, Issue 9, pp 34-41
ACM, 2008

Mean clustering coefficients: the role of isolated nodes and leafs on clustering measures for small-world networks
Kaiser, M.
New Journal of Physics Vol. 10,
Institute of Physics and Deutsche Physikalische Gesellschaft, 2008
Notes : Article no. 083042. 11 pp.

[Abstract]

SBML: a user interface mark-up language based on interaction style
Gilroy, S.W. and Harrison, M.D.
International Journal of Web Engineering and Technology Vol. 4, Issue 2, pp 207-234
Inderscience Publishers, 2008

A Compositional Petri Net Translation of General pi-calculus Terms
Devillers, R., Klaudel, H. and Koutny, M.
Formal Aspects of Computing Vol. 20, Issue 4-5, pp 429-450
Springer London, 2008

The Connection between Two Ways of Reasoning about Partial Functions
Fitzgerald, J.S. and Jones, C.B.
Information Processing Letters Vol. 107, Issue 3-4, pp 128-132
Elsevier B.V., 2008

A Petri net model for membrane systems with dynamic structure
Kleijn, J. and Koutny, M.
Natural Computing
Springer , 2008
Notes : DOI 10.1007/s11047-008-9101-0 Online: October 01, 2008

Reasoning about programs via operational semantics: requirements for a support system
Hughes, J.R.D. and Jones, C.B.
Automated Software Engineering Vol. 15, Issue 3-4, pp 299-312
Springer, 2008

Output-Determinacy and Asynchronous Circuit Synthesis
Khomenko, V., Schaefer, M. and Vogler W.
Fundamenta Informaticae Vol. 88, Issue 4, pp 541-579
IOS Press, 2008
Notes : Special Issue on Best Papers from ACSD'07

Camera Control in Computer Graphics
Christie, M., Olivier, P. and Normand, J-M.
Computer Graphics Forum Vol. 27, Issue 8, pp 2197-2218
Blackwell Publishing, 2008
Notes : State of the Art Review.

[Abstract]

Using Immersive Video to Evaluate Future Traveller Information Systems
Weihong-Guo, A., Blythe, P., Olivier, P. et al.
IET Intelligent Transport Systems Vol. 2, Issue 1, pp 38-46
Institution of Engineering and Technology, 2008 ISSN 1751-956X

[Abstract]

GOLD infrastructure for virtual organizations
Periorellis, P., Cook, N., Hiden, H. et al.
Concurrency and Computation: Practice and Experience Vol. 20, Issue 11, pp 1273-1288
John Wiley & Sons Ltd, 2008

Using Collaborative Technology in CS Education to facilitate Cross-Site Software Development
Devlin, M., Drummond, S. and Hatch, A.
Journal of Systemics, Cybernetics and Informatics Vol. 6, Issue 6, pp 1-6
International Institute of Informatics and Cybernetics, 2008

[Abstract]

Synthesis of Elementary Net Systems with Context Arcs and Localities
Koutny, M. and Pietkiewicz-Koutny, M.
Fundamenta Informaticae Vol. 88, Issue 3, pp 307-328
IOS Press, 2008

Guest Editorial - Engineering Fault Tolerant Systems
Guelfi, N., Muccini, H., Pelliccione, P. and Romanovsky, A.
International Journal of Computer Systems Science & Engineering Vol. 23, Issue 5, pp 315-316
CRL Publishing, 2008 ISSN 0267-6192
Notes : Introduction to a special issue.

DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability
Romanovsky, A.
Software Engineering Notes Vol. 33, Issue 6, pp 36
ACM , 2008 ISSN 0163-5948
Notes : Abstract only. Full text is available in the ACM Digital Library on the SEN site.

Processes of Membrane Systems with Promoters and Inhibitors
Kleijn, J. and Koutny, M.
Theoretical Computer Science Vol. 404, Issue 1-2, pp 112-126
Elsevier B.V., 2008

Compositional Abstractions for Process Networks
Koutny, M., Pappalardo, G. and Pietkiewicz-Koutny, M.
IADIS International Journal on Computer Science and Information Systems Vol. 3, Issue 1, pp 71-85
International Association for Development of the Information Society, 2008

Analysis of job transfer policies in systems with unreliable servers
Martin, S.P. and Mitrani, I.
Annals of Operations Research Vol. 162, Issue 1, pp 127-141
Springer, 2008
Notes : Paper presented at Second Madrid Conference on Queueing Theory, MCQT'06, July 3-7,2006, Complutense University of Madrid.

Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings
Khomenko, V., Madalinski, A. and Yakovlev, A.
Fundamenta Informaticae Vol. 86, Issue 3, pp 299-323
IOS Press, 2008
Notes : Special Issue on Best Papers from ACSD'06 held in Turku, Finland.

[Abstract]

Improving the Dependability of Web Services Integration
Chen, Y. and Romanovsky, A.
IT Professional Vol. 10, Issue 3, pp 29 - 35
IEEE Computer Society, 2008 ISSN 1520-9202
Notes : DOI 10.1109/MITP.2008.49

Mismatch Avoidance in Web Services Software Architectures
Gacek C. and Gamble C.
Journal of Universal Computer Science Vol. 14, Issue 8, pp 1285-1313
Graz University of Technology, Austria, 2008

The First RSBI (ISA-TAB) Workshop: “Can a Simple Format Work for Complex Studies?
Sansone, S.-A., Rocca-Serra, P., Brandizi, M. et al.
OMICS: A Journal of Integrative Biology Vol. 12, Issue 2, pp 1-7
Mary Ann Liebert, Inc., 2008
Notes : Newcastle author: Allyson Lister. Workshop held December 6-8, 2007, at the European Bioinformatics Institute, Cambridge, UK.

[Abstract]

Exploring an option space to engineer a ubiquitous computing system
Harrison, M. D., Kray, C. and Campos, J.C.
Electronic Notes in Theoretical Computer Science Vol. 208, pp 41-55
Elsevier B.V., 2008
Notes : doi: 10.1016/j.entcs.2008.03.106 Revised version of paper presented at the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007) Lancaster, UK, 4th September 2007.

The minimum information about a genome sequence (MIGS) specification
Field, D., Garrity, G., Gray, T. et al.
Nature Biotechnology Vol. 26, Issue 5, pp 541 - 547
Nature Publishing Group, 2008
Notes : Newcastle authors are: Allyson Lister, Phillip Lord and Anil Wipat.

[Abstract]

Splitting Atoms Safely
Jones, C.B.
Theoretical Computer Science Vol. 375, Issue 1-3, pp 109-119
Elsevier B.V., 2007

A looming fault tolerance software crisis?
Romanovsky, A.
Software Engineering Notes Vol. 32, Issue 2, pp 27
ACM, 2007 ISSN 0163-5948
Notes : Position paper for the 2006 NATO Workshop on Building Robust Systems with Fallible Construction (Prague, Czech Republic, 9-10 November 2006). Abstract only. Full text (3 pp.)is available in the ACM Digital Library on the SEN site.

Adaptive Methods for Piecewise Polynomial Collocation for Ordinary Differential Equations
Wright, K.
BIT Numerical Mathematics Vol. 47, Issue 1, pp 197-212
Springer, 2007

Predicting the connectivity of primate cortical networks from topological and spatial node properties
Costa, L. da F., Kaiser, M. and Hilgetag, C.C.
BMC Systems Biology Vol. 1,
BioMed Central Ltd., 2007
Notes : Paper no. 16, 17pp.

[Abstract]

Exploring Microbial Genome Sequences to Identify Protein Families on the Grid
Sun, Y., Wipat, A., Pocock, M., Lee, P. A., Flanagan, K. and Worthington, J. T.
IEEE Transactions on Information Technology in Biomedicine Vol. 11, Issue 4, pp 435-442
IEEE, 2007

Qualitatively modelling and analysing genetic regulatory networks: a Petri net approach
Steggles, L. J., Banks, R., Shaw, O. and Wipat, A.
Bioinformatics Vol. 23, Issue 3, pp 336-343
Oxford University Press, 2007 ISSN 1367-4803

Ecological network analysis: an application to the evaluation of effects of pesticide use in an agricultural environment
Andras, P., Gwyther, R., Madalinski, A.A., Lynden, S.J., Andras, A., and Young, M.P.
Pest Management Science Vol. 63, Issue 10, pp 943-953
Wiley, 2007

High resolution multiple-unit EEG in cat auditory cortex reveals large spatio-temporal stochastic interactions
Wennekers, T., Ay, N. and Andras, P.
BioSystems Vol. 89, Issue 1-3, pp 190-197
Elsevier Ireland Ltd., 2007
Notes : Paper based on presentation at the 6th International Neural Coding Workshop held in Marburg, Germany, August 23-28, 2005.

Cortical activity pattern computation
Andras, P. and Wennekers, T.
BioSystems Vol. 87, Issue 2-3, pp 179-185
Elsevier, 2007
Notes : Paper presented at the Sixth International Workshop on Information Processing in Cells and Tissues, York, UK, 2005 - IPCAT 2005

Integration of constraints documented in SBML, SBO, and the SBML Manual facilitates validation of biological models
Lister, A.L., Pocock, M. and Wipat, A.
Journal of Integrative Bioinformatics Vol. 4, Issue 3, pp 1-12
Bielefeld University, Bioinformatics Department, 2007
Notes : Article number 80.

[Abstract]

Simulation of robustness against lesions of cortical networks
Kaiser, M. , Martin, R. , Andras, P. and Young, M.P.
European Journal of Neuroscience Vol. 25, Issue 10, pp 3185-3192
Blackwell Publishing, 2007

A High-Level Petri Net Framework for Genetic Regulatory Networks
Banks, R. and Steggles, L.J.
Journal of Integrative Bioinformatics Vol. 4, Issue 3, pp 1-12
Bielefeld University, Bioinformatics Department, 2007
Notes : Special issue - proceedings of 4th Integrative Bioinformatics Workshop 2007, University of Ghent, Belgium, 10th-12th September, 2007

[Abstract]

eGenomics: Cataloguing our Complete Genome Collection III
Field, D., Garrity, G., Gray, T., Selengut, J., Sterk, P., Thomson, N., Tatusova, T., Cochrane, G., Glöckner, F.O., Kottmann, R., Lister, A.L., Tateno, Y. and Vaughan, R.
Comparative and Functional Genomics Vol. 2007, pp 1-7
Hindawi Publishing Corporation, 2007
Notes : Article ID 47304

[Abstract]

Verification of Bounded Petri Nets Using Integer Programming
Khomenko, V. and Koutny, M.
Formal Methods in System Design Vol. 30, Issue 2, pp 143-176
Springer, 2007
Notes : Published online 31 August 2006.

On Composing Dependable Web Services Using Undependable Web Components
Gorbenko, A., Kharchenko, V. and Romanovsky, A.
International Journal of Simulation and Process Modelling Vol. 3, Issue 1/2, pp 45-54
Inderscience Publishers, 2007 ISSN 1740-2123

[Abstract]

A structural proof of the soundness of rely/guarantee rules
Coleman, J. W. and Jones, C. B.
Journal of Logic and Computation Vol. 17, Issue 4, pp 807-841
Oxford University Press, 2007 ISSN 0955-792X

A Computer Scientist's Reactions to NPfIT
Randell, B.
Journal of Information Technology Vol. 22, Issue 3, pp 222-234
Palgrave Macmillan, 2007

Developmental time windows for spatial growth generate multiple-cluster small-world networks
Nisbach, F. and Kaiser, M.
The European Physical Journal B - Condensed Matter and Complex Systems Vol. 58, Issue 2, pp 185-191
Springer, 2007

Brain architecture: a design for natural computation
Kaiser, M.
Philosophical Transactions of the Royal Society A Vol. 365, pp 3033-3045
The Royal Society, 2007

Agents in bioinformatics, computational and systems biology
Merelli, E., Armano, G., Cannata, N., Corradini, F., d'Iverno, M., Doms, A., Lord, P., Martin, A., Milanesi, L., Möller, S., Schroeder, M. and Luck, M.
Briefings in Bioinformatics Vol. 8, Issue 1, pp 45-59
Oxford University Press, 2007

Criticality of spreading dynamics in hierarchical cluster networks without inhibition
Kaiser, M., Görner, M. and Hilgetag, C.C.
New Journal of Physics Vol. 9,
Institute of Physics, 2007
Notes : Article no. 110. 13pp.

Development of multi-cluster cortical networks by time windows for spatial growth
Kaiser, M. and Hilgetag, C.C.
Neurocomputing Vol. 70, Issue 10-12, pp 1829-1832
Elsevier B.V., 2007
Notes : Revised version of paper originally presented at the Computational Neuroscience Meeting (CNS*2006) held in Edinburgh, Scotland, July 16-20, 2006.

On the Well-Foundedness of Adequate Orders Used for Construction of Complete Unfolding Prefixes
Chatain, T. and Khomenko, V.
Information Processing Letters Vol. 104, Issue 4, pp 129-136
Elsevier B.V., 2007

[Abstract]

Adaptive Positioning for Ambient Systems
Kray, C. and Kortuem, G.
Künstliche Intelligenz Issue 4/07, pp 56-61
Böttcher IT Verlag, 2007

A Survey of Literature on the Teaching of Introductory Programming
Pears, A., Seidman, S., Malmi, L., Mannila, L., Adams, E., Bennedsen, J., Devlin, M. and Paterson, J.
Inroads - SIGCSE Bulletin Vol. 39, Issue 4, pp 204-223
Association for Computing Machinery, 2007
Notes : ITiCSE 2007 Working Group Reports.

Processes of Petri Nets with Range Testing
Kleijn, J. and Koutny, M.
Fundamenta Informaticae Vol. 80, Issue 1-3, pp 199-219
IOS Press, 2007
Notes : Special Issue: Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz .

Understanding and using the meaning of statements in a bio-ontology; recasting the Gene Ontology in OWL.
Aranguren, M. E., Bechhofer, S., Lord, P. et al.
BMC Bioinformatics Vol. 8,
Biomed Central Ltd., 2007
Notes : Paper no. 57, 13 pp.

Atomicity: a unifying concept in computer science. Papers from Dagstuhl Seminar 06121. J.UCS Special issue
Coleman, J.W. and Jones, C.B.
Journal of Universal Computer Science Vol. 13, Issue 8, pp 1042-1043
Graz University of Technology, Austria, 2007 ISSN 0948-6968

A pi-calculus based semantics for WS-BPEL
Lucchi, R. and Mazzara, M.
The Journal of Logic and Algebraic Programming Vol. 70, Issue 1, pp 96-118
Elsevier Inc., 2007 ISSN 1567-8326

Dynamic Transmurality: Cardiac Optical Mapping Reveals Waves Travel Across Transmural Ablation Lines
Simonotto, J. D., Furman, M. D., Ditto, W. L. et al.
International Journal of Bifurcation and Chaos Vol. 17, Issue 9, pp 3229-3234
World Scientific Publishing , 2007

[Abstract]

Asynchronous Messaging between Web Services Using SSDL
Parastatidis, S., Woodman, S., Webber, J. et al.
IEEE Internet Computing Vol. 10, Issue 1, pp 26-39
IEEE Computer Society, 2006

Measuring and Modelling the Performance of a Parallel ODMG Compliant Object Database Server
de F. Mendes Sampaio, S., Paton, N.W., Smith, J. and Watson, P.
Concurrency and Computation: Practice and Experience Vol. 18, Issue 1, pp 63-109
Wiley, 2006 ISSN 1532-0626

Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks
Shaw, O., Steggles, J. and Wipat, A.
Electronic Notes in Theoretical Computer Science Vol. 151, Issue 3, pp 111-129
Elsevier B.V., 2006
Notes : Proceedings of the Second International Workshop on the Practical Application of Stochastic Modeling (PASM 2005), Newcastle upon Tyne,UK, 18 July 2005

Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT
Khomenko, V., Koutny, M. and Yakovlev, A.
Fundamenta Informaticae Vol. 70, Issue 1-2, pp 49-73
IOS Press, 2006

Guest Editorial - Architecting Dependable Systems
de Lemos, R., Gacek, C. and Romanovsky, A. (eds.)
The Journal of Systems and Software Vol. 79, Issue 10, pp 1359-1360
Elsevier Inc., 2006 ISSN 0164-1212

Voting Technologies and Trust
Randell, B. and Ryan, P.Y.A.
IEEE Security & Privacy Vol. 4, Issue 5, pp 50-56
IEEE Computer Society, 2006

[Abstract]

Verifying an infinite systolic algorithm using third-order equational methods
Steggles, L.J.
Journal of Logic and Algebraic Programming Vol. 69, Issue 1-2, pp 75-92
Elsevier B.V., 2006

A Petri Net Semantics of a Simple Process Algebra for Mobility
Devillers, R., Klaudel, H. and Koutny, M.
Electronic Notes in Theoretical Computer Science Vol. 154, Issue 3, pp 71-94
Elsevier B.V. , 2006
Notes : Proceedings of the 12th Workshop on Expressiveness on Concurrency (EXPRESS 2005), San Francisco, USA, 27 August 2005

Verified Software: a Grand Challenge
Jones, C., O'Hearn, P. and Woodcock, J.
Computer Vol. 39, Issue 4, pp 93-95
IEEE Computer Society, 2006

Investigating the efficiency of cryptographic algorithms in online transactions
Lamprecht, C., van Moorsel, A., Tomlinson, P. and Thomas, N.
International Journal of Simulation: Systems, Science & Technology Vol. 7, Issue 2, pp 63-75
United Kingdom Simulation Society, 2006

[Abstract]

Metastability in Asynchronous Wait-Free Protocols
Paynter, S.E., Henderson, N. and Armstrong, J.M.
IEEE Transactions on Computers Vol. 55, Issue 3, pp 292-303
IEEE, 2006

Architecting Dependable Systems
de Lemos, R., Gacek, C. and Romanovsky, A. (eds.)
The Journal of Systems and Software Vol. 79, Issue 10, pp 1359-1482
Elsevier Inc., 2006 ISSN 0164-1212
Notes : Special issue of journal on Architecting Dependable Systems: contains extended versions of selected papers initially presented at ICSE 2005 WADS.

Reasoning About Partial Functions in the Formal Development of Programs
Jones, C.B.
Electronic Notes in Theoretical Computer Science Vol. 145, pp 3-25
Elsevier B.V., 2006

Petri Net Semantics of the Finite p-calculus Terms
Devillers, R., Klaudel, H. and Koutny, M.
Fundamenta Informaticae Vol. 70, Issue 3, pp 203-226
IOS Press, 2006

Approximation in non-product form finite capacity queue systems
Thomas, N.
Future Generation Computer Systems Vol. 22, Issue 7, pp 820-827
Elsevier B.V., 2006

Nonoptimal Component Placement, but Short Processing Paths, due to Long-Distance Projections in Neural Systems
Kaiser, M. and Hilgetag, C.C.
PLoS Computational Biology Vol. 2, Issue 7,
Public Library of Science in association with the International Society for Computational Biology, 2006
Notes : Article no. e95, 11 pp.

Merged Processes: a New Condensed Representation of Petri Net Behaviour
Khomenko, V., Kondratyev, A., Koutny, M. and Vogler, W.
Acta Informatica Vol. 43, Issue 5, pp 307-330
Springer , 2006

An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation
Loer, K. and Harrison, M.D.
Automated Software Engineering Vol. 13, Issue 4, pp 469-496
Springer Netherlands, 2006

Protein classification using ontology classification
Wolstencroft, K., Lord, P., Tabernero, L. et al.
Bioinformatics Vol. 22, Issue 14, pp e530-e538
Oxford University Press, 2006
Notes : Paper presented at 2006 Intelligent Systems for Molecular Biology Conference (ISMB 2006) held in Fortaleza, Brazil, August 6-10, 2006.

Stability Analysis of the Particle Dynamics in Particle Swarm Optimizer
Kadirkamanathan, V., Selvarajah, K. and Fleming, P. J.
IEEE Transactions on Evolutionary Computation Vol. 10, Issue 3, pp 245-255
IEEE, 2006

Extraction of an activity pattern language from EEG data
Andras, P.
Neurocomputing Vol. 69, Issue 10-12, pp 1313-1316
Elsevier B.V., 2006
Notes : Revised version of paper originally presented at the Computational Neuroscience (CNS*05) meeting held in Madison, WI,USA, July 17-21, 2005.

Reply to May and Harvey
Charlton, B. and Andras, P.
Oxford MagazineIssue 255, pp 18
Oxford University Press, 2006

Globalization in science education: An inevitable and beneficial trend
Charlton, B.G. and Andras, P.
Medical Hypotheses Vol. 66, Issue 5, pp 869-873
Elsevier Ltd., 2006
Notes : Editorial

Process Semantics for Membrane Systems
Kleijn, J., Koutny, M. and Rozenberg, G.
Journal of Automata, Languages and Combinatorics Vol. 11, Issue 3, pp 321-340
Otto-von-Guericke-Universität, Magdeburg, Germany, 2006

Uncertainty and Cooperation: Analytical Results and a Simulated Agent Society
Andras, P., Lazarus, J., Roberts, G., and Lynden S.J.
Journal of Artificial Societies and Social Simulation Vol. 9, Issue 1,
SIMSOC Consortium, 2006

[Abstract]

GOHSE: Ontology Driven Linking of Biology Resources
Bechhofer, S.K., Stevens, R.D. and Lord, P.W.
Journal of Web Semantics Vol. 4, Issue 3, pp 155-163
Elsevier B.V., 2006

Oxbridge versus the 'Ivy League' : 30 year citation trends
Charlton, B. and Andras, P.
Oxford MagazineIssue 255, pp 16
Oxford University Press, 2006

The fate of object features during perisaccadic mislocalization
Lappe, M., Kuhlmann, S., Oerke, B. and Kaiser, M.
Journal of Vision Vol. 6, Issue 11, pp 1282-1293
Association for Research in Vision and Ophthalmology, 2006
Notes : Article no. 11

[Abstract]

Analysis of Restart Mechanisms in Software Systems
van Moorsel, A.P.A. and Wolter, K.
IEEE Transactions on Software Engineering Vol. 32, Issue 8, pp 547-558
IEEE Computer Society, 2006
Notes : Extended version of paper presented at QEST 2004 : 1st International Conference on the Quantitative Evaluation of SysTems, held at University of Twente, the Netherlands, 27-30 September 2004.

Taverna: lessons in creating a workflow environment for the life sciences
Oinn, T., Greenwood, M., Addis, M., Alpdemir, M.N., Ferris, J., Glover, K., Goble, C., Goderis, A., Hull, D., Marvin, D., Li, P., Lord, P., Pocock, M.R., Senger, M., Stevens, R., Wipat, A. and Wroe, C.
Concurrency and Computation: Practice and Experience Vol. 18, Issue 10, pp 1067-1100
Wiley, 2006
Notes : Special issue: Workflow in Grid Systems.

Design and Implementation of Web Services Middleware to Support Fair Non-Repudiable Interactions
Cook, N., Robinson, P. and Shrivastava, S.K.
International Journal of Cooperative Information Systems Vol. 15, Issue 4, pp 565-597
World Scientific, 2006
Notes : Invited paper. Special issue on Enterprise Distributed Computing.

[Abstract]

The design and implementation of Grid database services in OGSA-DAI
Antonioletti, M., Atkinson, M., Baxter, R. et al.
Concurrency and Computation: Practice and Experience Vol. 17, Issue 2-4, pp 357 - 376
Wiley, 2005 ISSN 1040-3108
Notes : Newcastle Author: Paul Watson

Relaxing Atomicity and Verifying Correctness: Considering the Case of an Asynchronous Communication Mechanism
Burton, J.
Journal of Universal Computer Science Vol. 11, Issue 5, pp 771-802
Know-Center Graz in cooperation with Springer, 2005

[Abstract]

Grid, Management and Self-Management
van Moorsel, A.P.A.
The Computer Journal Vol. 48, Issue 3, pp 325-332
Oxford University Press for the British Computer Society, 2005

Investigating Atomicity and Observability
Burton, J. and Jones, C.B.
Journal of Universal Computer Science Vol. 11, Issue 5, pp 661-686
Graz University of Technology in cooperation with Springer, 2005

[Abstract]

WS-GAF: a framework for building Grid applications using Web Services
Parastatidis, S., Webber, J., Watson, P. and Rischbeck, T.
Concurrency and Computation: Practice and Experience Vol. 17, Issue 2-4, pp 391-417
Wiley, 2005 ISSN 1532-0626

RODIN - Rigorous Open Development Environment for Complex Systems
Romanovsky, A.
Software Engineering Notes Vol. 30, Issue 1, pp 2
ACM, 2005 ISSN 0163-5948
Notes : Abstract only.

Interface changes causing accidents. An empirical study of negative transfer
Besnard, D. and Cacitti, L.
International Journal of Human-Computer Studies Vol. 62, Issue 1, pp 105-125
Elsevier, 2005

[Abstract]

Modelling Opacity Using Petri Nets
Bryans, J.W. , Koutny, M. and Ryan P.Y.A.
Electronic Notes in Theoretical Computer Science Vol. 121, pp 101-115
Elsevier Science Publishers BV, 2005
Notes : Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models (WISP 2004)

[Abstract]

Measuring reuse in hazard analysis
Smith, S.P. and Harrison, M.D.
Reliability Engineering and System Safety Vol. 89, Issue 1, pp 93-104
Elsevier, 2005

Editorial: Grid Performability
Thomas, N.
The Computer Journal Vol. 48, Issue 3, pp 323-324
Oxford University Press, 2005

Web Service Grids: an evolutionary approach
Atkinson, M., DeRoure D., Dunlop A., Fox, G., Henderson, P., Hey, T., Paton, N., Newhouse, S., Parastatidis, S., Trefethen, A., Watson, P. and Webber, J.
Concurrency and Computation: Practice and Experience Vol. 17, Issue 2-4, pp 377-389
Wiley, 2005
Notes : Newcastle authors are: Paul Watson, Savas Parastatidis and James Webber

Performability of a Secure Electronic Voting Algorithm
Thomas, N.
Electronic Notes in Theoretical Computer Science Vol. 128, Issue 4, pp 45-58
Elsevier, 2005

The Atomic Manifesto: a Story in Four Quarks
Jones, C., Lomet, D., Romanovsky, A. et al.
SIGMOD Record Vol. 34, Issue 1, pp 63-69
ACM Press, 2005 ISSN 0163-5808

Neural activity pattern systems
Andras, P.
Neurocomputing Vol. 65-66, pp 531-536
Elsevier B.V., 2005
Notes : Revised version of paper originally presented at the Computational Neuroscience Meeting (CNS*04) held July 18-22, 2004, in Baltimore, MD, USA.

Universities and social progress in modernising societies: how educational expansion has replaced socialism as an instrument of political reform
Charlton, B.G. and Andras, P.
Critical Quarterly Vol. 47, Issue 1/2, pp 30-39
Blackwell Publishing, 2005

Panelist position statement: reasoning about the design of programs
Jones, C.B.
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences Vol. 363, Issue 1835, pp 2395-2396
Royal Society, 2005

A Family of Trusted Third Party Based Fair-Exchange Protocols
Ezhilchelvan, P.D. and Shrivastava, S.K.
IEEE Transactions on Dependable and Secure Computing Vol. 2, Issue 4, pp 273-286
IEEE Computer Society, 2005

Approximate Solutions for Heavily Loaded Markov-Modulated Queues
Mitrani, I.
Performance Evaluation Vol. 62, Issue 1-4, pp 117-131
Elsevier, 2005

The origins of life – the ‘protein interaction world’ hypothesis: protein interactions were the first form of self-reproducing life and nucleic acids evolved later as memory molecules
Andras, P. and Andras C.
Medical Hypotheses Vol. 64, Issue 4, pp 678-688
Elsevier Ltd., 2005

Modernizing UK health services: ‘Short-sharp-shock’ reform, the NHS subsistence economy, and the spectre of health care famine
Charlton, B.G. and Andras, P.
Journal of Evaluation in Clinical Practice Vol. 11, Issue 2, pp 111-119
Blackwell Publishing, 2005

Antisense transcription in the mammalian transcriptome
Katayama, S., Tomaru, Y., Kasukawa, T., Waki, K., Nakanishi, M., Nakamura, M., Nishida, H., Yap, C. C., Suzuki, M., Kawai, J., Suzuki, H., Caminci, P., Hayashizaki, Y., Wells, C., Frith, M., Ravasi, T., Pang, K.C., Hallinan, J. et al.
Science Vol. 309, Issue 5740, pp 1564 - 1566
American Association for the Advancement of Science, 2005

Rapid Prototyping and User-Centered Design of Interactive Display-Based Systems
Fitton, D., Cheverst, K., Kray, C., Dix, A., Rouncefield, M. and Saslis-Lagoudakis, G.
IEEE Pervasive Computing Vol. 4, Issue 4, pp 58-66
IEEE, 2005

Exploring Issues of User Model Transparency and Proactive Behaviour in an Office Environment Control System
Cheverst, K., Byun, H.E., Fitton, D., Sas, C., Kray, C. and Villar, N.
User Modeling and User-Adapted Interaction Vol. 15, Issue 3-4, pp 235-273
Springer, 2005
Notes : Special issue on User Modeling in Ubiquitous Computing.

Medical research funding may have over-expanded and be due for collapse
Charlton, B.G. and Andras, P.
QJM: An International Journal of Medicine Vol. 98, Issue 1, pp 53-55
OUP on behalf of the Association of Physicians, 2005

The Need for a New Specialist Professional Research System of “Pure” Medical Science
Charlton, B.G. and Andras, P.
PLoS Medicine Vol. 2, Issue 8, pp e285
Public Library of Science, 2005
Notes : Correspondence

Optimal and heuristic policies for dynamic server allocation
Palmer, J. and Mitrani, I.
Journal of Parallel and Distributed Computing Vol. 65, Issue 10, pp 1204-1211
Elsevier, 2005
Notes : Special issue: Design and Performance of Networks for Super-, Cluster-, and Grid-Computing (Part I)

Pattern computation in neural communication systems
Andras, P.
Biological Cybernetics Vol. 92, Issue 6, pp 452-460
Springer, 2005

Die Netzwerk-Struktur biologischer Systeme
Hilgetag, C.C. and Kaiser, M.
BIOforumIssue 4, pp 32-33
GIT Verlag, 2005

myGrid and the drug discovery process
Stevens, R., McEntire, R., Goble, C., Greenwood, M., Zhao, J., Wipat, A. and Li, P.
BIOSILICO Vol. 4, Issue 2, pp 140-148
Elsevier Ltd, 2004

Basic Concepts and Taxonomy of Dependable and Secure Computing
Avizienis, A., Laprie, J.-C., Randell, B. and Landwehr, C.
IEEE Transactions on Dependable and Secure Computing Vol. 1, Issue 1, pp 11-33
IEEE, 2004

[Abstract]

Weasel Words, Genetic Algorithms and Coarse Acknowledgements
Khomenko, V.
Technical Journal Vol. 18, Issue 1, pp 78-85
Answers in Genesis Ltd., 2004

Taverna: a tool for the composition and enactment of bioinformatics workflows
Oinn, T., Addis, M., Ferris, J., Marvin, D., Senger, M., Greenwood, M., Carver, T., Glover, K., Pocock, M.R., Wipat, A. and Li, P.
Bioinformatics Vol. 20, Issue 17, pp 3045-3054
Oxford University Press, 2004

[Abstract]

Detecting State Encoding Conflicts in STG Unfoldings Using SAT
Khomenko, V., Koutny, M. and Yakovlev, A.
Fundamenta Informaticae Vol. 62, Issue 2, pp 221-241
IOS Press, 2004
Notes : Special Issue on Best Papers from ACSD 2003.

Optimal Restart Times for Moments of Completion Time
van Moorsel, A. and Wolter, K.
IEE Proceedings Software Vol. 151, Issue 5, pp 219-223
Institution of Electrical Engineers , 2004

A Framed Temporal Logic Programming Language
Duan, Z.-H., Koutny, M.
Journal of Computer Science and Technology Vol. 19, Issue 3, pp 341-351
Allerton Press, Inc., 2004

Modelling the development of cortical systems networks
Kaiser M. and Hilgetag C.C.
Neurocomputing Vol. 58-60, pp 297-302
Elsevier B.V., 2004
Notes : Paper presented at the Computational Neuroscience Meeting (CNS*03), July 5-9, 2003, Alicante, Spain

Dynamic Allocation of Servers to Jobs in a Grid Hosting Environment
Kubicek, C., Fisher, M., McKee, P. and Smith, R.
BT Technology Journal Vol. 22, Issue 3, pp 251-260
Springer Science+Business Media B.V, 2004

[Abstract]

Gene duplication and hierarchical modularity in intracellular interaction networks
Hallinan, J.
BioSystems Vol. 74, Issue 1 - 3, pp 51 - 62
Elsevier, 2004

Ramifications of Metastability in Bit Variables Explored via Simpson's 4-Slot Mechanism
Paynter, S.E., Henderson, N. and Armstrong, J.M.
Formal Aspects of Computing Vol. 16, Issue 4, pp 332-351
Springer-Verlag, 2004

The Many Meanings of Open Source
Gacek, C. and Arief, B.
IEEE Software Vol. 21, Issue 1, pp 34-40
IEEE Computer Society, 2004

[Abstract]

Automating experiments using semantic data on a bioinformatics grid
Wroe, C., Goble, C., Greenwood, M., Lord, P., Miles, S., Papay, J., Payne, T. and Moreau, L.
IEEE Intelligent Systems Vol. 19, Issue 1, pp 48-55
IEEE Computer Society, 2004

Process semantics of general inhibitor nets
Kleijn, H.C.M. and Koutny, M.
Information and Computation Vol. 190, Issue 1, pp 18-69
Elsevier Science Publishers BV, 2004

Relating Communicating Processes with Different Interfaces
Burton, J., Koutny, M. and Pappalardo, G.
Fundamenta Informaticae Vol. 59, Issue 1, pp 1-37
IOS Press, 2004

Computer security impaired by legitimate users
Besnard, D. and Arief, B.
Computers & Security Vol. 23, Issue 3, pp 253-264
Elsevier Ltd, 2004

[Abstract]

When mental models go wrong. Co-occurrences in dynamic, critical systems
Besnard, D., Greathead, D., Baxter, G.
International Journal of Human-Computer Studies Vol. 60, Issue 1, pp 117-128
Elsevier Ltd, 2004

[Abstract]

Password memorability and security: empirical results
Yan, J., Blackwell, A., Anderson, R. and Grant, A.
IEEE Security and Privacy Vol. 2, Issue 5, pp 25-31
IEEE Computer Society, 2004

Run-time monitoring and enforcement of electronic contracts
Molina-Jimenez, C., Shrivastava, S., Solaiman, E. and Warne, J.
Electronic Commerce Research and Applications Vol. 3, Issue 2, pp 108-125
Elsevier B.V., 2004

[Abstract]

Edge vulnerability in neural and metabolic networks
Kaiser M. and Hilgetag C.C.
Biological Cybernetics Vol. 90, Issue 5, pp 311-317
Springer-Verlag, 2004

European Science must Embrace Modernization
Andras P. and Charlton B.G.
Nature Vol. 429, Issue 6993, pp 699
Nature Publishing Group, 2004
Notes : Correspondence

Spatial growth of real-world networks
Kaiser M. and Hilgetag C.C.
Physical Review E Vol. 69,
American Physical Society, 2004
Notes : Article no.036103(5 pp.)

Clustered organization of cortical connectivity
Hilgetag C.C. and Kaiser M.
Neuroinformatics Vol. 2, Issue 3, pp 353-360
Humana Press, 2004

On the ASTA Property in a Feedback Processor-Sharing Queue
Mitrani, I. and Robert, P.
Performance Evaluation Vol. 58, Issue 1, pp 81-85
Elsevier B.V., 2004 ISSN 0166-5316

Open issues in grid performability
Jarvis, S., Thomas, N. and van Moorsel, A.
International Journal of Simulation: Systems, Science and Technology Vol. 5, Issue 5, pp 3-12
United Kingdom Simulation Society, 2004

[Abstract]

The Design, Implementation and Evaluation of an ODMG Compliant, Parallel Object Database Server
Smith, J., Sampaio, S., Watson, P. and Paton, N.W.
Distributed and Parallel Databases Vol. 16, Issue 3, pp 275-319
Kluwer Academic Publishers, 2004

Organization, Development and Function of Complex Brain Networks
Sporns O., Chialvo D.R., Kaiser M. and Hilgetag C.-C.
Trends in Cognitive Sciences Vol. 8, Issue 9, pp 418-425
Elsevier, 2004

Dynamic Routing Between Two Queues with Unreliable Servers
Martin, S. and Mitrani, I.
International Journal of Simulation Vol. 5, Issue 5, pp 38-48
U.K. Simulation Society, 2004

SARGE: a tool for creation of putative genetic networks
Shaw, O.J., Harwood, C., Steggles, L.J. and Wipat, A.
Bioinformatics Vol. 20, Issue 18, pp 3638-3640
Oxford University Press, 2004

A Timeout-Based Message Ordering Protocol for a Lightweight Software Implementation of TMR Systems
Ezhilchelvan, P.D., Brasileiro, F.V. and Speirs, N.A.
IEEE Transactions on Parallel and Distributed Systems Vol. 15, Issue 1, pp 53-65
IEEE Computer Society, 2004

Stochastic analysis of scheduling strategies in a Grid-based resource model
Thomas, N., Bradley, J.T., and Knottenbelt, W.J.
IEE Proceedings Software Vol. 151, Issue 5, pp 232-239
IEE, 2004

Perisaccadic mislocalization orthogonal to saccade direction
Kaiser, M. and Lappe, M.
Neuron Vol. 41, Issue 2, pp 293-300
Cell Press, 2004 ISSN 0896-6273

Pattern Languages: A New Paradigm for Neurocomputation
Andras, P.
Neurocomputing Vol. 58-60, pp 223-228
Elsevier B.V., 2004
Notes : Revised version of paper originally presented at the Computational Neuroscience Meeting (CNS*03) held July 5-9, 2003 in Alicante, Spain.

Alternative Sampling Methods for Estimating Multivariate Normal Probabilities
Sandor, Z. and Andras, P.
Journal of Econometrics Vol. 120, Issue 2, pp 207-234
Elsevier B.V., 2004

Exploring Williams-Beuren Syndrome Using myGrid
Stevens, R.D., Tipney, H.J., Wroe, C.J., Oinn, T.M., Senger, M., Lord, P.W. et al.
Bioinformatics Vol. 20, Issue Supp. 1, pp i303-i310
Oxford University Press, 2004
Notes : Paper presented at 12th Intelligent Systems for Molecular Biology conference (ISMB) which was held jointly with 3rd European Conference on Computational Biology (ECCB), Glasgow, UK, July 31-August 4, 2004.

Campaign to revitalise academic medicine. Is the bubble due to burst for medical research funding?
Charlton, B.G. and Andras, P.
British Medical Journal Vol. 329, Issue 7460, pp 294
BMJ Publishing Group Ltd., 2004
Notes : Correspondence

The International Protein Index: An integrated database for proteomics experiments
Kersey, P.J., Duarte, J., Williams, A., Karavidopoulou,Y., Birney, E. and Apweiler, R.
Proteomics Vol. 4, Issue 7, pp 1985-1988
WILEY-VCH Verlag GmbH & Co, 2004
Notes : For later pubications by Allyson Williams, see Allyson Lister

[Abstract]

Essential Bacillus subtilis genes
Kobayashi, K. et. al.
Proceedings of the National Academy of Sciences of the United States of America (PNAS) Vol. 100, Issue 8, pp 4678-4683
National Academy of Sciences, 2003 ISSN 0027-8424

Investigating semantic similarity measures across the Gene Ontology: the relationship between sequence and annotation
Lord, P.W., Stevens, R.D., Brass, A. and Goble, C.A.
Bioinformatics Vol. 19, Issue 10, pp 1275-1283
Oxford University Press, 2003

The Early Search for Tractable Ways of Reasoning about Programs
Jones, C.B.
IEEE Annals of the History of Computing Vol. 25, Issue 2, pp 26-49
IEEE Computer Society, 2003 ISSN 1058-6180

[Abstract]

Canonical Prefixes of Petri Net Unfoldings
Khomenko, V., Koutny M. and Vogler W.
Acta Informatica Vol. 40, pp 95-118
Springer-Verlag, 2003

Dynamic Configuration Management in Graph-Oriented Distributed Programming Environment
Cao, J., Chan, A., Sun, Y., and Zhang, K.
Science of Computer Programming Vol. 48, Issue 1, pp 43-65
Elsevier Science Inc., 2003 ISSN 0167-6423

Danger: Derrida At Work
Armstrong, J.M.
Interdisciplinary Science Reviews Vol. 28, Issue 2, pp 83-94
IoM Communications Ltd., 2003 ISSN 0308-0188

Comparing Neurophysiological Measurements of Simulated and Real Brains
Andras, P.
Neurocomputing Vol. 52-54, pp 677-682
Elsevier B.V., 2003
Notes : Revised version of paper originally presented at the Computational Neuroscience Meeting (CNS*02)held July 21-25, 2002 in Chicago, Illinois, USA.

The CORBA Activity Service Framework for Supporting Extended Transactions
Houston, I., Little, M.C., Robinson, I., Shrivastava, S.K. and Wheater, S.M.
Software: Practice and Experience Vol. 33, Issue 4, pp 351-373
John Wiley & Sons, 2003 ISSN 0038-0644

[Abstract]

Learning support for the consultation: information support and decision support should be placed in an educational framework
Robinson, P., Purves, I. and Wilson, R.
Medical Education Vol. 37, Issue 5, pp 429-433
Blackwell Science Ltd., 2003 ISSN 0308-0110

Editorial
Andras, P., Kozma, R. and Erdi, P.
Journal of Integrative Neuroscience Vol. 2, Issue 1, pp 1-2
World Scientific Publishing, 2003

Asynchronous Box Calculus
Devillers, R., Klaudel, H., Koutny, M. and Pommereau, F.
Fundamenta Informaticae Vol. 54, Issue 4, pp 295-344
IOS Press, 2003 ISSN 0169-2968

A cognitive approach to safe violations
Besnard, D., Greathead, D.
Cognition, Technology & Work Vol. 5, Issue 4, pp 272-282
Springer-Verlag London Ltd, 2003

[Abstract]

Building ontologies in DAML + OIL
Stevens, R., Wroe, C., Bechhofer, S., Lord, P., Rector, A. and Goble, C.
Comparative and Functional Genomics Vol. 4, Issue 1, pp 133-141
John Wiley & Sons, Ltd, 2003

Operational Semantics: Concepts and their expression
Jones, C.B.
Information Processing Letters Vol. 88, Issue 1-2, pp 27-32
Elsevier B.V., 2003

Workshop on Software Architectures for Dependable Systems
de Lemos, R., Gacek, C., and Romanovsky, A.
Software Engineering Notes Vol. 28, Issue 6, pp 28
ACM Press, 2003 ISSN 0163-5948
Notes : Workshop summary. Full report of the Workshop is available in the ACM Digital Library on the SEN site.

Wrapping it up
Anderson, T., Feng, M., Riddle, S. and Romanovsky, A.
Safety Systems Vol. 13, Issue 1, pp 8-10
Safety Critical Systems Club, 2003

What is Management and What Do Managers Do ? A Systems Theory Account
Charlton, B.G. and Andras, P.
Philosophy of Management Vol. 3, Issue 3, pp 3-16
Reason in Practice Ltd., 2003

Model Checking Stochastic Automata
Bryans, J., Bowman, H. and Derrick, J.
ACM Transactions on Computational Logic Vol. 4, Issue 4, pp 452-492
ACM, 2003

Massive recruitment of the barnacle Semibalanus balanoides in the Clyde Sea (Scotland UK) in the spring of 2000
Hansson, L.J., Hudson, I.R., Seddon, R.J., Shaw, O. and Thomason, J.C.
Journal of the Marine Biological Association of the United Kingdom Vol. 83, Issue 5, pp 923-924
Cambridge University Press, 2003

A Model for Emergent Complex Order in Small Neural Networks
Andras, P.
Journal of Integrative Neuroscience Vol. 2, Issue 1, pp 55-69
World Scientific Computing, 2003

An approximate solution of PEPA models using substitution
Thomas, N. , Bradley, J. and Thornley, D.
IEE Proceedings - Computers and Digital Techniques Vol. 150, Issue 2, pp 67-74
IEE, 2003

Visualization and Resolution of Encoding Conflicts in Asynchronous Circuit Design
Madalinski, A., Bystrov, A., Khomenko, V. and Yakovlev, A.
IEE Proceedings: Computers & Digital Techniques Vol. 150, Issue 5, pp 285-293
IEE, 2003
Notes : Special Issue on Best Papers from DATE'2003

Solving Irregularly Structured Problems Based on Distributed Object Model
Sun, Y. and Wang, C.
Parallel Computing Vol. 29, Issue 11-12, pp 1539-1562
Elsevier Science, 2003

[Abstract]

High-level Abstractions for Message-passing Parallel Programming
Chan, F., Cao, J. and Sun, Y.
Parallel Computing Vol. 29, Issue 11-12, pp 1589-1621
Elsevier Science, 2003

Scalable Load Balancing on Distributed Web Servers Using Mobile Agents
Cao, J., Sun, Y., Wang, X. and Das, S.
Journal of Parallel and Distributed Computing Vol. 63, Issue 10, pp 996-1005
Elsevier Science, 2003

[Abstract]

Software Engineering for Large-Scale Multi-Agent Systems - SELMAS 2003
Garcia, A., Leite, J., Milidiu, R. et al.
Software Engineering Notes Vol. 28, Issue 6, pp 26
ACM Press, 2003 ISSN 0163-5948
Notes : Workshop summary. Full report of Workshop is available in ACM Digital Library on the SEN site.

Distributed Query Processing on the Grid
Smith, J., Gounaris, A., Watson, P., Paton, N.W., Fernandes, A.A.A. and Sakellariou, R
International Journal of High Performance Computing Applications Vol. 17, Issue 4, pp 353-368
SAGE, 2003
Notes : This is a version of the Grid 2002 paper with the same title

Efficient Parallel Simulation of a Sliding Window protocol
A.S. McGough and I. Mitrani
Performance Evaluation Vol. 48, pp 237-246
Elsevier Science BV (North-Holland), 2002 ISSN 0166-5316

Towards Statistically Valid Population Decoding Models
Andras, P., Panzeri, S. and Young, M.P.
Neurocomputing (Special Issue on Computational Neuroscience: Trends in Research 2002) Vol. 44, Issue n/a, pp 269-274
Elsevier Science Publishers BV, 2002 ISSN 0925-2313

Security Issues in Online Games
Yan, J. and Choi, H.-J.
The Electronic Library Vol. 20, Issue 2, pp 125-133
Emerald, 2002

The Box Algebra = Petri Nets + Process Expressions
Best, E., Devillers, R. and Koutny, M.
Information and Computation Vol. 178, Issue 1, pp 44-100
Academic Press, 2002 ISSN 0890-5401

Computation with Chaotic Patterns
Andras, P.
Neurocomputing (Special Issue on Computational Neuroscience: Trends in Research 2002) Vol. 44, Issue n/a, pp 263-268
Elsevier Science Publishers BV, 2002 ISSN 0925-2313

Democratic Deficit and Communication Inflation in the Health Care System
Andras, P. and Charlton, B.G.
Journal of Evaluation in Clinical Practice Vol. 8, Issue 3, pp 291-298
Blackwell Science, 2002 ISSN 1356-1294

Framework Based on Design Patterns for Providing Persistence in Object-oriented Programming Languages
Kienzle, J. and Romanovsky, A.
IEE Proceedings - Software Vol. 149, Issue 3, pp 77-85
Institution of Electrical Engineers (IEE), 2002 ISSN 1462-5970

Organisational Failures in Dependable Collaborative Enterprise Systems
Periorellis, P. and Dobson, J.E.
Journal of Object Technology Vol. 1, Issue 3, pp 107-117
Chair of Software Engineering, Swiss Federal Institue of Technology, Zurich, 2002 ISSN 1660-1769

[Abstract]

The Equivalence of Support Vector Machine and Regularization Neural Networks
Andras, P.
Neural Processing Letters Vol. 15, Issue 2, pp 97-104
Kluwer Academic Publishers, 2002 ISSN 1370-4621

On version state recovery and adjudication in class diversity
Romanovsky, A.
International Journal of Computer Systems Science & Engineering Vol. 17, Issue 3, pp 159-168
CRL Publishing, 2002 ISSN 0267-6192

Synthesising Elementary Net Systems with Inhibitor Arcs from Step Transition Systems
Pietkiewicz-Koutny, M.
Fundamenta Informaticae Vol. 50, Issue 2, pp 175-203
IOS Press, 2002 ISSN 0169-2968

A System Poisoned by Deceit
Charlton, B.G. and Andras, P.
The Times Higher Education Supplement
TSL Education Ltd., 2002

ICSE 2002 Workshop on Architecting Dependable Systems
de Lemos, R., Gacek, C. and Romanovsky, A.
Software Engineering Notes Vol. 27, Issue 5, pp 77-80
ACM Press, 2002 ISSN 0163-5948
Notes : Workshop summary.

CINEMA-MX: A modular multiple alignment editor
Lord, P.W., Selley, J.N. and Attwood, T.K.
Bioinformatics Vol. 18, Issue 10, pp 1402-1403
Oxford University Press, 2002

Commentary on ‘Clinical Evaluation’ by Sweeney and Kernick
Andras, P. and Charlton, B.G.
Journal of Evaluation in Clinical Practice Vol. 8, Issue 2,
Blackwell Science, 2002 ISSN 1356-1294

Unhealthy Hype
Andras, P. and Charlton, B.G.
Spiked-OnlineIssue n/a,
2002

Using Bloom Filters to Speed-up Name Lookup in Distributed Systems
Little, M.C., Speirs, N.A. and Shrivastava, S.K.
The Computer Journal Vol. 45, Issue 6, pp 645-652
Oxford University Press/British Computer Society, 2002 ISSN 0010-4620

[Abstract]

Optimal Allocation of Test Resources for Software Reliability Growth Modeling in Software Development
Lyu, M. R., Rangarajan, S. and van Moorsel, A. P. A.
IEEE Transactions on Reliability Vol. 51, Issue 2, pp 183-192
IEEE, 2002

A Rewriting Machine and Optimization of Strategies of Term Rewriting
Letichevskii, A. and Khomenko, V.
Cybernetics and Systems Analysis Vol. 38, Issue 5, pp 637-649
Kluwer Academic Publishers, 2002

[Abstract]

Hype and Spin in the NHS
Andras, P. and Charlton, B.G.
The British Journal of General Practice Vol. 52, Issue 479, pp 520-521
World Wide Subscription Services, 2002 ISSN 0960-1643

Hype and Spin in the Universities
Andras, P. and Charlton, B.G.
Oxford Magazine Vol. 2002, Issue 202, pp 5-6
Oxford University, 2002 ISSN 0268-1137

Kernel-Kohonen Networks
Andras, P.
International Journal of Neural Systems Vol. 12, Issue 2, pp 117-136
World Scientific Publishing Company, 2002 ISSN 0129-0657

Rat Muc4 (sialomucin complex) reduces binding of anti-ErbB2 antibodies to tumor cell surfaces, a potential mechanism for herceptin resistance
Price-Schiavi, S.A., Jepson, S. and Li, P. et. al.
International Journal of Cancer Vol. 99, Issue 6, pp 783-791
Wiley-Liss Inc., 2002 ISSN 0020-7136

Using Reflection as a Mechanism for Enforcing Security Policies on Compiled Code
Welch, I. and Stroud, R.J.
Journal of Computer Security Vol. 10, Issue 4, pp 399-432
IOS Press, 2002 ISSN 0926-227X

Eine Methodik zur Analyse hochzuverl assiger interaktiver Systeme
Loer, K. and Harrison, M.D.
Werkstatt Mensch-Maschine-Systeme (ZMMS Spektrum Band 13) Vol. 22, Issue 8, pp 162-163
VDI Verlag, Fortschritt-Berichte VDI, 2002

Rigorous development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions
Xu, J., Randell, B., Romanovsky, A. et al.
IEEE Transactions on Computers Vol. 51, Issue 2, pp 164-179
IEEE Computer Society, 2002 ISSN 0018-9340
Notes : Special Issue on Fault Tolerance.

[Abstract]

Issues of dependability in open source software development
Lawrie, T. and Gacek, C.
ACM SIGSOFT Software Engineering Notes Vol. 27, Issue 3, pp 34-37
ACM Press, 2002 ISSN 0163-5948

REAL: Ein ressourcenadaptierendes mobiles Navigationssystem
Wahlster, W., Baus, J., Kray, C. and Krüger, A.
Informatik - Forschung und Entwicklung Vol. 16, Issue 4, pp 233-241
Springer-Verlag, 2001

Behaviour Abstraction for Communicating Sequential Processes
Koutny, M. and Pappalardo, G.
Fundamenta Informaticae Vol. 48, Issue 1, pp 21-54
IOS Press, 2001 ISSN 0169-2968

Recursion and Petri Nets
Best, E., Devillers, R. and Koutny, M.
Acta Informatica Vol. 37, Issue 11-12, pp 781-829
Springer-Verlag Germany, 2001 ISSN 0001-5903

Correctness of Dataflow and Systolic Algorithms using Algebras of Streams
Meinke, K. and Steggles, L.J.
Acta Informatica Vol. 38, Issue 1, pp 45-88
Springer-Verlag Germany, 2001 ISSN 0001-5903

Visual, Object-Oriented Development of Parallel Applications
Webber, J. and Lee, P.A.
Journal of Visual Languages & Computing Vol. 12, Issue 2, pp 145-161
Academic Press, 2001 ISSN 1045-926X

Trouble-shooting in mechanics: a heuristic matching process
Besnard, D. and Cacitti, L.
Cognition, Technology and Work Vol. 3, Issue 3, pp 150-160
Springer-Verlag London Ltd., 2001 ISSN 1435-5558

[Abstract]

Threshold Policies for a Single-Server Queueing Network
Ansell, P.S., Glazebrook, K.D. and Mitrani, I
Probability in the Engineering and Informational Sciences Vol. 15, Issue 1, pp 15-33
Cambridge University Press, 2001 ISSN 0269-9648

Review of “Inventing Systems Engineering”, by John Aris (Review no. 0101-0037)
Randell, B.
Computing Reviews Vol. 42, Issue 1, pp 78
ACM Press, 2001 ISSN 0010-4884

The Transition from VDL to VDM
Jones, C.B.
Journal of Universal Computer Science Vol. 7, Issue 8, pp 631-640
Graz University of Technology, Austria, 2001 ISSN 0948-6968
Notes : Formal Aspects of Software Engineering: J.UCS Special Issue in Honor of Professor Peter Lucas

Distributed Particle Simulation Method on Adaptive Collaborative System
Sun, Y., Liang, Z., and Wang, C.
Future Generation Computer Systems Vol. 18, Issue 1, pp 79-87
Elsevier Science Inc., 2001 ISSN 0167-739X

Large Scale and Heavy Traffic Asymptotics for Systems with Unreliable Servers
Dantzer, J-F., Mitrani, I. and Robert, P.
Queueing Systems - Theory and Applications Vol. 38, Issue 1, pp 5-24
Baltzer Science Publishers BV, 2001 ISSN 0257-0130

Process Algebra and Non-Interference
Ryan, P.Y.A. and Schneider, S.A.
Journal of Computer Security Vol. 9, Issue 1/2, pp 75-103
IOS Press, 2001 ISSN 0926-227X

Sialomucin complex (rat Muc4) transmembrane subunit binds the differentiation marker peanut lectin in the normal rat mammary gland
Li, P., Price-Schiavi, S.A., Rudland, P.S. and Carraway, K.L.
Journal of Cellular Physiology Vol. 186, Issue 3, pp 397-405
Wiley Liss Inc., 2001 ISSN 0021-9541

Making Web Services Work
Webber, J., Corrales, V., Little, M. and Parastatidis, S.
Application Development Advisor Vol. 5, Issue 9, pp 68-71
SIGS Ltd., 2001 ISSN 1369-4200

Production and localization of Muc4/sialomucin complex and its receptor tyrosine kinase ErbB2 in the rat lacrimal gland
Arango, M.E., Li, P. and Komatsu, M. et. al
Investigative Ophthalmology and Visual Science Vol. 42, Issue 12, pp 2749-2756
Stellar Medical Publications, 2001 ISSN 0146-0404

From genome to function: systematic analysis of the soil bacterium Bacillus subtilis
Harwood, C.R., Crawshaw, S.G. and Wipat, A.
Comparative and Functional Genomics Vol. 2, Issue 1, pp 22-24
John Wiley & Sons, 2001 ISSN 1531-6912

Amenity First? The impact of new landowners on the countryside
Skerratt, S. and Manley, W.
Ecos: Journal of the British Association of Nature Conservationists Vol. 22, Issue 2, pp 43-50
British Association of Nature Conservationists, 2001 ISSN 0143-9073

Model checking interactor specifications
Campos, J.C. and Harrison, M.D.
Automated Software Engineering Vol. 8, Issue 3/4, pp 275-310
Kluwer, 2001

A toolset supported approach for designing and testing virtual environment interaction techniques.
Willans, J.S. and Harrison, M.D.
International Journal of Human-Computer Studies Vol. 55, Issue 2, pp 145-165
Elsevier, 2001

Diagrammatic Reasoning: An Artificial Intelligence Perspective
Olivier, P.
Artificial Intelligence Review Vol. 15, Issue 1-2, pp 63-78
Kluwer Academic Publishers, 2001

Human-computer interface design issues for a multi-cultural and multi-lingual English speaking country Botswana
Onibere, E. A. , Morgan, S., Busang,E. M., Mpoeleng, D.,
Interacting with Computers Vol. 13, Issue 4, pp 497-512
Elsevier Science Publishers B.V., 2001

[Abstract]

Formation and decay of vorticity in coupled helium-II flow
Idowu, O.C., Henderson, K.L. and Samuels, D.C.
Physical Review B (Condensed Matter and Materials Physics) Vol. 63, Issue 2, pp 024513
American Institute of Physics, 2001 ISSN 0163-1829

Expression and localization of immunoreactive-sialomucin complex (Muc4) in salivary glands
Li, P., Arango. M.E. and Perez, R.E. et. al
Tissue and Cell Vol. 33, Issue 1, pp 111-118
Elsevier Science Ltd. (Churchill Livingstone), 2001 ISSN 0040-8166

Towards Modelling and Verification of Concurrent Ada Programs Using Petri Nets
Burns, A., Wellings, A.J. and Burns, F.P. et. al.
Computer Systems Science and Engineering (Special Issue: International Workshop on Software Engineering and Petri Nets (SEPN)) Vol. 16, Issue 3, pp 173-182
CRL Publishing Ltd., 2001 ISSN 0267-6192

Implementing Exceptions in Open Multithreaded Transactions Based on Ada 95 Exceptions
Kienzle, J. and Romanovsky, A.
Ada Letters Vol. 21, Issue 3, pp 57-63
ACM Press, 2001 ISSN 1094-3641

A Comparative Study of Exception Handling Mechanisms for Building Dependable Object-Oriented Software
Garcia, A.F., Rubira, C.M.F., Romanovsky, A. and Xu, J.
The Journal of Systems and Software Vol. 59, Issue 2, pp 197-222
Elsevier Science Inc., 2001 ISSN 0164-1212

A Distributed Co-ordinated Atomic Action Scheme
Romanovsky, A. and Zorzo, A.
International Journal of Computer Systems Science & Engineering Vol. 16, Issue 4, pp 237-247
CRL Publishing , 2001 ISSN 0267-6192

Natural Dynamics and Neural Networks
Andras, P., Postma, E. and Van der Herik, J.
Journal of Intelligent Systems Vol. 11, Issue 3, pp 173-201
Freund Publishing House, 2001 ISSN 0334-1860

Combining Tasking and Transactions, Part II: Open Multithreaded Transactions
Kienzle, J. and Romanovsky, A.
Ada Letters Vol. 21, Issue 1, pp 67-74
ACM Press, 2001 ISSN 1094-3641

On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada
Burns, A., Wellings, A.J. and Koelmans, A.M. et. al.
ACM SIGAda Ada Letters Vol. 21, Issue 1, pp 48-55
ACM Press, New York, 2001 ISSN 1094-3641

Analysis of a Multimedia Stream using Stochastic Process Algebra
Bowman, H., Bryans, J. and Derrick, J.
The Computer Journal Vol. 44, Issue 4, pp 230-245
Oxford University Press/British Computer Society, 2001 ISSN 0010-4620

Coordinated Atomic Actions: How to Remain ACID in the Modern World
Romanovsky, A.
Software Engineering Notes Vol. 26, Issue 2, pp 66-68
ACM Press, 2001 ISSN 0163-5948

Except for Exception Handling...
Romanovsky, A. and Sanden, B.
Ada Letters Vol. 21, Issue 3, pp 19-25
ACM Press, 2001 ISSN 1094-3641

Conversations with Fixed and Potential Participants
Romanovsky, A. and Ezhilchelvan, P.
Journal of Systems Architecture Vol. 47, Issue 2, pp 193-196
Elsevier Science B.V., 2001 ISSN 1383-7621
Notes : Short communication.

ADL: An Activity Description Language for Real-Time Networks
Paynter, S.E., Armstrong, J.M. and Haveman, J.
Formal Aspects Of Computing Vol. 12, Issue 2, pp 120-144
Springer-Verlag, 2000

Allocation of function: scenarios, context and the economics of effort.
Dearden, A., Harrison, M.D. and Wright, P.C.
International Journal of Human-Computer Studies Vol. 52, Issue 2, pp 289-318
Elsevier, 2000

Fault Tolerance in Decentralized Systems
Randell, B.
IEICE Transactions B: on Communications (IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems) (Vol. E83-B) Vol. 83, Issue 5, pp 903-908
Institute of Electronics, Information and Communication Engineers (IEICE), 2000 ISSN 0916-8516

Representational Reasoning and Verification
Doherty, G.J., Campos, J.C. and Harrison, M.D.
Formal Aspects of Computing Vol. 12, Issue 4, pp 260-277
Springer-Verlag, 2000

Analyzing Human-Computer Interaction as Distributed Cognition: the resources model.
Wright, P.C., Fields, R.E. and Harrison, M.D.
Human-Computer Interaction Vol. 15, Issue 1, pp 1-41
Lawrence Erlbaum Associates, 2000

Stroop performance in Alzheimer's disease: A preliminary test of theories of damage using a connectionist simulation
Wiles, J., Chenery, H. J., Hallinan, J., Blair, A. and Naumann, D.
Brain and Language Vol. 74, Issue 3, pp 341 - 344
Academic Press, 2000
Notes : Academy of Aphasia Meeting, October 22, 2000. Poster Session 1 .

Equation for Self-Consistent Superfluid Vortex Line Dynamics
Idowu, O.C., Kivotides, D., Barenghi, C.F. and Samuels, D.C.
Journal of Low Temperature Physics Vol. 120, Issue 3/4, pp 269-280
Kluwer Academic Publishers/Plenum Press, 2000 ISSN 0022-2291

Evolution of coupled Gaussian vortex systems in helium II
Idowu, O.C., Samuels, D.C. and Henderson K.L.
Physica B: Condensed Matter Vol. 284, pp 69-70
Elsevier Science BV (North-Holland), 2000 ISSN 0921-4526

Can Superfluid Vortex Lines Excite Normal Fluid Turbulence in 4He?
Barenghi, C.F., Kivotides, D., Idowu, O.C. and Samuels, D.C.
Journal of Low Temperature Physics Vol. 121, Issue 5/6, pp 377-386
Kluwer Academic Publishers/Plenum Press, 2000 ISSN 0022-2291

Multiple facets of sialomucin complex/MUC4, a membrane mucin and ErbB2 ligand, in tumors and tissues
Carraway, K.L., Price-Schiavi, S.A. and Komatsu, M. et. al.
Frontiers in Bioscience Vol. 5, pp D95-D107
Northshore University Biomedical Research Center, 2000 ISSN 1093-9946

Nonlinear continuum regression: an evolutionary approach
McKay, B., Willis, M.J., Searson, D.P. and Montague, G.A.
Transactions of the Institute of Measurement and Control Vol. 22, Issue 2, pp 125-140
Elsevier Science, 2000 ISSN 0142-3312

Local normal-fluid helium II flow due to mutual friction interaction with the superfluid
Idowu, O.C., Willis, A.P., Samuels, D.C. and Barenghi, C.F.
Physical Review B (Condensed Matter and Materials Physics) Vol. 62, Issue 5, pp 3409-3415
American Institute of Physics, 2000 ISSN 0163-1829

ADL: An Activity Description Language for Real Time Networks
Paynter, S., Armstrong, J.M. and Haveman, J.
Formal Aspects of Computing Vol. 12, Issue 2, pp 120-144
Springer-Verlag, 2000 ISSN 0934-5043

Participatory system to generate and transfer technology to beef farmers: conceptual model - a case applied to "Embrapa Gado de Corte"
Cezar, I.M., Skerratt, S. and Dent, J.B.
Cadernos de Ciência & Tecnologia Vol. 17, Issue 2, pp 135-169
2000

Physiological State Specific Models in Estimation of Recombinant Escherichia coli Fermentation Performance
Feng, M. and Glassey, J.
Biotechnology and Bioengineering Vol. 69, Issue 5, pp 495-503
Wiley Periodicals, Inc., 2000 ISSN 0006-3592

Or-Parallel Prolog on a Distributed Memory Architecture
Silva, F. and Watson, P.
The Journal of Logic Programming Vol. 43, Issue 2, pp 173-186
Elsevier Science Inc. (North-Holland), 2000 ISSN 0743-1066

Parallel Simulation of ATM Switches Using Relaxation
Mitrani, I. and McGough, A.S.
Performance Evaluation (Special Issue on ATM Networks: Performance Modelling and Analysis) Vol. 41, Issue 2-3, pp 149-164
Elsevier Science BV (North-Holland), 2000 ISSN 0166-5316

Editorial to Special Issue on Developing Fault-Tolerant Systems with Ada
Romanovsky, A. and Wellings, A.J.
Computer Systems Science and Engineering Vol. 15, Issue 1, pp 3-6
CRL Publishing Ltd., 2000 ISSN 0267-6192

Constructing Dependable Web Services
Ingham, D.B., Panzieri, F. and Shrivastava, S.K.
IEEE Internet Computing Vol. 4, Issue 1, pp 25-33
IEEE Computer Society, 2000 ISSN 1089-7801

Component-Based Perspective on Software Mismatch Detection and Resolution
Egyed, A., Medvidovic, N. and Gacek, C.
IEE Proceedings - Software Vol. 147, Issue 6, pp 225-236
Institution of Electrical Engineers (IEE), 2000 ISSN 1462-5970

A Formal Model for SDL Specifications based on Timed Rewriting Logic
Steggles, L.J. and Kosiuczenko , P.
Automated Software Engineering Vol. 7, Issue 1, pp 61-90
Kluwer Academic Publishers, 2000 ISSN 0928-8910

Extending Conventional Languages by Distributed/Concurrent Exception Resolution
Romanovsky, A.
Journal of Systems Architecture Vol. 46, Issue 1, pp 79-95
Elsevier Science BV (North-Holland), 2000 ISSN 1383-7621

Specifying and Verifying Real-Time Systems using Second-Order Algebraic Methods: A Case Study of the Railroad Crossing Controller
Steggles, L.J.
Journal of Universal Computer Science Vol. 6, Issue 4, pp 460-473
Know-Center, Graz, Austria/Springer, 2000 ISSN 0948-6968

Facing up to Faults
Randell, B.
The Computer Journal Vol. 43, Issue 2, pp 95-106
Oxford University Press/British Computer Society, 2000 ISSN 0010-4260
Notes : Turing Memorial Lecture

[Abstract]

An Agent System for Collaborative Version Control in Engineering
Florida-James, B., Rossiter, B.N. and Chao, K.M.
Integrated Manufacturing Systems Vol. 11, Issue 4, pp 258-266
Emerald, 2000 ISSN 0957-6061

Diversely Designed Classes for use by Multiple Tasks
Romanovsky, A.
ACM SIGAda Ada Letters Vol. 20, Issue 1, pp 25-37
ACM Press, New York, 2000 ISSN 1094-3641

Concurrent Exception Handling and Resolution in Distributed Object Systems
Xu, J., Romanovsky, A. and Randell, B.
IEEE Transactions on Parallel and Distributed Systems Vol. 11, Issue 10, pp 1019-1032
IEEE Computer Society, 2000 ISSN 1045-9219

Current Trends in Exception Handling
Perry, D.E., Romanovsky, A. and Tripathi, A.
IEEE Transactions on Software Engineering Vol. 26, Issue 10, pp 921-922
IEEE Computer Society, 2000 ISSN 0098-5589
Notes : Editorial to Special Issue on Current Trends in Exception Handling. Part 2.

Faulty Version Recovery in Object-Oriented N-version Programming
Romanovsky, A.
IEE Proceedings - Software Vol. 147, Issue 3, pp 81-90
Institution of Electrical Engineers (IEE), 2000 ISSN 1462-5970

The Domino Effect as a Deadlock
Romanovsky, A.
Computer Systems Science and Engineering Vol. 15, Issue 3, pp 147-154
CRL Publishing Ltd., 2000 ISSN 0267-6192

Current Trends in Exception Handling
Perry, D.E., Romanovsky, A. and Tripathi, A.
IEEE Transactions on Software Engineering Vol. 26, Issue 9, pp 817-819
IEEE Computer Society, 2000 ISSN 0098-5589
Notes : Editorial to Special Issue on Current Trends in Exception Handling, Part I

An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway Scheduling
Randell, B., Beder, D.M. and Romanovsky, A. et. al.
ACM SIGOPS Operating Systems Review Vol. 34, Issue 4, pp 21-31
ACM Press, New York, 2000 ISSN 0163-5980

Asynchronous Microprocessors: From High Level Model to FPGA Implementation
Lloyd, L., Heron, K., Koelmans, A.M. and Yakovlev, A.
Journal of Systems Architecture Vol. 45, Issue 12-13, pp 975-1000
Elsevier Science BV (North-Holland), 1999 ISSN 1383-7621

On the Propagation of Updates in Distributed Replicated Systems
Misra, M. and Mitrani, I.
Performance Evaluation Vol. 35, Issue 3-4, pp 131-144
Elsevier Science BV (North-Holland), 1999 ISSN 0166-5316

A Semidefinite Programming Approach to the Optimal Control of a Single Server Queueing System with Imposed Second Moment Constraints
Ansell, P.S., Glazebrook, K.D. , Mitrani, I. and Nino-Mora, J.
Journal of the Operational Research Society Vol. 50, Issue 7, pp 765-773
Palgrave Macmillan, 1999 ISSN 0160-5682

On the Parallel Generation of P-sequences
Vajnovski, V. and Phillips, C.
International Journal of Computers and their Applications Vol. 6, Issue 1,
Acta Press, 1999 ISSN 1206-212X

Systollic Generation of K-ary Trees
Phillips, C. and Vajnovski, V.
Parallel Processing Letters Vol. 9, Issue 1, pp 93-101
World Scientific Publishing Company, 1999 ISSN 0129-6264

Coordinated Atomic Actions as a Technique for Implementing Distributed Gamma Computation
Romanovsky, A. and Zorzo, A.F.
Journal of Systems Architecture (Special Issue on New Trends in Programming and Execution Models for Parallel Architectures, Heterogeneously Distributed Systems and Mobile Computing) Vol. 45, Issue 15, pp 1357-1374
Elsevier Science BV (North-Holland), 1999 ISSN 1383-7621

Business at War
Benjamin, R., Gladman, B. and Randell, B.
The Computer Bulletin Vol. 1, Issue 6, pp 23-28
Oxford University Press/British Computer Society, 1999 ISSN 0010-4531

Experiences with the PEPA Performance Modelling Tools
Clark, G., Gilmore, S., Hillston, J. and Thomas, N.
IEE Proceedings - Software Vol. 146, Issue 1, pp 11-19
IEE, 1999

Using Co-ordinated Atomic Actions to Design Complex Safety-Critical Systems: A Production Cell Case Study
Zorzo, A.F., Romanovsky, A. and Xu, J. et. al.
Software: Practice and Experience Vol. 29, Issue 8, pp 677-697
John Wiley & Sons, 1999 ISSN 0038-0644

Product Form Solution for a class of PEPA Models
Hillston, J. and Thomas, N.
Performance Evaluation Vol. 35, Issue 3-4, pp 171-192
Elsevier, 1999

Decomposition and Technology Mapping of Speed-independent Circuits Using Boolean Relations
Cortadella, J., Kishinevsky, M., and Kondratyev, A. et. al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Vol. 18, Issue 9, pp 1221-1236
IEEE Circuits and Systems Society, 1999 ISSN 0278-0070

Testability and Test Compaction for Decision Diagram Circuits
Bystrov, A. and Almaini, A.E.A.
IEE Proceedings - Circuits, Devices and Systems Vol. 146, Issue 4, pp 153-158
Institution of Electrical Engineers (IEE), 1999 ISSN 1350-2409

A Proxy Approach to E-mail Security
Brown, I. and Snow, C.R.
Software: Practice and Experience Vol. 29, Issue 12, pp 1049-1060
John Wiley & Sons, 1999 ISSN 0038-0644

Orthogonal RBF Neural Network Approximation
Andras, P.
Neural Processing Letters Vol. 9, Issue 2, pp 141-151
Kluwer Academic Publishers, 1999 ISSN 1370-4621

Modulation of mammary development and programmed cell death by the frequency of milk removal in lactating goats
Li, P., Rudland, P.S. and Fernig, D.G. et. al.
Journal of Physiology Vol. 519, pp 885-900
1999

The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs
Pietkiewicz-Koutny, M.
Fundamenta Informaticae Vol. 40, Issue 2-3, pp 251-283
IOS Press, 1999 ISSN 0169-2968

Identification of Cell Types in the Developing Goat Mammary Gland
Li, P., Wilde, C.J. and Finch, L.M. et. al.
The Histochemical Journal Vol. 31, Issue 6, pp 379-393
Kluwer Academic Publishers, 1999 ISSN 0018-2214

Ordered Arbiters
Bystrov, A. and Yakovlev, A.
Electronics Letters Vol. 35, Issue 11, pp 877-879
Institution of Electrical Engineers (IEE), 1999 ISSN 0013-5194

Coordinated Exception Handling in Real-Time Distributed Object Systems
Romanovsky, A., Xu, J. and Randell, B.
Computer Systems Science and Engineering (Special Issue on Object-Oriented Real-Time Distributed Systems) Vol. 14, Issue 4, pp 197-207
CRL Publishing Ltd., Leicester, 1999 ISSN 0267-6192

[Abstract]

Low Power, Low Noise Micropipelined Flash A-D Converter
Kinniment, D.J. and Yakovlev, A.
IEE Proceedings - Circuits, Devices and Systems Vol. 146, Issue 5, pp 263-267
Institution of Electrical Engineers (IEE), 1999 ISSN 1350-2409

A Methodology for Community Needs Assessment in Rural Localities
McKie, L. and Skerratt, S.
Texas Journal of Rural Health Vol. 17, Issue 2, pp 8-17
Texas Tech University, 1999 ISSN 1045-0211

Food availability and choice in rural Scotland: the impact of "place"
Skerratt, S.
British Food Journal Vol. 101, Issue 7, pp 537-544
Emerald, 1999 ISSN 0007-070X

Logic Decomposition of Speed-independent Circuits (invited paper)
Kondratyev, A., Cortadella, J., and Kishinevsky, M. et. al.
Proceedings of the IEEE Vol. 87, Issue 2, pp 347-362
IEEE Press, 1999 ISSN 0018-9219

The Bacillus subtilis genome sequence: the molecular blueprint of a soil bacterium
Wipat, A and Harwood, C.R.
FEMS Microbiology Ecology Vol. 28, Issue 1, pp 1-9
Elsevier Science BV, 1999 ISSN 0168-6496

On Structuring Cooperative and Competitive Concurrent Systems
Romanovsky, A.
The Computer Journal Vol. 42, Issue 8, pp 627-637
Oxford University Press/British Computer Society, 1999 ISSN 0010-4260

On Causality Semantics of Nets with Priorities
Janicki, R. and Koutny, M.
Fundamenta Informaticae Vol. 38, Issue 3, pp 223-255
IOS Press, 1999 ISSN 0169-2968

Expert error in trouble-shooting: an exploratory study in electronics
Besnard, D. and Bastien-Toniazzo, M.
International Journal of Human-Computer Studies Vol. 50, Issue 5, pp 391-405
Academic Press, 1999 ISSN 1071-5819

[Abstract]

Formality in Specification and Modelling: Developments in Software Engineering Practice
Fitzgerald, J.S.
Advances in Computers Vol. 49, Issue n/a, pp 69-94
Academic Press, 1999 ISSN 0065-2458

A Case Study in the Specification and Analysis of Design Alternatives for a User Interface
Duke, D.J., Fields, R.E. and Harrison, M.D.
Formal Aspects of Computing Vol. 11, Issue 2, pp 107-131
Springer-Verlag, 1999

Selection of RBF Neural Networks with a Combined Evolutionary and Back-propagation Method
Andras, P.
Preprint of Department of Mathematics and Computer Science, Babes-Bolyai University, Cluj, Romania
Babes-Bolyai University, Romania, 1999

Fundamental Study: Operational and Denotational Semantics for the Box Algebra
Koutny, M. and Best, E.
Theoretical Computer Science Vol. 211, Issue 1-2, pp 1-83
Elsevier Science Publishers BV, 1999 ISSN 0304-3975

Peter Lauer and COSY
Koutny, M.
Fundamenta Informaticae Vol. 40, Issue 2-3, pp 103-107
IOS Press, 1999 ISSN 0169-2968
Notes : Special issue - tribute to Peter Lauer on the occasion of his retirement.

Class Diversity Support in Object-Oriented Languages
Romanovsky, A.
Journal of Systems and Software Vol. 48, Issue 1, pp 43-57
Elsevier Science Inc., 1999 ISSN 0164-1212

Specifying Distributed System Services
Arief, L.B. , Little, M.C. and Shrivastava, S.K. et. al.
BT Technology Journal Vol. 17, Issue 2, pp 126-136
Kluwer Academic Publishers, 1999 ISSN 1358-3948

[Abstract]

Hazard-free Implementation of Speed-independent Circuits
Kondratyev, A., Kishinevsky, M. and Yakovlev, A.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Vol. 17, Issue 9, pp 749-771
IEEE Circuits and Systems Society, 1998 ISSN 0278-0070

Kinematic reasoning with spatial decompositions
Olivier, P.
Constraints Vol. 3, Issue 2/3, pp 227-237
Kluwer Academic Publishers, 1998

Deriving Petri Nets from Finite Transition Systems
Cortadella, J., Kishinevsky, M., Lavagno, L. and Yakovlev, A.
IEEE Transactions on Computers Vol. 47, Issue 8, pp 859-882
IEEE Computer Society, 1998 ISSN 0018-9340

The promotion of healthy eating: food availability and choice in Scottish island communities
McKie, L., Clark, G.M., MacLellan, M. and Skerratt, S.
Health Education Research Vol. 13, Issue 3, pp 371-382
Oxford University Press, 1998 ISSN 0268-1153

Industrial Integration of Graphical and Formal Specifications
Armstrong, J.M.
Journal of Systems and Software (Special Issue on Formal Methods Technology Transfer) Vol. 40, Issue 3, pp 211-225
Elsevier Science Inc., 1998 ISSN 0164-1212

Socio-economic evaluation of UK agri-environmental policy: imperatives for change
Skerratt, S.
Etudes et Recherches sur les Systèmes Agraires et le Développment Vol. 31, pp 317-331
1998

Stem cells in breast epithelia
Li, P., Barraclough, R. and Fernig, D.G. et. al
International Journal of Experimental Pathology Vol. 79, Issue 4, pp 193-206
Blackwell Science Ltd, 1998 ISSN 0959-9673

Patient information leaflets: producing understandable PILs
Newton, L., Newrick, D. and Clark, J. et. al.
Journal of Information Science Vol. 24, Issue 3, pp 167-181
Elsevier Science Ltd. (North-Holland), 1998 ISSN 0165-5515

Combining CSP and Temporal Logic
Pearson, J. and Bryans, J.
Proceedings of the Estonian Academy of Science Vol. 4, Issue 2, pp 130-137
Estonian Academy of Science, 1998

Amnesia: Neuropshychological Interpretation and Artificial Neural Network Simulation
Opre, A. and Andras, P.
Creier, Cognitie, Comportament (Brain, Cognition, Behaviour) Vol. 2, Issue 3-4, pp 315-335
Babes-Bolyai University, Romania, 1998 ISSN 1224-8398

A PIL for every ill? Patient information leaflets (PILs): a review of past, present and future use
Kenny, T., Wilson, R.G. and Purves, I.N. et. al.
Family Practice Vol. 15, Issue 5, pp 471-479
Oxford University Press, 1998 ISSN 0263-2136

Prescribing patient information leaflets may be better than prescribing drugs
Kenny, T., Wilson, R.G., and Purves, I.N.
British Medical Journal Vol. 317, Issue 7150, pp 80
BMJ Publishing Group Ltd., 1998 ISSN 0959-8146

Memories of the NATO Software Engineering Conferences
Randell, B.
IEEE Annals of the History of Computing Vol. 20, Issue 1, pp 51-54
IEEE Computer Society, 1998 ISSN 1058-6180

Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets
Yakovlev, A.
Formal Methods in System Design Vol. 12, Issue 1, pp 39-71
Kluwer Academic Publishers, 1998 ISSN 0925-9856

Petri Net Models of Latch Metastability
Clark, I.G. , Xia, F., Yakovlev, A. and Davies, A.C.
Electronics Letters Vol. 34, Issue 7, pp 635-636
Institution of Electrical Engineers (IEE), 1998 ISSN 0013-5194

The yvsA-yvqA (293 degrees-289 degrees) region of the Bacillus subtilis chromosome containing genes involved in metal ion uptake and a putative sigma factor
Wipat, A., Brignell, C. and Guy, J. et. al.
Microbiology Vol. 144, Issue 6, pp 1593-1600
Society for General Microbiology, 1998 ISSN 1350-0872

Business process analysis and technological change in the capital goods industry
Alderman N, Braiden P, Hills W, Maffin D, Thwaites A T, Vaughan R
International Journal of Computer Applications in Technology Vol. 11, Issue 6, pp 418-427
1998

The Voltan Application Programming Environment for Fail-silent Processes
Black, D., Low, C. and Shrivastava, S.K.
IEE Distributed Systems Engineering Vol. 5, Issue 2, pp 66-77
IOP Publishing Ltd., 1998 ISSN 0967-1846

[Abstract]

Analysing Superscalar Processor Architectures with Coloured Petri Nets
Burns, F.P., Koelmans, A.M. and Yakovlev, A.
International Journal on Software Tools for Technology Transfer Vol. 2, Issue 2, pp 182-191
Springer-Verlag Germany, 1998 ISSN 1433-2779

Java Transactions for the Internet
Little, M.C. and Shrivastava, S.K.
IEE Distributed Systems Engineering Vol. 5, Issue 4, pp 156-167
IOP Publishing Ltd., 1998 ISSN 0967-1846

[Abstract]

Architectural Support for Dynamic Reconfiguration of Distributed Workflow Applications
Shrivastava, S.K. and Wheater, S.M.
IEE Proceedings - Software Vol. 145, Issue 5, pp 155-162
Institution of Electrical Engineers (IEE), 1998 ISSN 1462-5970

Predictable Toleration of Design Faults: Recovery Blocks in Real Time Systems
Romanovsky, A.
Computer Systems Science and Engineering Vol. 13, Issue 6, pp 369-377
CRL Publishing Ltd., 1998 ISSN 0267-6192

Protecting IT Systems from Cyber Crime (Feature article)
Benjamin, R., Gladman, B. and Randell, B.
The Computer Journal Vol. 41, Issue 7, pp 429-443
Oxford University Press/British Computer Society, 1998 ISSN 0010-4620

[Abstract]

A Study of Atomic Action Schemes Intended for Standard Ada
Romanovsky, A.
Journal of Systems and Software Vol. 43, Issue 1, pp 29-44
Elsevier Science Inc., 1998 ISSN 0164-1212

Providing end-to-end transactional Web applications using the Object Transaction Service
Little, M.C. and Shrivastava, S.K.
OMG Success StoryIssue n/a,
Object Management Group, 1998

VERITY (Virtual and Electronic Resources for Information Skills Training for Young People)
Periorellis, P. and Scales, W.
Ariadne Magazine (Web version)Issue 17,
UKOLN, 1998 ISSN 1361-3200

Distributed Atomic Actions in Ada 95
Mitchell, S.E., Wellings, A.J. and Romanovsky, A.
The Computer Journal Vol. 41, Issue 7, pp 486-502
Oxford University Press/British Computer Society, 1998 ISSN 0010-4260

Performance of Fault-tolerant Data and Compute Intensive Programs over a Network of Workstations
Smith, J.A. and Shrivastava, S.K.
Theoretical Computer Science (Special Issue on Parallel Computing) Vol. 196, Issue 1-2, pp 319-345
Elsevier Science Publishers BV, 1998 ISSN 0304-3975

[Abstract]

Effectiveness of Computer-aided Learning as a Direct Replacement for Lecturing in Degree-level Electronics
Coleman, J.N., Burns, F.P. and Kinniment, D.J. et. al.
IEEE Transactions on Education Vol. 41, Issue 3, pp 177-184
IEEE Education Society, 1998 ISSN 0018-9359

Constructing Standards for Cross-Platform Operation
Heather, M.A. and Rossiter, B.N.
Software Quality Journal Vol. 7, Issue 2, pp 131-140
Kluwer Academic Publishers, 1998 ISSN 0963-9314

Petrify: A tool for Manipulating Concurrent Specifications and Synthesis of Asynchronous Controllers
Cortadella, J., Kishinevsky, M. and Kondratyev, A. et. al.
IEICE Transactions D: on Information and Systems (Special Issue on Asynchronous Circuit and System Design) (Vol. E80-D) Vol. 80, Issue 3, pp 315-325
Institute of Electronics, Information and Communication Engineers (IEICE), 1997 ISSN 0916-8532

Implementation of Blocking Coordinated Atomic Actions Based on Forward Error Recovery
Romanovsky, A., Randell, B. and Stroud, R.J. et. al.
Journal of Systems Architecture (Special Issue on Dependable Parallel Computing Systems) Vol. 43, Issue 10, pp 687-699
Elsevier Science BV (North-Holland), 1997 ISSN 1383-7621

Impact and the Design of the Human-Machine Interface
Dearden, A.M. and Harrison, M.D.
IEEE Aerospace and Electronic Systems Magazine Vol. 12, Issue 2, pp 19-25
IEEE, 1997

Designing an Asynchronous Processor using Petri Nets
Semenov, A., Koelmans, A.M., Lloyd, L. and Yakovlev, A.
IEEE Micro Vol. 17, Issue 2, pp 54-64
IEEE Computer Society, 1997 ISSN 0272-1732

Accountability of work activity in high-consequence work systems: Human error in context
McCarthy, J.C., Healey, P.G.T., Wright, P.C. and Harrison, M.D.
International Journal of Human-Computer Studies Vol. 47, Issue 6, pp 735-766
Academic Press, 1997

A Software Engineering Model for Case Memory Systems
Dearden, A.M. and Harrison, M.D.
Computer Journal Vol. 40, Issue 4, pp 167-182
Oxford University Press, 1997

Abstract Models for HCI
Dearden, A.M. and Harrison, M.D.
International Journal of Human-Computer Studies Vol. 46, Issue 1, pp 151-177
Academic Press, 1997

Conversational Group Service
Romanovsky, A.
ACM SIGOPS Operating Systems Review Vol. 31, Issue 1, pp 54-63
ACM Press, New York, 1997 ISSN 0163-5980

A Region-Based Theory for State Assignment in Speed-independent Circuits
Cortadella, J., Kishinevsky, M., and Kondratyev, A. et. al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Vol. 16, Issue 8, pp 793-812
IEEE Circuits and Systems Society, 1997 ISSN 0278-0070

Programmed cell death in bovine mammary tissue during lactation and involution
Wilde, C.J., Addey, C.V., Li, P. and Fernig, D.G.
Experimental Physiology Vol. 82, pp 943-953
Cambridge University Press/The Physiological Society, 1997 ISSN 0958-0670

An internal FK506-binding domain is the catalytic core of the prolyl isomerase activity associated with the Bacillus subtilis trigger factor
Gothel, S.F., Schmid, R. and Wipat, A. et. al.
European Journal of Biochemistry Vol. 244, pp 59-65
Blackwell Science, 1997 ISSN 0014-2956

A putative DNA repair operon in B. subtilis comprising a gene encoding a DNA repair polymerase, a mutS homolog and an unidentified ORF
Emmerson, P.T., Brignell, C. and Wipat, A. et. al.
The FASEB Journal Vol. 11, Issue 9, pp 2994
Federation of American Societies for Experimental Biology, 1997 ISSN 0892-6638

The complete genome sequence of the Gram-positive model organism Bacillus subtilis
Kunst, F. et. al.
Nature Vol. 390, Issue 6657, pp 249-256
Nature Publishing Group, 1997 ISSN 0028-0836

A New Method for Edge following and Edge Overrun in graph-like images: A morphological Approach
Das, A.K., Chakraborty, R. and Mukherjee, A. et. al.
Journal of the Institution of Engineers India (3), Computer Engineering Division Vol. 78, pp 5-11
Institution of Engineers, India, 1997
Notes : Won the Computer Division Gold Medal

Hierarchy and attention in computational imagery
Olivier, P.
Machine Graphics and Vision Vol. 6, Issue 1, pp 77-88
1997
Notes : Special Issue on Diagrammatic Reasoning

W3Objects: Distributed Objects and the Web
Ingham, D.B., Little, M.C., Caughey, S.J. and Shrivastava, S.K.
Dr. Dobb's Sourcebook: Distributed Objects Vol. 22, Issue 13, pp 19-25
CMP Media LLC, 1997 ISSN 1044-789X

Practical Exception Handling and Resolution in Concurrent Programs
Romanovsky, A.
Computer Languages Vol. 23, Issue 1, pp 43-58
Elsevier Science Ltd. (Pergamon Press), 1997 ISSN 0096-0551

Constructing Reliable Web Applications Using Atomic Actions
Little, M.C., Shrivastava, S.K., Caughey, S.J. and Ingham, D.B.
Computer Networks and ISDN Systems Vol. 29, Issue 8-13, pp 1281-1290
Elsevier Science Publishers BV, 1997 ISSN 0169-7552

Disaster Recovery Plans in Kuwait: The Effect of the Iraqi Invasion on Organisations in Kuwait
Al-Harbi, F. and Rossiter, B.N.
Business Continuity Vol. 5, Issue 4, pp 20-23
Tempus House, 1997 ISSN 1353-601X

FAST: A framework for Automating Statistics-based Testing
Chu, H.D., Dobson, J.E. and Liu, I.C.
Software Quality Journal Vol. 6, Issue 1, pp 13-36
Kluwer Academic Publishers, 1997 ISSN 0963-9314

On Distribution of Coordinated Atomic Actions
Romanovsky, A. and Zorzo, A.F.
ACM SIGOPS Operating Systems Review Vol. 31, Issue 4, pp 63-71
ACM Press, New York, 1997 ISSN 0163-5980

Two Implementation Relations and the Correctness of Communicating Replicated Processes
Koutny, M., Mancini, L.V. and Pappalardo, G.
Formal Aspects of Computing Vol. 9, Issue 2, pp 119-148
Springer-Verlag London Ltd./British Computer Society, 1997 ISSN 0934-5043

Fundamentals of Modelling Concurrency Using Discrete Relational Structures
Janicki, R. and Koutny, M.
Acta Informatica Vol. 34, Issue 5, pp 367-388
Springer-Verlag Germany, 1997 ISSN 0001-5903

Independent Columns: A New Parallel ILU Preconditioner for the PCG Method
Pakzad, M., Lloyd, J.L. and Phillips, C.
Parallel Computing Vol. 23, Issue 6, pp 637-647
Elsevier Science BV (North-Holland), 1997 ISSN 0167-8191

Coordinated Backward Recovery Between Client Processes and Data Servers
Strigini, L., Di Giandomenico, F. and Romanovsky, A.
IEE Proceedings - Software Engineering Vol. 144, Issue 2, pp 134-146
Institution of Electrical Engineers (IEE), 1997 ISSN 1462-5970

Transient Solution of Markov Models by Combining Adaptive and Standard Uniformization
van Moorsel, A. P. A. and Sanders, W. H.
IEEE Transactions on Reliability Vol. 46, Issue 3, pp 430-440
IEEE, 1997

Approximation of Fractals with Neural Networks
Andras, P.
Studia Universitatis Babes-Bolyai - Mathematica Vol. 42, Issue 1, pp 15-23
Univ. Babes - Bolyai Cluj Napoca, 1997 ISSN 0373-1227

Neural Networks for Decision Modelling
Andras, P.
Creier, Cognitie, Comportament (Brain, Cognition, Behaviour) Vol. 1, Issue 1, pp 10-36
Babes-Bolyai University, Romania, 1997 ISSN 1224-8398

Knowledge Representation in Artificial Neural Networks
Andras, P.
Annales Universitatis Occidentalis Timisensis, Philosophia Vol. 9, pp 173-185
1997

Software Fault Tolerance: t/(n–1)-Variant Programming
Xu, J. and Randell, B.
IEEE Transactions on Reliability Vol. 46, Issue 1, pp 60-68
IEEE Reliability Society, 1997 ISSN 0018-9529

Review of “The Timetable of Computers: A chronology of the most important people and events in the history of computers”, by D.D. Spencer (Review no. 0894)
Randell, B.
Computing Reviews Vol. 38, Issue 11, pp 558-559
ACM Press, New York, 1997 ISSN 0010-4884

Specification and Verification of Reactive System Behaviour: The Railroad Crossing Example
Armstrong, J.M. and Barrocca L.M.
Real-Time Systems: The International Journal of Time-Critical Computing Systems Vol. 10, Issue 2, pp 143-178
Kluwer Academic Publishers, 1996 ISSN 0922-6443

Formal Validation of Viewpoint Specifications
Ainsworth, M., Riddle, S. and Wallis, P.J.L.
IEE Software Engineering Journal Vol. 11, Issue 1, pp 58-66
Institution of Electrical Engineers (IEE), 1996 ISSN 0268-6961

Formal Methods: State of the Art and Future Directions
Clarke, E.M., Wing, J.M. et al.
ACM Computing Surveys Vol. 28, Issue 4, pp 626-643
ACM, 1996 ISSN 0360-0300
Notes : Cliff Jones was a member of the Working Group who prepared this report.

Increasing the Performance of Artificial Neural Networks Using Fuzzy Data
Andras, P.
Preprint of Department of Mathematics and Computer Science, Babes-Bolyai University, Cluj, Romaniapp 7-21
Babes-Bolyai University, Romania, 1996

Charles Babbage and the Anglo-American Copyright Dispute
Randell, B.
IEEE Annals of the History of Computing Vol. 18, Issue 3, pp 56
IEEE Computer Society, 1996 ISSN 1058-6180

The Minority Question - A Game Theory and Micro Economic Approach
Andras, P.
Web - The Journal of the Max Weber Special Sociology CollegeIssue 1, pp 56-74
1996

Geometric Theory of Machine Reasoning for Legal Information Retrieval and Reasoning
Heather, M.A. and Rossiter, B.N.
ANPA 17:Philosophiespp 139-165
1996

The dnaB-pheA (256 degrees-240 degrees) region of the Bacillus subtilis chromosome containing genes responsible for stress responses, the utilization of plant cell walls and primary metabolism
Wipat, A., Carter, N. and Brignell, S.C. et. al.
Microbiology Vol. 142, Issue 11, pp 3067-3078
Society for General Microbiology, 1996 ISSN 1350-0872

A Rigorous Approach to Formal Methods
Jones, C.B.
IEEE Computer Vol. 29, Issue 4, pp 20-21
IEEE Computer Society, 1996 ISSN 0018-9162

Accommodating Interference in the Formal Design of Concurrent Object-Based Programs
Jones, C.B.
Formal Methods in System Design Vol. 8, Issue 2, pp 105-122
Kluwer Academic Publishers, 1996 ISSN 0925-9856

Probabilistic Evaluation for the Analytical Solution of Large Markov Models: Algorithms and Tool Support
Van Moorsel, A. P. A. and Haverkort, B. R.
Microelectronics Reliability Vol. 36, Issue 6, pp 733-755
Elsevier, 1996

Algorithms for the Generation of State-Level Representations of Stochastic Activity Networks with General Reward Structures
Qureshi, M. A. , Sanders, W. H. , van Moorsel, A. P. A. and German, R.
IEEE Transactions on Software Engineering Vol. 22, Issue 9, pp 603-614
IEEE Computer Society, 1996

Occupancy array-based kinematic reasoning
Olivier, P., Ormsby, A. and Nakata, K.
Engineering Applications of Artificial Intelligence Vol. 9, Issue 5, pp 541-549
Elsevier, 1996

The Challenge of Agri-Environmental Subsidies: the case of Breadalbane Environmentally Sensitive Area, Scotland
Skerratt, S. and Dent, J.B.
Scottish Geographical Magazine Vol. 112, Issue 2, pp 92-100
Royal Scottish Geographical Society, 1996 ISSN 0036-9225

Fixing the Broken-Link Problem: The W3Objects Approach
Ingham, D.B., Caughey, S.J. and Little, M.C.
Computer Networks and ISDN Systems Vol. 28, Issue 7, pp 1255-1268
Elsevier Science Publishers BV, 1996 ISSN 0169-7552

[Abstract]

Sequence and transcriptional analysis of clpX, a class-III heat shock gene of Bacillus subtilis
Gerth, U., Wipat, A. and Harwood, C.R. et. al.
Gene Vol. 181, Issue 1-2, pp 77-83
Elsevier Science BV, 1996 ISSN 0378-1119

Editorial: The formal specification of interactive systems
Harrison, M.D.
Software Engineering Journal Vol. 11, Issue 6, pp 322
Institution of Electrical Engineers, 1996

Matching and tracking using decomposition
Nakata, K., Olivier, P. , Bill, J. et. al.
Machine Graphics and Vision Vol. 5, Issue 1/2, pp 131-140
Polish Academy of Sciences, Institute of Computer Science, 1996

Sequencing and functional analysis of the genome of Bacillus subtilis strain 168
Harwood, C.R. and Wipat, A.
FEBS Letters Vol. 389, Issue 1, pp 84-87
Elsevier Science BV, 1996 ISSN 0014-5793

Modeling the Development of the Concept System
Andras, P.
Studia Universitatis Babes-Bolyai - Informatica Vol. 41, Issue 1, pp 107-122
Univ. Babes - Bolyai Cluj Napoca, 1996

Modelling, Analysis and Synthesis of Asynchronous Control Circuits Using Petri Nets
Yakovlev, A., Koelmans, A.M., Semenov, A. and Kinniment, D.J.
Integration, the VLSI Journal Vol. 21, Issue 3, pp 143-170
Elsevier Science Publishers BV, 1996 ISSN 0167-9260

A Unified Signal Transition Graph Model for Asynchronous Control Circuit Synthesis
Yakovlev, A., Lavagno, L. and Sangiovanni-Vincentelli, A.
Formal Methods in System Design Vol. 9, Issue 3, pp 139-188
Kluwer Academic Publishers, 1996 ISSN 0925-9856

Implementing Fail-Silent Nodes for Distributed Systems
Brasileiro, F.V., Ezhilchelvan, P.D. and Shrivastava, S.K. et. al.
IEEE Transactions on Computers Vol. 45, Issue 11, pp 1226-1238
IEEE Computer Society, 1996 ISSN 0018-9340

[Abstract]

Identification of cell types in the developing goat mammary gland
Li, P., Fernig, D.G. and Rudland, P.S. et. al.
Biochemical Society Transactions Vol. 24, Issue 3, pp 357S
Portland Press Ltd./The Biochemical Society, 1996 ISSN 0300-5127

An Architecture for Tolerating Processor Failures in Shared-Memory Multiprocessors
Banâtre, M., Gefflaut, A. and Joubert, P. et. al.
IEEE Transactions on Computers Vol. 45, Issue 10, pp 1101-1115
IEEE Computer Society, 1996 ISSN 0018-9340

Applying Formal Specification in Industry
Larsen, P.G., Fitzgerald, J.S. and Brookes, T.M.
IEEE Software Vol. 13, Issue 3, pp 48-56
IEEE Computer Society, 1996 ISSN 0740-7459

Dynamic Conversations
Romanovsky, A. and Shturtz, I.V.
Computer Systems Science and Engineering Vol. 11, Issue N.2, pp 109-116
CRL Publishing Ltd., 1996 ISSN 0267-6192

On the Models for Asynchronous Circuit Behaviour with OR Causality
Yakovlev, A., Kishinevsky, M., and Kondratyev, A. et. al.
Formal Methods in Systems Design Vol. 9, Issue 3, pp 189-233
Kluwer Academic Publishers, 1996 ISSN 0925-9856

Superfast Parallel Discrete Event Simulations
Greenberg, A.G., Lubachevsky, B.D. and Mitrani, I.
ACM Transactions on Modelling and Computer Simulation Vol. 6, Issue 2, pp 107-136
ACM Press, New York, 1996 ISSN 1049-3301

Server Allocation Subject to Variance Constraints
Ansell, P.S., Glazebrook, K.D. and Mitrani, I.
Performance Evaluation Vol. 27, Issue 28, pp 147-158
Elsevier Science BV (North-Holland), 1996 ISSN 0166-5316

Review of ‘“The Reservisor Automated Airline Reservation System: combining communications and computing” by J. Eklund (Review no. 0263)
Randell, B.
Computing Reviews Vol. 35, Issue 6, pp 220
ACM Press, New York, 1995 ISSN 0010-4884

Analyzing Safety Requirements for Process-Control Systems
de Lemos, R., Saeed, A. and Anderson, T.
IEEE Software Vol. 12, Issue 3, pp 42-53
IEEE Computer Society, 1995 ISSN 0740-7459

The Design and Implementation of a Distributed Transaction System Based on Atomic Data Types
Wu, Z., Stroud, R.J., Moody, K. and Bacon, J.
IEE Distributed Systems Engineering (Special Issue on Cabernet) Vol. 2, Issue 1, pp 50-64
IOP Publishing Ltd., 1995 ISSN 0967-1846

An Efficient Location and Routing Scheme for Mobile Computing Environments
Cho, G. and Marshall, L.F.
IEEE Journal on Selected Areas in Communications Vol. 13, Issue 5, pp 868-879
IEEE Communications Society, 1995 ISSN 0733-8716

How to Make a Recoverable Server by Synchronization Code Inheriting
Romanovsky, A.
ACM SIGPLAN OOPS Messenger Vol. 6, Issue 1, pp 7-13
ACM Press, New York, 1995 ISSN 1055-6400

Focused Fault Injection Testing of Software Implemented Fault Tolerance Mechanisms of Voltan TMR Nodes
Tao, S., Ezhilchelvan, P.D. and Shrivastava, S.K.
IEE Distributed Systems Engineering (Special Issue on Cabernet) Vol. 2, Issue 1, pp 39-49
IOP Publishing Ltd., 1995 ISSN 0967-1846

High Level Modelling and Design of Asynchronous Interface Logic
Yakovlev, A., Koelmans, A.M. and Lavagno, L.
IEEE Design and Test of Computers (Special Issue on Asynchronous Logic Design) Vol. 12, Issue 1, pp 32-40
IEEE Computer Society, 1995 ISSN 0740-7475

Conversations of Objects
Romanovsky, A.
Computer Languages Vol. 21, Issue 3-4, pp 147-163
Elsevier Science Ltd. (Pergamon Press), 1995 ISSN 0096-0551

Sequentially t-Diagnosable Systems: A Characterization and its Applications
Xu, J. and Huang, S.
IEEE Transactions on Computers (Special Issue on Fault-Tolerant Computing) Vol. 44, Issue 2, pp 340-345
IEEE Computer Society, 1995 ISSN 0018-9340

Semantics of Inhibitor Nets
Janicki, R. and Koutny, M.
Information and Computation Vol. 123, Issue 1, pp 1-16
Academic Press, 1995 ISSN 0890-5401

Spectral Expansion Solution for a Class of Markov Models: Application and Comparison with the Matrix-Geometric Method
Mitrani, I. and Chakka, R.
Performance Evaluation Vol. 23, Issue 3, pp 241-260
Elsevier Science BV (North-Holland), 1995 ISSN 0166-5316

Formal Methods: For When Your Software Must Work
Paynter, S.E.
AXIS: The UCISA Journal of Academic Computing and Information Systems Vol. 2, Issue 3, pp 9-15
Whurr Publishers, 1995

Structuring the Semantic Definitions of Graphical Design Notations
Paynter, S.E.
Software Engineering Journal Vol. 10, Issue 3, pp 105-115
IEE, 1995

Software Diversity as a Way to Well-Structured Concurrent Software
Romanovsky, A.
ACM SIGOPS Operating Systems Review Vol. 29, Issue 3, pp 85-90
ACM Press, New York, 1995 ISSN 0163-5980

A Stub Generation System for C++
Parrington, G.D.
Computing Systems: The Journal of the USENIX Association Vol. 8, Issue 2, pp 135-169
USENIX Association/MIT Press, 1995 ISSN 0895-6340

[Abstract]

Partial Functions and Logics: A Warning
Jones, C.B.
Information Processing Letters Vol. 54, Issue 2, pp 65-67
Elsevier Science B. V., 1995 ISSN 0020-0190

The Design and Implementation of Arjuna
Parrington, G.D., Shrivastava, S.K., Wheater, S.M. and Little, M.C.
Computing Systems: The Journal of the USENIX Association Vol. 8, Issue 3, pp 255-308
USENIX Association/MIT Press, 1995 ISSN 0895-6340

[Abstract]

The Architecture of the ICL Goldrush MegaServer
Watson, P. and Catlow, G.W.
Ingenuity: the ICL Technical Journal Vol. 10, Issue 2, pp 191-205
International Computers Ltd., 1995 ISSN 1354-9952

Visualising Parallel Numerical Software Performance on a Shared Memory Multiprocessor
Lee, P.A. and Phillips, C.
Computing Systems in Engineering Vol. 6, Issue 4-5, pp 351-365
Elsevier Science Ltd., 1995 ISSN 0956-0521

Using Interaction Framework to guide the design of interactive systems
Blandford, A.E., Barnard, P.J. and Harrison, M.D.
International Journal of Human-Computer Studies Vol. 43, Issue 1, pp 101-130
Academic Press, 1995

Context Sensitive Awareness in Legal Hypertext
Rossiter, B.N. and Heather, M.A.
Informatica e diritto Vol. 4, pp 31-53
Edizioni Scientifiche Italiane, 1995 ISSN 0390-0975

On the Safety Analysis of Requirements Specifications for Safety-Critical Software
Saeed, A., de Lemos, R. and Anderson, T.
ISA Transactions Vol. 34, Issue 4, pp 283-295
Elsevier Science Publishers BV, 1995 ISSN 0019-0578

The Hardware Architecture of the ICL GOLDRUSH MegaSERVER
Watson, P. and Robinson, E.H.
Ingenuity: the ICL Technical Journal Vol. 10, Issue 2, pp 206-219
International Computers Ltd., 1995 ISSN 1354-9952

[Abstract]

Event Model of Human-System Interaction
Duke, D.J. and Harrison, M.D.
Software Engineering Journal Vol. 10, Issue 1, pp 3-12
Institution of Electrical Engineers, 1995

A Space Time Modeler for Systolic Algorithms
Deimoz, E. and Megson, G.M.
Advances in Engineering Software Vol. 20, Issue 1, pp 29-41
Elsevier Applied Science, 1995 ISSN 0965-9978

Mapping User Requirements to Implementations
Duke, D.J. and Harrison, M.D.
Software Engineering Journal Vol. 10, Issue 1, pp 13-20
Institution of Electrical Engineers, 1995

Application Specific Conversation Schemes for ADA Programs
Romanovsky, A.
Microprocessing and Microprogramming Vol. 41, Issue 10, pp 703-713
Elsevier Science BV (North-Holland), 1995 ISSN 0165-6074

Backward Error Recovery via Conversations in Ada
Romanovsky, A. and Strigini, L.
IEE Software Engineering Journal Vol. 10, Issue 6, pp 219-232
Institution of Electrical Engineers (IEE), 1995 ISSN 0268-6961

An Algorithm for Convexity-Preserving Surface Interpolation
Iqbal, R.
Journal of Scientific Computing Vol. 9, Issue 2, pp 197-212
Plenum Press, 1994 ISSN 0885-7474

Efficient Window Flow Control for High Speed Data Networks with Small Buffers
Mitra, D. and Mitrani, I.
Annals of Operations Research Vol. 49, Issue n/a,
Baltzer Science Publishers BV, 1994 ISSN 0254-5330

Systolic Matrix Inversion Using A Monte Carlo Method
Megson, G.M., Aleksandrov, V.N. and Dimov, I.T.
Parallel Algorithms and Applications Vol. 3, Issue 3-4, pp 311-330
Taylor & Francis Ltd., 1994 ISSN 1063-7192

Simple Authentication
Snow, C.R. and Whitfield, H.
Software: Practice and Experience Vol. 24, Issue 5, pp 437-447
John Wiley & Sons, 1994 ISSN 0038-0644

Uses and Abuses of Inheritance
Armstrong, J.M. and Mitchell, R.J.
IEE Software Engineering Journal Vol. 9, Issue 1, pp 19-26
Institution of Electrical Engineers (IEE), 1994 ISSN 0268-6961

Construction and Use of a Simulation Package in C++
Little, M.C. and McCue, D.L.
C User's Journal Vol. 12, Issue 3,
CMP Media/Miller Freeman Inc., 1994 ISSN 1075-2838

Adaptive Uniformization
Van Moorsel, A.P.A. and Sanders, W.H.
Communications in Statistics: Stochastic Models Vol. 10, Issue 3, pp 619-648
Dekker, 1994

Forward and Backward Error Recovery in C++
Rubira-Calsavara, C.M.F. and Stroud, R.J.
Object Oriented Systems Vol. 1, pp 61-85
Chapman and Hall Ltd., 1994 ISSN 0969-9767

A Low Latency Asynchronous Arbitration Circuit
Yakovlev, A., Petrov, A.I. and Lavagno, L.
IEEE Transactions on Very Large Scale Integration (VLSI) Systems Vol. 2, Issue 3, pp 372-377
IEEE Circuits and Systems/Computer/Solid-State Circuits Societies, 1994 ISSN 1063-8210

STRIDE: A Tool for Formal Interactive Systems Synthesis
Burns, F.P., Kinniment, D.J. and Koelmans, A.M.
IEE Proceedings - Computers and Digital Techniques Vol. 141, Issue 6, pp 347-355
Institution of Electrical Engineers (IEE), 1994 ISSN 1350-2387

Quantitative perceptual representation of prepositional semantics
Olivier, P. and Tsujii, J.-I.
Artificial Intelligence Review Vol. 8, Issue 2/3, pp 147-158
Kluwer Academic Publishers, 1994

Recovery Unification for Concurrent Heterogeneous Systems
Romanovsky, A.
Computer Systems Science and Engineering Vol. 9, Issue 4, pp 234-239
CRL Publishing Ltd., 1994 ISSN 0267-6192

A Comparison of the Conventional and Formal Design of a Secure System Component
Brookes, T.M., Green, M., Fitzgerald, J.S. and Larsen, P.G.
FACS Europe Newsletter Vol. 1, Issue 2,
British Computer Society Specialist Group in Formal Aspects of Computing Science (BCS FACS), 1994 ISSN 1361-3103

The Origins of Computer Programming
Randell, B.
IEEE Annals of the History of Computing Vol. 16, Issue 4, pp 6-14
IEEE Computer Society, 1994 ISSN 1058-6180

[Abstract]

Systolic State Estimators for Discrete-Time Controllers
Megson, G.M.
Electronics Letters Vol. 30, Issue 11, pp 914-915
Institution of Electrical Engineers (IEE), 1994 ISSN 0013-5194

rel/REL: A Family of Reliable Multicast Protocols for Distributed Systems
Ezhilchelvan, P.D. and Shrivastava, S.K.
IEE Distributed Systems Engineering Vol. 1, Issue 6, pp 323-331
IOP Publishing Ltd., 1994 ISSN 0967-1846

Routing in the Presence of Breakdowns
Mitrani, I. and Wright, P.E.
Performance Evaluation (Special Issue on Performance '93) Vol. 20, Issue 1/3, pp 151-164
Elsevier Science BV (North-Holland), 1994 ISSN 0166-5316

Perception infraliminaire de stimulus familiers et résolution de problèmes simples
Besnard, D. and Channouf, A.
Anuario de PsicologiaIssue 62, pp 41-53
Facultat de Psicologia, Universitat de Barcelona, 1994 ISSN 0066-5126

A Typed Logic of Partial Functions Reconstructed Classically
Jones, C.B. and Middelburg, C.A.
Acta Informatica Vol. 31, Issue 5, pp 399-430
Springer-Verlag Germany, 1994 ISSN 0001-5903

Heterogeneous Multiprocessor Systems with Breakdowns: Performance and Optimal Repair Strategies
Chakka, R. and Mitrani, I.
Theoretical Computer Science (Special Issue on Probabilistic Modelling) Vol. 125, Issue 1, pp 91-109
Elsevier Science Publishers BV, 1994 ISSN 0304-3975

Understanding the Differences Between VDM and Z
Hayes, I.J., Jones, C.B. and Nicholls, J.E.
ACM SIGSOFT Software Engineering Notes Vol. 19, Issue 3, pp 75-81
ACM Press, New York, 1994 ISSN 0163-5948

Representations of Discrete Interval Orders and Semi-Orders
Janicki, R. and Koutny, M.
Journal of Information Processing and Cybernetics EIK Vol. 30, Issue 3, pp 161-168
Akademie-Verlag GmbH, 1994 ISSN 0863-0593

Special Issue on Software Safety
Littlewood, B., Anderson, T., Bloomfield, R. and Malcolm, R. (eds.)
Reliability Engineering & System Safety Vol. 43, Issue 2, pp 101-244
Elsevier Applied Science, 1994 ISSN 0951-8320

Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment
McCue, D.L. and Shrivastava, S.K.
IEEE Transactions on Parallel and Distributed Systems Vol. 5, Issue 4, pp 421-432
IEEE Computer Society, 1994 ISSN 1045-9219

Delayline: A Wide Area Network Emulation Tool
Ingham, D.B. and Parrington, G.D.
Computing Systems: The Journal of the USENIX Association Vol. 7, Issue 3, pp 313-332
USENIX Association/MIT Press, 1994 ISSN 0895-6340

Monoclonal antibodies for Streptomyces lividans and their use for immunomagnetic capture of spores from soil
Wipat, A., Wellington, E.M.H. and Saunders, V.A.
Microbiology Vol. 140, Issue 8, pp 2067-2076
Society for General Microbiology, 1994 ISSN 1350-0872

Responsibility Modelling as a Technique for Requirements Definition
Dobson, J.E. and Strens, M.R.
IEE Intelligent Systems Engineering Vol. 3, Issue 1, pp 20-26
1994

CaberNet (Computing Architectures for Basic European Research): The ESPRIT Basic Research-funded Network of Excellence in Distributed Computing Systems Architectures
Cook, N.
Distributed Systems Engineering Vol. 1, Issue 3, pp 173-176
IOP Publishing Ltd., 1994 ISSN 0967-1846

Preface: Special Issue on Probabilistic Modelling
Mitrani, I. and Gelenbe, E. (eds.)
Theoretical Computer Science (Special Issue on Probabilistic Modelling) Vol. 125, Issue 1, pp 1-174
Elsevier Science Publishers BV, 1994 ISSN 0304-3975

About Conversations for Concurrent OO Languages
Romanovsky, A.
ACM SIGPLAN Notices Vol. 29, Issue 9, pp 17-21
ACM Press, New York, 1994 ISSN 1523-2867

The Problems of Designing a Conversion Scheme for Concurrent Object Oriented Languages
Romanovsky, A.
Microprocessing and Microprogramming Vol. 40, Issue 10/12, pp 897-900
Elsevier Science BV (North-Holland), 1994 ISSN 0165-6074

Object-Oriented Design: Guidelines and Techniques
Capretz, L.F. and Lee, P.A.
Information and Software Technology Vol. 35, Issue 4, pp 195-206
Elsevier Science Publishers BV, 1993 ISSN 0950-5849

Parallel Treatment of Block Bi-diagonal Matrices in the Solution of Ordinary Differential Boundary Value Problems
Wright, K.
Journal of Computational and Applied Mathematics Vol. 45, Issue 1-2, pp 191-200
Elsevier Science Publishers BV, 1993 ISSN 0377-0427

Systolic Partitioning Algorithms
Megson, G.M.
Information Processing Letters Vol. 46, Issue 1, pp 13-18
Elsevier Science Publishers BV, 1993 ISSN 0020-0190

Abstract Interaction Objects
Duke, D.J. and Harrison, M.D.
Computer Graphics Forum Vol. 12, Issue 3, pp C-25 - C-36
Blackwell Publishers, 1993

The Givens-Batcher Reduction Algorithm and Matrix Triangularisation
Megson, G.M.
International Journal of Computer Mathematics Vol. 47, Issue 3/4, pp 199-208
Taylor & Francis Ltd., 1993 ISSN 0020-7160

Pre-Processing Stage in Solving ODEs with Extrapolation Methods
Brudaru, O. and Megson, G.M.
Thematica Vol. 37, Issue 3, pp 31-57
1993

A Cost-effective and Flexible Scheme for Software Fault Tolerance
Bondavalli, A., Di Giandomenico, F. and Xu, J.
Computer Systems Science and Engineering Vol. 8, Issue 4, pp 234-244
CRL Publishing Ltd., 1993 ISSN 0267-6192

Structural Technique for Fault-masking in Asynchronous Interfaces
Yakovlev, A.
IEE Proceedings E - Computers and Digital Techniques Vol. 140, Issue 2, pp 81-91
Institution of Electrical Engineers (IEE), 1993 ISSN 0143-7062

The Duality of Fault-tolerant System Structures
Shrivastava, S.K., Mancini, L. and Randell, B.
Software: Practice and Experience Vol. 23, Issue 7, pp 773-798
John Wiley & Sons, 1993 ISSN 0038-0644

Understanding the Differences Between VDM and Z
Hayes, I.J., Jones, C.B. and Nicholls, J.E.
FACS Europe (BCS Formal Aspects of Computing Science/Formal Methods Europe Newsletter) Vol. 1, Issue 1, pp 7-30
British Computer Society FACS, 1993 ISSN 1361-3103

The Derivation of Uniform Recurrence Equations for the Knapsack Problem
Megson, G.M.
Parallel Algorithms and Applications Vol. 1, Issue 2, pp 127-140
Taylor & Francis Ltd., 1993 ISSN 1063-7192

The Design and Implementation of Voltan Fault-tolerant Nodes for Distributed Systems
Shrivastava, S.K., Ezhilchelvan, P.D. and Speirs, N.A. et. al.
Transputer Communications Vol. 1, Issue 2, pp 93-109
John Wiley & Sons, 1993 ISSN 1070-454X

Formal Techniques for Requirements Analysis for Safe Reactor Control
Saeed, A., de Lemos, R. and Anderson, T.
The Nuclear Engineer: Journal of the Institution of Nuclear Engineers Vol. 34, Issue 4, pp 108-115
Insitution of Nuclear Engineers, 1993 ISSN 0262-5091

Structure of Concurrency
Janicki, R. and Koutny, M.
Theoretical Computer Science Vol. 112, Issue 1, pp 5-52
Elsevier Science Publishers BV, 1993 ISSN 0304-3975

Fault Tolerance: Synchronization of Redundancy
Romanovsky, A.
ACM SIGOPS Operating Systems Review Vol. 27, Issue 4, pp 58-66
ACM Press, New York, 1993 ISSN 0163-5980

Unplanned Recovery for Non-program Objects
Romanovsky, A. and Shturtz, I.V.
Computer Systems Science and Engineering Vol. 8, Issue 2, pp 72-79
CRL Publishing Ltd., 1993 ISSN 0267-6192

Towards an Integrated Approach to Fault Tolerance in Delta-4
Barrett, P.A. and Speirs, N.A.
IEE Distributed Systems Engineering Vol. 1, Issue 2, pp 59-66
IOP Publishing Ltd., 1993 ISSN 0967-1846

Transparency and Reflection in Distributed Systems
Stroud, R.J.
ACM SIGOPS Operating Systems Review Vol. 27, Issue 2, pp 99-103
ACM Press, New York, 1993 ISSN 0163-5980

Limiting Results for Multiprocessor Systems with Breakdowns and Repairs
Mitrani, I. and Puhalskii, A.
Queueing Systems - Theory and Applications Vol. 14, Issue 3/4, pp 293-311
Baltzer Science Publishers BV, 1993 ISSN 0257-0130

Personal Ancestral File and Reunion - Two Genealogical Database Management Systems for the Apple Macintosh
Randell, B.
Computers in Genealogy Vol. 4, Issue 10, pp 424-437
Society of Genealogists, 1993 ISSN 0263-3248

Personal Ancestral File and REUNION
Randell, B.
Computers in Genealogy Vol. 4, Issue 10, pp 424-437
Society of Genealogists, 1993 ISSN 0263-3248

Porting a Dusty Deck Fortran Program to a Shared Memory Multiprocessor
Beavis, A.W. and Phillips, C.
Concurrency: Practice and Experience Vol. 4, Issue 8, pp 575-587
John Wiley & Sons, 1992 ISSN 1040-3108

Principle Features of the VOLTAN Family of Reliable Node Architectures for Distributed Systems
Shrivastava, S.K., Ezhilchelvan, P.D. and Speirs, N.A. et. al.
IEEE Transactions on Computers (Special Issue on Fault-Tolerant Computing) Vol. 41, Issue 5, pp 542-549
IEEE Computer Society, 1992 ISSN 0018-9340

A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems
de Lemos, R., Saeed, A. and Anderson, T.
The Computer Journal Vol. 35, Issue 1, pp 30-40
Oxford University Press/British Computer Society, 1992 ISSN 0010-4260

Systolic Designs for Aitken's Root Finding Method
Megson, G.M., Brudaru, O. and Comish, D.
Parallel Computing Vol. 18, Issue 4, pp 415-429
Elsevier Science BV (North-Holland), 1992 ISSN 0167-8191

Differential Equations for the Analytic Singular Value Decomposition of a Matrix
Wright, K.
Numerische Mathematik Vol. 63, Issue 2, pp 283-295
Springer-Verlag Germany, 1992 ISSN 0029-599X

[Abstract]

Keeping a Finger on the Pulse
Megson, G.M.
Parallelogram - The International Journal of High Performance Computingpp 18-19
Fitzroy Publishing, 1992 ISSN 0953-7252

Using temporal logic to support the specification and prototyping of interactive control systems
Johnson, C.W. and Harrison, M.D.
International Journal of Man-Machine Studies Vol. 37, Issue 3, pp 357-385
Academic Press, 1992

Predictably Dependable Computing Systems: Final Report
Randell, B. and Laprie, J.-C.
Bulletin of EATCS Vol. 48, Issue Oct., pp 55-87
European Association for Theoretical Computer Science, 1992 ISSN 0252-9742

More on Systolic Line Drawing
Megson, G.M. and Evans, D.J.
Parallel Computing Vol. 18, Issue 3, pp 355-358
Elsevier Science BV (North-Holland), 1992 ISSN 0167-8191

Petri Net Semantics of Priority Systems
Best, E. and Koutny, M.
Theoretical Computer Science Vol. 96, Issue 1, pp 175-215
Elsevier Science Publishers BV, 1992 ISSN 0304-3975

A New Approach to the Modeling of Recovery Block Structures
Pucci, G.
IEEE Transactions on Software Engineering Vol. 18, Issue 2, pp 159-167
IEEE Computer Society, 1992 ISSN 0098-5589

A One-Pass Algorithm for Shape-Preserving Quadratic Spline Interpolation
Iqbal, R.
Journal of Scientific Computing Vol. 7, Issue 4, pp 359-376
Plenum Press, 1992 ISSN 0885-7474

A Fast Faddeev Array
Megson, G.M.
IEEE Transactions on Computers Vol. 41, Issue 12, pp 1594-1601
IEEE Computer Society, 1992 ISSN 0018-9340

Review of “Marks on Paper, part 1: A historical survey of computer output printing” by I.L. Wieselman and E. Tomash (Review no. 0047)
Randell, B.
Computing Reviews Vol. 33, Issue 1, pp 78
ACM Press, New York, 1992 ISSN 0010-4884

Invariants and Paradigms of Concurrency Theory
Janicki, R. and Koutny, M.
Future Generation Computer Systems: Papers from the Workshop on Parallel and distributed workstation systems, Florence, Italy, Sep. 1991 Vol. 8, Issue 1-3, pp 423-435
Elsevier Science Publishers BV, 1992 ISSN 0167-739X

Reunion at Bletchley Park
Randell, B.
IEEE Annals of the History of Computing Vol. 14, Issue 2, pp 51-53
IEEE Computer Society, 1992 ISSN 1058-6180

Adequacy-Preserving Transformations of COSY Path Programs
Koutny, M.
Theoretical Computer Science Vol. 94, Issue 1, pp 141-158
Elsevier Science Publishers BV, 1992 ISSN 0304-3975

An Overview of the Arjuna Distributed Programming System
Shrivastava, S.K., Dixon, G.N. and Parrington, G.D.
IEEE Software Vol. 8, Issue 1, pp 66-73
IEEE Computer Society, 1991 ISSN 0740-7459

Complete Problems for Symmetric Logspace Involving Free Groups
Stewart, I.A.
Information Processing Letters Vol. 40, Issue 5, pp 263-267
Elsevier Science Publishers BV, 1991 ISSN 0020-0190

Predictably Dependable Computing Systems: Second Year Report
Randell, B. and Laprie, J.-C.
Bulletin of EATCS Vol. 44, Issue Jun., pp 61-86
European Association for Theoretical Computer Science, 1991 ISSN 0252-9742

Parallel Algorithms of QR Decomposition on a Shared Memory Multi-processor
Wright, K.
Parallel Computing Vol. 17, pp 779-790
Elsevier Science BV (North-Holland), 1991 ISSN 0167-8191

Mesh Selection in Collocation for Boundary Value Problems
Wright, K., Ahmed, A.H.A. and Seleman, A.H.
IMA Journal of Numerical Analysis Vol. 11, pp 7-20
Oxford University Press, 1991 ISSN 0272-4979

Comparing the Expressibility of Languages Formed using NP-complete Operators
Stewart, I.A.
Journal of Logic and Computation Vol. 1, Issue 3, pp 305-330
Oxford University Press, 1991 ISSN 0955-792X

Complete Problems Involving Boolean Labelled Structures and Projection Translations
Stewart, I.A.
Journal of Logic and Computation Vol. 1, Issue 6, pp 861-882
Oxford University Press, 1991 ISSN 0955-792X

Algorithm 128: A DAP Fortran Subroutine for Thinning Digitised Pictures
Stewart, A., Holt, C.M., Clint, M. and Perrott, R.
The Computer Journal Vol. 34, Issue 4, pp 377-380
Oxford University Press/British Computer Society, 1991 ISSN 0010-4260

Systolic Algorithms for B-Spline Patch Generation
Megson, G.M.
Journal of Parallel and Distributed Computing Vol. 11, pp 231-238
Academic Press, 1991 ISSN 0743-7315

Generalised Measure of Farm Specific Technical Efficiencies
Dawson, P.J., Lingard, J. and Woodford, C.H.
American Journal of Agricultural Economics Vol. 73, Issue 4, pp 1098-1104
Blackwell Publishing, 1991 ISSN 0002-9092

Streptomyces marker plasmids for monitoring survival and spread of streptomycetes in soil
Wipat, A., Wellington, E.M.H. and Saunders, V.A.
Applied and Environmental Microbiology Vol. 57, Issue 11, pp 3322-3330
American Society for Microbiology, 1991 ISSN 0099-2240

Generalised Farm Specific Technical Efficiencies in The England and Wales Dairy Sector
Dawson, P.J. and Woodford, C.H.
Oxford Agrarian Studies Vol. 19, Issue 1, pp 53-60
Carfax Publishing, 1991 ISSN 1360-0818

The Performance of the BLAS and LAPACK on a Shared Memory Scalar Multiprocessor
Phillips, C.
Parallel Computing Vol. 17, Issue 6-7, pp 751-761
Elsevier Science BV (North-Holland), 1991 ISSN 0167-8191

A Systolic Simplex Algorithm
Evans, D.J. and Megson, G.M.
International Journal of Computer Mathematics Vol. 38, pp 1-30
Taylor & Francis Ltd., 1991 ISSN 0020-7160

A Multi-protocol Campus Time Server
Snow, C.R.
Software: Practice and Experience Vol. 21, Issue 9, pp 907-922
John Wiley & Sons, 1991 ISSN 0038-0644

Analysis of a Kanban Discipline for Cell Coordination in Production Lines, II: Stochastic Demands
D. Mitra and I. Mitrani
Operations Research Vol. 39, Issue 5, pp 807-823
INFORMS, 1991 ISSN 0030-364X

A Unified Set of Proposals for Control and Design of High Speed Data Networks
Mitra, D., Mitrani, I. and Ramakrishnan, K.G. et. al.
Queueing Systems - Theory and Applications Vol. 9, pp 215-234
Baltzer Science Publishers BV, 1991 ISSN 0257-0130

An Approach to High-Performance, High-Speed Data Networks
Fendick, K.W., Mitra, D. and Mitrani, I. et. al.
IEEE Communications Magazine Vol. 29, Issue 10, pp 74-82
IEEE Communications Society, 1991 ISSN 0163-6804

Axiom System Induced by CTL* Logic
Koutny, M.
Fundamenta Informaticae Vol. 14, Issue 2, pp 235-253
IOS Press, 1991 ISSN 0169-2968

Object Disorientation
Kerr, R.
Hotline on Object-Oriented Technology Vol. 2, Issue 5, pp 12-13
SIGS Publications Inc., New York, 1991 ISSN 1044-4319

Fault-tolerant Reference Counting for Garbage Collection in Distributed Systems
Mancini, L.V. and Shrivastava, S.K.
The Computer Journal Vol. 34, Issue 6, pp 503-513
Oxford University Press/British Computer Society, 1991 ISSN 0010-4260

Semantic Pattern Matching in Netbases
Heather, M.A. and Rossiter, B.N.
Neurocomputing Vol. 2, pp 173-176
Elsevier Science Publishers BV, 1991 ISSN 0925-2312

Algorithms for Unboundedly Parallel Simulations
Greenberg, A.G., Lubachevsky, B.D. and Mitrani, I.
ACM Transactions on Computer Systems Vol. 9, Issue 3, pp 201-221
ACM Press, New York, 1991 ISSN 0734-2071

Obtaining Nielsen Reduced Sets in Free Groups
Stewart, I.
Bulletin of EATCS Vol. 43, Issue Feb., pp 184-188
European Association for Theoretical Computer Science, 1990 ISSN 0252-9742

The Language That Would Not Die
Kerr, R.
EXE: The Software Developer's Magazine Vol. 5, Issue 6, pp 62-68
Process Communcations Ltd., 1990 ISSN 0268-6872

A New Comparison-based Scheme for Multiprocessor Fault Tolerance
Xu, J. and Huang, S.
Microprocessing and Microprogramming Vol. 30, pp 617-623
Elsevier Science BV (North-Holland), 1990 ISSN 0165-6074

Technology: Parallel Processing
Lee, P.A.
Unix Business Vol. 1, pp 26-28
4GL Publications Company Ltd., 1990 ISSN 0958-6253

Open Learning and Information Technology
Woodford, C.H and Yeomans, I.
Education and Training International Vol. 27, Issue 4, pp 414-419
1990

DEMON - Design Methods Based on Nets
Best, E., deCindio, F. and Hopkins, R.P.
Bulletin of EATCS Vol. 41, Issue Jun., pp 87-102
European Association for Theoretical Computer Science, 1990 ISSN 0252-9742

Predictably Dependable Computing Systems: An ESPRIT Basic Research Project
Dobson, J.E., Laprie, J.-C. and Randell, B.
Bulletin of EATCS Vol. 40, Issue Feb., pp 100-116
European Association for Theoretical Computer Science, 1990 ISSN 0252-9742

Rank Annihilation on a Ring of Processors
Megson, G.M.
Parallel Computing Vol. 13, Issue 1, pp 85-94
Elsevier Science BV (North-Holland), 1990 ISSN 0167-8191

Súrété de Fonctionnement et Défauts du Logiciel: Minimiser les risques et éviter les responsabilités
Randell, B.
La Lettre de la Sûreté de Fonctionnement Vol. 13, pp 3-4
Genie Industriel Multimedia, 1990 ISSN 1163-3867

Efficient Systolic String Matching
Megson, G.M.
Electronics Letters Vol. 26, Issue 24, pp 2040-2042
Institution of Electrical Engineers (IEE), 1990 ISSN 0013-5194

Complex Eigen-Problem Solution by a Parallel Norm-reducing Jacobi Method
Megson, G.M.
Computer Systems Science and Engineering Vol. 5, Issue 3, pp 159-169
CRL Publishing Ltd., 1990 ISSN 0267-6192

An Efficient Double Pipe Systolic Array for Matrix Product
Megson, G.M.
The Computer Journal (Special Issue on Parallel Computing) Vol. 33, Issue 3, pp 261-265
Oxford University Press/British Computer Society, 1990 ISSN 0010-4260

Database Support for Very Large Hypertexts: Data Organization, Navigation and Trails
Heather, M.A. and Rossiter, B.N.
Electronic Publishing - ODD Vol. 3, Issue 3, pp 141-154
1990

Le Coupable n'est pas la technologie
Randell, B.
La Lettre de la Sûreté de Fonctionnement Vol. 13, pp 3-4
Genie Industriel Multimedia, 1990 ISSN 1163-3867

A Systolic Array Solution for the Assignment Problem
Megson, G.M. and Evans, D.J.
The Computer Journal Vol. 33, Issue 6, pp 562-569
Oxford University Press/British Computer Society, 1990 ISSN 0010-4260

Analysis of a Kanban Discipline for Cell Coordination in Production Lines
Mitra, D. and Mitrani, I.
Management Science Vol. 36, Issue 12, pp 1548-1566
INFORMS, 1990 ISSN 0025-1909

Sorting without Exchanges on a Bit Serial Systolic Array
Megson, G.M.
IEE Proceedings E - Computers and Digital Techniques Vol. 137, Issue 5, pp 343-353
Institution of Electrical Engineers (IEE), 1990 ISSN 0143-7062

Systolic Arrays for Group Explicit Methods for Solving First Order Hyperbolic Equations
Megson, G.M. and Evans, D.J
Parallel Computing Vol. 16, Issue 2-3, pp 191-205
Elsevier Science BV (North-Holland), 1990 ISSN 0167-8191

A Performance Evaluation Study of Pipelined TMR Systems
Ezhilchelvan, P.D., Mitrani, I. and Shrivastava, S.K.
IEEE Transactions on Parallel and Distributed Systems Vol. 1, Issue 4, pp 442-456
IEEE Computer Society, 1990 ISSN 1045-9219

A Systolic Helix for Matrix Triangularisation with Partial Pivoting
Megson, G.M.
Parallel Computing Vol. 14, Issue 2, pp 199-207
Elsevier Science BV (North-Holland), 1990 ISSN 0167-8191

An Orthogonal Systolic Design for the Assignment Problem
Megson, G.M. and Evans, D.J.
Parallel Computing Vol. 16, Issue 2-3, pp 253-267
Elsevier Science BV (North-Holland), 1990 ISSN 0167-8191

Transputer Implementation of Systolic Arrays for Model Reduction
Megson, G.M.
IEE Proceedings E - Computers and Digital Techniques Vol. 137, Issue 5, pp 343-353
Institution of Electrical Engineers (IEE), 1990 ISSN 0143-7062

Improved Matrix Triangularisation Using a Double Pipeline Systolic Array
Megson, G.M. and Gaston, F.M.F.
Information Processing Letters Vol. 36, Issue 2, pp 103-109
Elsevier Science Publishers BV, 1990 ISSN 0020-0190

Graphical Representation of a Hardware Description Language
Kuszyinski, C.A., Busfield, T. and Koelmans, A.M. et. al.
IEE Proceedings - Computers and Digital Techniques Vol. 137, Issue 6, pp 1
Institution of Electrical Engineers (IEE), 1990 ISSN 1350-2387

Principles of Fault Tolerance in Computing Systems
Lee, P.A. and Anderson, T.
Journal of Communications Technology Vol. 1, Issue 1, pp 3-9
International Center for Telecommunication Technology, 1990 ISSN 1047-0492

A New Design of Geneva Drive to Reduce Shock Loading
Sadek, K.S.H., Lloyd, J.L. and Smith, M.R.
Mechanism and Machine Theory Vol. 25, Issue 6, pp 589-595
Elsevier Science Ltd. (Pergamon Press), 1990 ISSN 0094-114X

The Systolic Control Ring Instruction Processor (SCRIP)
Megson, G.M. and Evans, D.J.
Integration, the VLSI Journal Vol. 9, Issue 3, pp 287-302
Elsevier Science Publishers BV, 1990 ISSN 0167-9260

On the Suitability of Higher Block Matrix Forms for Systolic LU Decomposition
Megson, G.M. and Evans, D.J.
Journal of New Generation Computer Systems Vol. 3, Issue 2, pp 143-158
Taylor & Francis Ltd. (Gordon & Breach), 1990 ISSN 0863-0445

Transputer Arrays and Computer Aided Control System Design
Megson, G.M.
IEE Proceedings D - Control Theory and Applications (Special Issue on Parallel Processing for Control) Vol. 137, Issue 4, pp 197-210
Institution of Electrical Engineers (IEE), 1990 ISSN 0143-7054

On Systolic Arrays for Complex Matrix Problems
Megson, G.M. and Evans, D.J.
International Journal of Computer Mathematics Vol. 30, pp 103-116
Taylor & Francis Ltd., 1989 ISSN 0020-7160

Algorithmic Fault Tolerance for Matrix Operations on Triangular Arrays
Megson, G.M. and Evans, D.J.
Parallel Computing Vol. 10, pp 207-219
Elsevier Science BV (North-Holland), 1989 ISSN 0167-8191

An Algorithm for Colouring Perfect Planar Graphs
Stewart, I.A.
Information Processing Letters Vol. 31, Issue 2, pp 97-101
Elsevier Science Publishers BV, 1989 ISSN 0020-0190

Systolic Preconditioning Algorithms for the Iterative Solution of Sparse Linear Systems
Megson, G.M. and Evans, D.J.
Journal of New Generation Computer Systems Vol. 2, Issue 2, pp 111-128
Taylor & Francis Ltd. (Gordon & Breach), 1989 ISSN 0863-0445

Synchronizing Events in Replicated Systems
Koutny, M. and Mancini, L.V
Journal of Systems and Software Vol. 9, Issue 3, pp 183-190
Elsevier Science Inc., 1989 ISSN 0164-1212

A Parallel Thinning Algorithm with Fine Grain Subtasking
Holt, C.M. and Stewart, A.
Parallel Computing Vol. 10, Issue 3, pp 329-334
Elsevier Science BV (North-Holland), 1989 ISSN 0167-8191

Theoretical Structures for Object-based Text
Heather, M.A. and Rossiter, B.N.
BIGRE Vol. 63, Issue 64, pp 178-192
AFCET-Informatique, 1989 ISSN 0221-5225

Advanced VLSI Validated Input Security Device Employing Data and Hardware Validation Features
Iliev, V., Dlay, S.S., and McLauchlan, M.R. et. al.
IEE Proceedings E - Computers and Digital Techniques Vol. 136, Issue 6, pp 471-477
Institution of Electrical Engineers (IEE), 1989 ISSN 0143-7062

Ray Tracing Using the SCRIP Machine
Popovic, R.P. and Megson, G.M.
Transputer Initiative Mailshot
1989

Specifications are not (necessarily) executable
Hayes, I.J. and Jones, C.B.
IEE Software Engineering Journal Vol. 4, Issue 6, pp 320-388
Institution of Electrical Engineers (IEE), 1989 ISSN 0268-6961

The Treatment of Persistent Objects in Arjuna
Dixon, G.N., Parrington, G.D, Shrivastava, S.K and Wheater, S.M.
The Computer Journal Vol. 32, Issue 4, pp 323-332
Oxford University Press/British Computer Society, 1989 ISSN 0010-4260

Fast Triangularisation of a Symmetric Tri-Diagonal Matrix
Evans, D.J. and Megson, G.M.
Journal of Parallel and Distributed Computing Vol. 6, pp 663-678
Academic Press, 1989 ISSN 0743-7315

Viewpoint: Program Verification: Public Image and Private Reality
Dobson, J.E and Randell, B.
Communications of the ACM Vol. 32, Issue 4, pp 420-422
ACM Press, New York, 1989 ISSN 0001-0782

An Intermittently Served Discrete Time Queue with Applications to Meteor Scatter Communications
Robert, P., Mitrani, I. and King, P.J.B.
Queueing Systems - Theory and Applications Vol. 3, Issue 1, pp 25-40
Baltzer Science Publishers BV, 1988 ISSN 0257-0130

Matrix Power Generation Using An Optical Reduced Bandwidth Systolic Array
Megson, G.M. and Evans, D.J.
IEE Proceedings J - Optoelectronics Vol. 135, Issue 6, pp 435-442
Institution of Electrical Engineers (IEE), 1988 ISSN 0267-3932

Rajdoot: A Remote Procedure Call Mechanism Supporting Orphan Detection and Killing
Panzieri, F. and Shrivastava, S. K.
IEEE Transactions on Software Engineering Vol. 14, Issue 1, pp 30-37
IEEE Computer Society, 1988 ISSN 0098-5589

Theorem proving and software engineering
Jones, C.B.
IEE Software Engineering Journal Vol. 3, Issue 1, pp 2
Institution of Electrical Engineers (IEE), 1988 ISSN 0268-6961

Stochastic Models of Queue Storage
Coffman, E.G., Flatto, L., Knessl, C., Mitrani, I. and Shepp, L.A.
Probability in the Engineering and Informational Sciences Vol. 2, pp 75-93
Cambridge University Press, 1988 ISSN 0269-9648

Triangular Systolic Arrays for Matrix Product and Factorisation
Megson, G.M. and Evans, D.J.
International Journal of Computer Mathematics (Special Issue) Vol. 25, Issue 3-4, pp 321-343
Taylor & Francis Ltd., 1988 ISSN 0020-7160

Improved Matrix Product Computation Using Double Pipeline Systolic Arrays
Megson, G.M. and Evans, D.J
The Computer Journal Vol. 31, Issue 6, pp 567-569
Oxford University Press/British Computer Society, 1988 ISSN 0010-4260

Compact Systolic Arrays for Incomplete Matrix Factorisation Methods
Evans, D.J. and Megson, G.M.
International Journal of Computer Mathematics Vol. 25, Issue 3-4, pp 235-286
Taylor & Francis Ltd., 1988 ISSN 0020-7160

A tutorial on the principles of fault tolerance
Shrivastava, S.K.
SADHANA Vol. 11, Issue 1-2, pp 7-22
Indian Academy of Sciences, 1987

Evaluation of the Residual Vector in Global Element Calculations
Phillips, C., Mohamed, J.L. and Delves, L.M.
Journal of Computational and Applied Mathematics Vol. 18, Issue 3, pp 331-346
Elsevier Science Publishers BV, 1987 ISSN 0377-0427

Analysis and Optimal Performance of Two Message-Passing Parallel Processors Synchronized by Rollback
Mitra, D. and Mitrani, I.
Performance Evaluation Vol. 7, pp 111-124
Elsevier Science BV (North-Holland), 1987 ISSN 0166-5316

Objects and Actions in Reliable Distributed Systems
Shrivastava, S.K., Dixon, G.N. and Parrington, G.D
IEE Software Engineering Journal Vol. 2, Issue 5, pp 160-168
Institution of Electrical Engineers (IEE), 1987 ISSN 0268-6961

What Mathematics for Computer Scientists?
Chetwynd, A., Cooke, D.J. and Lloyd, J.L. et. al.
The Computer Bulletin Vol. 29, pp 36-38
Oxford University Press/British Computer Society, 1987 ISSN 0010-4531