Skip to main content

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

Group by: Creator's name | Item Type | Date | No Grouping
Number of items at this level: 161.

2021

Chitil, Olaf, ed. (2021) IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages. ICPS . ACM, New York, NY, USA ISBN 978-1-4503-8963-1. (doi:10.1145/3462172) (KAR id:90050)
[thumbnail of preface of proceedings]
Preview

Barker, Robert, Zec, Nebojša, Mangiapia, Gaetano, Hendry, Alex C., Koutsioubas, Alexandros, Frielinghaus, Henrich, Campana, Mario, Ortega-Roldan, Jose L., Busch, Sebastian, Moulin, Jean-François and others. (2021) Mutually Beneficial Combination of Molecular Dynamics Computer Simulations and Scattering Experiments. Membranes, 11 . Article Number 507. ISSN 2077-0375. (doi:10.3390/membranes11070507) (KAR id:89669)
[thumbnail of membranes-11-00507.pdf]
Preview

Yuan, Haiyue, Li, Shujun, Rusconi, Patrice (2021) CogTool+: Modeling human performance at large scale. ACM Transactions on Computer-Human Interaction, 28 (2). Article Number 7. ISSN 1073-0516. E-ISSN 1557-7325. (doi:10.1145/3447534) (KAR id:87545)
[thumbnail of ACMTOCHI2021.pdf]
Preview

2020

Bailey, Christopher, de Lemos, Rogério (2020) Malicious Changeload for the Resilience Evaluation of Self-adaptive Authorisation Infrastructures. Future Generation Computer Systems, 113 . pp. 113-131. ISSN 0167-739X. (doi:10.1016/j.future.2020.06.045) (KAR id:81860)
[thumbnail of FGCS_Revised (3).pdf]
Preview

Bereczky, Péter and Horpácsi, Dániel and Thompson, Simon (2020) Machine-checked natural semantics for Core Erlang: exceptions and side effects. In: Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang. ACM, pp. 1-13. ISBN 978-1-4503-8049-2. (doi:10.1145/3406085.3409008) (KAR id:82515)
[thumbnail of EW2020 final.pdf]
Preview

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)
[thumbnail of core_erlang_paper.pdf]
Preview

Laborde, Romain, Oglaza, Arnaud, Wazan, Ahmad Samer, Chadwick, David W., Barrere, Francois, Benzekri, Abdelmalek, Venant, Remi (2020) Know Your Customer: Opening a new bank account online using UAAF. In: 2020 IEEE 17th Annual Consumer Communications & Networking Conference (CCNC). 2020 IEEE 17th Annual Consumer Communications & Networking Conference (CCNC). . IEEE ISBN 978-1-72813-893-0. E-ISBN 978-1-72813-893-0. (doi:10.1109/CCNC46108.2020.9045148) (KAR id:80303)
[thumbnail of KYC - CCNC2020.pdf]
Preview

Lamela Seijas, Pablo and Nemish, Alexander and Smith, David and Thompson, Simon (2020) Marlowe: Implementing and Analysing Financial Contracts on Blockchain. In: Bernhard, Matthew and Bracciali, Andrea and Camp, L. Jean and Matsuo, Shin'ichiro and Maurushat, Alana and Rønne, Peter B. and Sala, Massimiliano, eds. Financial Cryptography and Data Security. Lecture Notes in Computer Science . Springer, Cham, Switzerland, pp. 496-511. ISBN 978-3-030-54454-6. E-ISBN 978-3-030-54455-3. (doi:10.1007/978-3-030-54455-3_35) (KAR id:82483)
[thumbnail of LamelaSeijas2020_Chapter_MarloweImplementingAndAnalysin.pdf]
Preview
[thumbnail of 10.1007%2F978-3-030-54455-3_35]

Lamela Seijas, Pablo and Smith, David and Thompson, Simon (2020) Efficient Static Analysis of Marlowe Contracts. In: Margaria, Tiziana and Steffen, Bernhard, eds. ISoLA 2020: Leveraging Applications of Formal Methods, Verification and Validation: Applications. Lecture Notes in Computer Science . Springer, Cham, Switzerland, pp. 161-177. ISBN 978-3-030-61466-9. E-ISBN 978-3-030-61467-6. (doi:10.1007/978-3-030-61467-6_11) (KAR id:83710)
[thumbnail of paper.pdf]
Preview

Marr, Stefan (2020) The Shape of 1.7M Lines of Code. . Blog Post. (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:85285)

Nishshanka, Bandula, Shepherd, Chris, Ariyarathna, Randika (2020) A software-based solution to estimate the angles of incidence of AK bullets using bullet hole features on 1mm sheet metal. In: 13th International Research Conference - Holistic approach to national growth and security, 15-16 Oct 2020, Colombo, Sri Lanka. (Unpublished) (KAR id:84389)
[thumbnail of A Forensic Tool for Bullet Trajectory Determination in Shooting Reconstruction CS.docx]

Sağlam, Rahime Belen, Aslan, Çağrı B., Li, Shujun, Dickson, Lisa, Pogrebna, Ganna (2020) A Data-Driven Analysis of Blockchain Systems' Public Online Communications on GDPR. In: Proceedings of 2020 2nd IEEE International Conference on Decentralized Applications and Infrastructures. . pp. 22-31. IEEE ISBN 978-1-72817-022-0. (doi:10.1109/DAPPS49028.2020.00003) (KAR id:81277)
[thumbnail of DAPPS2020.pdf]
Preview

