Skip to main content

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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creator's name | Item Type | Date | No Grouping
Jump to: A | B | C | D | F | G | J | K | L | M | N | P | R | S | T | U | W | Z | Ö
Number of items at this level: 127.

A

Albakri, Adham, de Lemos, Rogerio, Boiten, Eerke Albert (2019) Sharing Cyber Threat Intelligence under the General Data Protection Regulation. In: Annual Privacy Forum 2019, 13-14 June 2019, Rome, Italy. (In press)
[img]
Preview

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)
[img]
Preview

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

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)
[img]
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)
[img]
Preview

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.
[img]
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)
[img]

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. .
[img]
Preview

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. .
[img]
Preview

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)
[img]
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)
[img]
Preview
[img]

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). LIPIcs , 42. pp. 283-296. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik ISBN 978-3-939897-91-0. (doi:10.4230/LIPIcs.CONCUR.2015.283)
[img]
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)
[img]
Preview

Boiten, Eerke Albert (2014) Cybersecurity czar dodges questions over IT security. . The Conversation UK Internet only.
[img]

Boiten, Eerke Albert (2014) FireChat’s revolutionary use will not be revolutionary for long. . The Conversation UK Internet only.
[img]

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.
[img]

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

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

Boiten, Eerke Albert (2014) NHS must think like Google to make data project work. . The Conversation UK Internet only.
[img]

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.
[img]

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

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)

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)

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)

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. .
[img]
Preview

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

Buchler, Ira and Fischer, Michael D. and McGoodwin, JR (1986) Ecological structure, economics, and social organization: the Kapauku. In: De Muer, Gisele, ed. New Trends in Mathematical Anthropology. International Library of Anthropology . Routledge Kegan & Paul, pp. 57-124. ISBN 978-0-7102-0076-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

C

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

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, . ISSN 0167-739X. (doi:10.1016/j.future.2019.06.026)
[img]
Preview

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)

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)
[img]
Preview
[img]

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)
[img]
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.
[img]

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

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.
[img]
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)

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)

D

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)
[img]
Preview

Derrick, John and Boiten, Eerke Albert (2016) Relational Concurrent Refinement - partial and total frameworks. In: Petre, Luigia and Sekerinski, Emil, eds. From Action Systems to Distributed Systems: The Refinement Approach. Taylor and Francis, Florida, USA, pp. 143-154. ISBN 978-1-4987-0158-7. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

da Silva, Carlos Eduardo, 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)
[img]
Preview
[img]

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)

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)

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

de Lemos, Rogério (2009) On Architecting Software Fault Tolerance using Abstractions. Electronic Notes in Theoretical Computer Science, 236 . pp. 21-32. ISSN 1571-0661. (doi:10.1016/j.entcs.2009.03.012) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

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)

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)

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

Faddegon, Maarten, Chitil, Olaf (2016) Lightweight Computation Tree Tracing for Lazy Functional Languages. In: PLDI 2016: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. . pp. 114-128. ACM Press ISBN 978-1-4503-4261-2. (doi:10.1145/2908080.2908104)
[img]
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)
[img]
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)
[img]
Preview

Fischer, Michael D. (1994) Applications in Computing for Social Anthropologists. ASA Research Methods . Routledge, London, 248 pp. ISBN 978-0-203-45108-3. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Fischer, Michael D. (2008) Cultural dynamics: formal descriptions of cultural processes. Structure and Dynamics, 3 (2). n/a-n/a. ISSN 1554-3374. E-ISSN 1554-3374. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

NCR Corporation (Dayton, OH) (2009) A Method of Determining the Cause of an Error State in an Apparatus. US Patent 7,600,671. (doi:US Patent 7,600,671) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

G

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

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

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

J

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

Jordanous, Anna (2017) Co-creativity and perceptions of computational agents in co-creativity. In: ICCC'17 - Proceedings of the Eighth International Conference on Computational Creativity. Georgia Institute of Technology, Atlanta, Georgia, USA, pp. 159-166. ISBN 978-0-692-89564-1.
[img]
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)
[img]
Preview

Jordanous, Anna (2013) Introducing Computational Creativity Research. . CreativityPost.com Internet. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jordanous, Anna (2015) Review of Agile Anywhere. Review of: Agile anywhere: Essays on Agile Projects and Beyond, Springer Publishing Company, Incorporated, 2014. by Hazzan, Orit and Dubinsky, Yael. ACM Computing Reviews, . p. 1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Jordanous, Anna (2014) What is Computational Creativity? . CreativityPost.com Online web platform. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

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

K

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)

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)
[img]
Preview

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.
[img]
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)
[img]

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)
[img]

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)

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)

