Browse by Publisher

Article

Saloniki, E (2015) A monopsonistic approach to disability discrimination and non-discrimination. Economics Bulletin, 35 (4). pp. 2064-2073. ISSN 1545-2921. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:56569)

Dennis, Emily B., Morgan, Byron J. T., Freeman, Stephen N., Roy, David B., Brereton, Tom (2015) Dynamic models for longitudinal butterfly data. Journal of Agricultural, Biological, and Environmental Statistics, 21 (1). pp. 1-21. ISSN 1085-7117. E-ISSN 1537-2693. (doi:10.1007/s13253-015-0216-3) (KAR id:46264)

Liang, Yiqing, Guest, Richard, Fairhurst, Michael, Heutte, Laurent, Nicolas, Stéphane, Burnett, Alexandre, Palfray, T. (2014) EMMEL: a framework for historical manuscript analysis and presentation. Universal Access in the Information Society, 13 (2). pp. 147-160. ISSN 1615-5289. (doi:10.1007/s10209-013-0298-z) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:35562)

Condon, Marissa, Deaño, Alfredo, Gao, Jing, Iserles, Arieh (2014) Asymptotic solvers for second-order differential equation systems with multiple frequencies. Calcolo, 51 (1). pp. 109-139. ISSN 0008-0624. E-ISSN 1126-5434. (doi:10.1007/s10092-013-0078-4) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:70213)

McCrea, Rachel S., Morgan, Byron J. T., Pradel, Roger (2014) Diagnostic goodness-of-fit tests for joint recapture and recovery data. Journal of Agricultural, Biological, and Environmental Statistics, 19 . pp. 338-356. ISSN 1085-7117. (doi:10.1007/s13253-014-0174-1) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:41215)

Guillera-Arroita, Gurutzeta, Ridout, Martin S., Morgan, Byron J. T. (2014) Two-stage sequential Bayesian study design for species estimation. Journal of Agricultural, Biological, and Environmental Statistics, 19 (2). pp. 278-291. ISSN 1085-7117. (doi:10.1007/s13253-014-0171-4) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:41242)

Shafiee, Mahmood, Chukova, Stefanka, Yun, Won Young (2013) Optimal Burn-in and Warranty for a Product with Post-warranty Failure Penalty. International Journal of Advanced Manufacturing Technology, 70 . pp. 297-307. ISSN 0268-3768. E-ISSN 1433-3015. (doi:10.1007/s00170-013-5055-1) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:79994)

Petricek, Tomas, Orchard, Dominic A., Mycroft, Alan (2013) Coeffects: Unified static analysis of context-dependence. Lecture Notes in Computer Science, 7966 . pp. 385-397. ISSN 0302-9743. (doi:10.1007/978-3-642-39212-2_35) (KAR id:57543)

Torres, Arturo Balderas, MacMillan, Douglas C., Skutsch, Margaret, Lovett, Jon C. (2013) The valuation of forest carbon services by Mexican citizens: the case of Guadalajara city and La Primavera biosphere reserve. Regional Environmental Change, 13 (3). pp. 661-680. ISSN 1436-3798. (doi:10.1007/s10113-012-0336-z) (KAR id:33304)

Nwulu, Ugochi, Nirantharakumar, Krishnarajah, Odesanya, Rachel, McDowell, Sarah E., Coleman, Jamie J. (2013) Improvement in the detection of adverse drug events by the use of electronic health and prescription records: an evaluation of two trigger tools. European Journal of Clinical Pharmacology, 69 (2). pp. 255-259. ISSN 0031-6970. E-ISSN 1432-1041. (doi:10.1007/s00228-012-1327-1) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:48380)

Matechou, Eleni, Morgan, Byron J. T., Pledger, Shirley, Collazo, J.A., Lyons, J.E. (2013) Integrated analysis of capture-recapture-resighting data and counts of unmarked birds at stop-over sites. Journal of Agricultural, Biological, and Environmental Statistics, 18 (1). pp. 120-135. ISSN 1085-7117. (doi:10.1007/s13253-013-0127-0) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:33033)

Chadwick, David W, Casenove, Matteo, Siu, Kristy (2013) My private cloud--granting federated access to cloud resources. Journal of Cloud Computing, 2 (1). pp. 1-16. ISSN 2192-113X. (doi:10.1186/2192-113X-2-3) (KAR id:43204)

Brown, Anna, Maydeu-Olivares, Alberto (2012) Fitting a Thurstonian IRT model to forced-choice data using Mplus. Behavior Research Methods, 44 (4). pp. 1135-1147. ISSN 1554-351X. (doi:10.3758/s13428-012-0217-x) (KAR id:29753)

+2 more...

Besbeas, Panagiotis, Morgan, Byron J. T. (2012) A threshold model for heron productivity. Journal of Agricultural, Biological, and Environmental Statistics, 17 (1). pp. 128-141. ISSN 1085-7117. (doi:10.1007/s13253-011-0080-8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:31264)

Fraternali, F., Marcelli, Gianluca (2012) A Multiscale Approach to the Elastic Moduli of Biomembrane. Biomechanics and Modeling in Mechanobiology, 11 (7). pp. 1097-1108. ISSN 1617-7959. (doi:10.1007/s10237-012-0376-9) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:29359)

Wu, Shaomin (2011) Optimal Inspection Policy for Three-state Systems Monitored by Variable Sample Size Control Charts. International Journal of Advanced Manufacturing Technology, 55 (5-8). pp. 689-697. ISSN 0268-3768. (doi:10.1007/s00170-010-3091-7) (KAR id:31999)

Geiler, Janina, Michaelis, Martin, Sithisarn, Patchima, Cinatl, Jindrich (2011) Comparison of pro-inflammatory cytokine expression and cellular signal transduction in human macrophages infected with different influenza A viruses. Medical Microbiology and Immunology, 200 (1). pp. 53-60. ISSN 1432-1831. (doi:10.1007/s00430-010-0173-y) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:34065)

Javadi, Amir-Homayoun, Walsh, Vincent, Lewis, Penny (2011) Offline consolidation of procedural skill learning is enhanced by negative emotional content. Experimental Brain Research, 208 (4). pp. 507-17. ISSN 0014-4819. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:52616)

Michaelis, Martin, Baumgarten, Peter, Mittelbronn, Michel, Driever, Pablo Hernáiz, Doerr, Hans Wilhelm, Cinatl, Jindrich (2011) Oncomodulation by human cytomegalovirus: novel clinical findings open new roads. Medical Microbiology and Immunology, 200 (1). pp. 1-5. ISSN 1432-1831. (doi:10.1007/s00430-010-0177-7) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:34063)

