# Items where Subject is "Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.76 Computer software"

 Up a level
 Export as ASCII CitationBibTeXDublin CoreEP3 XMLEndNoteHTML CitationJSONMETSMultiline CSVMultiline CSV (Staff)Object IDsOpenURL ContextObjectRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager
Group by: Creator's name | Item Type | Date | No Grouping
Jump to: A | B | C | D | F | G | J | K | L | M | N | P | R | S | T | U | W | Z | Ö
Number of items at this level: 120.

## A

Alqahtani, Saeed Ibrahim and Li, Shujun (2017) PPAndroid-Benchmarker: Benchmarking Privacy Protection Systems on Android Devices. In: Fischer, Mathias, ed. Proceedings of the 12th International Conference on Availability, Reliability and Security. ACM, New York, NY, USA Article No. 19. ISBN 978-1-4503-5257-4. (doi:https://doi.org/10.1145/3098954.3098984) (Full text available)
 Preview

Altadmri, Amjad and Brown, Neil C.C. (2015) 37 Million Compilations: Investigating Novice Programming Mistakes in Large-Scale Student Data. In: Proceeding SIGCSE '15 Proceedings of the 46th ACM Technical Symposium on Computer Science Education. Proceedings of the 46th SIGCSE technical symposium on Computer science education. ACM pp. 522-527. ISBN 978-1-4503-2966-8. (doi:https://doi.org/10.1145/2676723.2677258) (Full text available)
 Preview

Altadmri, Amjad and Kölling, Michael and Brown, Neil C. C. (2016) The Cost of Syntax and How To Avoid It: Text versus Frame-Based Editing. In: Computer Software and Applications Conference (COMPSAC), 2016 IEEE 40th Annual. IEEE pp. 748-753. ISBN 978-1-4673-8846-7. E-ISBN 978-1-4673-8845-0. (doi:https://doi.org/10.1109/COMPSAC.2016.204) (Full text available)
 Preview

## B

Bai, Lu and Efstratiou, Christos and Ang, Chee Siang (2016) weSport: Utilising Wrist-Band Sensing to Detect Player Activities in Basketball Games. In: WristSense 2016: Workshop on Sensing Systems and Applications Using Wrist Worn Smart Devices (co-located with IEEE PerCom 2016), March 14, 2016, Sydney, Australia. (Full text available)
 Preview

 Barnes, David J. and Hernandez-Castro, Julio C. (2015) On the limits of engine analysis for cheating detection in chess. Computers and Security, 48 . pp. 58-73. ISSN 0167-4048. (doi:https://doi.org/10.1016/j.cose.2014.10.002) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

Berry, Michael and Kölling, Michael (2016) Novis: A notional machine implementation for teaching introductory programming. In: Learning and Teaching in Computing and Engineering (LaTiCE), 2016 International Conference on. (Full text available)
 Preview

Berry, Michael and Kölling, Michael (2014) The State Of Play: A Notional Machine for Learning Programming. In: Proceedings of the 19th Annual Conference on Innovation and Technology in Computer Science Education. (Full text available)
 Preview

Berry, Michael and Kölling, Michael (2013) The design and implementation of a notional machine for teaching introductory programming. In: WiPSE '13. Proceedings of the 8th Workshop in Primary and Secondary Computing Education. ACM, New York pp. 25-28. ISBN 978-1-4503-2455-7. (doi:https://doi.org/10.1145/2532748.2532765) (Full text available)
 Preview

Bocchi, Laura and Murgia, Maurizio and Vasconcelos, Vasco Thudichum and Yoshida, Nobuko (2019) Asynchronous timed session types: from duality to time-sensitive processes. In: 28th European Symposium on Programming (ESOP). (In press) (Full text available)
 Preview

Bocchi, Laura and Yoshida, Nobuko and Lange, Julien (2015) Meeting Deadlines Together. In: Aceto, Luca and de Frutos-Escrig, David, eds. International Conference on Concurrency Theory (CONCUR). LIPIcs, 42. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik pp. 283-296. ISBN 978-3-939897-91-0. (doi:https://doi.org/10.4230/LIPIcs.CONCUR.2015.283) (Full text available)
 Preview

Boiten, Eerke Albert (2016) Big Data Refinement. Electronic Proceedings in Theoretical Computer Science, 209 . pp. 17-23. ISSN 2075-2180. E-ISSN 2075-2180. (doi:https://doi.org/10.4204/EPTCS.209.2) (Full text available)
 Preview

 Boiten, Eerke Albert (2014) Cybersecurity czar dodges questions over IT security. . The Conversation UK Internet only. (Full text available)

 Boiten, Eerke Albert (2014) FireChat’s revolutionary use will not be revolutionary for long. . The Conversation UK Internet only. (Full text available)

 Boiten, Eerke Albert (2014) Google’s Larry Page wants to save 100,000 lives but big data isn’t a cure all. . The Conversation UK Internet only. (Full text available)

 Boiten, Eerke Albert (2015) Investigatory Powers bill will remove ISPs' right to protect your privacy. . The Conversation Internet only. (Full text available)

 Boiten, Eerke Albert (2014) It’s possible to write flaw-free software, so why don’t we? . The Conversation UK Internet only. (Full text available)

 Boiten, Eerke Albert (2014) NHS must think like Google to make data project work. . The Conversation UK Internet only. (Full text available)

 Boiten, Eerke Albert and Hernandez-Castro, Julio C. (2014) Can you really be identified on Tor or is that just what the cops want you to believe? . The Conversation UK Internet only. (Full text available)

 Boiten, Eerke Albert and Hernandez-Castro, Julio C. (2014) Targeted ‘malvertising’ reveals move towards more sophisticated hacks. . The Conversation UK Internet only. (Full text available)

 Boiten, Eerke Albert and Schneider, Steve A. (2014) Editorial: Special Issue on Cryptography and Formal Methods. Formal Aspects of Computing, 26 (1). pp. 1-2. ISSN 0934-5043 (Print) 1433-299X (Online). (doi:https://doi.org/10.1007/s00165-013-0290-7) (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)

 Brito, Patrick H. S. and de Lemos, Rogério and Rubira, Cecilia M. F. (2009) Verifying Architectural Variabilities in Software Fault Tolerance Techniques. In: Software Architecture, 2009 & European Conference on Software Architecture. WICSA/ECSA 2009. Joint Working IEEE/IFIP Conference on. pp. 231-240. ISBN 978-1-4244-4984-2. (doi:https://doi.org/10.1109/WICSA.2009.5290809) (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)

 Brito, Patrick H. S. and de Lemos, Rogério and Rubira, Cecilia M. F. and Martins, Eliane (2009) Architecting Fault Tolerance with Exception Handling: Verification and Validation. Journal of Computer Science and Technology, 24 (2). pp. 212-237. ISSN 1000-9000. (doi:https://doi.org/10.1007/s11390-009-9219-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)

Brown, Neil C.C. and Altadmri, Amjad and Kölling, Michael (2016) Frame-Based Editing: Combining the Best of Blocks and Text Programming. In: Learning and Teaching in Computing and Engineering (LaTiCE), 2016 International Conference on. (Full text available)
 Preview

Brown, Neil C.C. and Kölling, Michael (2013) A Tale of Three Sites: Resource and Knowledge Sharing Amongst Computer Science Educators. In: ICER 2013. Proceedings of the 2013 ACM Conference on International Computing Education Research. ACM, New York pp. 27-34. ISBN 978-1-4503-2243-0. (doi:https://doi.org/10.1145/2493394.2493398) (Full text available)
 Preview

 Buchler, Ira and Fischer, Michael D. and McGoodwin, JR (1986) Ecological structure, economics, and social organization: the Kapauku. In: De Muer, Gisele, ed. New Trends in Mathematical Anthropology. International Library of Anthropology . Routledge Kegan & Paul, pp. 57-124. ISBN 978-0-7102-0076-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)

## C

 Casati, Matteo and Valeri, Daniele (2017) MasterPVA and WAlg: Mathematica packages for Poisson vertex algebras and classical affine $${\mathcal {W}}$$ W -algebras. Bollettino dell'Unione Matematica Italiana, 11 (4). pp. 503-531. ISSN 1972-6724. (doi:https://doi.org/10.1007/s40574-017-0146-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)

 Chadwick, David W. and Inman, George and Klingenstein, Nate (2010) A Conceptual Model for Attribute Aggregation. Future Generation Computer Systems, 26 (7). pp. 1043-1052. (doi:https://doi.org/10.1016/j.future.2009.12.004) (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)

Chadwick, David W. and Sette, Ioram S. and Sui, Kristy, W (2015) Opening Up OpenStack’s Identity Service. In: Terena Networking Conference 2015, 14-18 June, 2015, Porto, Portugal. (Unpublished) (Full text available)
 Preview

Chechina, Natalia and MacKenzie, Kenneth and Thompson, Simon and Trinder, Phil and Boudeville, Olivier and Fordos, Viktoria and Hoch, csaba and Ghaffari, Amir and Moro Hernandez, Mario (2017) Evaluating Scalable Distributed Erlang for Scalability and Reliability. IEEE Transactions on Parallel and Distributed Systems, 28 (8). pp. 2244-2257. ISSN 1045-9219. (doi:https://doi.org/10.1109/TPDS.2017.2654246) (Full text available)
 Preview

Chitil, Olaf and Faddegon, Maarten and Runciman, Colin (2017) A Lightweight Hat: Simple Type-Preserving Instrumentation for Self-Tracing Lazy Functional Programs. In: Proceedings of Implementation and Application of Functional Languages, IFL 2016. ACM ISBN 978-1-4503-4767-9. (doi:https://doi.org/10.1145/3064899.3064904) (Full text available)
 Preview

Cámara, Javier and Pedro, Correia and Vieira, Marco and de Lemos, Rogerio (2014) Empirical Resilience Evaluation of an Architecture-based Self-adaptive Software System. In: Proceedings of the 10th International ACM Sigsoft Conference on Quality of Software Architectures. (Full text available)
 Preview

 Cámara, Javier and de Lemos, Rogerio and Laranjeiro, Nuno and Ventura, Rafael and Vieira, Marco (2014) Robustness evaluation of the rainbow framework for self-adaptation. In: UNSPECIFIED. (doi:https://doi.org/10.1145/2554850.2554935) (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)

 Cámara, Javier and de Lemos, Rogério (2012) Evaluation of Resilience in Self-Adaptive Systems Using Probabilistic Model-Checking. In: Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2012 ICSE Workshop on. pp. 53-62. ISBN 978-1-4673-1788-7. (doi:https://doi.org/10.1109/SEAMS.2012.6224391) (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)

## D

Derrick, John and Boiten, Eerke Albert (2014) Refinement in Z and Object-Z: Foundations and Advanced Applications (2nd revised edition). Springer, London Heidelberg New York Dordrecht, 510 pp. ISBN 978-1-4471-5354-2. E-ISBN 978-1-4471-5355-9. (doi:https://doi.org/10.1007/978-1-4471-5355-9) (Full text available)
 Preview

 Derrick, John and Boiten, Eerke Albert (2016) Relational Concurrent Refinement - partial and total frameworks. In: Petre, Luigia and Sekerinski, Emil, eds. From Action Systems to Distributed Systems: The Refinement Approach. Taylor and Francis, Florida, USA, pp. 143-154. ISBN 978-1-4987-0158-7. (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)

da Silva, Carlos Eduardo and Diniz, Thomas and Cacho, Nelio and de Lemos, Rogerio (2018) Self-adaptive Authorisation in OpenStack Cloud Platform. Journal of Internet Services and Applications, 9 (19). ISSN 1867-4828. E-ISSN 1869-0238. (doi:https://doi.org/10.1186/s13174-018-0090-7) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
 Preview

 da Silva, Carlos Eduardo and de Lemos, Rogério (2011) A Framework for Automatic Generation of Processes for Self-Adaptive Software Systems. Informatica, 35 (1). pp. 3-13. ISSN 0350-5596. (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)

 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:https://doi.org/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)

de Lemos, Rogerio and Sedgewick, Peter (2018) Self-adaptation made easy with Blockchains. In: Proceedings of 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. ACM ISBN 978-1-4503-5715-9. (doi:https://doi.org/10.1145/3194133.3194150) (Full text available)
 Preview

 de Lemos, Rogério (2009) On Architecting Software Fault Tolerance using Abstractions. Electronic Notes in Theoretical Computer Science, 236 . pp. 21-32. ISSN 1571-0661. (doi:https://doi.org/10.1016/j.entcs.2009.03.012) (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)

 de Oliveira, Marcelo V. and Estefhan, D. Wandekokem and Mendel, Eduardo and Fabris, Fabio and Flavio, M. Varejao and Thomas, W. Rauber and Rodrigo, J. Batista (2010) Constructing feature-based ensemble classifiers for real-world machines fault diagnosis. In: IECON 2010 - 36th Annual Conference on IEEE Industrial Electronics Society, 7-10 Nov. 2010, Glendale, AZ. (doi:https://doi.org/10.1109/IECON.2010.5675522) (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)

 de Oliveira, Marcelo V. and Wandekokem, Estefhan D. and Mendel, Eduardo and Fabris, Fabio and Varejao, Flavio M. and Rauber, Thomas W. and Batista, Rodrigo J. (2010) A Comparison of Two Feature-Based Ensemble Methods for Constructing Motor Pump Fault Diagnosis Classifiers. In: Proceedings of 22nd IEEE International Conference on Tools with Artificial Intelligence (ICTAI). pp. 417-420. (doi:https://doi.org/10.1109/ICTAI.2010.66) (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)

## F

 Fabris, Fabio and Drago, Idilio and Varejao, Flavio M. (2008) A Multi-measure Nearest Neighbor Algorithm for Time Series Classification. In: Proceedings of the 11th Ibero-American Conference on AI. Lecture Notes in Computer Science, 5290. Springer Berlin Heidelberg pp. 153-162. (doi:https://doi.org/10.1007/978-3-540-88309-8_16) (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)

Faddegon, Maarten and Chitil, Olaf (2015) Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack. In: Algorithmic Debugging of Real-world Haskell Programs: Deriving Dependencies from the Cost Centre Stack. Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI 2015. ACM pp. 33-42. ISBN 978-1-4503-3468-6. (doi:https://doi.org/10.1145/2737924.2737985) (Full text available)
 Preview

Faddegon, Maarten and Chitil, Olaf (2016) Lightweight Computation Tree Tracing for Lazy Functional Languages. In: PLDI 2016: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press pp. 114-128. ISBN 978-1-4503-4261-2. (doi:https://doi.org/10.1145/2908080.2908104) (Full text available)
 Preview

 Faddegon, Maarten and Chitil, Olaf (2017) A Type Generic Definition for Debugging Lazy Functional Programs by Value Observation. Computer Languages, Systems & Structures, 52 . pp. 92-110. ISSN 1477-8424. (doi:https://doi.org/10.1016/j.cl.2017.05.001) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

Faddegon, Maarten and Chitil, Olaf (2014) Type Generic Observing. In: Hage, Jurriaan and McCarthy, Jay, eds. Type Generic Observing. 15th International Symposium on Trends in Functional Programming, TFP 2014. LNCS 8843. Springer pp. 84-103. ISBN 978-3-319-14674-4. E-ISBN 978-3-319-14675-1. (doi:https://doi.org/10.1007/978-3-319-14675-1_6) (Full text available)
 Preview

 Fischer, Michael D. (1994) Applications in Computing for Social Anthropologists. ASA Research Methods . Routledge, London, 248 pp. ISBN 978-0-203-45108-3. (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)

 Fischer, Michael D. (2008) Cultural dynamics: formal descriptions of cultural processes. Structure and Dynamics, 3 (2). n/a-n/a. ISSN 1554-3374. E-ISSN 1554-3374. (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)

 NCR Corporation (Dayton, OH) (2009) A Method of Determining the Cause of an Error State in an Apparatus. US Patent 7,600,671. (doi:US Patent 7,600,671) (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)

## G

Grigore, Radu (2016) Abstraction Refinement Guided by a Learnt Probabilistic Model. In: Principles of Programming Languages. POPL 2016 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery pp. 485-498. ISBN 978-1-4503-3549-2. (doi:https://doi.org/10.1145/2837614.2837663) (Full text available)
 Preview

Grigore, Radu (2017) Java Generics are Turing Complete. In: POPL 2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. ACM pp. 73-85. ISBN 978-1-4503-4660-3. (doi:https://doi.org/10.1145/3009837.3009871) (Full text available)
 Preview

Grigore, Radu and Kiefer, Stefan (2015) Tree Buffers. In: Computer Aided Verification. Lecture Notes in Computer Science, 9206. pp. 290-306. ISBN 978-3-319-21689-8. E-ISBN 978-3-319-21690-4. (doi:https://doi.org/10.1007/978-3-319-21690-4_17) (Full text available)
 Preview

## J

Jones, Richard E. and King, Andy C. (2004) Collecting the garbage without blocking the traffic. Technical report. University of Kent (Full text available)
 Preview

Jordanous, Anna (2017) Co-creativity and perceptions of computational agents in co-creativity. In: Proceedings of the Eighth International Conference on Computational Creativity. ACC pp. 159-166. ISBN 978-0-692-89564-1. (Full text available)
 Preview

Jordanous, Anna (2017) Has computational creativity successfully made it 'Beyond the Fence' in musical theatre? Connection Science, 29 (4). pp. 350-386. ISSN 0954-0091. E-ISSN 1360-0494. (doi:https://doi.org/10.1080/09540091.2017.1345857) (Full text available)
 Preview

 Jordanous, Anna (2013) Introducing Computational Creativity Research. . CreativityPost.com Internet. (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)

 Jordanous, Anna (2015) Review of Agile Anywhere. Review of: Agile anywhere: Essays on Agile Projects and Beyond, Springer Publishing Company, Incorporated, 2014. by Hazzan, Orit and Dubinsky, Yael. ACM Computing Reviews, . p. 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)

 Jordanous, Anna (2014) What is Computational Creativity? . CreativityPost.com Online web platform. (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)

Jordanous, Anna (2016) The longer term value of creativity judgements in computational creativity. In: Proceedings of AISB 2016’s Third International Symposium on Computational Creativity (CC2016). (Full text available)
 Preview

## K

 Kaijian, Shi and Jian, Sun (1991) A relational graphical editing method for PCB design. Computer-Aided Design, 23 (1). pp. 92-94. ISSN 0010-4485. (doi:https://doi.org/10.1016/0010-4485(91)90102-3) (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)

Kalibera, Tomas and Jones, Richard E. (2013) Rigorous Benchmarking in Reasonable Time. In: ACM SIGPLAN International Symposium on Memory Management (ISMM 2013). ACM, New York pp. 63-74. (doi:https://doi.org/10.1145/2464157.2464160) (Full text available)
 Preview

Kalonaris, Stefano and Jordanous, Anna (2018) Computational Music Aesthetics: a survey and some thoughts. In: 3rd Conference on Computational Simulation of Musical Creativity, 20-22 August 2018, Dublin, Ireland. (Full text available)
 Preview

 Kilov, Haim and Linington, Peter F. and Romero, José Raúl and Tanaka, Akira and Vallecillo, Antonio (2013) The Reference Model of Open Distributed Processing: Foundations, experience and applications. Computer Standards and Interfaces, 35 (3). pp. 247-256. ISSN 0920-5489. (doi:https://doi.org/10.1016/j.csi.2012.05.003) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

 Korporal, Anja and Regensburger, Georg and Rosenkranz, Markus (2010) A MAPLE package for integro-differential operators and boundary problems. ACM Communications in Computer Algebra, 44 (3). pp. 120-122. ISSN 1932-2240. (doi:https://doi.org/10.1145/1940475.1940495) (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)

 Korporal, Anja and Regensburger, Georg and Rosenkranz, Markus (2011) Regular and singular boundary problems in Maple. In: Gerdt, V.P. and Koepf, W. and Mayr, E.W. and Vorozhtsov, E.V., eds. Proceedings of the 13th International Workshop on Computer Algebra in Scientific Computing (CASC'11). Lecture Notes in Computer Science, 6885 . Springer, Berlin, pp. 280-293. ISBN 978-3-642-23567-2. (doi:https://doi.org/10.1007/978-3-642-23568-9_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)

Kölling, Michael (2016) Educational Programming on the Raspberry Pi. Electronics, 5 (3). pp. 1-17. ISSN 2079-9292. (doi:https://doi.org/10.3390/electronics5030033) (Full text available)
 Preview

Kölling, Michael (2016) Lessons from the Design of Three Educational Programming Environments: Blue, BlueJ and Greenfoot. International Journal of People-Oriented Programming, 4 (1). pp. 5-32. ISSN 2156-1796. E-ISSN 2156-1788. (doi:https://doi.org/10.4018/IJPOP.2015010102) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
 Preview

Kölling, Michael and Brown, Neil C.C. and Altadmri, Amjad (2015) Frame-Based Editing: Easing the Transition from Blocks to Text-Based Programming. In: WiPSCE '15 Proceedings of the Workshop in Primary and Secondary Computing Education. pp. 29-38. ISBN 978-1-4503-3753-3. (doi:https://doi.org/10.1145/2818314.2818331) (Full text available)
 Preview

Kölling, Michael and McKay, Fraser (2016) Heuristic Evaluation for Novice Programming Systems. Transactions of Computing Education, 16 (3). ISSN 1946-6226. (doi:https://doi.org/10.1145/2872521) (Full text available)
 Preview

## L

Lamela Seijas, Pablo and Li, Huiqing and Thompson, Simon (2013) Towards Property-Based Testing of RESTful Web Services. Technical report. School of Computing, University of Kent (Unpublished) (Full text available)
 Preview

Lamela Seijas, Pablo and Li, Huiqing and Thompson, Simon (2013) Towards property-based testing of RESTful web services. In: Erlang '13 Proceedings of the twelfth ACM SIGPLAN workshop on Erlang. Proceedings of the twelfth ACM SIGPLAN workshop on Erlang. Association for Computing Machinery, New York, USA pp. 77-78. ISBN 978-1-4503-2385-7. (doi:https://doi.org/10.1145/2505305.2505317) (Full text available)
 Preview

Lamela Seijas, Pablo and Thompson, Simon and Taylor, Ramsay and Bogdanov, Kirill and Derrick, John (2014) Synapse: automatic behaviour inference and implementation comparison for Erlang. Technical report. University of Kent (Unpublished) (Full text available)
 Preview

Langroudi, George and Jordanous, Anna and Li, Ling (2018) Music Emotion Capture: emotion-based generation of music using EEG. In: Emotion Modelling and Detection in Social Media and Online Interaction symposium at the AISB 2018 Convention, 4-6 April 2018, Liverpool, UK. (Full text available)
 Preview

Laszuk, Dawid and Cadenas, Jose O. and Nasuto, Slawomir J. (2016) EMD performance comparison: single vs double floating points. International journal of signal processing systems, 4 (4). pp. 349-353. ISSN 2315-4535. (doi:https://doi.org/10.18178/ijsps.4.4.349-353) (Full text available)
 Preview

Li, Huiqing and Thompson, Simon (2015) Safe Concurrency Introduction through Slicing. In: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation. ACM SIGPLAN pp. 103-113. ISBN 978-1-4503-3297-2. (doi:https://doi.org/10.1145/2678015.2682533) (Full text available)
 Preview

 Linington, Peter F. and Miyazaki, Hiroshi and Vallecillo, Antonio (2012) Obligations and Delegation in the ODP Enterprise Language. In: 2012 IEEE 16th International Enterprise Distributed Object Computing Conference Workshops. pp. 146-155. ISBN 978-1-4673-5005-1. (doi:https://doi.org/10.1109/EDOCW.2012.28) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

 Lowe, Ben and Winzar, Hume and Ward, Steven (2007) Essentials of SPSS for Windows Versions 14 and 15: A Business Approach. Cengage Learning, Australia, 158 pp. ISBN 978-0-17-013465-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)

## M

 Matsangidou, Maria and Ang, Chee Siang and Mauger, Alexis R. and Intarasirisawat, Jittrapol and Otkhmezuri, Boris and Avraamides, Marios (2018) Is Your Virtual Self as Sensational as Your Real? Virtual Reality: The Effect of Body Consciousness on the Experience of Exercise Sensations. Psychology of Sport & Exercise, . ISSN 1469-0292. (doi:https://doi.org/10.1016/j.psychsport.2018.07.004) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

 Matsangidou, Maria and Otterbacher, Jahna and Ang, Chee Siang and Zaphiris, Panayiotis (2018) Can the Crowd Tell How I Feel? Trait Empathy and Ethnic Background in a Visual Pain Judgment Task. Universal Access in the Information Society, . ISSN 1615-5289. E-ISSN 1615-5297. (doi:https://doi.org/10.1007/s10209-018-0611-y) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

McCall, Davin and Kölling, Michael (2014) Meaningful Categorisation of Novice Programmer Errors. In: Frontiers In Education Conference 2014 Proceedings. (Full text available)
 Preview

McKay, Fraser and Kölling, Michael (2013) Predictive Modelling for HCI Problems in Novice Program Editors. In: Proceedings of BCS HCI 2013 - The Internet of Things XXVII. British Computer Society, London, UK (Full text available)
 Preview

Mercier, Daniel (2017) dynStruct: An automatic reverse engineering tool for structure recovery and memory use analysis. Master of Science (MSc) thesis, University of Kent. (Full text available)
 Preview

Micallef, Luana and Rodgers, Peter (2012) Poster: Drawing Area-Proportional Venn-3 Diagrams Using Ellipses. In: 2012 Grace Hopper Celebration of Women in Computing, ACM Student Research Competition and Poster Session, October 2012, Baltimore, MD, USA. (Full text available)
 Preview

Murgia, Maurizio (2018) On Urgency in Asynchronous Timed Session Types. In: Electronic Proceedings in Theoretical Computer Science. Proceedings 11th Interaction and Concurrency Experience. Open Publishing Association pp. 85-94. (doi:https://doi.org/10.4204/EPTCS.279) (Full text available)
 Preview

## N

Nawaz, Sarfraz and Efstratiou, Christos and Mascolo, Cecilia (2016) Smart Sensing Systems for the Daily Drive. IEEE Pervasive Computing, . pp. 39-43. ISSN 1536-1268. (doi:https://doi.org/10.1109/MPRV.2016.22) (Full text available)
 Preview

## P

Pawar, Pramod and Sajjad, Ali and Dimitrakos, Theo and Chadwick, David W. (2015) Security-as-a-Service in Multi-cloud and Federated Cloud Environments: 9th IFIP WG 11.11 International Conference, IFIPTM 2015, Hamburg, Germany, May 26-28, 2015, Proceedings. In: Trust Management IX. IFIP Advances in Information and Communication Technology (1). Springer International Publishing, pp. 251-261. ISBN 978-3-319-18490-6. E-ISBN 978-3-319-18491-3. (doi:https://doi.org/10.1007/978-3-319-18491-3) (Full text available)
 Preview

 Poole, Michael D. (1995) Using records and pointers with occam 2.1. In: Nixon, Paddy and Transputer User, Grp, eds. Transputer and Occam Developments. Transputer & Occam Engineering Series, 44 . IOS Press, Amsterdam, pp. 151-162. ISBN 90-5199-222-X. (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)

Price, Thomas W. and Brown, Neil C.C. and Lipovac, Dragan and Barnes, Tiffany and Kölling, Michael (2016) Evaluation of a Frame-based Programming Editor. In: ICER '16 Proceedings of the 2016 ACM Conference on International Computing Education Research. ACM, New York, USA pp. 33-42. ISBN 978-1-4503-4449-4. (doi:https://doi.org/10.1145/2960310.2960319) (Full text available)
 Preview

## R

Ritson, Carl G. and Ugawa, Tomoharu and Jones, Richard E. (2014) Exploring Garbage Collection with Haswell Hardware Transactional Memory. In: ISMM '14. Proceedings of the 2014 international symposium on Memory management. ACM, New York pp. 105-115. ISBN 978-1-4503-2921-7. (doi:https://doi.org/10.1145/2602988.2602992) (Full text available)
 Preview

Rodgers, Peter and Stapleton, Gem and Chapman, Peter (2015) Visualizing Sets with Linear Diagrams. ACM Transactions on Computer-Human Interaction, 22 (6). 27:1-27:39. ISSN 1073-0516. E-ISSN 1557-7325. (doi:https://doi.org/10.1145/2810012) (Full text available)
 Preview

 Rosenkranz, Markus and Liu, Jane and Maletzky, Alexander and Buchberger, Bruno (2015) Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates. In: Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner and Vorozhtsov, Evgenii V., eds. Proceedings of the 17th International Workshop, CASC 2015. Computer Algebra in Scientific Computing. Lecture Notes in Computer Science, 9301. Springer, Berlin pp. 406-423. ISBN 978-3-319-24020-6. E-ISBN 978-3-319-24021-3. (doi:https://doi.org/10.1007/978-3-319-24021-3_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)

 Rosenkranz, Markus and Phisanbut, Nalina (2013) A Symbolic Approach to Boundary Problems for Linear Partial Differential Equations: Applications to the Completely Reducible Case of the Cauchy Problem with Constant Coefficients. In: Proceedings of the 13th International Workshop on Computer Algebra in Scientific Computing (CASC'11). Proceedings of the 15th International Workshop on Computer Algebra in Scientific Computing. Lecture Notes in Computer Science, 8136. Springer, Berlin pp. 301-314. (doi:https://doi.org/10.1007/978-3-319-02297-0_25) (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)

## S

 Sandim Eleute?rio, Jane D. A. and de Franc?a, Breno B. N. and Rubira, Cecilia M. F. and de Lemos, Rogerio (2018) Realising Variability in Dynamic Software Product Line Solutions. In: Software Engineering for Variability Intensive Systems: Foundations and Applications. CRC Press. (In press) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

Seijas, Pablo Lamela and Thompson, Simon and Francisco, Miguel Ángel (2016) Model extraction and test generation from JUnit test suites. In: Proceedings of the 11th International Workshop on Automation of Software Test. , New York, USA pp. 8-14. ISBN 978-1-4503-4151-6. (doi:https://doi.org/10.1145/2896921.2896927) (Full text available)
 Preview

Seijas, Pablo Lamela and Thompson, Simon and Francisco, Miguel Ángel (2018) Model extraction and test generation from JUnit test suites. Software Quality Journal, . ISSN 0963-9314. E-ISSN 1573-1367. (doi:https://doi.org/10.1007/s11219-017-9399-x) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
 Preview

 Sharifi, Mohsen and Ghafourian, Taravat (2014) Estimation of Biliary Excretion of Foreign Compounds Using Properties of Molecular Structure. AAPS journal, 16 (1). pp. 65-78. ISSN 1550-7416. (doi:https://doi.org/10.1208/s12248-013-9541-z) (Full text available)

 Sobhy, Mohammed and Makkey, M.Y. (1998) A new look at analogue computing using switched capacitor circuits. In: IEEE International Symposium on Circuits and Systems (ISCAS 98), May 31-June 03, 1998, Monterey, CA. (doi:https://doi.org/10.1109/ISCAS.1998.704508) (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)

Steen, Maarten and Derrick, John and Boiten, Eerke Albert and Bowman, Howard (1999) Consistency of partial process specifications. In: Haeberer, A.M., ed. Algebraic Methodology and Software Technology (AMAST '98). http://dx.doi.org/10.1007/3-540-49253-4_19, 1548. Springer-Verlag Berlin pp. 248-262. ISBN 3-540-65462-3. (doi:https://doi.org/10.1007/3-540-49253-4_19) (Full text available)
 Preview
 Preview

## T

 Tardivel, Gillian M. and Morse, David R. (1998) The role of the user in computer-based species identification. In: Conference on Unlocking the Future - Information Technology in Plant Pathology and Biodiversity, December 16-19, 1996, University of Kent, Canterbury, England. (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)

Thompson, Simon (2017) A General Method for Defining Objects by Recursion over Syntax. Journal of Universal Computer Science, 23 (1). pp. 89-111. ISSN 0948-695X. E-ISSN 0948-6968. (Full text available)
 Preview

Thompson, Simon and Horpacsi, Daniel and Koszegi, Judit (2016) Towards Trustworthy Refactoring in Erlang. In: Hamilton, Geoff and Lisitsa, Alexei and Nemytykh, Andrei P., eds. Electronic Proceedings in Theoretical Computer Science. Proceedings of the Fourth International Workshop on Verification and Program Transformation (VPT 2016). pp. 83-103. (doi:https://doi.org/10.4204/EPTCS.216.5) (Full text available)
 Preview

 Thompson, Simon and Lamela Seijas, Pablo (2018) Marlowe: Financial Contracts on Blockchain. In: Lecture Notes in Computer Science. ISoLA 2018: 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%2F978-3-030-03427-6_27) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

Thompson, Simon and Lamela Seijas, Pablo and Adams, Darryl (2016) Scripting smart contracts for distributed ledger technology. Technical report. Cryptology ePrint Archive (Unpublished) (Full text available)
 Preview

 Thompson, Simon and Li, Huiqing (2013) Refactoring tools for functional languages. Journal of Functional Programming, 23 (03). pp. 293-350. ISSN 0956-7968. (doi:https://doi.org/10.1017/S0956796813000117) (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)

Thompson, Simon and Li, Huiqing and Baker, Robert and Adams, Stephen and Trinder, Phil and Chechina, Natalia and Papaspyrou, Nikolaos and Sagonas, Konstantinos and Aronis, Stavros and Bihari, Eva and Boudeville, Olivier and Cesarini, Francesco and de Stefano, Maurizio and Eriksson, Sverker and Fordos, Viktoria and Ghaffari, Amir and Green, Rickard and Hoch, csaba and Klaftenegger, David and Lundin, Kenneth and MacKenzie, Kenneth and Roukounaki, Katerinia and Tsiouris, Yiannis and Winblad, Kjell (2017) Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. ACM Transactions on Programming Languages and Systems, 39 (4). ISSN 0164-0925. E-ISSN 1558-4593. (doi:https://doi.org/10.1145/3107937) (Full text available)
 Preview

 Thompson, Simon and Runciman, Colin (2015) Demur: checking functional-program properties using bounded recursion. In: Sixth Workshop on Tools for Automatic Program Analysis, 08 Sep 2015, Saint-Malo, France. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)

Tsushima, Kanae and Chitil, Olaf (2014) Enumerating Counter-Factual Type Error Messages with an Existing Type Checker. In: 16th Workshop on Programming and Programming Languages, PPL2014, 5-7 March 2014, Aso, Japan. (Full text available)
 Preview

Tsushima, Kanae and Chitil, Olaf (2014) Enumerating Counter-Factual Type Error Messages with an Existing Type Checker (poster+demo). In: 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, 17-19 November 2014, Singapore. (Full text available)
 Preview

## U

Ugawa, Tomoharu and Jones, Richard E. and Ritson, Carl G. (2014) An On-The-Fly Copying Garbage Collection Framework for Jikes RVM. In: 12th Asian Symposium on Programming Languages and Systems, 17-19 November 2014, Singapore. (Full text available)
 Preview

Ugawa, Tomoharu and Jones, Richard E. and Ritson, Carl G. (2014) Reference Object Processing in On-The-Fly Garbage Collection. In: ISMM '14. Proceedings of the 2014 international symposium on Memory management. ACM, New York pp. 59-69. ISBN 978-1-4503-2921-7. (doi:https://doi.org/10.1145/2602988.2602991) (Full text available)
 Preview

Ugawa, Tomoharu and Ritson, Carl G. and Jones, Richard E. (2018) Transactional Sapphire: Lessons in High Performance, On-the-fly Garbage Collection. Transactions on Programming Languages and Systems, 40 (4). 15:1-15:56. ISSN 0164-0925. E-ISSN 1558-4593. (doi:https://doi.org/10.1145/3226225) (Full text available)
 Preview
 Preview

## W

 Walczowski, Les T. and Ellis, Mark K. (2008) Using Web 2.0 Technology to Support Learning and Teaching. In: Malpica, F. and Tremante, A. and Welsch, F. and Tait, B., eds. IMSCI' 08: 2nd International Multi-Conference on Society, Cybernetics and Informatics, Vol 1, Proceedings. pp. 178-182. ISBN 978-1-934272-46-6. (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)

 Walczowski, Les T. and Elllis, M.K. (2008) A Novel Learning Management Portal to Support Engineering and Technology Education. In: Proceedings of the 2008 International Technology, Education and Development Conference, Valencia, Spain. (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)

Wazan, Ahmad Samer and Laborde, Romain and Chadwick, David W. and Barrere, Francois and Benzekri, Abdelmalek and Habbal, Abid M.M. and Kaiiali, Mustafa (2017) Trust Management for Public Key Infrastructures: Implementing the X.509 Trust Broker. Security and Communication Networks, 2017 (690714). pp. 1-23. ISSN 1939-0114. E-ISSN 1939-0122. (doi:https://doi.org/10.1155/2017/6907146) (Full text available)
 Preview

 Webber, J. Beau W. (2008) APLX version 4 - from the viewpoint of an experimental physicist. Vector (Journal of the British APL Association), 23 (3). pp. 39-45. ISSN 0955-1433. (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)

Webber, J. Beau W. (1989) A Pipe has two ends. Using APL in a multiprocess/multiprocessor environment. A proposal for a flexible but easy to use syntax. Apl Quad Quote, 20 (1). pp. 1-2. (doi:https://doi.org/10.1145/379199.379200) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
 Preview

Wood, David C. and Moores, James (1999) User-defined data types and operators in occam. In: Cook, Barry M., ed. Architectures, Languages and Techniques for Concurrent Systems. Concurrent Systems Engineering Series, 57. I O S Press pp. 121-146. ISBN 90-5199-480-X. (Full text available)
 Preview

## Z

Zhang, Xin and Mangal, Ravi and Grigore, Radu and Naik, Mayur and Yang, Hongseok (2014) On abstraction refinement for program analyses in Datalog. In: PLDI '14 Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery, New York, USA pp. 239-248. ISBN 978-1-4503-2784-8. (doi:https://doi.org/10.1145/2594291.2594327) (Full text available)
 Preview

## Ö

Öztürkeri, Can and Johnson, Colin G. (2014) Self-repair ability of evolved self-assembling systems in cellular automata. Genetic Programming and Evolvable Machines, 15 (3). pp. 313-341. ISSN 1389-2576. E-ISSN 1573-7632. (doi:https://doi.org/10.1007/s10710-014-9216-2) (Full text available)
 Preview

This list was generated on Sat Mar 23 13:38:54 2019 GMT.