Browse by Journal

A

Adams, Ray G., Comley, Richard A. ORCID: https://orcid.org/0000-0003-0265-1010 and Ghoreyshi, Mahbobeh (2009) The potential of the BCI for accessible and smart e-learning. Lecture Notes in Computer Science, 5615 . pp. 467-476. ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-02710-9_51)

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Clark, David, Harman, Mark, Li, Zheng and Tratt, Laurence (2009) Control dependence for extended finite state machines. Lecture Notes in Computer Science, 5503 . pp. 216-230. ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-00593-0_15)

Attfield, Simon ORCID: https://orcid.org/0000-0001-9374-2481 and Blandford, Ann (2009) Improving the cost structure of sensemaking: analysing user concepts to inform information systems design. Lecture Notes in Computer Science, 5726 . ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-03655-2_60)

Attfield, Simon ORCID: https://orcid.org/0000-0001-9374-2481, Makri, Stephann, Kalbach, James, Blandford, Ann, De Gabrielle, Stephen and Edwards, Mark (2008) Prioritisation, resources and search terms: a study of decision-making at the virtual reference desk. Lecture Notes in Computer Science (5173) . ISSN 0302-9743 [Article] (doi:10.1007/978-3-540-87599-4_12)

B

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 and Clark, Tony (2010) A domain specific language for contextual design. Lecture Notes in Computer Science, 6409 . pp. 46-61. ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-16488-0_5)

Belavkin, Roman V. ORCID: https://orcid.org/0000-0002-2356-1447 (2013) Law of Cosines and Shannon-Pythagorean theorem for quantum information. In: Geometric Science of Information : First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings. Nielsen, Frank and Barbaresco, Frédéric, eds. Lecture Notes in Computer Science, Part X (8085) . Springer Verlag, Berlin, pp. 369-376. ISBN 9783642400193. [Book Section] (doi:10.1007/978-3-642-40020-9_40)

Bell, Jonathon, Brazinskas, Mantas and Prior, Stephen D. (2011) Optimizing performance variables for small unmanned aerial vehicle co-axial rotor systems. Lecture Notes in Computer Science, 2011 (6781) . pp. 494-503. ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-21741-8_52)

Boender, Jaap and Fernandes, Sara (2014) Small world characteristics of FLOSS distributions. In: Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers. Counsell, Steve and Núñez, Manuel, eds. Lecture Notes in Computer Science . Springer International Publishing, pp. 417-429. ISBN 9783319050317. [Book Section]

Boender, Jaap and Sacerdoti Coen, Claudio (2014) On the correctness of a branch displacement algorithm. In: Tools and Algorithms for the Construction and Analysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Ábrahám, Erika and Havelund, Klaus, eds. Lecture Notes in Computer Science (8413) . Springer, pp. 605-619. ISBN 9783642548611. [Book Section] (doi:10.1007/978-3-642-54862-8_53)

C

Chen, Kuen-Meau, Shen, Siu-Tsen and Prior, Stephen D. (2011) The provision of digital information in the seat comfort of the seat design. Lecture Notes in Computer Science, 2011 (174) . pp. 325-329. ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-22095-1_66)

Clark, Tony (2009) A MOP based DSL for testing Java programs using OCL. Lecture Notes in Computer Science . ISSN 0302-9743 [Article]

Clark, Tony, Evans, Andy and Kent, Stuart (2002) A meta-model facility for a family of UML constraint languages. Lecture Notes in Computer Science, 2263 . pp. 440-443. ISSN 0302-9743 [Article] (doi:10.1007/3-540-45669-4_2)

E

Elhawary, Haytham, Zivanovic, Aleksandar ORCID: https://orcid.org/0000-0003-3354-754X, Rea, Marc, Davies, Brian L., Besant, Collin, McRobbie, Donald, Desouza, Nandita M., Young, Ian and Lampérth, Michael (2006) The feasibility of MR-image guided prostate biopsy using piezoceramic motors inside or near to the magnet isocentre. Lecture Notes in Computer Science, 4190 . pp. 519-526. ISSN 0302-9743 [Article] (doi:10.1007/11866565_64)

Elhawary, Haytham, Zivanovic, Aleksandar ORCID: https://orcid.org/0000-0003-3354-754X, Rea, Marc, Tse, Zion Tsz Ho, McRobbie, Donald, Young, Ian, Paley, Martyn, Davies, Brian L. and Lampérth, Michael (2007) A MR compatible mechatronic system to facilitate magic angle experiments in vivo. Lecture Notes in Computer Science, 4792 . pp. 604-611. ISSN 0302-9743 [Article] (doi:10.1007/978-3-540-75759-7_73)

H

Henrio, Ludovic, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Khan, Muhammad Uzair (2010) A framework for reasoning on component composition. Lecture Notes in Computer Science, 6286 . pp. 1-20. ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-17071-3_1)