Yuan, Haiyue and Li, Shujun (2020) MATLAB software prototype for detecting vehicle convoys based on ANPR (Automated Number Plate Recognition) data. NA Electronic files. (Unpublished) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:80296)
[thumbnail of POLARBEAR_source_code+docs.7z] [thumbnail of PDF (Restricted - For Administrative Purposes Only - Email correspondence]

2019

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)
[thumbnail of APF_2019_paper_25.pdf]
Preview

Alterkawi, Laila, Migliavacca, Matteo (2019) Parallelism and partitioning in large-scale GAs using spark. In: GECCO '19 Proceedings of the Genetic and Evolutionary Computation Conference. . pp. 736-744. ACM, New York ISBN 978-1-4503-6111-8. (doi:10.1145/3321707.3321775) (KAR id:75345)
[thumbnail of Untitle.pdf]
Preview

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)
[thumbnail of Asynchronous timed session types.pdf]
Preview
[thumbnail of main.pdf]

Chadwick, David W., Fan, Wenjun, Constantino, Gianpiero, De Lemos, Rogério, Di Cerbo, Francesco, Herwono, Ian, Mori, Paolo, Sajjad, Ali, Wang, Xiao-Si, Manera, Mirko and others. (2019) A cloud-edge based data security architecture for sharing and analyzing cyber threat information. Future Generation Computer Systems, 102 . pp. 710-722. ISSN 0167-739X. (doi:10.1016/j.future.2019.06.026) (KAR id:76431)
[thumbnail of 1-s2.0-S0167739X19300895-main (1).pdf]
Preview

Chadwick, David W., Laborde, Romain, Oglaza, Arnaud, Venant, Remi, Wazan, Ahmad Samer, Nijjar, Manreet (2019) Improved Identity Management with Verifiable Credentials and FIDO. IEEE Communications Standards, 3 (4). pp. 14-20. ISSN 2471-2825. (doi:10.1109/MCOMSTD.001.1900020) (KAR id:80304)
[thumbnail of Camera ready copy]
Preview

Chhonker, Ananya, de Lemos, Rogerio (2019) Microservices Architectures and Technical Debt: A Self-adaptation View. In: International Conference on Microservices (Microservices 2019), 19-21 February 2019, Dortmund, Germany. (KAR id:73261)
[thumbnail of msa2019.pdf]

Islam, Tasmina, Becker, Ingolf, Posner, Rebecca, Ekblom, Paul, McGuire, Michael, Borrion, Hervé, Li, Shujun (2019) A Socio-Technical and Co-Evolutionary Framework for Reducing Human-Related Risks in Cyber Security and Cybercrime Ecosystems. In: Communications in Computer and Information Science. Dependability in Sensor, Cloud, and Big Data Systems and Applications: 5th International Conference, DependSys 2019, Guangzhou, China, November 12–15, 2019, Proceedings. 1123. pp. 277-293. Springer, Singapore ISBN 978-981-1513-03-9. E-ISBN 978-981-1513-04-6. (doi:10.1007/978-981-15-1304-6_22) (KAR id:76678)
[thumbnail of Dependsys2019b.pdf]
Preview
[thumbnail of Copy of consent to publish form]

Jordanous, Anna (2019) Evaluating evaluation: Assessing progress and practices in computational creativity research. In: Veale, Tony and Cardoso, Amílcar F., eds. Computational Creativity: The Philosophy and Engineering of Autonomously Creative Systems. Computational Synthesis and Creative Systems . Springer, Cham, Switzerland, pp. 211-236. ISBN 978-3-319-43608-1. E-ISBN 978-3-319-43610-4. (doi:10.1007/978-3-319-43610-4_10) (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:80114)

Kabi, Oliver R. and Franqueira, Virginia N. L. (2019) Blockchain-Based Distributed Marketplace. In: Abramowicz, Witolf and Paschke, Adrian, eds. Business Information Systems Workshops. BIS 2018. Lecture Notes in Business Information Processing . Springer Nature, Cham, Switzerland, pp. 197-210. ISBN 978-3-030-04848-8. E-ISBN 978-3-030-04849-5. (doi:10.1007/978-3-030-04849-5_17) (KAR id:79533)
[thumbnail of BSCT_2018_accepted.pdf]
Preview

Khalid, Ahmad, Saha, Sangeet, Bhatt, Bina, Gu, Dongbing, Howells, Gareth, McDonald-Maier, Klaus D. (2019) FLAG: A Framework for FPGA Based Load Generator in Profinet Communication. In: Proceedings of International Conference On Industry 4.0 And Artificial Intelligence Technologies. . (In press) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:74065)
[thumbnail of INAIT_FLAG.pdf]

Liza, Farhana Ferdousi, Grzes, Marek (2019) Relating RNN layers with the spectral WFA ranks in sequence modelling. In: ACL workshop on Deep Learning and Formal Languages: Building Bridges, 2 August 2019, Florence, Italy. (Unpublished) (KAR id:74240)
[thumbnail of liza19DelFol.pdf]
Preview

Lu, Yang, Li, Shujun, Ioannou, Athina, Tussyadiah, Iis (2019) From Data Disclosure to Privacy Nudges: A Privacy-aware and User-centric Personal Data Management Framework. In: Communications in Computer and Information Science. Dependability in Sensor, Cloud, and Big Data Systems and Applications: 5th International Conference, DependSys 2019, Guangzhou, China, November 12–15, 2019, Proceedings. 1123. pp. 262-276. Springer, Singapore ISBN 978-981-1513-03-9. E-ISBN 978-981-1513-04-6. (doi:10.1007/978-981-15-1304-6_21) (KAR id:76677)
[thumbnail of Dependsys2019a.pdf]
Preview
[thumbnail of Copy of consent to publish form]

