Browse by Journal

A

Ansaloni, Danilo and Kell, Stephen and Zheng, Yudi and Bulej, Walter and Truma (2013) Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine. In: ECOOP 2013 – Object-Oriented Programming 27th European Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 352-377. ISBN 978-3-642-39037-1. E-ISBN 978-3-642-39038-8. (doi:10.1007/978-3-642-39038-8_15) (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:69705)

Albakri, Adham, de Lemos, Rogerio, Boiten, Eerke Albert (2019) Sharing Cyber Threat Intelligence under the General Data Protection Regulation. In: Lecture Notes in Computer Science. Privacy Technologies and Policy: 7th Annual Privacy Forum, APF 2019, Rome, Italy, June 13–14, 2019, Proceedings. 11498. Springer ISBN 978-3-030-21751-8. (doi:10.1007/978-3-030-21752-5_3) (KAR id:73262)

Asensio-Cubero, Javier, Gan, John Q., Palaniappan, Ramaswamy (2014) Wavelet Lifting over Information-Based EEG Graphs for Motor Imagery Data Classification. Lecture Notes in Computer Science, 8908 . pp. 3-19. ISSN 0302-9743. (doi:10.1007/978-3-662-45686-6_1) (KAR id:50393)

B

Bocchi, Laura, Murgia, Maurizio, Vasconcelos, Vasco Thudichum, Yoshida, Nobuko (2019) Asynchronous timed session types: from duality to time-sensitive processes. In: Lecture Notes in Computer Science. Programming Languages and Systems. ESOP 2019. 11423. pp. 583-610. Springer ISBN 978-3-030-17183-4. E-ISBN 978-3-030-17184-1. (doi:10.1007/978-3-030-17184-1_21) (KAR id:72337)

Brookhouse, James, Freitas, Alex A. (2022) Fair Feature Selection with a Lexicographic Multi-objective Genetic Algorithm. In: Lecture Notes in Computer Science. Parallel Problem Solving from Nature – PPSN XVII. PPSN 2022. 13399. pp. 151-163. Springer ISBN 978-3-031-14720-3. (doi:10.1007/978-3-031-14721-0_11) (KAR id:96225)

Boiten, Eerke Albert and Derrick, John (2005) Formal Program Development with Approximations. In: Treharne, Helen and King, Steve and Henson, Martin C. and Schneider, Steve A., eds. ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 374-392. ISBN 978-3-540-25559-8. E-ISBN 978-3-540-32007-4. (doi:10.1007/11415787_22) (KAR id:14341)

Boiten, Eerke Albert (2008) From ABZ to cryptography (abstract). In: Börger, Egon and Butler, Michael and Bowen, Jonathan P. and Boca, Paul, eds. UNSPECIFIED Lecture Notes in Computer Science . Springer, Berlin, Germany. ISBN 978-3-540-87602-1. E-ISBN 978-3-540-87603-8. (doi:10.1007/978-3-540-87603-8_40) (KAR id:23976)

Brierley, Calvin, Arief, Budi, Barnes, David J., Hernandez-Castro, Julio C. (2021) Industrialising Blackmail: Privacy Invasion Based IoT Ransomware. In: Tuveri, N. and Michalas, A. and Brumley, B.B., eds. Lecture Notes in Computer Science. Secure IT Systems. 26th Nordic Conference, NordSec 2021. 13115. pp. 79-92. Springer ISBN 978-3-030-91624-4. E-ISBN 978-3-030-91625-1. (doi:10.1007/978-3-030-91625-1_5) (KAR id:92304)

Bacho, Florian, Chu, Dominique (2021) Integrate-and-Fire Neurons for Low-Powered Pattern Recognition. In: Lecture Notes in Computer Science. Artificial Intelligence and Soft Computing. 20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021, Proceedings, Part I. . Springer, Cham, Switzerland ISBN 978-3-030-87985-3. (doi:10.1007/978-3-030-87986-0_3) (KAR id:89756)

