Browse by Publisher

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)

de Balthasar, Thibault, Hernandez-Castro, Julio C. (2017) An Analysis of Bitcoin Laundry Services. In: Lecture Notes in Computer Science. . pp. 297-312. Springer-Verlag Berlin ISBN 978-3-319-70289-6. E-ISBN 978-3-319-70290-2. (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: Lecture Notes in Computer Science. 9th International Conference on Diagrammatic Representation and Reasoning (Diagrams 2016). 9781. pp. 283-285. 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: Lecture Notes in Computer Science. 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. 9032. pp. 283-307. 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)

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)

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)

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 , 7796. pp. 226-246. 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 , 6173. pp. 412-426. 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)

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)

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. Lecture Notes in Computer Science. 3482 (III). pp. 556-562. 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. Lecture Notes in Computer Science. Implementation of Functional Languages: 14th International Workshop, IFL 2002. LNCS 2670 . pp. 165-181. 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: Langtangen, Hans Petter and Bruaset, Are Magnus and Quak, Ewald, eds. Advances In Software Tools For Scientific Computing. 10. pp. 225-237. Springer-Verlag Berlin ISBN 3-540-66557-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: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: Taylor, Chris and Colchester, Alan C. F., eds. Medical Image Computing and Computer-Assisted Intervention, MICCAI'99, Proceedings. Lecture Notes in Computer Science , 1679. pp. 11-21. Springer-Verlag Berlin ISBN 3-540-66503-X. (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)

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)

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)