Kölling, Michael (2016) Educational Programming on the Raspberry Pi. Electronics, 5 (3). pp. 1-17. ISSN 2079-9292. (doi:10.3390/electronics5030033)
[img]
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)
[img]
Preview
[img]

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

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)
[img]
Preview

L

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

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

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

Langroudi, George, Jordanous, Anna, Li, Ling (2018) Music Emotion Capture: emotion-based generation of music using EEG. In: Emotion Modelling and Detection in Social Media and Online Interaction symposium at the AISB 2018 Convention, 4-6 April 2018, Liverpool, UK.
[img]
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)
[img]
Preview

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

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

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. (In press)
[img]
Preview

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)

M

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

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)
[img]

McCall, Davin, Kölling, Michael (2014) Meaningful Categorisation of Novice Programmer Errors. In: Frontiers In Education Conference 2014 Proceedings. .
[img]
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
[img]
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.
[img]
Preview

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.
[img]
Preview

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)
[img]
Preview

N

Nawaz, Sarfraz, Efstratiou, Christos, Mascolo, Cecilia (2016) Smart Sensing Systems for the Daily Drive. IEEE Pervasive Computing, . pp. 39-43. ISSN 1536-1268. (doi:10.1109/MPRV.2016.22)
[img]
Preview

P

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

Poole, Michael D. (1995) Using records and pointers with occam 2.1. In: Nixon, Paddy and Transputer User, Grp, eds. Transputer and Occam Developments. Transputer & Occam Engineering Series, 44 . IOS Press, Amsterdam, pp. 151-162. ISBN 90-5199-222-X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Price, Thomas W., 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)
[img]
Preview

R

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

Rodgers, Peter, Stapleton, Gem, Chapman, Peter (2015) Visualizing Sets with Linear Diagrams. ACM Transactions on Computer-Human Interaction, 22 (6). 27:1-27:39. ISSN 1073-0516. E-ISSN 1557-7325. (doi:10.1145/2810012)
[img]
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)

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)

S

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

Seijas, Pablo Lamela, Thompson, Simon, 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. . pp. 8-14. , New York, USA ISBN 978-1-4503-4151-6. (doi:10.1145/2896921.2896927)
[img]
Preview

Seijas, Pablo Lamela, Thompson, Simon, Francisco, Miguel Ángel (2018) Model extraction and test generation from JUnit test suites. Software Quality Journal, . ISSN 0963-9314. E-ISSN 1573-1367. (doi:10.1007/s11219-017-9399-x)
[img]
Preview
[img]

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)
[img]

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)

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)
[img]
Preview
[img]
Preview

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)

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.
[img]
Preview

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)

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)
[img]
Preview

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) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img] [img]

Thompson, Simon and Lamela Seijas, Pablo and Adams, Darryl (2016) Scripting smart contracts for distributed ledger technology. Technical report. Cryptology ePrint Archive (Unpublished)
[img]
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)

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). ISSN 0164-0925. E-ISSN 1558-4593. (doi:10.1145/3107937)
[img]
Preview

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)
[img]

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.
[img]
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.
[img]
Preview

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.
[img]
Preview

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

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

W

Walczowski, Les T., Ellis, Mark K. (2008) Using Web 2.0 Technology to Support Learning and Teaching. In: Malpica, F. and Tremante, A. and Welsch, F. and Tait, B., eds. IMSCI' 08: 2nd International Multi-Conference on Society, Cybernetics and Informatics, Vol 1, Proceedings. 1. pp. 178-182. ISBN 978-1-934272-46-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Walczowski, Les T., Elllis, M.K. (2008) A Novel Learning Management Portal to Support Engineering and Technology Education. In: Proceedings of the 2008 International Technology, Education and Development Conference, Valencia, Spain. . (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Wazan, Ahmad Samer, 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)
[img]
Preview

Webber, J. Beau W. (2008) APLX version 4 - from the viewpoint of an experimental physicist. Vector (Journal of the British APL Association), 23 (3). pp. 39-45. ISSN 0955-1433. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Webber, J. Beau W. (1989) A Pipe has two ends. Using APL in a multiprocess/multiprocessor environment. A proposal for a flexible but easy to use syntax. Apl Quad Quote, 20 (1). pp. 1-2. (doi:10.1145/379199.379200)
[img] [img]
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.
[img]
Preview

Z

Zhang, Xin, Mangal, Ravi, Grigore, Radu, Naik, Mayur, Yang, Hongseok (2014) On abstraction refinement for program analyses in Datalog. In: PLDI '14 Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation. 49 (6). pp. 239-248. Association for Computing Machinery, New York, USA ISBN 978-1-4503-2784-8. (doi:10.1145/2594291.2594327)
[img]
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)
[img]
Preview

This list was generated on Thu Sep 19 22:23:45 2019 BST.