Boiten, Eerke Albert (1993) Parsing in ISBES. In: Bjorner, D. and Broy, M. and Pottosin, I.V., eds. Formal Methods in Programming and Their Applications International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 423-433. ISBN 978-3-540-57316-6. E-ISBN 978-3-540-48056-3. (doi:10.1007/BFb0039724) (KAR id:21112)

Brierley, Calvin, Pont, Jamie, Arief, Budi, Barnes, David J., Hernandez-Castro, Julio C. (2021) Persistence in Linux-Based IoT Malware. In: Lecture Notes in Computer Science. Secure IT Systems. 12556. pp. 3-19. Springer E-ISBN 978-3-030-70852-8. (doi:10.1007/978-3-030-70852-8_1) (KAR id:84209)

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)

Bereczky, Péter and Thompson, Simon and Horpacsi, Daniel (2020) A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang. In: Byrski, Aleksander and Hughes, John, eds. Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers. Lecture Notes in Computer Science, 12222 . Springer, Cham, pp. 139-158. ISBN 978-3-030-57761-2. (doi:10.1007/978-3-030-57761-2_7) (KAR id:82503)

Bryans, Jeremy W. and Davies, Jim and Schneider, Steve A. (1995) Towards a Denotational Semantics for Timed LOTOS. In: CONCUR '95: Concurrency Theory 6th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 269-283. ISBN 978-3-540-60218-7. E-ISBN 978-3-540-44738-2. (doi:10.1007/3-540-60218-6_20) (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:21232)

Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Steen, Maarten (1997) Viewpoint consistency in Z and LOTOS: A case study. In: Fitzgerald, John and Jones, Cliff B. and Lucas, Peter, eds. FME '97: Industrial Applications and Strengthened Foundations of Formal Methods 4th International Symposium of Formal Methods Europe. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 644-664. ISBN 978-3-540-63533-8. E-ISBN 978-3-540-69593-6. (doi:10.1007/3-540-63533-5_34) (KAR id:21452)

+1 more...

C

Chawdhary, Aziem and King, Andy (2018) Closing the Performance Gap between Doubles and Rationals for Octagons. In: Podelski, Andreas, ed. Static Analysis. Lecture Notes in Computer Science, 11002 . Springer, pp. 187-204. ISBN 978-3-319-99724-7. E-ISBN 978-3-319-99725-4. (doi:10.1007/978-3-319-99725-4_13) (KAR id:67227)

Cramer, Sam, Kampouridis, Michael, Freitas, Alex A., Alexandridis, Antonis (2017) Pricing Rainfall Based Futures Using Genetic Programming. In: Lecture Notes in Computer Science. Applications of Evolutionary Computation. 10199. pp. 17-33. Springer ISBN 978-3-319-55848-6. (doi:10.1007/978-3-319-55849-3_2) (KAR id:60405)

Cheval, Vincent and Cortier, Véronique (2015) Timing attacks: symbolic framework and proof techniques. In: Focardi, Riccardo and Myers, Andrew, eds. Principles of Security and Trust 4th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 280-299. ISBN 978-3-662-46665-0. E-ISBN 978-3-662-46666-7. (doi:10.1007/978-3-662-46666-7_15) (KAR id:46881)

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)

D

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)

de Sá, Alex G. C. and Freitas, Alex A. and Pappa, Gisele L. (2018) Automated Selection and Configuration of Multi-Label Classification Algorithms with Grammar-Based Genetic Programming. In: Auger, Anne and Fonseca, Carlos M. and Lourenço, Nuno and Machado, Penousal and Paquete, Luís and Whitley, Darrell, eds. Parallel Problem Solving from Nature – PPSN XV. Lecture Notes in Computer Science . Springer, pp. 308-320. ISBN 978-3-319-99258-7. (doi:10.1007/978-3-319-99259-4_25) (KAR id:68970)

Dodds, Mike, Batty, Mark, Gotsman, Alexey (2018) Compositional Verification of Compiler Optimisations on Relaxed Memory. In: Lecture Notes in Computer Science. Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Proceedings. 10801. Springer ISBN 978-3-319-89883-4. (doi:10.1007/978-3-319-89884-1_36) (KAR id:66630)

