Number of items: 19.
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)
|
|
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)
|
|
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)
|
|
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)
|
|
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)
|
|
This list was generated on Sun Sep 1 01:54:18 2024 BST.