Matsangidou, Maria, Ang, Chee Siang, Mauger, Alexis R., Intarasirisawat, Jittrapol, Otkhmezuri, Boris, Avraamides, Marios (2019) 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, 41 . pp. 218-224. ISSN 1469-0292. (doi:10.1016/j.psychsport.2018.07.004) (KAR id:67624)
[thumbnail of PSE_VR_Pain_PBC.pdf]
Preview

Sandim Eleutério, Jane D. A. and de França, Breno B. N. and Rubira, Cecilia M. F. and de Lemos, Rogerio (2019) Realising Variability in Dynamic Software Product Line Solutions. In: Software Engineering for Variability Intensive Systems: Foundations and Applications. CRC Press. (KAR id:66574)
[thumbnail of SEVIS_Taxonomy(1).pdf]
Preview

2018

Kalonaris, Stefano, 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. (KAR id:67600)
[thumbnail of Camera ready copy - official final copy will be made openly available at https://csmc2018.wordpress.com/]
Preview

Langroudi, George, Jordanous, Anna, Li, Ling (2018) Music Emotion Capture: sonifying emotions in EEG data. In: Emotion Modelling and Detection in Social Media and Online Interaction symposium at the AISB 2018 Convention, 4-6 April 2018, Liverpool, UK. (KAR id:66564)
[thumbnail of Paper will also be published open access by the conference by April 2018]
Preview

Liu, Junjie and Aljaffan, Nouf and Li, Shujun (2018) PassInfinity: A software prototype system. NA Electronic files. (Unpublished) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:80287)
[thumbnail of PassInfinity-20180501.zip]

Lu, Yang, Sinnott, Richard O., Verspoor, Karin (2018) Semantic-Based Policy Composition for Privacy-Demanding Data Linkage. In: 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications. 2018 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/ 12th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE). . pp. 348-359. IEEE ISBN 978-1-5386-4389-1. E-ISBN 978-1-5386-4388-4. (doi:10.1109/TrustCom/BigDataSE.2018.00060) (KAR id:80961)
[thumbnail of 6. Semantic-based Policy Composition for Privacy-demanding Data Linkage.pdf]
Preview

Lu, Yang, Sinnott, Richard O., Verspoor, Karin, Parampalli, Udaya (2018) Privacy-Preserving Access Control in Electronic Health Record Linkage. In: 2018 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/ 12th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE). . pp. 1079-1090. IEEE ISBN 978-1-5386-4389-1. E-ISBN 978-1-5386-4388-4. (doi:10.1109/TrustCom/BigDataSE.2018.00151) (KAR id:80959)
[thumbnail of 7. Privacy-Preserving Access Control in Electronic Health Record Linkage.pdf]
Preview

Matsangidou, Maria, Otterbacher, Jahna, Ang, Chee Siang, 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: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) (KAR id:65767)
[thumbnail of Can the Crowd Tell How I Feel.pdf]

Murgia, Maurizio (2018) On Urgency in Asynchronous Timed Session Types. In: Electronic Proceedings in Theoretical Computer Science. Proceedings 11th Interaction and Concurrency Experience. 279. pp. 85-94. Open Publishing Association (doi:10.4204/EPTCS.279.9) (KAR id:69683)
[thumbnail of main.pdf]
Preview

Sedgewick, Peter E. and de Lemos, Rogério (2018) Self-adaptation made easy with Blockchains. In: Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems. ICSE International Conference on Software Engineering . ACM, New York, USA. ISBN 978-1-4503-5715-9. (doi:10.1145/3194133.3194150) (KAR id:66569)
[thumbnail of seams2018_03RDL.pdf]
Preview

Seijas, Pablo Lamela, Thompson, Simon, Francisco, Miguel Ángel (2018) Model extraction and test generation from JUnit test suites. Software Quality Journal, 26 . pp. 1519-1552. ISSN 0963-9314. E-ISSN 1573-1367. (doi:10.1007/s11219-017-9399-x) (KAR id:66343)
[thumbnail of Model extraction and test generation from JUnit test suites.pdf]
Preview
[thumbnail of paper.pdf]

Thompson, Simon, ed. (2018) Proceedings of the Sixth Workshop on Trends in Functional Programming in Education. EPTCS, 60 pp. (doi:10.4204/EPTCS.270) (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:67028)

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)
[thumbnail of paper X.pdf]
Preview
[thumbnail of paper XXX.pdf]

Ugawa, Tomoharu, Ritson, Carl G., Jones, Richard E. (2018) Transactional Sapphire: Lessons in High Performance, On-the-fly Garbage Collection. ACM Transactions on Programming Languages and Systems, 40 (4). Article Number 15. ISSN 0164-0925. E-ISSN 1558-4593. (doi:10.1145/3226225) (KAR id:67207)
[thumbnail of sapphire.pdf]
Preview
[thumbnail of sapphire.pdf]

da Silva, Carlos Eduardo, Diniz, Thomas, Cacho, Nelio, 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:10.1186/s13174-018-0090-7) (KAR id:67437)
[thumbnail of stack 10.1186%2Fs13174-018-0090-7.pdf]
Preview
[thumbnail of adaptive-authorisation-openstack.pdf]

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)

2017