Deaño, Alfredo and Gil, Amparo and Segura, Javier (2006) Computation of real zeros of the Kummer function M(a;c;x). In: Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 296-307. ISBN 978-3-540-38084-9. E-ISBN 978-3-540-38086-3. (doi:10.1007/11832225_30) (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:70227)

Drury, Lisbeth, Bobrowicz, Ania, Cameron, Lindsey, Abrams, Dominic (2017) The Positive and Negative Impact of an Intergenerational Digital Technology Education Programme on Younger People's Perceptions of Older Adults. In: Jia, Zhou and Salvendy, Gavriel, eds. Lecture Notes in Computer Science. Human Aspects of IT for the Aged Population. Aging, Design and User Experience. Lecture Notes in Computer Science , 10297. pp. 419-428. Springer, Switzerland ISBN 978-3-319-58529-1. E-ISBN 978-3-319-58530-7. (doi:10.1007/978-3-319-58530-7) (KAR id:62190)

de Lemos, Rogerio and Garlan, David and Ghezzi, Carlo and Giese, Holger and Andersson, Jesper and Litoiu, Marin and Schmerl, Bradley and Weyns, Danny and Baresi, Luciano and Bencomo, Nelly and Brun, Yuriy and Camara, Javier and Calinescu, Radu and Cohen, Myra B. and Gorla, Alessandra and Grassi, Vincenzo and Grunske, Lars and Inverardi, Paola and Jezequel, Jean-Marc and Malek, Sam and Mirandola, Raffaela and Mori, Marco and Müller, Hausi A. and Rouvoy, Romain and Rubira, Cecília M. F. and Rutten, Eric and Shaw, Mary and Tamburrelli, Giordano and Tamura, Gabriel and Villegas, Norha M. and Vogel, Thomas and Zambonelli, Franco (2018) Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. In: de Lemos, Rogerio and Garlan, D. and Giese, H., eds. Software Engineering for Self-Adaptive Systems III. Assurances. Lecture Notes on Computer Science . Springer. ISBN 978-3-319-74182-6. (doi:10.1007/978-3-319-74183-3_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:65859)

E

Evans, Andy and Kent, Stuart (1999) Core meta-modelling semantics of UML: The pUML approach. In: France, Robert and Rumpe, Bernhard, eds. «UML»’99 — The Unified Modeling Language Beyond the Standard Second International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 140-155. ISBN 978-3-540-66712-4. E-ISBN 978-3-540-46852-3. (doi:10.1007/3-540-46852-8_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:17316)

Emms, Martin, Arief, Budi, Little, Nicholas, van Moorsel, Aad (2013) Risks of Offline Verify PIN on Contactless Cards. In: Sadeghi, Ahmad-Reza, ed. Lecture Notes in Computer Science. Lecture Notes in Computer Science LNCS , 7859. pp. 313-321. Springer Berlin Heidelberg, Berlin ISBN 978-3-642-39883-4. E-ISBN 978-3-642-39884-1. (doi:10.1007/978-3-642-39884-1_26) (KAR id:54151)

Esposito Amideo, Annunziata and Scaparra, Maria Paola (2017) A Synthesis of Optimization Approaches for Tackling Critical Information Infrastructure Survivability. In: Havarneanu, G and Setola, R and Nassopoulos, H and Wolthusen, S, eds. Critical Information Infrastructures Security. Lecture Notes in Computer Science, 10242 . Springer, pp. 75-87. ISBN 978-3-319-71367-0. E-ISBN 978-3-319-71368-7. (doi:10.1007/978-3-319-71368-7_7) (KAR id:61787)

F

Freitas, Alex A. (2019) Automated machine learning for studying the trade-off between predictive accuracy and interpretability. In: Lecture Notes in Computer Science. Machine Learning and Knowledge Extraction. International Cross-Domain Conference, CD-MAKE 2019, Canterbury, UK, August 26–29, 2019, Proceedings. 11713. pp. 48-66. Springer ISBN 978-3-030-29725-1. E-ISBN 978-3-030-29726-8. (doi:10.1007/978-3-030-29726-8_4) (KAR id:77014)

