Browse by Publisher

Article

Tarí, Juan José, Heras?Saizarbitoria, Iñaki, Dick, Gavin P.M. (2013) Internal and external drivers for quality certification in the service industry: Do they have different impacts on success? Service Business, 8 (2). pp. 337-354. ISSN 1862-8516. E-ISSN 1862-8508. (doi:10.1007/s11628-013-0198-6) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:35516)

Conference proceeding

de Balthasar, Thibault, Hernandez-Castro, Julio C. (2017) An Analysis of Bitcoin Laundry Services. In: NordSec2017 - Nordic Conference on Secure IT Systems, 8-10 Nov 2017, Tartu, Estonia. (doi:10.1007/978-3-319-70290-2_18) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:64334)

Tranquille, Dominique, Stapleton, Gem, Burton, Jim, Rodgers, Peter (2016) Evaluating the Effects of Colour in LineSets. In: 9th International Conference on Diagrammatic Representation and Reasoning (Diagrams 2016). Springer-Verlag Berlin ISBN 978-3-319-42332-6. E-ISBN 978-3-319-42333-3. (doi:10.1007/978-3-319-42333-3_24) (KAR id:56870)

Batty, Mark, Memarian, Kayvan, Nienhuis, Kyndylan, Pichon-Pharabod, Jean, Sewell, Peter (2015) The Problem of Programming Language Concurrency Semantics. In: 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Springer-Verlag Berlin, Heidleberg, Germany ISBN 978-3-662-46668-1. (doi:10.1007/978-3-662-46669-8_12) (KAR id:50271)

Cheval, Vincent, Delaune, Stéphanie, Ryan, Mark (2014) Tests for Establishing Security Properties. In: 9th International Symposium on Trustworthy Global Computing (TGC'14), September 2014, Roma, Italy. (doi:10.1007/978-3-662-45917-1_6) (KAR id:46879)

Cheval, Vincent (2014) APTE: An Algorithm for Proving Trace Equivalence. In: 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'14), Avril 2014, Grenoble, France. (doi:10.1007/978-3-642-54862-8_50) (KAR id:46724)

Cheval, Vincent, Cortier, Véronique, Plet, Antoine (2013) Lengths May Break Privacy – Or How to Check for Equivalences with Length. In: 25th International Conference on Computer Aided Verification (CAV'13), July 2013, St Petersburg, Russia. (doi:10.1007/978-3-642-39799-8_50) (KAR id:46726)

Cheval, Vincent, Blanchet, Bruno (2013) Proving More Observational Equivalences with ProVerif. In: Basin, David and Mitchell, John C., eds. Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Lecture Notes in Computer Science Springer-Verlag Berlin, Roma, Italy ISBN 978-3-642-36829-5. E-ISBN 978-3-642-36830-1. (doi:10.1007/978-3-642-36830-1_12) (KAR id:46727)

Cheval, Vincent, Comon-Lundh, Hubert, Delaune, Stéphanie (2010) Automating Security Analysis: Symbolic Equivalence of Constraint Systems. In: Giesl, Jürgen and Hähnle, Reiner, eds. Proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR'10). Lecture Notes in Computer Science Springer-Verlag Berlin, Edinburgh, Scotland, UK ISBN 978-3-642-14202-4. E-ISBN 978-3-642-14203-1. (doi:10.1007/978-3-642-14203-1_35) (KAR id:46730)

Podoleanu, Adrian G.H., Toma, C., Morarescu, C., Toma, A., Toma, T. (2005) Specific aspects of training IT students for modeling pulses in physics. In: Lecture Notes in Computer Science. Springer-Verlag Berlin (doi:10.1007/11424857_59) (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:49767)

Chitil, Olaf, Runciman, Colin, Wallace, Malcolm (2003) Transforming Haskell for Tracing. In: Ricardo, Peña and Thomas, Arts, eds. Implementation of Functional Languages: 14th International Workshop, IFL 2002. LNCS 2670 Springer-Verlag Berlin, Berlin ISBN 978-3-540-40190-2. E-ISBN 978-3-540-44854-9. (doi:10.1007/3-540-44854-3_11) (KAR id:58270)

Nitsos, Kallikratidas, Dagiuklas, Tasos, Al-Raweshidy, Hamed S. (2000) High Speed Wireless Internet Access: Combination of MPLS and BRAN HIPERLAN/2 technologies. In: IFIP-TC6/European Commission International Conference, May 14-19, 2000, Paris, France. (doi:10.1007/3-540-45551-5_42) (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:16456)

Barnes, David J., Hopkins, Tim (2000) The evolution and testing of a medium sized numerical package. In: International Workshop on Modern Software Tools for Scientific Computing (SciTools 98), Oslo, Norway. (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:16087)

van Leemput, Koen, Maes, Frederik, Bello, Fernando, Vandermeulen, Dirk, Colchester, Alan C. F., Suetens, Paul (1999) Automated segmentation of MS lesions from multi-channel MR images. In: 2nd International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI 99), Sep 19-22, 1999, Cambridge, England. (doi:10.1007/10704282_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:16705)

Book

Bello, Fernando, Colchester, Alan C. F. (1998) Measuring global and local spatial correspondence using information theory. Springer-Verlag Berlin ISBN 3-540-65136-5. (doi:10.1007/bfb0056285) (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:17584)

Book section

Thompson, Simon and Lamela Seijas, Pablo (2018) Marlowe: Financial Contracts on Blockchain. In: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice. Lecture Notes in Computer Science . Springer-Verlag Berlin, Switzerland. ISBN 978-3-030-03427-6. (doi:10.1007/978-3-030-03427-6_27) (KAR id:69846)

Tribe, J and Whittow, W.G. and Batchelor, John C. (2014) Aesthetically Enhanced RFID Inkjet Antenna Logos on Skin (AERIALS)Third International Conference, DUXU 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part III. In: Design, User Experience, and Usability. User Experience Design for Everyday Life Applications and Services Third International Conference. Lecture Notes in Computer Science . Springer-Verlag Berlin, pp. 719-730. ISBN 978-3-319-07634-8. E-ISBN 978-3-319-07635-5. (doi:10.1007/978-3-319-07635-5_68) (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:41987)

Fischer, Michael D. (2006) Cultural agents: A community of minds. In: Dikenelli, Oguz and Gleizes, Marie-Pierre and Ricci, Alessandro, eds. Engineering Societies in the Agents World Vi. Lecture Notes in Computer Science, 1 . Springer-Verlag Berlin, Berlin, pp. 259-274. ISBN 3-540-34451-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:8545)

Derrick, John and Boiten, Eerke Albert (1999) Non-atomic refinement in Z. In: Wing, Jeannetter M. and Woodchck, Jim and Davies, Jim, eds. FM’99 — Formal Methods World Congress on Formal Methods in the Development of Computing Systems. Lecture Notes In Computer Science, 2 . Springer-Verlag Berlin, Berlin, Germany, pp. 1477-1496. ISBN 978-3-540-66588-5. E-ISBN 978-3-540-48118-8. (doi:10.1007/3-540-48118-4_28) (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:17280)