Moss, Antony C., Albery, Ian P., Sharma, Dinkar (2011) Development of a repeated measures affective change blindness task. Behavior Research Methods, 43 (3). pp. 826-833. ISSN 1554-3528. (doi:10.3758/s13428-011-0072-1) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30528)

Guillera-Arroita, Gurutzeta, Morgan, Byron J. T., Ridout, Martin S., Linkie, Matthew (2011) Species occupancy modelling for detection data collected along a transect. Journal of Agricultural, Biological, and Environmental Statistics, 16 (3). pp. 301-317. ISSN 1085-7117. (doi:10.1007/s13253-010-0053-3) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:32978)

McCrea, Rachel S., Morgan, Byron J. T., Gimenez, Olivier, Besbeas, Panagiotis, Lebreton, Jean-Dominique, Bregnballe, Thomas (2010) Multi-site integrated population modelling. Journal of Agricultural, Biological, and Environmental Statistics, 15 (4). pp. 539-561. ISSN 1085-7117. (doi:10.1007/s13253-010-0027-5) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:26294)

Cole, Diana J., Morgan, Byron J. T. (2010) A note on determining parameter redundancy in age-dependent tag return models for estimating fishing mortality, natural mortality and selectivity. Journal of Agricultural, Biological, and Environmental Statistics, 15 (4). pp. 431-434. ISSN 1085-7117. (doi:10.1007/s13253-010-0026-6) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:26176)

Michaelis, Martin, Geiler, Janina, Naczk, Patrizia, Sithisarn, Patchima, Ogbomo, Henry, Altenbrandt, Behric, Leutz, Anke, Doerr, Hans Wilhelm, Cinatl, Jindrich (2010) Glycyrrhizin inhibits highly pathogenic H5N1 influenza A virus-induced pro-inflammatory cytokine and chemokine expression in human macrophages. Medical Microbiology and Immunology, 199 (4). pp. 291-7. ISSN 1432-1831. (doi:10.1007/s00430-010-0155-0) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:34068)

Johnston, Robert A., Dent, Kevin, Humphreys, Glyn W., Barry, Christopher (2010) British English Norms and Naming Times for a set of 539 Pictures: The Role of Age of Acquisition. Behavior Research Methods, 42 (2). pp. 461-469. ISSN 1554-351X. (doi:10.3758/BRM.42.2.461) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:34450)

Ogbomo, Henry, Michaelis, Martin, Geiler, Janina, van Rikxoort, Marijke, Muster, Thomas, Egorov, Andrej, Doerr, Hans Wilhelm, Cinatl, Jindrich (2010) Tumor cells infected with oncolytic influenza A virus prime natural killer cells for lysis of resistant tumor cells. Medical Microbiology and Immunology, 199 (2). pp. 93-101. ISSN 1432-1831. (doi:10.1007/s00430-009-0139-0) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:34070)

Ogbomo, Henry, Geiler, Janina, Leutz, Anke, von Kietzell, Kristina, Michaelis, Martin, Doerr, Hans Wilhelm, Cinatl, Jindrich (2009) Measurement of cytotoxic T lymphocyte activity of human cytomegalovirus seropositive individuals by a highly sensitive coupled luminescent method. Medical Microbiology and Immunology, 198 (4). pp. 257-62. ISSN 1432-1831. (doi:10.1007/s00430-009-0126-5) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:34072)

Humle, Tatyana, Snowdon, Charles T., Matsuzawa, Tetsuro (2009) Social influences on ant-dipping acquisition in the wild chimpanzees (Pan troglodytes verus) of Bossou, Guinea, West Africa. Animal Cognition, 12 (1). pp. 37-48. ISSN 1435-9448. (doi:10.1007/s10071-009-0272-6) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:38030)

Ridout, Martin S., Linkie, Matthew (2009) Estimating overlap of daily activity patterns from camera trap data. Journal of Agricultural, Biological, and Environmental Statistics, 14 (3). pp. 322-337. ISSN 1085-7117. (doi:10.1198/jabes.2009.08038) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:24237)

Michaelis, Martin, Doerr, Hans Wilhelm, Cinatl, Jindrich (2009) Novel swine-origin influenza A virus in humans: another pandemic knocking at the door. Medical Microbiology and Immunology, 198 (3). pp. 175-83. ISSN 1432-1831. (doi:10.1007/s00430-009-0118-5) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:34078)

Yang, Wei (2009) The development and challenges in health care policy and health care financing in contemporary China. Transition Studies Review, 16 (2). pp. 328-342. (doi:10.1007/s11300-009-0062-5) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:36987)

Michaelis, Martin, Doerr, Hans Wilhelm, Cinatl, Jindrich (2009) Oncomodulation by human cytomegalovirus: evidence becomes stronger. Medical Microbiology and Immunology, 198 (2). pp. 79-81. ISSN 1432-1831. (doi:10.1007/s00430-009-0107-8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:34081)

Fairhurst, Michael, Linnell, Tristan A., Glenat, Stephanie, Guest, Richard, Heutte, Laurent, Paquet, Thierry (2008) Developing a generic approach to online automated analysis of writing and drawing tests in clinical patient profiling. Behavior Research Methods, 40 (1). pp. 290-303. ISSN 1554-351X. (doi:10.3758/BRM.40.1.290) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:15060)

Cinatl, Jindrich, Michaelis, Martin, Doerr, Hans Wilhelm (2007) The threat of avian influenza A (H5N1). Part I: epidemiologic concerns and virulence determinants. Medical Microbiology and Immunology, 196 (4). pp. 181-90. ISSN 1432-1831. (doi:10.1007/s00430-007-0042-5) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:34090)

Cinatl, Jindrich, Michaelis, Martin, Doerr, Hans Wilhelm (2007) The threat of avian influenza A (H5N1). Part III: Antiviral therapy. Medical Microbiology and Immunology, 196 (4). pp. 203-12. ISSN 1432-1831. (doi:10.1007/s00430-007-0048-z) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:34092)

Cinatl, Jindrich, Michaelis, Martin, Doerr, Hans Wilhelm (2007) The threat of avian influenza A (H5N1). Part IV: Development of vaccines. Medical Microbiology and Immunology, 196 (4). pp. 213-25. ISSN 1432-1831. (doi:10.1007/s00430-007-0052-3) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:34087)