Henrio, Ludovic, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Rivera, Marcela (2009) An asynchronous distributed component model and its semantics. Lecture Notes in Computer Science, 5751 . pp. 159-179. ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-04167-9_9)

I

Inverardi, Paola and Mostarda, Leonardo (2005) A distributed intrusion detection approach for secure software architecture. Lecture Notes in Computer Science, 3527 . pp. 168-184. ISSN 0302-9743 [Article] (doi:10.1007/11494713_12)

Inverardi, Paola and Mostarda, Leonardo (2007) A distributed monitoring system for enhancing security and dependability at architectural level. Lecture Notes in Computer Science, 4615 . pp. 210-236. ISSN 0302-9743 [Article] (doi:10.1109/AINA.2006.145)

Irps, Thomas, Prior, Stephen D. and Lewis, Darren (2011) Development of a reconfigurable protective system for multi-rotor UAS. Lecture Notes in Computer Science, 2011 (6781) . pp. 556-564. ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-21741-8_59)

K

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2011) Privacy enforcement and analysis for functional active objects. Lecture Notes in Computer Science, 6514 . pp. 93-107. ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-19348-4_8)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Sudhof, Henry (2008) Composing safely: a type system for aspects. Lecture Notes in Computer Science, 4954 . pp. 231-247. ISSN 0302-9743 [Article] (doi:10.1007/978-3-540-78789-1_18)

L

Liberti, Leo and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2008) The secret santa problem. Lecture Notes in Computer Science, 5034 . pp. 271-279. ISSN 0302-9743 [Article] (doi:10.1007/978-3-540-68880-8_26)

Liu, Lu, Antonopoulos, Nick and Mackin, Stephen (2008) Small world peer-to-peer for resource discovery. Lecture Notes in Computer Science, 5200 . pp. 223-233. ISSN 0302-9743 [Article] (doi:10.1007/978-3-540-89524-4_23)

Lomuscio, Alessio, Qu, Hongyang and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2009) MCMAS: a model checker for the verification of multi-agent systems. Lecture Notes in Computer Science, 5643 . pp. 682-688. ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-02658-4_55)

M

Mostarda, Leonardo, Ball, Rudi and Dulay, Naranker (2010) Distributed fault tolerant controllers. Lecture Notes in Computer Science, 6115 . pp. 141-154. ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-13645-0_11)

P

Preibusch, Sören and Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2008) Checking the TWIN elevator system by translating object-Z to SMV. Lecture Notes in Computer Science, 4916 . pp. 38-55. ISSN 0302-9743 [Article] (doi:10.1007/978-3-540-79707-4)

R

Russello, Giovanni, Mostarda, Leonardo and Dulay, Naranker (2008) ESCAPE: a component-based policy framework for sense and react applications. Lecture Notes in Computer Science, 5282 . pp. 212-229. ISSN 0302-9743 [Article] (doi:10.1007/978-3-540-87891-9_14)

S

Sheikh, Javed Anjum, Fields, Bob ORCID: https://orcid.org/0000-0003-1117-1844 and Duncker, Elke ORCID: https://orcid.org/0000-0002-2452-2124 (2009) Cultural representation for multi-culture interaction design. Lecture Notes in Computer Science, 5623 (14) . pp. 99-107. ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-02767-3_11)

Sheikh, Javed Anjum, Fields, Bob ORCID: https://orcid.org/0000-0003-1117-1844 and Duncker, Elke ORCID: https://orcid.org/0000-0002-2452-2124 (2011) The cultural integration of knowledge management into interactive design. Lecture Notes in Computer Science, 6771 . pp. 48-57. ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-21793-7_6)

Shen, Siu-Tsen, Prior, Stephen D. and Chen, Kuen-Meau (2011) A solution to revisitation using organic bookmark management. Lecture Notes in Computer Science, 2011 (6770) . pp. 46-52. ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-21708-1_6)

Shi, Daming, Loomes, Martin J. and Nguyen, Minh Nhut (2010) Evolutionary FCMAC-BYY applied to stream data analysis. Lecture Notes in Computer Science, 6457 . pp. 187-194. ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-17298-4_19)

Springett, Mark ORCID: https://orcid.org/0000-0003-3609-8241, Rice, Mark, Carmichael, Alex and Griffiths, Richard N. (2009) Innovation for an inclusive future. Lecture Notes in Computer Science, 2009 (5727) . pp. 967-968. ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-03658-3)

T

Tratt, Laurence (2008) Evolving a DSL implementation. Lecture Notes in Computer Science, 5235 . pp. 425-441. ISSN 0302-9743 [Article] (doi:10.1007/978-3-540-88643-3_11)

Tratt, Laurence and Gogolla, Martin (2010) Theory and practice of model transformations: third international conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings. Lecture Notes in Computer Science, 6142 . ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-13688-7)