Freitas, Alex A. (1998) On Objective Measures of Rule Surprisingness. In: Zytkow, Jan M. and Quafafou, Mohamed, eds. Principles of Data Mining and Knowledge Discovery Second European Symposium. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 1-9. ISBN 978-3-540-65068-3. E-ISBN 978-3-540-49687-8. (doi:10.1007/BFb0094799) (KAR id:21572)

Franqueira, Virginia. N. L., Houmb, Siv Hilde, Daneva, Maya (2010) Using Real Option Thinking to Improve Decision Making in Security Investment. In: Lecture Notes in Computer Science. On the Move to Meaningful Internet Systems: OTM 2010. 6426. pp. 619-638. Springer ISBN 978-3-642-16933-5. (doi:10.1007/978-3-642-16934-2_46) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:77199)

H

Halgas, Lukas, Agrafiotis, Ioannis, Nurse, Jason R. C. (2020) Catching the Phish: Detecting Phishing Attacks using Recurrent Neural Networks (RNNs). In: Lecture Notes in Computer Science. Information Security Applications: 20th International Conference, WISA 2019, Jeju Island, South Korea, August 21–24, 2019, Revised Selected Papers. 11897. Springer ISBN 978-3-030-39302-1. (doi:10.1007/978-3-030-39303-8_17) (KAR id:75746)

Ho, A.M.C.L., De Wilde, Philippe (1995) General transient length upper bound for recurrent neural networks. In: Lecture Notes in Computer Science. From Natural to Artificial Neural Computation. IWANN 1995. 930. pp. 202-208. Springer ISBN 978-3-540-59497-0. (doi:10.1007/3-540-59497-3_176) (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:93396)

Hughes, Jack, Orchard, Dominic A. (2021) Resourceful program synthesis from graded linear types. Lecture Notes in Computer Science, 12561 . ISSN 0302-9743. (doi:10.1007/978-3-030-68446-4_8) (KAR id:84636)

Hosek, Petr and Migliavacca, Matteo and Papagiannis, Ioannis and Eyers, David M. and Evans, David and Shand, Brian and Bacon, Jean and Pietzuch, Peter (2011) SafeWeb: A Middleware for Securing Ruby-Based Web Applications. In: Middleware 2011 ACM/IFIP/USENIX 12th International Middleware Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 491-511. ISBN 978-3-642-25820-6. E-ISBN 978-3-642-25821-3. (doi:10.1007/978-3-642-25821-3_25) (KAR id:31860)

Hariri, Ali, Giannelos, Nicolas, Arief, Budi (2020) Selective Forwarding Attack on IoT Home Security Kits. In: Lecture Notes in Computer Science. Springer LNCS Proceedings, 2nd International Workshop on Attacks and Defenses for Internet-of-Things (ADIoT 2019). . Springer ISBN 978-3-030-42047-5. (doi:10.1007/978-3-030-42048-2_23) (KAR id:75895)

J

Johnson, Colin G. (2012) Fitness in Evolutionary Art and Music: What Has Been Used and What Could Be Used? In: Evolutionary and Biologically Inspired Music, Sound, Art and Design First International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 129-140. ISBN 978-3-642-29141-8. E-ISBN 978-3-642-29142-5. (doi:10.1007/978-3-642-29142-5_12) (KAR id:70977)

K

Kafalı, Özgur, Romero, Alfonso E., Stathis, Kostas (2014) Activity recognition for an agent-oriented personal health system. In: Lecture Notes in Computer Science. PRIMA 2014: Principles and Practice of Multi-Agent Systems. 8861. pp. 254-269. Springer ISBN 978-3-319-13190-0. (doi:10.1007/978-3-319-13191-7_21) (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:65874)

Kamaleson, Nishanthan, Chu, Dominique, Otero, Fernando E.B. (2021) Automatic Information Extraction from Electronic Documents using Machine Learning. In: Lecture Notes in Computer Science. 41st SGAI International Conference on Artificial Intelligence, AI 2021, Cambridge, UK, December 14–16, 2021, Proceedings. 13101. pp. 183-194. Springer ISBN 978-3-030-91099-0. E-ISBN 978-3-030-91100-3. (doi:10.1007/978-3-030-91100-3_16) (KAR id:91696)