Cinatl, Jindrich, Michaelis, Martin, Doerr, Hans Wilhelm (2007) The threat of avian influenza a (H5N1): part II: Clues to pathogenicity and pathology. Medical Microbiology and Immunology, 196 (4). pp. 191-201. ISSN 1432-1831. (doi:10.1007/s00430-007-0045-2) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:34093)

Walker, Stephen G., Gutierrez-Pena, Eduardo (2007) Bayesian parametric inference in a nonparametric framework. Test, 16 (1). pp. 188-197. ISSN 1133-0686. (doi:10.1007/s11749-006-0008-8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:1429)

Barnes, David J., Hopkins, Tim (2007) Improving Test Coverage of Lapack. Applicable Algebra in Engineering Communication and Computing, 18 (3). pp. 209-222. ISSN 0938-1279. (doi:10.1007/s00200-007-0034-0) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14592)

Rosen, R.B., Van Velthoven, M.E.J., Garcia, P.M.T., Cucu, R.G., De Smet, M.D., Muldoon, T.O., Podoleanu, Adrian G.H. (2007) Ultrahigh-resolution combined coronal optical coherence tomography confocal scanning ophthalmoscope (OCT/SLO): A pilot study. Spektrum der Augenheilkunde, 21 (1). pp. 17-28. ISSN 0930-4282. (doi:10.1007/s00717-007-0182-4) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:49744)

Akehurst, David H., Howells, Gareth, McDonald-Maier, Klaus D. (2006) Implementing Associations: UML 2.0 to Java 5. Journal of Software and Systems Modeling, 6 (1). pp. 3-35. ISSN 1619-1366. (doi:10.1007/s10270-006-0020-1) (KAR id:475)

Lee, Ellie J. (2006) Medicalizing Motherhood. Society, 43 (6). pp. 47-50. ISSN 0147-2011. (doi:10.1007/BF02698485) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:25244)

Cole, Diana J., Morgan, Byron J. T., Ridout, Martin S. (2005) Models for strawberry inflorescence data. Journal of Agricultural, Biological, and Environmental Statistics, 10 (4). pp. 411-423. ISSN 1085-7117. (doi:10.1198/108571105X80761) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:10500)

Morris, David L., Ridout, Martin S. (2005) Models for microbiological colony counts. Journal of Agricultural, Biological, and Environmental Statistics, 10 (2). pp. 158-169. ISSN 1085-7117. (doi:10.1198/108571105X46011) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:569)

Taylor-Harris, Pamela M., Keating, Lisa A., Maggs, Alison M., Phillips, Gareth W., Birks, Emma J., Franklin, Rodney C.G., Yacoub, Magdi H., Baines, Anthony J., Pinder, Jennifer C. (2005) Cardiac muscle cell cytoskeletal protein 4.1: analysis of transcripts and subcellular location-relevance to membrane integrity, microstructure, and possible role in heart failure. Mammalian Genome, 16 (3). pp. 137-51. ISSN 0938-8990. (doi:10.1007/s00335-004-2436-7) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:8619)

Gibson, Stuart J., Solomon, Christopher J., Pallares-Bejarano, Alvaro (2005) Nonlinear, near photo-realistic caricatures using a parametric facial appearance model. Behavior Research Methods, 37 (1). pp. 170-181. ISSN 1554-351X. (doi:10.3758/BF03206412) (KAR id:83411)

Bindemann, Markus, Burton, A. Mike, Hooge, Ignace T.C., Jenkins, Rob, De Haan, Edward H. F. (2005) Faces retain attention. Psychonomic Bulletin & Review, 12 (6). pp. 1048-1053. ISSN 1069-9384. (doi:10.3758/BF03206442) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:26196)

Gibson, Stuart J., Solomon, Christopher J., Pallares-Bejarano, Alvaro (2005) Non Linear, Near Photo-Realistic Caricatures using a Parametric Facial Appearance Model. Behavior Research Methods, 37 (1). pp. 170-181. ISSN 1554-351X. (doi:10.3758/BF03206412) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:461)

Catchpole, Edward A., Fan, Y., Morgan, Byron J. T., Coulson, Tim, Clutton-Brock, Tim H. (2004) Sexual dimorphism, survival and dispersal in red deer. Journal of Agricultural, Biological, and Environmental Statistics, 9 (1). pp. 1-26. ISSN 1085-7117. (doi:10.1198/1085711043172) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:675)

Guest, Richard, Donnelly, Nick, Fairhurst, Michael, Potter, Jonathan (2004) Using Image Analysis Techniques to Analyse Figure Copying Performance of Patients with Visuo-Spatial Neglect from Control Groups. Behavior Research Methods, Instruments, & Computers, 36 (2). pp. 347-354. ISSN 0743-3808. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:8706)

Easton, Alexander, Parker, K., Derrington, Andrew M., Parker, A. (2003) Behaviour of marmoset monkeys in a T-maze: comparison with rats and macaque monkeys on a spatial delayed non-match to sample task. Experimental Brain Research, 150 (1). pp. 114-116. ISSN 0014-4819. (doi:10.1007/s00221-003-1409-5) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:4245)

Akehurst, David H., Kent, Stuart, Patrascoiu, Octavian (2003) A Relational Approach to Defining and Implementing Transformations in Metamodels. Software and Systems Modeling, 2 (4). pp. 215-239. ISSN 1619-1366. (doi:10.1007/s10270-003-0032-z) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13871)

Rahman, Ahmad Fuad Rezaur, Fairhurst, Michael (2003) Multiple Classifier Decision Combination Strategies for Character Recognition: A Review. International Journal on Document Analysis and Recognition, 5 . pp. 166-194. (doi:10.1007/s10032-002-0090-8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:469)

Quilter, Claire R, Blott, Sarah C, Mileham, Alan J, Affara, Nabeel, Sargent, Carole A, Griffin, Darren K. (2002) A mapping and evolutionary study of porcine sex chromosome genes. Mammalian Genome, 13 . pp. 588-594. ISSN 0938-8990. E-ISSN 1432-1777. (doi:10.1007/s00335-002-3026-1) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:102)

Porta, Amalia, Wang, Z., Ramon, A., Mühlschlegel, Fritz A., Fonzi, W.A. (2001) Spontaneous Second-site Suppressors of the Filamentation Defect of prr1Delta Mutants Define a Critical Domain of Rim101p in Candida Albicans. Molecular Genetics and Genomics, 266 (4). pp. 624-631. ISSN 1617-4615. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:6197)