Alqahtani, Saeed Ibrahim, 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. . Article No. 19. ACM, New York, NY, USA ISBN 978-1-4503-5257-4. (doi:10.1145/3098954.3098984) (KAR id:69561)
[thumbnail of ppandroidbenchmarker.pdf]
Preview

Angelov, Plamen P., Gu, Xiaowei (2017) Empirical Fuzzy Sets. International Journal of Intelligent Systems, 33 (2). pp. 362-395. ISSN 0884-8173. (doi:10.1002/int.21935) (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:90127)

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

Chechina, Natalia, MacKenzie, Kenneth, Thompson, Simon, Trinder, Phil, Boudeville, Olivier, Fordos, Viktoria, Hoch, csaba, Ghaffari, Amir, 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:10.1109/TPDS.2017.2654246) (KAR id:60077)
[thumbnail of Evaluating Scalable Distributed Erlang for Scalability and Reliability]
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 the 28th Symposium on the Implementation and Application of Functional Programming Languages. ACM-ICPS International Conference Proceeding Series . ACM, New York, USA. ISBN 978-1-4503-4767-9. (doi:10.1145/3064899.3064904) (KAR id:61147)
[thumbnail of hatLight.pdf]
Preview

Faddegon, Maarten, 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:10.1016/j.cl.2017.05.001) (KAR id:62530)
[thumbnail of typeGenericDefDebugging.pdf]
Preview

Grigore, Radu (2017) Java Generics are Turing Complete. In: POPL 2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. POPL Principles of Programming Languages . pp. 73-85. ACM, New York, USA ISBN 978-1-4503-4660-3. (doi:10.1145/3009837.3009871) (KAR id:58183)
[thumbnail of javats.pdf]
Preview

Jordanous, Anna (2017) Co-creativity and perceptions of computational agents in co-creativity. In: Proceedings of the Eighth International Conference on Computational Creativity. . pp. 159-166. Georgia Institute of Technology, Atlanta, Georgia, USA ISBN 978-0-692-89564-1. (KAR id:61658)
[thumbnail of ICCC-17_paper_48.pdf]
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:10.1080/09540091.2017.1345857) (KAR id:61395)
[thumbnail of Final submitted version before journal editing. The journal has a 12 month embargo]
Preview

Lu, Yang, Sinnott, Richard O., Verspoor, Karin (2017) A Semantic-Based K-Anonymity Scheme for Health Record Linkage. Studies in Health Technology and Informatics, 239 . pp. 84-90. ISSN 0926-9630. (doi:10.3233/978-1-61499-783-2-84) (KAR id:80964)
[thumbnail of 4. A Semantic-based K-anonymity Scheme for Health Record Linkage.pdf]
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. (KAR id:58461)
[thumbnail of MSc thesis]
Preview

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. (KAR id:60845)
[thumbnail of jucs_23_01_0089_0111_thompson.pdf]
Preview

Thompson, Simon, Li, Huiqing, Baker, Robert, Adams, Stephen, Trinder, Phil, Chechina, Natalia, Papaspyrou, Nikolaos, Sagonas, Konstantinos, Aronis, Stavros, Bihari, Eva, and others. (2017) Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. ACM Transactions on Programming Languages and Systems, 39 (4). Article Number 17. ISSN 0164-0925. E-ISSN 1558-4593. (doi:10.1145/3107937) (KAR id:63197)
[thumbnail of release-summary-arxiv-1.pdf]
Preview

Wazan, Ahmad Samer, Laborde, Romain, Chadwick, David W., Barrere, Francois, Benzekri, Abdelmalek, Habbal, Abid M.M., 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:10.1155/2017/6907146) (KAR id:60311)
[thumbnail of Trust mangement.pdf]
Preview

2016

Altadmri, Amjad, Kölling, Michael, 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. . pp. 748-753. IEEE ISBN 978-1-4673-8846-7. E-ISBN 978-1-4673-8845-0. (doi:10.1109/COMPSAC.2016.204) (KAR id:54776)
[thumbnail of errors.pdf]
Preview

Bai, Lu, Efstratiou, Christos, 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. (KAR id:54612)
[thumbnail of weSport-accepted-version.pdf]
Preview

Berry, Michael, 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. . (KAR id:54393)
[thumbnail of LaTICE-final.pdf]
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:10.4204/EPTCS.209.2) (KAR id:51635)
[thumbnail of paper.cgi_Refine15.2.pdf]
Preview

Brown, Neil C.C., Altadmri, Amjad, 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. . (KAR id:54394)
[thumbnail of frames.pdf]
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) (KAR id:51618)

Faddegon, Maarten and Chitil, Olaf (2016) Lightweight Computation Tree Tracing for Lazy Functional Languages. In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI Programming Language Design and Implementation . ACM, New York, USA, pp. 114-128. ISBN 978-1-4503-4261-2. (doi:10.1145/2908080.2908104) (KAR id:55352)
[thumbnail of Includes page numbers and artifact evaluation badge]
Preview

Grigore, Radu and Yang, Hongseok (2016) Abstraction Refinement Guided by a Learnt Probabilistic Model. In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL Principles of Programming Languages . ACM, New York, USA, pp. 485-498. ISBN 978-1-4503-3549-2. (doi:10.1145/2837614.2837663) (KAR id:54057)
[thumbnail of with additional proofs (in appendix)]
Preview

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). . (KAR id:54453)
[thumbnail of jordanousCS5yearslater.pdf]
Preview