Kampouridis, Michael and Adegboye, Adesola and Johnson, Colin (2017) Evolving Directional Changes Trading Strategies with a New Event-based Indicator. In: Shi, Yuhui and Tan, Kay Chen and Zhang, Mengjie and Tang, Ke and Li, Xiaodong and Zhang, Qingfu and Tan, Ying and Middendorf, Martin and Jin, Yaochu, eds. Simulated Evolution and Learning 11th International Conference. Lecture Notes in Computer Science . Springer, Cham, Switzerland, pp. 727-738. ISBN 978-3-319-68758-2. E-ISBN 978-3-319-68759-9. (doi:10.1007/978-3-319-68759-9_59) (KAR id:62608)

L

Lange, Julien, Yoshida, Nobuko (2016) Characteristic formulae for session types. In: Chechik, M. and Raskin, J.F., eds. Lecture Notes in Computer Science. Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2016. 9636. pp. 833-850. Springer ISBN 978-3-662-49673-2. (doi:10.1007/978-3-662-49674-9_52) (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:62253)

Lloyd, Peter B., Rodgers, Peter, Roberts, Maxwell J. (2018) Metro Map Colour-Coding: Effect on Usability in Route Tracing. In: Chapman, Peter and Stapleton, Gem and Moktefi, Amirouche and Perez-Kriz, Sarah and Bellucci, Francesco, eds. Lecture Notes in Computer Science. Diagrammatic Representation and Inference: 10th International Conference, Diagrams 2018 Edinburgh, UK, June 18–22, 2018 Proceedings. 10871. pp. 411-428. Springer ISBN 978-3-319-91375-9. (doi:10.1007/978-3-319-91376-6_38) (KAR id:66595)

+1 more...

Lange, Julien, Yoshida, N. (2017) On the undecidability of asynchronous session subtyping. In: Esparza, J. and Murawski, A., eds. Lecture Notes in Computer Science. Foundations of Software Science and Computation Structures. FoSSaCS 2017. Lecture Notes in Computer Science , 10203 (10203). pp. 441-457. Springer, Berlin, Germany ISBN 978-3-662-54457-0. E-ISBN 978-3-662-54458-7. (doi:10.1007/978-3-662-54458-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:62265)

M

Maass, Marco and Phan, Huy and Möller, Anita and Mertins, Alfred (2015) Cosine-Sine Modulated Filter Banks for Motion Estimation and Correction. In: Battiato, Sebastiano and Blanc-Talon, Jacques and Gallo, Giovanni and Philips, Wilfried and Popescu, Dan and Scheunders, Paul, eds. Advanced Concepts for Intelligent Vision Systems 16th International Conference. Lecture Notes in Computer Science . Springer, Catania, Italy, pp. 195-204. ISBN 978-3-319-25902-4. E-ISBN 978-3-319-25903-1. (doi:10.1007/978-3-319-25903-1_17) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:72690)

Mahaini, Mohamad Imad, Li, Shujun (2023) Cyber Security Researchers on Online Social Networks: From the Lens of the UK’s ACEs-CSR on Twitter. In: Lecture Notes in Computer Science. Security and Privacy in Social Networks and Big Data: 9th International Symposium, SocialSec 2023, Canterbury, UK, August 14–16, 2023, Proceedings. Lecture Notes in Computer Science , 14097. pp. 129-148. Springer, Singapore E-ISBN 978-981-99-5177-2. (doi:10.1007/978-981-99-5177-2_8) (KAR id:102392)

Mycroft, Alan, Orchard, Dominic A., Petricek, Tomas (2016) Effect Systems Revisited - Control-Flow Algebra and Semantics. Lecture Notes in Computer Science, . pp. 1-32. ISSN 0302-9743. (doi:10.1007/978-3-319-27810-0_1) (KAR id:61623)

Moraglio, Alberto and Krawiec, Krzysztof and Johnson, Colin G. (2012) Geometric Semantic Genetic Programming. In: Parallel Problem Solving from Nature - PPSN XII 12th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 21-31. ISBN 978-3-642-32936-4. E-ISBN 978-3-642-32937-1. (doi:10.1007/978-3-642-32937-1_3) (KAR id:69663)