Benfield, Robert E., Grandjean, Didier, Dore, John C., Wu, Z, Kroll, Michael, Sawitowski, Thomas, Schmid, Gunter (2000) Structure of metal nanowires in nanoporous alumina membranes studied by EXAFS and X-ray diffraction. The European Physical Journal D - Atomic, Molecular, Optical and Plasma Physics, 16 (1). pp. 399-402. ISSN 1434-6060. (doi:10.1007/s100530170138) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13350)

Liu, Wenbin (2000) Finite element approximation of a nonlinear elliptic equation arising from bimaterial problems in elastic-plastic mechanics. Numerische Mathematik, 86 (3). pp. 491-506. ISSN 0029-599X. E-ISSN 0945-3245. (doi:10.1007/s002110000157) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:16326)

Donnelly, Nick, Guest, Richard, Fairhurst, Michael, Potter, Jonathan, Deighton, Anthony, Patel, Mahool (1999) Developing algorithms to enhance the sensitivity of cancellation tests of visuospatial neglect. Behavior Research Methods, Instruments, & Computers, 31 (4). pp. 668-673. ISSN 0743-3808. (doi:10.3758/BF03200743) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:17303)

Brown, Peter J. (1998) Triggering information by context. Personal Technologies, 2 (1). pp. 1-9. ISSN 0949-2054. (doi:10.1007/BF01581843) (KAR id:21602)

Bowman, Howard, Faconti, Giorgio, Katoen, J-P., Latella, D., Massink, M. (1998) Automatic Verification of a Lip Synchronisation Protocol using UPPAAL. Formal Aspects of Computing, 10 (5-6). pp. 550-575. ISSN 1433-299X. (doi:10.1007/s001650050032) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21620)

Bowman, Howard (1998) A LOTOS Based Tutorial on Formal Methods for Object Oriented Distributed Systems. New Generation Computing, 16 (4). pp. 343-372. ISSN 0288-3635. (doi:10.1007/BF03037429) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21621)

Diemunsch, P., Leeser, J., Feiss, P., Dhollander, A., Bradburn, B.G., Paxton, D., Whitmore, John, Panouillot, P., Nave, S., Brown, R.A., and others. Hahne, W.F. (hide) (1997) Intravenous dolasetron mesilate ameliorates postoperative nausea and vomiting. Canadian Journal of Anaesthesia, 44 (2). pp. 173-181. ISSN 0832-610X. (doi:10.1007/BF03013007) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:18398)

Barea, Jose Miguel, Jeffries, Peter (1995) Arbuscular mycorrhizas in sustainable plant-soil systems. Impact of Arbuscular Mycorrhizas on Sustainable Agriculture and Natural Ecosytems, . pp. 521-560. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:11704)

Liu, Wenbin, Rubio, J.E. (1993) Optimality conditions for strongly monotone variational inequalities. Applied Mathematics & Optimization, 27 (3). pp. 291-312. ISSN 0095-4616. (doi:10.1007/BF01314820) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:36858)

Czinkota, M., Ricks, D.A. (1983) The use of a multi-measurement approach in the determination of company export priorities. Journal of the Academy of Marketing Science, 11 (3). pp. 283-291. ISSN 0092-0703. (doi:10.1007/BF02725224) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:58262)

Book section

De Silva, Muthu and Uyarra, Elvira and Oakey, Ray (2015) Academic Entrepreneurship in a Resource Constrained Environment: Diversification and Synergistic Effects. In: Audretsch, David B. and Lehmann, Erik E. and Link, Albert N. and Starnecker, Alexander, eds. Technology Transfer in a Global Economy. International Studies in Entrepreneurship, 28 . Springer-Verlag, New York, pp. 73-97. ISBN 978-1-4899-9208-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:49170)

Otero, Fernando E.B. and Kampouridis, Michael (2014) A Comparative Study on the Use of Classification Algorithms in Financial Forecasting. In: Applications of Evolutionary Computation 17th European Conference. Lecture Notes in Computer Science . Springer-Verlag, Berlin, Germany, pp. 276-287. ISBN 978-3-662-45522-7. E-ISBN 978-3-662-45523-4. (doi:10.1007/978-3-662-45523-4_23) (KAR id:42142)

Brauer, Jorg and King, Andy (2011) Approximate Quantifier Elimination for Propositional Boolean Formulae. In: Bobaru, Mihaela and Havelund, Klaus and Holzmann, Gerard and Joshi, Rajeev, eds. NASA Formal Methods. Lecture Notes in Computer Science, 6617 . Springer-Verlag, pp. 182-196. ISBN 978-3-642-20397-8. (KAR id:30763)

Brauer, Jorg and King, Andy (2011) Transfer Function Synthesis without Quantifier Elimination. In: Barthe, Gilles, ed. European Symposium on Programming. Lecture Notes in Computer Science, 6602 . Springer-Verlag, pp. 182-196. ISBN 978-3-642-19717-8. (KAR id:30765)

Brauer, Jorg and King, Andy (2010) Automatic Abstraction for Intervals using Boolean Formulae. In: Cousot, Radhia and Martel, Matthieu, eds. Static Analysis Symposium. Lecture Notes in Computer Science, 6337 . Springer-Verlag, pp. 182-196. ISBN 978-3-642-15768-4. (KAR id:30633)

Howe, Jacob M. and King, Andy (2010) A Pearl on SAT Solving in Prolog. In: Blume, Matthias and Vidal, German, eds. Functional and Logic Programming. Lecture Notes in Computer Science . Springer-Verlag, pp. 182-196. ISBN 978-3-642-12250-7. (doi:10.1007/978-3-642-12251-4_13) (KAR id:30674)

King, Andy and Sondergaard, Harald (2010) Automatic Abstraction for Congruences. In: Barthe, Gilles and Hermenegildo, Manuel V., eds. Verification, Model Checking, and Abstract Interpretation. Lecture Notes in Computer Science (5944). Springer-Verlag, pp. 182-196. ISBN 978-3-642-11318-5. (KAR id:30704)

Deravi, Farzin (2009) Agent-Based Biometric Systems. In: Li, Stan Z. and Jain, Anil K., eds. Encyclopedia of Biometrics. Springer-Verlag, NewYork. ISBN 978-0-387-73002-8 (Book), 978-0-387-73003-5 (online e-reference). (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:23308)

Stevens, Alex (2009) Trends in youth offending in Europe. In: Junger-Tas, J. and Dunkel, Frieder, eds. Reforming Juvenile Justice. Springer-Verlag, New York, pp. 1-18. ISBN 978-0-387-89294-8. (doi:10.1007/978-0-387-89295-5_1) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:38846)