Kölling, Michael (2016) Educational Programming on the Raspberry Pi. Electronics, 5 (3). Article Number 33. ISSN 2079-9292. (doi:10.3390/electronics5030033) (KAR id:56149)
[thumbnail of Electronics-RPi-final.pdf]
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:10.4018/IJPOP.2015010102) (KAR id:56662)
[thumbnail of kolling IJPOP 4(1) article.pdf]
Preview
[thumbnail of Upload permission]

Kölling, Michael, McKay, Fraser (2016) Heuristic Evaluation for Novice Programming Systems. Transactions of Computing Education, 16 (3). ISSN 1946-6226. (doi:10.1145/2872521) (KAR id:55885)
[thumbnail of kolling-heuristics-submitted.pdf]
Preview

Laszuk, Dawid, Cadenas, Jose O., 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:10.18178/ijsps.4.4.349-353) (KAR id:57350)
[thumbnail of Laszuk2015 EMD performance SFP vs DFP.pdf]
Preview

Lu, Yang, Sinnott, Richard O. (2016) Semantic-Based Privacy Protection of Electronic Health Records for Collaborative Research. In: 2016 IEEE Trustcom/BigDataSE/ISPA. . pp. 519-526. IEEE ISBN 978-1-5090-3206-8. E-ISBN 978-1-5090-3205-1. (doi:10.1109/TrustCom.2016.0105) (KAR id:80962)
[thumbnail of 3. Semantic-based Privacy Protection of Electronic Health Records for Collaborative Research.pdf]
Preview

Nawaz, Sarfraz, Efstratiou, Christos, Mascolo, Cecilia (2016) Smart Sensing Systems for the Daily Drive. IEEE Pervasive Computing, 15 (1). pp. 39-43. ISSN 1536-1268. E-ISSN 1558-2590. (doi:10.1109/MPRV.2016.22) (KAR id:54528)
[thumbnail of pervasive16.pdf]
Preview

Price, Thomas W., Brown, Neil C.C., Lipovac, Dragan, Barnes, Tiffany, 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. . pp. 33-42. ACM, New York, USA ISBN 978-1-4503-4449-4. (doi:10.1145/2960310.2960319) (KAR id:56259)
[thumbnail of icer027-priceA.pdf]
Preview

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. ICSE International Conference on Software Engineering . ACM, New York, USA, pp. 8-14. ISBN 978-1-4503-4151-6. (doi:10.1145/2896921.2896927) (KAR id:55751)
[thumbnail of p8-seijas.pdf]
Preview

Thompson, Simon, Horpacsi, Daniel, 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). 216. pp. 83-103. (doi:10.4204/EPTCS.216.5) (KAR id:56750)
[thumbnail of paper.cgi_VPT2016.5.pdf]
Preview

Thompson, Simon and Lamela Seijas, Pablo and Adams, Darryl (2016) Scripting smart contracts for distributed ledger technology. Technical report. Cryptology ePrint Archive (Unpublished) (KAR id:61162)
[thumbnail of 1156.pdf]
Preview

2015

Altadmri, Amjad and Brown, Neil C.C. (2015) 37 Million Compilations: Investigating Novice Programming Mistakes in Large-Scale Student Data. In: Proceedings of the 46th ACM Technical Symposium on Computer Science Education. CSE Computer Science Education . ACM, New York, USA, pp. 522-527. ISBN 978-1-4503-2966-8. (doi:10.1145/2676723.2677258) (KAR id:46742)
[thumbnail of fp1187-altadmri.pdf]
Preview

Barnes, David J., 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: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) (KAR id:44719)
[thumbnail of 1-s2.0-S0167404814001485-main.pdf]

Bocchi, Laura, Yoshida, Nobuko, Lange, Julien (2015) Meeting Deadlines Together. In: Aceto, Luca and de Frutos-Escrig, David, eds. International Conference on Concurrency Theory (CONCUR). Leibniz International Proceedings in Informatics . pp. 283-296. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik ISBN 978-3-939897-91-0. (doi:10.4230/LIPIcs.CONCUR.2015.283) (KAR id:50257)
[thumbnail of bly15.pdf]
Preview

Boiten, Eerke Albert (2015) Investigatory Powers bill will remove ISPs' right to protect your privacy. . The Conversation Internet only. (KAR id:51619)
[thumbnail of investigatory-powers-bill-will-remove-isps-right-to-protect-your-privacy-50178]

Chadwick, David W., Sette, Ioram S., Sui, Kristy, W (2015) Opening Up OpenStack’s Identity Service. In: Terena Networking Conference 2015, 14-18 June, 2015, Porto, Portugal. (Unpublished) (KAR id:52931)
[thumbnail of tnc15_paper_OpeningUpOpenStack.pdf]
Preview
[thumbnail of Presentation Slides]

Faddegon, Maarten and Chitil, Olaf (2015) Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack. In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI Programming Language Design and Implementation . ACM, New York, USA, pp. 33-42. ISBN 978-1-4503-3468-6. (doi:10.1145/2737924.2737985) (KAR id:49003)
[thumbnail of Published paper with additional appendix.]
Preview

Grigore, Radu and Kiefer, Stefan (2015) Tree Buffers. In: Computer Aided Verification 27th International Conference. Lecture Notes in Computer Science . Springer, Cham, Switzerland, pp. 290-306. ISBN 978-3-319-21689-8. E-ISBN 978-3-319-21690-4. (doi:10.1007/978-3-319-21690-4_17) (KAR id:54173)
[thumbnail of 1504.04757.pdf]
Preview

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) (KAR id:49541)

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: Proceedings of the Workshop in Primary and Secondary Computing Education. ACM-ICPS International Conference Proceeding Series . ACM, New York, USA, pp. 29-38. ISBN 978-1-4503-3753-3. (doi:10.1145/2818314.2818331) (KAR id:50406)
[thumbnail of 2015-wipsce-transition.pdf]
Preview