Matsangidou, Maria, Ang, Chee Siang, Mauger, Lex, Otkhmezuri, Boris, Tabbaa, Luma (2017) How Real is Unreal? Virtual Reality and the Impact of Visual Imagery on the Experience of Exercise-Induced Pain. In: Lecture Notes in Computer Science. Human-Computer Interaction – INTERACT 2017. 10516. Springer ISBN 978-3-319-68058-3. (doi:10.1007/978-3-319-68059-0_18) (KAR id:61751)

Marshall, Daniel, Vollmer, Michael, Orchard, Dominic (2022) Linearity and uniqueness: An Entente Cordiale. In: Lecture Notes in Computer Science. Programming Languages and Systems: European Symposium on Programming (ESOP). Lecture Notes in Computer Science , 13240. pp. 346-375. Springer ISBN 978-3-030-99336-8. E-ISBN 978-3-030-99336-8. (doi:10.1007/978-3-030-99336-8_13) (KAR id:98024)

N

Nurse, Jason R. C., Agrafiotis, Ioannis, Erola, Arnau, Bada, Maria, Roberts, Taylor, Williams, Meredydd, Goldsmith, Michael, Creese, Sadie (2017) An Assessment of the Security and Transparency Procedural Components of the Estonian Internet Voting System. In: Tryfonas, Theo, ed. Lecture Notes in Computer Science. Human Aspects of Information Security, Privacy and Trust. HAS 2017. 10292. Springer ISBN 978-3-319-58459-1. (doi:10.1007/978-3-319-58460-7_26) (KAR id:67478)

O

Owens, Scott, Myreen, Magnus O., Kumar, Ramana, Tan, Yong Kiam (2016) Functional Big-step Semantics. In: Lecture Notes in Computer Science. Lecture Notes in Computer Science. 9632. Springer (doi:10.1007/978-3-662-49498-1_23) (KAR id:53533)

Orchard, Dominic A., Schrijvers, Tom (2010) Haskell Type Constraints Unleashed. Lecture Notes in Computer Science, . pp. 56-71. ISSN 0302-9743. (doi:10.1007/978-3-642-12251-4_6) (KAR id:57498)

Okudono, Takamasa and King, Andy (2020) Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic. In: Biere, Armin and Parker, David, eds. International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, pp. 79-96. ISBN 978-3-030-45189-9. (doi:10.1007/978-3-030-45190-5_5) (KAR id:80188)

Orchard, Dominic A., Mycroft, Alan (2012) A Notation for Comonads. Lecture Notes in Computer Science, . pp. 1-17. ISSN 0302-9743. (doi:10.1007/978-3-642-41582-1_1) (KAR id:57495)

P

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)

Patlatzoglou, Konstantinos and Chennu, Srivas and Boly, Melanie and Noirhomme, Quentin and Bonhomme, Vincent and Brichant, Jean-Francois and Gosseries, Olivia and Laureys, Steven (2018) Deep Neural Networks for Automatic Classification of Anesthetic-Induced Unconsciousness. In: Brain Informatics. Springer. (doi:10.1007/978-3-030-05587-5_21) (KAR id:69530)

Palaniappan, Ramaswamy (2006) Electroencephalogram signals from imagined activities: A novel biometric identifier for a small population. In: Intelligent Data Engineering and Automated Learning – IDEAL 2006 7th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 604-611. ISBN 978-3-540-45485-4. E-ISBN 978-3-540-45487-8. (doi:10.1007/11875581_73) (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:70734)

Palaniappan, Ramaswamy and Mandic, D.P. (2005) Energy of brain potentials evoked during visual stimulus: A new biometric? In: Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005 15th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 735-740. ISBN 978-3-540-28755-1. E-ISBN 978-3-540-28756-8. (doi:10.1007/11550907_117) (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:70742)