Chadwick, David W. (2009) Federated Identity Management. In: Aldini, Alessandro and Barthe, Gilles and Gorrieri, Roberto, eds. FOSAD 2008/2009. LNCS (5705). Springer-Verlag, Berlin, pp. 182-196. ISBN 978-3-642-03828-0. (doi:10.1007/978-3-642-03829-7_3) (KAR id:30609)

Romanov, Michael N and Sazanov, Alexei A and Moiseyeva, Irina G and Smirnov, Alexandr F (2009) Poultry. In: Kole, Chittaranjan and Cockett, Noelle E, eds. Genome Mapping and Genomics in Domestic Animals. Genome Mapping and Genomics in Animals, 3 . Springer-Verlag, Berlin–Heidelberg–New York, pp. 75-141. ISBN 978-3-540-73834-3. (doi:10.1007/978-3-540-73835-0_5) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:37663)

Nurse, Jason R. C. and Sinclair, Jane E. (2009) Supporting the Comparison of Business-Level Security Requirements within Cross-Enterprise Service Development. In: Business Information Systems. Lecture Notes in Business Information Processing, 21 . Springer-Verlag. (doi:10.1007/978-3-642-01190-0_6) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:67542)

Peirson, John D. and Vickerman, Roger W. (2008) The London Congestion Charging Scheme: The Evidence. In: Jensen-Butler, C. and Sloth, Brigitte and Larsen, Morten M. and Madsen, B. and Nielsen, O.A., eds. Road Pricing, the Economy and the Environment. Advances in Spatial Science . Springer-Verlag, Berlin, pp. 79-91. ISBN 978-3-540-77149-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:5554)

Calogero, Rachel M. and Pedrotty, Kelly N. (2007) Daily practices for mindful exercise. In: L'Abate, Luciano, ed. Low-cost Approaches to Promote Physical and Mental Health: Theory, Research and Practice. Springer-Verlag, United States, pp. 141-160. ISBN 978-0-387-36898-6. (KAR id:4157)

de Lemos, Rogerio (2007) Architectural fault tolerance using exception handling. In: Architecting dependable systems IV. Springer-Verlag, Berlin, Heidelberg, pp. 142-162. (doi:10.1007/978-3-540-74035-3_7) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:42975)

Newton-Fisher, Nicholas E. (2007) Chimpanzee hunting behavior. In: Henke, Winfried and Tattersall, Ian, eds. Handbook of Paleoanthropology. Springer-Verlag, New York, pp. 1295-1320. ISBN 978-3-540-32474-4. (KAR id:27815)

Vickerman, Roger W. (2007) Transport, globalization and the changing concept of the region. In: Cooper, Russel and Donaghy, Kieran and Hewings, Geoffrey, eds. Globalization and Regional Economic Modeling. Advances in Spatial Science . Springer-Verlag, pp. 35-43. ISBN 978-3-540-72443-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:5559)

Clarkson, Peter (2006) Painleve equations - nonlinear special functions. In: Marcellan, Francisco and van Asschel, Walter, eds. Orthogonal Polynomials and Special Functions: Computation and Application. Lecture Notes in Mathematics, 1883 . Springer-Verlag, Berlin/ Heidelberg, pp. 331-411. ISBN 978-3-540-31062-4. (doi:10.1007/978-3-540-36716-1_7) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:694)

Brown, Gavin D. (2006) Graded Rings and Special K3 Surfaces. In: Bosma, W. and Cannon, J.J, eds. Discovering Mathematics with Magma: Reducing the Abstract to the Concrete. Algorithms and Computation in Mathematics, 19 . Springer-Verlag, pp. 137-159. ISBN 978-3-540-37632-3. (doi:10.1007/978-3-540-37634-7_6) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:10614)

Aagedal, Jan Øyvind and Bezivin, Jean and Linington, Peter F. (2005) Model-Driven Development. In: Malenfant, Jacques and Ostvold, Bjarte M., eds. ECOOP 2004 Workshop Reader. LNCS, 3344 . Springer-Verlag, pp. 148-157. ISBN 3-540-23988-X. (doi:10.1007/b104146) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14367)

Fairhurst, Michael and Guest, Richard and Vielhauer, Claus (2005) Towards a Flexible Framework for Open Source Software for Handwritten Signature Analysis. In: Spiliopoulou, Myra and Kruse, Rudolf and Borgelt, Christian and Nuernberger, Andreas and Gaul, Wolfgang, eds. Studies in Classification, Data Analysis, and Knowledge Organization. Springer-Verlag, pp. 622-629. ISBN 3-540-31313-3. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:8998)

Freitas, Alex A. (2003) A survey of evolutionary algorithms for data mining and knowledge discovery. In: Ghosh, Ashish and Tsutsui, Shigeyoshi, eds. Advances in Evolutionary Computation. Natural Computing Series . Springer-Verlag, Berli, pp. 819-845. ISBN 978-3-540-43330-9. (doi:10.1007/978-3-642-18965-4_33) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13755)

Freitas, Alex A. (2002) A Review of Evolutionary Algorithms for E-Commerce. In: Segovia, J. and Szczepaniak, PS and Niedzwiedzinski, M., eds. E-Commerce and Intelligent Methods. Studies in Fuzziness and Soft Computing. Studies in Fuzziness and Soft Computing, 105 (105). Springer-Verlag, Heidelberg, Berlin, pp. 159-179. ISBN 3-7908-1499-7. (doi:10.1007/978-3-7908-1779-9_10) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13683)

Arts, Thomas and Earle, Clara Benac and Derrick, John (2002) Verifying Erlang code: a resource locker case-study. In: Eriksson, Lars-Henrik and Lindsay, Peter A., eds. UNSPECIFIED LNCS, 2391 . Springer-Verlag, pp. 184-203. ISBN 3-540-43928-5. (doi:10.1007/3-540-45614-7_11) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13764)

Howe, Jacob M. and King, Andy (2001) Positive Boolean Functions as Multiheaded Clauses. In: Codognet, Philippe, ed. International Conference on Logic Programming. Lecture Notes in Computer Science, 2237 . Springer-Verlag, London, pp. 120-134. ISBN 3-540-42935-2. (doi:10.1007/3-540-45635-X_16) (KAR id:13522)