Li, Huiqing and Thompson, Simon (2015) Safe Concurrency Introduction through Slicing. In: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation. PEPM Partial Evaluation and Program Manipulation . ACM, New York, USA, pp. 103-113. ISBN 978-1-4503-3297-2. (doi:10.1145/2678015.2682533) (KAR id:46579)
[thumbnail of pepm03-thompsonA.pdf]
Preview

Pawar, Pramod, Sajjad, Ali, Dimitrakos, Theo, 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 9th IFIP WG 11.11 International Conference, IFIPTM 2015, Hamburg, Germany, May 26-28, 2015, Proceedings. IFIP Advances in Information and Communication Technology (1). pp. 251-261. Springer International Publishing ISBN 978-3-319-18490-6. E-ISBN 978-3-319-18491-3. (doi:10.1007/978-3-319-18491-3) (KAR id:48730)
[thumbnail of Camera ready copy]
Preview

Rajani, Vineet, Bichhawat, Abhishek, Garg, Deepak, Hammer, Christian (2015) Information Flow Control for Event Handling and the DOM in Web Browsers. In: 2015 IEEE 28th Computer Security Foundations Symposium. . pp. 366-379. IEEE ISBN 978-1-4673-7537-5. E-ISBN 978-1-4673-7538-2. (doi:10.1109/CSF.2015.32) (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:90595)

Rodgers, Peter, Stapleton, Gem, Chapman, Peter (2015) Visualizing Sets with Linear Diagrams. ACM Transactions on Computer-Human Interaction, 22 (6). Article Number 27. ISSN 1073-0516. E-ISSN 1557-7325. (doi:10.1145/2810012) (KAR id:50020)
[thumbnail of tochi-linear2015.pdf]
Preview

Rosenkranz, Markus, Liu, Jane, Maletzky, Alexander, 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. pp. 406-423. Springer, Berlin ISBN 978-3-319-24020-6. E-ISBN 978-3-319-24021-3. (doi: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) (KAR id:49025)

Thompson, Simon, 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) (KAR id:50496)
[thumbnail of TAPAS_2015_submission_1.pdf]

2014

Berry, Michael, 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. . (KAR id:43795)
[thumbnail of ITICSE-14.pdf]
Preview

Boiten, Eerke Albert (2014) Cybersecurity czar dodges questions over IT security. . The Conversation UK Internet only. (KAR id:45261)
[thumbnail of cybersecurity-czar-dodges-questions-over-it-security-25836]

Boiten, Eerke Albert (2014) FireChat’s revolutionary use will not be revolutionary for long. . The Conversation UK Internet only. (KAR id:45257)
[thumbnail of firechats-revolutionary-use-will-not-be-revolutionary-for-long-32644]

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. (KAR id:45259)
[thumbnail of googles-larry-page-wants-to-save-100-000-lives-but-big-data-isnt-a-cure-all-28529]

Boiten, Eerke Albert (2014) It’s possible to write flaw-free software, so why don’t we? . The Conversation UK Internet only. (KAR id:45254)
[thumbnail of its-possible-to-write-flaw-free-software-so-why-dont-we-33522]

Boiten, Eerke Albert (2014) NHS must think like Google to make data project work. . The Conversation UK Internet only. (KAR id:45260)
[thumbnail of nhs-must-think-like-google-to-make-data-project-work-27093]

Boiten, Eerke Albert, 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. (KAR id:45256)
[thumbnail of can-you-really-be-identified-on-tor-or-is-that-just-what-the-cops-want-you-to-believe-29430]

Boiten, Eerke Albert, Hernandez-Castro, Julio C. (2014) Targeted ‘malvertising’ reveals move towards more sophisticated hacks. . The Conversation UK Internet only. (KAR id:45255)
[thumbnail of targeted-malvertising-reveals-move-towards-more-sophisticated-hacks-33294]

Boiten, Eerke Albert, 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: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) (KAR id:37394)

Cámara, Javier, Pedro, Correia, Vieira, Marco, 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. (KAR id:42967)
[thumbnail of p63-camara.pdf]
Preview

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

Derrick, John, 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:10.1007/978-1-4471-5355-9) (KAR id:37392)
[thumbnail of Flyer for this book]
Preview

Faddegon, Maarten, 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 . pp. 84-103. Springer ISBN 978-3-319-14674-4. E-ISBN 978-3-319-14675-1. (doi:10.1007/978-3-319-14675-1_6) (KAR id:49013)
[thumbnail of As sent to publisher; published version has different layout.]
Preview

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) (KAR id:42390)

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) (KAR id:42784)
[thumbnail of synapse.pdf]
Preview

McCall, Davin, Kölling, Michael (2014) Meaningful Categorisation of Novice Programmer Errors. In: Frontiers In Education Conference 2014 Proceedings. . (KAR id:43796)
[thumbnail of FIE-error-frequency-paper.pdf]
Preview

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, USA, pp. 105-115. ISBN 978-1-4503-2921-7. (doi:10.1145/2602988.2602992) (KAR id:40819)
[thumbnail of ismm021-ritson.pdf]
Preview

Sharifi, Mohsen, 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:10.1208/s12248-013-9541-z) (KAR id:37698)
[thumbnail of index.html_cmd=HistorySearch&querykey=3]

