David Kelly

Orcid: 0000-0002-5368-6769

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
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

2021
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

2020
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

2019
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

2017
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

2016
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

2015
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

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

2013
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

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

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

2006
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

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

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

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

1990
Graph coloring satisfying restraints.
Discret. Math., 1990

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

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

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


  Loading...