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

A

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)

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)

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)

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)

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)

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)

B

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. (doi:10.1109/percomw.2016.7457167) (KAR id:54612)

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)

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. (hide) (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)

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)

Bekos, M.A., Dekker, F.F., Meulemens, W., Rodgers, Peter, Schulz, A., Wessel, S. (2022) Computing Schematic Layouts for Spatial Hypergraphs on Concentric Circles and Grids. Computer Graphics Forum, 41 (6). pp. 316-335. ISSN 1467-8659. (doi:10.1111/cgf.14497) (KAR id:93697)

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)

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)

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)

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)

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)

Bilwani, Marzia, Jordanous, Anna (2023) Emojinator: An emoji generator to represent emotions. In: 2023 14th International Conference on Computational Creativity. . Associations for Computational Creativity, Waterloo, Canada (KAR id:101971)

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)

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)

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)

Boiten, Eerke Albert (2014) Cybersecurity czar dodges questions over IT security. . The Conversation UK Internet only. (KAR id:45261)

Boiten, Eerke Albert (2014) FireChat’s revolutionary use will not be revolutionary for long. . The Conversation UK Internet only. (KAR id:45257)

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)

Boiten, Eerke Albert (2015) Investigatory Powers bill will remove ISPs' right to protect your privacy. . The Conversation Internet only. (KAR id:51619)

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)

Boiten, Eerke Albert (2014) NHS must think like Google to make data project work. . The Conversation UK Internet only. (KAR id:45260)

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)

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

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)

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)

Brown, Anna (2016) Mplus syntax builder for testing forced-choice data with the Thurstonian IRT model. Software and User’s Guide. Anna Brown online download. (KAR id:97921)

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. . (doi:10.1109/LaTiCE.2016.16) (KAR id:54394)

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)

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)

C

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)

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. (hide) (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)

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)

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)

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)

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)

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)

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)

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. (doi:10.1145/2602576.2602577) (KAR id:42967)

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)

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)

D

Derrick, John, Boiten, Eerke Albert (2014) Refinement in Z and Object-Z: Foundations and Advanced Applications (2nd revised edition). 2nd 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)

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. (doi:10.1201/b20053-15) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:51618)

Dib, Fadi, Rodgers, Peter (2023) Graph drawing using Jaya. PLOS ONE, 18 (6). Article Number e0287744. E-ISSN 1932-6203. (doi:10.1371/journal.pone.0287744) (KAR id:101857)

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)

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)

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)

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)

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)

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)

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)

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)

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)

F

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)

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)

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)

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)

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)

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)

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)

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)

G

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)

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)

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)

H

Horpácsi, Dániel, Bereczky, Péter, Thompson, Simon (2023) Program Equivalence in an Untyped, Call-by-value Functional Language with Uncurried Functions. Journal of Logical and Algebraic Methods in Programming, 132 . Article Number 100857. ISSN 2352-2208. (doi:10.1016/j.jlamp.2023.100857) (KAR id:100069)

I

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-15-1303-9. E-ISBN 978-981-15-1304-6. (doi:10.1007/978-981-15-1304-6_22) (KAR id:76678)

J

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)

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

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)

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. First edition. 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)

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)

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)

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)

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)

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)

K

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)

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)

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)

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)

Kearney, Joseph, Pérez-Delgado, Carlos A (2021) Vulnerability of blockchain technologies to quantum attacks. Array, 10 . Article Number 100065. ISSN 2590-0056. (doi:10.1016/j.array.2021.100065) (KAR id:93781)

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: International Conference on Industry 4.0 and Artificial Intelligence Technologies, 19-22 Aug 2019, Cambridge, UK. (Unpublished) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:74065)

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)

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)

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)

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)

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)

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)

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)

L

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-7281-3893-0. E-ISBN 978-1-7281-3893-0. (doi:10.1109/CCNC46108.2020.9045148) (KAR id:80303)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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-15-1303-9. E-ISBN 978-981-15-1304-6. (doi:10.1007/978-981-15-1304-6_21) (KAR id:76677)

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)

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)

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)

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)

M

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)

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)

McCall, Davin, Kölling, Michael (2014) Meaningful Categorisation of Novice Programmer Errors. In: Frontiers In Education Conference 2014 Proceedings. . (doi:10.1109/fie.2014.7044420) (KAR id:43796)

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)

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)

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)

Mohd Kassim, Sharifah Roziah Binti, Li, Shujun, Arief, Budi (2023) Understanding How National CSIRTs Evaluate Cyber Incident Response Tools and Data: Findings from Focus Group Discussions. Digital Threats: Research and Practice, 4 (3). pp. 1-24. ISSN 2576-5337. (doi:10.1145/3609230) (KAR id:103162)

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)

N

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)

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)

P

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

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)

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)

Pérez-Delgado, Carlos A (2022) A Quantum Software Modeling Language. In: Quantum Software Engineering. First Edition. Springer International Publishing Cham, Switzerland, pp. 103-119. ISBN 978-3-031-05323-8. E-ISBN 978-3-031-05324-5. (doi:10.1007/978-3-031-05324-5_6) (KAR id:97519)

Pérez-Delgado, Carlos A, Vinjanampathy, Sai (2021) Coherent Parallelization of Universal Classical Computation. New Journal of Physics, 23 . Article Number 123015. ISSN 1367-2630. (doi:10.1088/1367-2630/ac3a17) (KAR id:92288)

R

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)

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)

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)

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)

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)

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)

S

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)

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-7281-7022-0. (doi:10.1109/DAPPS49028.2020.00003) (KAR id:81277)

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)

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)

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)

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)

Sharrad, Joanna, Chitil, Olaf (2022) Refining the Delta Debugging of Type Errors. In: 33rd Symposium on Implementation and Application of Functional Languages (IFL '21). IFL '21: Proceedings of the 33rd Symposium on Implementation and Application of Functional Languages. . ACM, New York, NY, USA E-ISBN 978-1-4503-8644-9. (doi:10.1145/3544885.3544888) (KAR id:96134)

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)

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)

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)

T

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)

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)

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, 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)

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)

Thompson, Simon and Lamela Seijas, Pablo and Adams, Darryl (2016) Scripting smart contracts for distributed ledger technology. [Preprint] (doi:Paper 2016/1156) (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:61162)

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)

Thompson, Simon, Li, Huiqing, Baker, Robert, Adams, Stephen, Trinder, Phil, Chechina, Natalia, Papaspyrou, Nikolaos, Sagonas, Konstantinos, Aronis, Stavros, Bihari, Eva, and others. Boudeville, Olivier, Cesarini, Francesco, de Stefano, Maurizio, Eriksson, Sverker, Fordos, Viktoria, Ghaffari, Amir, Green, Rickard, Hoch, csaba, Klaftenegger, David, Lundin, Kenneth, MacKenzie, Kenneth, Roukounaki, Katerinia, Tsiouris, Yiannis, and Winblad, Kjell (hide) (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)

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)

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)

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)

U

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)

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)

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)

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 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)

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)

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)

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)

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)

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)

Y

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)

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)

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: 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)

Ö

Ö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)