Tsushima, Kanae, 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. (KAR id:49007)
[thumbnail of ppl.pdf]
Preview

Tsushima, Kanae, 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. (KAR id:49006)
[thumbnail of Poster as presented at the symposium.]
Preview

Ugawa, Tomoharu, Jones, Richard E., 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. (KAR id:45210)
[thumbnail of Poster]
Preview

Ugawa, Tomoharu and Jones, Richard E. and Ritson, Carl G. (2014) Reference Object Processing in On-The-Fly Garbage Collection. In: Proceedings of the 2014 international symposium on Memory management. ISMM International Symposium on Memory Management . ACM, New York, USA, pp. 59-69. ISBN 978-1-4503-2921-7. (doi:10.1145/2602988.2602991) (KAR id:40820)
[thumbnail of ismm012-ugawa.pdf]
Preview

Zhang, Xin and Mangal, Ravi and Grigore, Radu and Naik, Mayur and Yang, Hongseok (2014) On abstraction refinement for program analyses in Datalog. In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI Programming Language Design and Implementation . ACM, New York, USA, pp. 239-248. ISBN 978-1-4503-2784-8. (doi:10.1145/2594291.2594327) (KAR id:54177)
[thumbnail of pldi14.pdf]
Preview

Öztürkeri, Can, 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:10.1007/s10710-014-9216-2) (KAR id:51431)
[thumbnail of art%3A10.1007%2Fs10710-014-9216-2.pdf]
Preview

2013

Berry, Michael, 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. . pp. 25-28. ACM, New York ISBN 978-1-4503-2455-7. (doi:10.1145/2532748.2532765) (KAR id:37645)
[thumbnail of 2013-09-WiPSCE-Notional-Machine.pdf]
Preview

Brown, Neil Christopher Charles and Kölling, Michael (2013) A Tale of Three Sites: Resource and Knowledge Sharing Amongst Computer Science Educators. In: Proceedings of the ninth annual international ACM conference on International computing education research. ICER International Computing Education Research Workshop . ACM, New York, USA, pp. 27-34. ISBN 978-1-4503-2243-0. (doi:10.1145/2493394.2493398) (KAR id:37642)
[thumbnail of 2013-08-Community.pdf]
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) (KAR id:42387)

Kalibera, Tomas, Jones, Richard E. (2013) Rigorous Benchmarking in Reasonable Time. In: ACM SIGPLAN International Symposium on Memory Management (ISMM 2013). . pp. 63-74. ACM, New York (doi:10.1145/2464157.2464160) (KAR id:33611)
[thumbnail of p63-kaliber.pdf]
Preview

Kilov, Haim, Linington, Peter F., Romero, José Raúl, Tanaka, Akira, 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: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) (KAR id:33369)
[thumbnail of CSI2838.pdf]

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) (KAR id:34865)
[thumbnail of Full paper to accompany poster in Erlang Workshop 2013 proceedings.]
Preview

Lamela Seijas, Pablo and Li, Huiqing and Thompson, Simon (2013) Towards property-based testing of RESTful web services. In: Proceedings of the twelfth ACM SIGPLAN workshop on Erlang. ICFP International Conference on Functional Programming . ACM, New York, USA, pp. 77-78. ISBN 978-1-4503-2385-7. (doi:10.1145/2505305.2505317) (KAR id:42310)
[thumbnail of srtest.pdf]
Preview

McKay, Fraser, 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 (KAR id:34950)
[thumbnail of HCI 2013 full-format.pdf]
Preview

Rosenkranz, Markus, 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. pp. 301-314. Springer, Berlin (doi: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) (KAR id:33976)

Sun, Bo, Lu, Yang, Hu, Xiaoyan (2013) An interactive tool for teaching right management in 3D e-learning platform. In: Proceedings of the 12th ACM SIGGRAPH International Conference on Virtual-Reality Continuum and Its Applications in Industry. . pp. 313-316. Association for Computing Machinery, New York, NY, United States ISBN 978-1-4503-2590-5. (doi:10.1145/2534329.2534368) (KAR id:80975)
[thumbnail of 12 An Interactive Tool for Teaching Right Management in 3D E-learning Platform.pdf]
Preview

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

Wei, Yun-gang, Lu, Yang, Hu, Xiaoyan, Sun, Bo (2013) Research and Application of Access Control Technique in 3D Virtual Reality System OpenSim. In: 2013 Sixth International Symposium on Computational Intelligence and Design. . pp. 65-68. IEEE E-ISBN 978-0-7695-5079-4. (doi:10.1109/ISCID.2013.130) (KAR id:80976)
[thumbnail of 11 Research and Application of Access Control Technique in 3D Virtual Reality System OpenSim.pdf]
Preview

2012

Cámara, Javier and de Lemos, Rogério (2012) Evaluation of Resilience in Self-Adaptive Systems Using Probabilistic Model-Checking. In: 2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). IEEE, pp. 53-62. ISBN 978-1-4673-1788-7. E-ISBN 978-1-4673-1787-0. (doi: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) (KAR id:31879)

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. IEEE, pp. 146-155. ISBN 978-1-4673-5005-1. (doi:10.1109/EDOCW.2012.28) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:33368)
[thumbnail of edoc-tokens.pdf]

Micallef, Luana, 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. (KAR id:30855)
[thumbnail of eulerAPE_GHC2012_ACM_SRC2012-poster.pdf]
Preview