Paviotti, Marco, Cooksey, Simon, Paradis, Anouk, Wright, Daniel, Owens, Scott, Batty, Mark (2020) Modular Relaxed Dependencies in Weak Memory Concurrency. In: Lecture Notes in Computer Science. Programming Languages and System: 29th European Symposium on Programming, ESOP 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software. 12075. pp. 599-625. Springer ISBN 978-3-030-44913-1. (doi:10.1007/978-3-030-44914-8_22) (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:81430)

Palaniappan, Ramaswamy and Duraisingam, Aruna and Chinnaiah, Nithyakalyani and Murugappan, Murugappan (2019) Predicting Java Computer Programming Task Difficulty Levels Using EEG for Educational Environments. In: Lecture Notes in Computer Science. Springer, Netherlands, pp. 446-460. ISBN 978-3-030-22418-9. (doi:10.1007/978-3-030-22419-6_32) (KAR id:71265)

Pont, Jamie, Abu Oun, Osama, Brierley, Calvin, Arief, Budi, Hernandez-Castro, Julio C. (2019) A Roadmap for Improving the Impact of Anti-Ransomware Research. In: Askarov, Aslan and Hansen, René Rydhof and Rafnsson, Willard, eds. Lecture Notes in Computer Science. Secure IT Systems: 24th Nordic Conference, NordSec 2019, Aalborg, Denmark, November 18–20, 2019, Proceedings. 11875. Springer ISBN 978-3-030-35054-3. (doi:10.1007/978-3-030-35055-0_9) (KAR id:76942)

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)

Pont, Jamie, Arief, Budi, Hernandez-Castro, Julio C. (2020) Why Current Statistical Approaches to Ransomware Detection Fail. In: Lecture Notes in Computer Science. Information Security. 23rd International Conference, ISC 2020, Bali, Indonesia, December 16–18, 2020, Proceedings. 12472. Springer ISBN 978-3-030-62973-1. (doi:10.1007/978-3-030-62974-8_12) (KAR id:82960)

R

Rowe, Reuben, Van Bakel, Steffen (2011) Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming. In: Lecture Notes in Computer Science. Typed Lambda Calculi and Applications. 6690. pp. 229-244. Springer ISBN 978-3-642-21690-9. (doi:10.1007/978-3-642-21691-6_19) (KAR id:65744)

Rizzi, Caroline and Johnson, Colin G. and Vargas, Patricia (2018) Fear Learning for Flexible Decision Making in RoboCup: A Discussion. In: Akiyama, Hidehisa and Obst, Oliver and Sammut, Claude and Tonidandel, Flavio, eds. RoboCup 2017: Robot World Cup XXI. Lecture Notes in Artificial Intelligence, 11175 . Springer, Germany, pp. 59-70. ISBN 978-3-030-00307-4. E-ISBN 978-3-030-00308-1. (doi:10.1007/978-3-030-00308-1_5) (KAR id:69611)

Rowe, Reuben, Brotherston, James (2017) Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent. In: Lecture Notes in Computer Science. Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017. Lecture Notes in Computer Science , 10501. pp. 295-310. Springer ISBN 978-3-319-66901-4. E-ISBN 978-3-319-66902-1. (doi:10.1007/978-3-319-66902-1_18) (KAR id:62287)

S

Salama, Khalid M. and Freitas, Alex A. (2013) ACO-based Bayesian network ensembles for the hierarchical classification of ageing-related proteins. In: Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 11th European Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 80-91. ISBN 978-3-642-37188-2. E-ISBN 978-3-642-37189-9. (doi:10.1007/978-3-642-37189-9_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:34306)

Sun, Haiyang and Zheng, Yudi and Bulej, Lubomir and Kell, Stephen and Binder, Walter (2015) Analyzing Distributed Multi-platform Java and Android Applications with ShadowVM. In: Programming Languages and Systems 13th Asian Symposium. Lecture Notes in Computer Science, 9458 . Springer, Cham, Switzerland, pp. 356-365. ISBN 978-3-319-26528-5. (doi:10.1007/978-3-319-26529-2_19) (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:69721)