Jeffries, Peter and Barea, Jose Miguel (2000) Arbuscular Mycorrhiza – a key component of sustainable plant-soil ecosystems. In: Hock, B., ed. The Mycota, Fungal Associations. Mycota Series, IX . Springer-Verlag, Berlin, pp. 95-113. ISBN 3-540-62872-X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:11710)

Howe, Jacob M. and King, Andy (1999) Specialising Finite Domain Programs using Polyhedra. In: Bossi, Annalisa, ed. Lecture Notes In Computer Science. Lecture Notes in Computer Science, 1817 . Springer-Verlag, pp. 118-135. ISBN 978-3-540-67628-7. (KAR id:22049)

Cook, Steve J. (1999) Architectural Standards, Processes and Patterns for Enterprise Systems. In: Barroca, Leonor and Hall, Jon and Hall, Patrick A.V., eds. Software Architectures - Advances and Applications. Springer-Verlag. (doi:10.1007/978-1-4471-0367-7_10) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21720)

Jeffries, Peter (1999) Scleroderma. In: Cairney, John W.G. and Chambers, Susan M., eds. Fungi: Key genera in profile. Springer-Verlag, pp. 187-200. ISBN 978-3-540-65609-8. (doi:10.1007/978-3-662-06827-4_7) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:11707)

Heaton, Andrew and Hill, Pat and King, Andy (1998) Analysis of Logic Programs with Delay. In: Fuchs, Norbert, ed. Logic Program Synthesis and Transformation. Lecture Notes in Computer Science, 1463 . Springer-Verlag, pp. 148-167. ISBN 978-3-540-65074-4. (doi:10.1007/3-540-49674-2_8) (KAR id:21640)

Petre, Marian and Fincher, Sally (1998) Using Other People's Experience of Project Work: Realising Fitness for Purpose. In: Holcombe, M. and Stratton, A. and Fincher, Sally and Griffiths, G., eds. Projects in the Computing Curriculum. Springer-Verlag, pp. 19-30. ISBN 1-85233-010-4. (doi:10.1007/978-1-4471-1261-7_2) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21627)

Welch, Peter H. (1998) Parallel and Distributed Computing in Education (Invited Talk). In: Palma, J.M.L.M. and Dongarra, Jack J. and Hernandez, V., eds. Vector and Parallel Processing – VECPAR’98 Third International Conference. Lecture Notes in Computer Science . Springer-Verlag, Berlin, Germany, pp. 301-330. ISBN 978-3-540-66228-0. E-ISBN 978-3-540-48516-2. (doi:10.1007/10703040_24) (KAR id:21644)

Jeffries, Peter (1997) Mycoparasitism. In: Wicklow, Donald T. and Soderstrom, Bengt E. S., eds. The Mycota. Environmental & Microbial Relationships. Springer-Verlag, USA, pp. 149-164. ISBN 978-3-540-58005-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:11705)

Hatton, Leslie (1997) Unexpected (and sometimes unpleasant) lessons from data in real software systems. In: Proceedings of 12th annual CSR workshop, Bruges,. Springer-Verlag. (doi:10.1007/978-1-4471-0921-1_12) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21540)

Martin, Jon and King, Andy (1996) Typed Norms for Typed Logic Programs. In: Gallagher, John, ed. Logic Program Synthesis and Transformation. Lecture Notes in Computer Science, 1207 . Springer-Verlag, pp. 224-238. ISBN 3-540-62718-9. (doi:10.1007/3-540-62718-9_13) (KAR id:21467)

Kerr, Norbert L. and Harris, Susan E. (1996) Why Do Cooperators Cooperate?: Efficacy as a Moderator of Social Motive Effects. In: Liebrand, W. and Messick, D., eds. Frontiers in Social Dilemmas Research. Springer-Verlag, New York, pp. 101-115. (doi:10.1007/978-3-642-85261-9_6) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:42433)

Patel, Mukesh J. and Taylor, Chris and du Boulay, Benedict (1994) Textual Tree (Prolog) Tracer: An Experimental Evaluation. In: Gilmore, D. and Winder, R. and Detienne, F., eds. User-Centred Requirements for Software Engineering Environments. NATO ASI Series (Series F: Computer and Systems Sciences), 123 . Springer-Verlag, Berlin, pp. 127-141. (doi:10.1007/978-3-662-03035-6_11) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21192)

Meira, SRL and Cavalcanti, Ana L. C. (1992) MooZ Case Studies. In: Barden, Rosalind and Stepney, Susan and Cooper, David, eds. Object Orientation in Z, Workshops in Computing. Springer-Verlag, pp. 37-58. (doi:10.1007/978-1-4471-3552-4_5) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21017)

King, Andy and Soper, Paul (1991) Reducing Scheduling Overheads for Concurrent Logic Programs. In: Boley, Harold and Richter, Michael, eds. Processing Declarative Knowledge. Lecture Notes in Artificial Intelligence (567). Springer-Verlag, pp. 279-286. ISBN 3-540-55033-X. (KAR id:20996)

Gyorffy, Balazs L. and Staunton, Julie and Ebert, H. and Strange, Paul and Ginatempo, Benjamino (1991) Relativistic Density Functional Theory for Electrons in Solids. In: The Effects of Relativity in Atoms, Molecules, and the Solid State. Springer-Verlag, pp. 255-273. ISBN 978-1-4613-6646-1. E-ISBN 978-1-4615-3702-1. (doi:10.1007/978-1-4615-3702-1_17) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:50371)

Ebert, H. and Drittler, B. and Strange, Paul and Zeller, R. and Gyorffy, Balazs L. (1991) Theory of Magnetic X-Ray Dichroism. In: The Effects of Relativity in Atoms, Molecules, and the Solid State. Springer-Verlag, pp. 333-348. ISBN 978-1-4613-6646-1. E-ISBN 978-1-4615-3702-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:50373)

Staunton, Julie and Strange, Paul and Gyorffy, Balazs L. and Matsumoto, M and Poulter, J and Archibald, N (1991) Theory of Magnetocrystalline Anisotropy. In: The Effects of Relativity in Atoms, Molecules, and the Solid State. Springer-Verlag, pp. 295-317. ISBN 978-1-4613-6646-1. E-ISBN 978-1-4615-3702-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:50372)

Hewson, A. C. and Newns, D. M. and Rasul, J. W. and Desgranges, H. U. and Read, N. and Strange, Paul (1985) Models for Intermediate Valence Systems and Kondo Lattices — Applications to Cerium and Ytterbium Compounds. In: Theory of Heavy Fermions and Valence Fluctuations. Springer Series in Solid State Sciences . Springer-Verlag, Tokyo, pp. 134-153. ISBN 978-3-642-82620-7. E-ISBN 978-3-642-82618-4. (doi:10.1007/978-3-642-82618-4_10) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:50370)

