David Kelly

Orcid: 0000-0002-5368-6769

According to our database1, David Kelly authored at least 31 papers between 1975 and 2023.

Collaborative distances:



In proceedings 
PhD thesis 


On csauthors.net:


StableYolo: Optimizing Image Generation for Large Language Models.
Proceedings of the Search-Based Software Engineering - 15th International Symposium, 2023

June: A Type Testability Transformation for Improved ATG Performance.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Towards a Fog Based Computing Conceptual Framework for Biometric Digital Identification Systems.
Proceedings of the 14th International Conference on Computational Intelligence in Security for Information Systems and 12th International Conference on European Transnational Educational (CISIS 2021 and ICEUTE 2021), 2021

Using the FACE-IT portal and workflow engine for operational food quality prediction and assessment: An application to mussel farms monitoring in the Bay of Napoli, Italy.
Future Gener. Comput. Syst., 2020

SafeStrings: Representing Strings as Structured Data.
CoRR, 2019

"What's Happening at that Hip?": Evaluating an On-body Projection based Augmented Reality System for Physiotherapy Classroom.
Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, 2019

Personæ: A Character-Visualisation Tool for Dramatic Texts.
Proceedings of the 12th Annual International Conference of the Alliance of Digital Humanities Organizations, 2017

Only Connect!: Intertextuality, Circulation, and Networks in Digital Resources for Women's Writing.
Proceedings of the 12th Annual International Conference of the Alliance of Digital Humanities Organizations, 2017

Augmented Studio: Projection Mapping on Moving Body for Physiotherapy Education.
Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017

Applications of the FACE-IT Data Science Portal and Workflow Engine for Operational Food Quality Prediction and Assessment: Mussel Farm Monitoring in the Bay of Napoli, Italy.
Proceedings of the 11th Workshop on Workflows in Support of Large-Scale Science co-located with The International Conference for High Performance Computing, 2016

FACE-IT: A science gateway for food security research.
Concurr. Comput. Pract. Exp., 2015

The Globus Galaxies platform: delivering science gateways as a service.
Concurr. Comput. Pract. Exp., 2015

The parallel system for integrating impact models and sectors (pSIMS).
Environ. Model. Softw., 2014

Should Instructional Designers care about the Tin Can API?
eLearn Mag., 2013

2013 ASTD TechKnowledge Recap.
eLearn Mag., 2013

Reusability in Science: From Initial User Engagement to Dissemination of Results.
CoRR, 2013

The parallel system for integrating impact models and sectors (pSIMS).
Proceedings of the Extreme Science and Engineering Discovery Environment: Gateway to Discovery, 2013

Enhanced energy management in manufacturing through systems integration.
Proceedings of the IECON 2013, 2013

Enabling multi-task computation on Galaxy-based gateways using swift.
Proceedings of the 2013 IEEE International Conference on Cluster Computing, 2013

An Inside Look at ASTD's 2012 International Conference and Exposition.
eLearn Mag., 2012

Can transitive orientation make sandwich problems easier?
Discret. Math., 2007

Complex Network-Based Information Systems (CNIS) Standards: Toward an Adoption Model.
Proceedings of the Transfer and Diffusion of Information Technology for Organizational Resilience, 2006

Developing Open Source Software: A Community-Based Analysis of Research.
Proceedings of the Social Inclusion: Societal and Organizational Implications for Information Systems, 2006

Open vs.Closed standards for ambient intelligence: an exploratory study of adoption.
Proceedings of the Fourteenth European Conference on Information Systems, 2006

Encapsulating Real-Life Experience.
Proceedings of the Information and Communication Technologies and Real-Life Learning, 2004

Practical VoIP using Vocal - MGCP, H.323, SIP, RTP, COPS, RADIUS, and more.
O'Reilly, ISBN: 978-0-596-00078-3, 2002

Interval dimension is a comparability invariant.
Discret. Math., 1991

Graph coloring satisfying restraints.
Discret. Math., 1990

Fundamentals of planar ordered sets.
Discret. Math., 1987

On the dimension of partially ordered sets.
Discret. Math., 1981

Certain Partially Ordered Sets of Dimension Three.
J. Comb. Theory A, 1975