Shackleton, Mark B., El-Moussa, Fadi, Rowlingson, Robert, Healing, Alex, Crowther, John, Daniel, Joshua, Dimitrakos, Theo, Sajjad, Ali (2016) Deploying Visual Analytics Through a Multi-cloud Service Store with Encrypted Big Data (Short Paper). In: Debruyne, Christophe and Panetto, Hervé and Meersman, Robert and Dillon, Tharam and Kühn, Eva and O'Sullivan, Declan and Ardagna, Claudio Agostino, eds. Lecture Notes in Computer Science. On the Move to Meaningful Internet Systems: OTM 2016 Conferences. Lecture Notes in Computer Science (LNCS) , 10033. pp. 883-889. Springer ISBN 978-3-319-48471-6. E-ISBN 978-3-319-48472-3. (doi:10.1007/978-3-319-48472-3_55) (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:58309)

Si, Xujie, Zhang, Xin, Grigore, Radu, Naik, Mayur (2017) Maximum Satisfiability in Software Analysis: Applications and Techniques. In: Lecture Notes in Computer Science. Computer Aided Verification: 29th International Conference, CAV 2017 Heidelberg, Germany, July 24–28, 2017 Proceedings, Part I. 10426. pp. 68-94. Springer ISBN 978-3-319-63386-2. (doi:10.1007/978-3-319-63387-9_4) (KAR id:63671)

Stapleton, Gem, Rodgers, Peter, Touloumis, Anestis, Blake, Andrew (2020) Well-matchedness in Euler and Linear Diagrams. In: Lecture Notes in Computer Science. Diagrammatic Representation and Inference: 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings. 12169. Springer ISBN 978-3-030-54248-1. (doi:10.1007/978-3-030-54249-8_20) (KAR id:81488)

T

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)

Thompson, Simon (1992) Are subsets necessary in Martin-Lof type theory? In: Myers Jr, J.P. and O'Donnell, M.J., eds. Constructivity in Computer Science Summer Symposium. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 46-57. ISBN 978-3-540-55631-2. E-ISBN 978-3-540-47265-0. (doi:10.1007/BFb0021082) (KAR id:21078)

Tsushima, Kanae, Chitil, Olaf (2018) A Common Framework Using Expected Types for Several Type Debugging Approaches. In: Lecture Notes in Computer Science. FLOPS 2018: Fourteenth International Symposium on Functional and Logic Programming. Lecture Notes in Computer Science , 10818. pp. 230-246. Springer ISBN 978-3-319-90685-0. E-ISBN 978-3-319-90686-7. (doi:10.1007/978-3-319-90686-7_15) (KAR id:66352)

Turner, David A. (2021) Constructive mathematics, Church's Thesis, and free choice sequences. Lecture Notes in Computer Science, . ISSN 0302-9743. (doi:10.1007/978-3-030-80049-9_44) (KAR id:88974)

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)

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)

Turner, David A. (2013) Some History of Functional Programming Languages. Lecture Notes in Computer Science, . pp. 1-20. ISSN 0302-9743. (doi:10.1007/978-3-642-40447-4_1) (KAR id:88959)

W

Wilson, E. and Lindley, I. and Pullen, S. (1992) Callguide: using programmable hypertext as a shell for call programs. In: Computer Assisted Learning 4th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 592-615. ISBN 978-3-540-55578-0. E-ISBN 978-3-540-47221-6. (doi:10.1007/3-540-55578-1_102) (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:22284)

Welch, Peter H. (1975) Continuous Semantics and Inside-Out Reductions. Lecture Notes in Computer Science, 37 . pp. 122-146. (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:20895)

X

Xia, Li-Yao, Orchard, Dominic A., Wang, Meng (2019) Composing bidirectional programs monadically. Lecture Notes in Computer Science, 11423 . pp. 147-175. ISSN 0302-9743. (doi:10.1007/978-3-030-17184-1_6) (KAR id:72625)

Y

Yang, Zhixuan, Paviotti, Marco, Wu, Nicholas, van den Berg, Birthe, Schrijvers, Tom (2022) Structured Handling of Scoped Effects. In: Sergey, Ilya, ed. Lecture Notes in Computer Science. 13240. pp. 462-491. Springer ISBN 978-3-030-99335-1. (doi:10.1007/978-3-030-99336-8\_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:99278)