Brown, Gavin D. Datagraphs in Algebraic Geometry and K3 Surfaces. In: Winkler, F. and Langer, Ulrich, eds. Symbolic and Numerical Scientific Computation. Springer-Verlag, pp. 210-224. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:10616)

Conference or workshop item

Chen, S.-H., Kampouridis, Michael, Tsang, E. (2011) Microstructure Dynamics and Agent-Based Financial Markets. In: Multi-Agent-Based Simulation XI, 11th International Workshop, Revised Papers, LNAI. (doi:10.1007/978-3-642-18345-4_9) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:42181)

Su, Li, Barnard, Philip, Bowman, Howard (2010) On the Fringe of Awareness: The Glance-Look Model of Attention-Emotion Interactions. In: UNSPECIFIED. (doi:10.1007/978-3-642-15825-4_69) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30657)

Brito, Patrick H. S., de Lemos, Rogério, Martins, Eliane, Rubira, Cecilia M. F. (2007) Architecture-centric Fault Tolerance with Exception Handling. In: Proceedings of the Third Latin-American Conference on Dependable Computing. (doi:10.1007/978-3-540-75294-3_7) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:42971)

Smaldon, James, Freitas, Alex A. (2006) Improving the interpretability of classification rules in sparse bioinformatics datasets. In: Bramer, Max and Coenen, Frans and Tuson, Andrew, eds. Research and Development in Intelligent Systems XXIII - Proc. AI-2006. Research and Development Series (23). pp. 377-381. Springer-Verlag, New York ISBN 1-84628-662-X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14384)

Akehurst, David H., Boardbar, Behzad, Evans, Michael J., Howells, Gareth, McDonald-Maier, Klaus D. (2006) SiTra: Simple Transformations in Java. In: Model Driven Engineering Languages and Systems. Lecture Notes in Computer Science , 4199. pp. 351-364. Springer-Verlag ISBN 978-3-540-45772-5. (doi:10.1007/11880240_25) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:9991)

Duan, Jianjun, Hurd, Joe, Li, Guodong, Owens, Scott, Slind, Konrad, Zhang, Junxing (2005) Functional Correctness Proofs of Encryption Algorithms. In: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005. (doi:10.1007/11591191_36) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:31917)

Mutton, Paul, Rodgers, Peter, Flower, Jean (2004) Drawing Graphs in Euler Diagrams. In: Blackwell, Alan and Marriott, Kim and Shimojima, Atsushi, eds. Diagrams 2004. LNAI 2980 , Volume. pp. 66-81. Springer-Verlag ISBN 3-540-21268-X. (doi:10.1007/978-3-540-25931-2_9) (KAR id:14206)

Pappa, Gisele L., Freitas, Alex A., Kaestner, Celso A.A. (2002) Attribute Selection with a Multiobjective Genetic Algorithm. In: Bittencourt, Guilherme and Ramalho, Geber L., eds. Proc. 16th Brazilian Symp. on Artificial Intelligence (SBIA-2002). Lecture Notes in Artificial Intelligence 2507 , 1. pp. 280-290. Springer-Verlag, Berlin ISBN 3-540-00124-7. (doi:10.1007/3-540-36127-8_27) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13699)

Capcarrere, Mathieu S. (2002) Evolution of Asynchronous Cellular Automata. In: Merelo, Juan Julian, ed. Parallel Problem Solving from Nature. Lecture Notes in Computer Science , 1. pp. 903-912. Springer-Verlag, Berlin ISBN 3-540-44139-5. (doi:10.1007/3-540-45712-7_87) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13731)

Sampaio, Augusto C.A., Woodcock, Jim, Cavalcanti, Ana L. C. (2002) Refinement in Circus. In: Eriksson, Lars-Henrik and Lindsay, Peter A., eds. FME 2002: Formal Methods - Getting IT Right. Lecture Notes in Computer Science , 1. pp. 451-470. Springer-Verlag, Berlin ISBN 978-3-540-43928-8. (doi:10.1007/3-540-45614-7_26) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13675)

Cavalcanti, Ana L. C., Naumann, David A. (2002) Forward Simulation for Data Refinement of Classes. In: Eriksson, Lars-Henrik and Lindsay, Peter A., eds. FME 2002: Formal Methods - Getting IT Right. Lecture Notes in Computer Science , 1. pp. 471-490. Springer-Verlag, Berlin ISBN 978-3-540-43928-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13676)

Woodcock, Jim, Cavalcanti, Ana L. C. (2002) The Semantics of Circus. In: ZB 2002: Formal Specification and Development in Z and B. Lecture Notes in Computer Science , 1. pp. 184-203. Springer-Verlag, Berlin ISBN 978-3-540-43166-4. (doi:10.1007/3-540-45648-1_10) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13667)

Clark, Anthony, Evans, Andy, Kent, Stuart (2001) The Meta-Modeling Language Calculus: Foundation Semantics for UML. In: Proceedings of ETAPS FASE Conference. . Springer-Verlag (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13506)

Abdullah, Sophiana Chua, Cooley, Roger (2000) The Use of Constraint Logic Programming in the Development of Adaptive Tests (Poster). In: Van Lehn, Kurt and Frasson, Claude and Gauthier, Gilles, eds. Lecture Notes in Computer Science 1839, Proceedings of the Fifth International Conference on Intelligent Tutoring Systems, ITS 2000, Montréal, Canada. . Springer-Verlag ISBN 3-540-67655-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:22016)

Rodgers, Peter, Vidal, Natalia (2000) A Demonstration of the Grrr Graph Rewriting Programming Language. In: Proceedings of Agtive99: Applications of Graph Transformations with Industrial Relevance. Lecture Notes In Computer Science (LNCS) , 1779. pp. 473-480. Springer-Verlag (doi:10.1007/3-540-45104-8_40) (KAR id:21884)

Fabris, Carem C., Freitas, Alex A. (2000) Discovering surprising patterns by detecting occurrences of Simpson's paradox. In: Bramer, Max and Macintosh, Ann and Coenen, Frans, eds. Research and Development in Intelligent Systems XVI. B C S Conference Series . pp. 148-160. Springer-Verlag, Berlin ISBN 1-85233-231-X. (doi:10.1007/978-1-4471-0745-3_10) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21712)