Rajani, Vineet, Mehta, Hemang, Balaji, S.J., Janakiram, Dharanipragada (2012) KAAS: Kernel as a Service. In: 2012 IEEE Eighth World Congress on Services. 2012 IEEE Eighth World Congress on Services. . pp. 340-345. IEEE ISBN 978-1-4673-3053-4. E-ISBN 978-0-7695-4756-5. (doi:10.1109/SERVICES.2012.69) (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:90551)

2011

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: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) (KAR id:29248)

da Silva, Carlos Eduardo, 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) (KAR id:31875)

2010

Chadwick, David W., Inman, George, Klingenstein, Nate (2010) A Conceptual Model for Attribute Aggregation. Future Generation Computer Systems, 26 (7). pp. 1043-1052. (doi: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) (KAR id:30572)

Korporal, Anja, Regensburger, Georg, 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: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) (KAR id:29312)

Casimiro, Antonio and de Lemos, Rogério and Gacek, Cristina, eds. (2010) Architecting Dependable Systems VII. Lecture Notes in Computer Science, 6420 . Springer, 324 pp. ISBN 978-3-642-17244-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:32070)

Weyns, Danny and Malek, Sam and de Lemos, Rogério and Andersson, Jesper, eds. (2010) Self-Organizing Architectures. Lecture Notes in Computer Science, 6090 . Springer, 301 pp. ISBN 978-3-642-14411-0. (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:32071)

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. IEEE, pp. 1099-1104. ISBN 978-1-4244-5225-5. E-ISBN 978-1-4244-5226-2. (doi: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) (KAR id:37379)

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: 2010 22nd IEEE International Conference on Tools with Artificial Intelligence. IEEE, pp. 417-420. ISBN 978-1-4244-8817-9. (doi: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) (KAR id:37377)

2009

Brito, Patrick H. S., de Lemos, Rogério, Rubira, Cecilia M. F., 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: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) (KAR id:31878)

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

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) (KAR id:31882)

de Lemos, Rogério and Fabre, Jean-Charles and Gacek, Cristina and Gadducci, Fabio and ter Beek, Maurcie H., eds. (2009) Architecting Dependable Systems VI. Lecture Notes in Computer Science, 5835 . Springer, 335 pp. ISBN 978-3-642-10247-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:32072)

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: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) (KAR id:32075)

Cheng, Betty H.C. and de Lemos, Rogério and Giese, Holger and Inverardi, Paola and Magee, Jeff, eds. (2009) Software Engineering for Self-Adaptive Systems. Lecture Notes in Computer Science/Programming and Software Engineering, 5525 . Springer, 261 pp. ISBN 978-3-642-02160-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:32073)

2008

Fabris, Fabio, Drago, Idilio, 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. pp. 153-162. Springer Berlin Heidelberg (doi: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) (KAR id:37376)

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) (KAR id:46351)

Janakiram, D., Gunnam, Ashok, Suneetha, N., Rajani, Vineet, Reddy, K. Vinay Kumar (2008) Object-oriented wrappers for the Linux kernel. Journal of Software: Practice and Experience., 38 (13). pp. 1411-1427. E-ISSN 1097-024X. (doi:10.1002/spe.879) (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:90521)

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 2008 - 2nd International Multi-Conference on Society, Cybernetics and Informatics, Proceedings. International Institute of Informatics and Systemics, 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) (KAR id:15849)

Walczowski, Les T., 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) (KAR id:14758)

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) (KAR id:13470)

2007

Lowe, Ben, Winzar, Hume, 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) (KAR id:2926)

2004

Jones, Richard E. and King, Andy C. (2004) Collecting the garbage without blocking the traffic. Technical report. University of Kent (KAR id:49543)
[thumbnail of content.ps]
Preview

1999

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 7th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 248-262. ISBN 978-3-540-65462-9. E-ISBN 978-3-540-49253-5. (doi:10.1007/3-540-49253-4_19) (KAR id:16653)
[thumbnail of consistency_of_partial_process_steen.pdf]
Preview
[thumbnail of consistency_of_partial_process_steen.ps]
Preview

Wood, David C. and Moores, James (1999) User-defined data types and operators in occam. In: Cook, Barry M., ed. Proceedings of WoTUG-22: Architectures, Languages and Techniques for Concurrent Systems. Concurrent Systems Engineering . IOS Press, Amsterdam, Netherlands, pp. 121-146. ISBN 90-5199-480-X. (KAR id:16765)
[thumbnail of user-defined_data_types_wood.pdf]
Preview

1998

Sobhy, Mohammed and Makkey, M.Y. (1998) A new look at analogue computing using switched capacitor circuits. In: ISCAS '98. Proceedings of the 1998 IEEE International Symposium on Circuits and Systems. International Symposium on Circuits and Systems . IEEE, pp. 484-487. ISBN 0-7803-4455-3. (doi: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) (KAR id:17155)

Tardivel, Gillian M., 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) (KAR id:17192)

1995

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) (KAR id:19457)

1994

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) (KAR id:41542)

1991

Kaijian, Shi, Jian, Sun (1991) A relational graphical editing method for PCB design. Computer-Aided Design, 23 (1). pp. 92-94. ISSN 0010-4485. (doi: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) (KAR id:22997)

1989

Cook, Steve J., ed. (1989) ECOOP'89: Proceedings of the 1989 European Conference on Object-oriented Programming. Cambridge University Press (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:20942)

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:10.1145/379199.379200) (KAR id:13447)
[thumbnail of Published Paper (image)] [thumbnail of 1st Word Plus output]
Preview

1986

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) (KAR id:46338)

This list was generated on Fri Oct 15 22:53:18 2021 BST.