Rodgers, Peter, Vidal, Natalia (2000) Graph Algorithm Animation with Grrr. In: Agtive99: Applications of Graph Transformations with Industrial Relevance. Lecture Notes in Computer Science , 1779. pp. 379-394. Springer-Verlag (doi:10.1007/3-540-45104-8_30) (KAR id:21906)

Cavalcanti, Ana L. C., Naumann, David A. (1999) A Weakest Precondition Semantics for an Object-oriented Language of Refinement. In: FM'99: World Congress on Formal Methods in the Development of Computing Systems, Sep 20-24, 1999, Toulouse, France. (doi:10.1007/3-540-48118-4_26) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21701)

Thompson, Simon (1997) em Where do I begin? A problem solving approach to teaching functional programming. In: Apt, Krzysztof and Hartel, Pieter H. and Klint, Paul, eds. First International Conference on Declarative Programming Languages in Education. . Springer-Verlag (KAR id:21459)

+1 more...

de Lemos, Rogério, Hall, Jon G. (1996) Extended RTL in the Specification and Verification of an Industrial Press. In: Alur, Rajeev and Henzinger, Y.A. and Sontag, E., eds. Hybrid Systems III. Lecture Notes in Computer Science 1066 . pp. 114-125. Springer-Verlag, Berlin, Germany (doi:10.1007/bfb0020939) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21314)

Freitas, Alex A., Lavington, Simon H. (1996) Speeding up knowledge discovery in large relational databases by means of a new discretization algorithm. In: Morrison, Ron and Kennedy, Jessie, eds. Advances in Databases (Proc 14th British Nat Conf on Databases, Edinburgh, UK. Lecture Notes in Computer Science (1094). pp. 124-133. Springer-Verlag, Berlin (doi:10.1007/3-540-61442-7_8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21307)

Derrick, John, Bowman, Howard, Steen, Maarten (1995) Viewpoints and Objects. In: UNSPECIFIED. (KAR id:21245)

Hatton, Leslie (1995) Computer Programming Languages and Safety-Related Systems. In: Redmill, F. and Anderson, Tom, eds. Proceedings of 3rd Safety-Critical Systems Symposium. . Springer-Verlag (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21295)

Polack, Fiona A.C., Mander, Keith C. (1994) Software Quality Assurance using the SAZ Method. In: Proceedings of Z User Meeting. . pp. 230-249. Springer-Verlag (doi:10.1007/978-1-4471-3452-7_13) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21191)

Hanna, Keith (1994) Reasoning about Real Digital Circuits. In: Proc Higher Order Logic Theorem Proving and its Applications. . Springer-Verlag (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21150)

Hanna, Keith, Daeche, Neil (1993) Strongly-Typed Theory of Structures and Behaviours. In: Correct Hardware Design and Verification Methods. . pp. 39-54. Springer-Verlag (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21085)

Meira, Silvio Lemos, Cavalcanti, Ana L. C. (1990) Modular Object-Oriented Z Specifications. In: Nicholls, JE, ed. Z User Workshop. . pp. 173-192. Springer-Verlag, Oxford, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20961)

Welch, Peter H. (1987) Emulating Digital Logic using Transputer Networks (Very High Level Parallelism = Simplicity = Performance). In: Proceedings of the Parallel Architectures and Languages Europe International Conference. Springer-Verlag Lecture Notes in Computer Science , 258. pp. 357-373. Springer-Verlag, Eindhoven, Netherlands (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20929)

Blake, Edwin, Cook, Steve J. (1987) On Including Part Hierarchies in Object-oriented Languages, with an Implementation in Smalltalk. In: Proceedings of ECOOP'87, European Conference on Object-oriented Programming. LNCS 276 . Springer-Verlag, Paris (doi:10.1007/3-540-47891-4_5) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20930)

Book

Fincher, Sally, Markopoulos, Panos, Moore, David, Ruddle, Roy (2004) People and Computers XVIII: Design for Life. Springer-Verlag, 382 pp. ISBN 1-85233-900-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14092)

Timmis, Jon, Bentley, Peter J., Hart, Emma (2003) Proceedings of the 2nd International Conference on Artificial Immune Systems. Lecture Notes in Computer Science (2787). Springer-Verlag, Berlin. ISBN 3-540-40766-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13902)

de Castro, Leandro N., Timmis, Jon (2002) Artificial Immune Systems: A New Computational Approach. Springer-Verlag, London. UK., 357 pp. ISBN 1-85233-594-7. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13726)

Fincher, Sally, Petre, Marian, Clark, Martyn (2001) Computer Science Project Work: Principles and Pragmatics. Springer-Verlag, 267 pp. ISBN 978-1-85233-357-7. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13643)

Holcombe, M., Stratton, A., Fincher, Sally, Griffiths, G. (1998) Projects in the Computing Curriculum. Springer-Verlag, 248 pp. ISBN 1-85233-010-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21628)

Goldsack, Stephen J., Kent, Stuart (1996) Formal Methods and Object Technology. FACIT Series . Springer-Verlag, 368 pp. ISBN 978-3-540-19977-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21416)

Edited book

Chadwick, David W. and de Decker, Bart, eds. (2012) Communications and Multimedia Security: Proceedings of the 13th IFIP TC 6/TC 11 international conference on Communications and Multimedia Security. Springer-Verlag ISBN 3-642-32804-0. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:43202)

Scholz, Sven-Bodo and Chitil, Olaf, eds. (2011) Implementation and Application of Functional Languages: 20th International Symposium, IFL 2008; Hatfield, UK, September 2008; Revised Selected Papers. LNCS 5836 . Springer-Verlag, 291 pp. ISBN 978-3-642-24451-3. E-ISBN 978-3-642-24452-0. (doi:10.1007/978-3-642-24452-0) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30726)

Chitil, Olaf and Horváth, Zoltán and Zsòk, Viktòria, eds. (2008) Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers. LNCS 5083 . Springer-Verlag, Berlin, Heidelberg ISBN 978-3-540-85372-5. E-ISBN 978-3-540-85373-2. (doi:10.1007/978-3-540-85373-2) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:24056)

King, Andy, ed. (2008) Logic-Based Program Synthesis and Transformation. Lecture Notes in Computer Science (4915). Springer-Verlag, 219 pp. ISBN 978-3-540-78768-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:23965)

de Lemos, Rogério and Gacek, Cristina and Romanovsky, Alexander, eds. (2003) Architecting Dependable Systems. Springer-Verlag, Berlin, Heidelberg (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:42981)