Andrew Kennedy

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 10

Top Topics

Voice Recognition

Visual Analytics

Top Venues

J. Virtual Real. Broadcast.

Publications

Haolin Fei, Ziwei Wang, Darren Williams, Andrew Kennedy
Hybrid Approach for Efficient and Accurate Category-Agnostic Object Detection and Localization with Image Queries in Human-Robot Interaction. IECON (2023)
Haolin Fei, Ziwei Wang, Stefano Tedeschi, Andrew Kennedy
An Anthropomorphic Framework for Learning-Based Visual Servoing to Reach Unseen Objects. CASE (2023)
Haolin Fei, Stefano Tedeschi, Yanpei Huang, Andrew Kennedy, Ziwei Wang
Dynamic Hand Gesture-Featured Human Motor Adaptation in Tool Delivery using Voice Recognition. CoRR (2023)
Matthew Roberts, Min Xia, Andrew Kennedy
Data-driven Process Parameter Optimisation for Laser Wire Metal Additive Manufacturing. ICAC (2022)
Haidong Shao, Wei Li, Min Xia, Yu Zhang, Changqing Shen, Darren Williams, Andrew Kennedy, Clarence W. de Silva
Fault Diagnosis of a Rotor-Bearing System Under Variable Rotating Speeds Using Two-Stage Parameter Transfer and Infrared Thermal Images. IEEE Trans. Instrum. Meas. 70 (2021)
Yi Yin, Vitalijs Jefimovs, Tim Mitchell, Andrew Kennedy, Darren Williams, Yingtao Tian
Numerical Modelling of Electron Beam Welding of Pure Niobium with Beam Oscillation: Towards Industry 4.0. ICAC (2021)
Charles Houston, Stephen Gooberman-Hill, Richard Mathie, Andrew Kennedy, Yunxi Li, Pedro Baiz
Case Study for the Return on Investment of Internet of Things Using Agent-Based Modelling and Data Science. Syst. 5 (1) (2017)
Andrew Kennedy, Karsten Klein, An Nguyen, Florence Ying Wang
The Graph Landscape: using visual analytics for graph set analysis. J. Vis. 20 (3) (2017)
Andrew Kennedy
Driving types into PHP (invited talk). TyDe@ICFP (2017)
Nick Benton, Andrew Kennedy, Martin Hofmann, Vivek Nigam
Counting Successes: Effects and Transformations for Non-deterministic Programs. A List of Successes That Can Change the World (2016)
Andrew Kennedy, Karsten Klein, An Nguyen
The Graph Landscape: a Concept for the Visual Analysis of Graph Set Properties. VINCI (2015)
Christian Barrett, Jacob Brown, Jay Hartford, Michael Hoerter, Andrew Kennedy, Ray Hassan, David Whittinghill
Estimating Gesture Accuracy in Motion-Based Health Games. J. Virtual Real. Broadcast. 11 (2014)
Vivianette Ocasio-De Jesús, Andrew Kennedy, David Whittinghill
Impact of graphical fidelity on physiological responses in virtual environments. VRST (2013)
Andrew Kennedy, Nick Benton, Jonas Braband Jensen, Pierre-Évariste Dagand
Coq: the world's best macro assembler? PPDP (2013)
Robert Atkey, Patricia Johann, Andrew Kennedy
Abstraction and invariance for algebraically indexed types. POPL (2013)
Jonas Braband Jensen, Nick Benton, Andrew Kennedy
High-level separation logic for low-level code. POPL (2013)
James P. Carson, Andrew P. Kuprat, Sean M. Colby, Cassi A. Davis, Christopher A. Basciano, Kevin Greene, John T. Feo, Andrew Kennedy
Detecting distance between injected microspheres and target tumor via 3D reconstruction of tissue sections. EMBC (2012)
Michel D. Ingham, John C. Day, Kenneth Donahue, Alexander Kadesch, Andrew Kennedy, Mohammed Omair Khan, Ethan Post, Shaun Standley
A Model-based Approach to Engineering Behavior of Complex Aerospace Systems. Infotech@Aerospace (2012)
Nick Benton, Chung-Kil Hur, Andrew Kennedy, Conor McBride
Strongly Typed Term Representations in Coq. J. Autom. Reason. 49 (2) (2012)
John Day, Kenneth Donahue, Michel D. Ingham, Alexander Kadesch, Andrew Kennedy, Ethan Post
Modeling Off-Nominal Behavior in SysML. Infotech@Aerospace (2012)
Nick Benton, Andrew Kennedy, Carsten Varming
Some Domain Theory and Denotational Semantics in Coq. TPHOLs (2009)
Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann
Relational semantics for effect-based program transformations: higher-order store. PPDP (2009)
Andrew Kennedy
Types for Units-of-Measure: Theory and Practice. CEFP (2009)
Andrew Kennedy
Types for units-of-measure in f#: invited talk. ML (2008)
Andrew Kennedy
Compiling with continuations, continued. ICFP (2007)
Prashant Mhaskar, Andrew Kennedy
Robust Model Predictive Control of Nonlinear Systems: Handling Rate Constraints. ACC (2007)
Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann
Relational semantics for effect-based program transformations with dynamic allocation. PPDP (2007)
Andrew Kennedy
Securing the .NET programming model. Theor. Comput. Sci. 364 (3) (2006)
Burak Emir, Andrew Kennedy, Claudio V. Russo, Dachuan Yu
Generics. ECOOP (2006)
Nick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer
Reading, Writing and Relations. APLAS (2006)
Andrew Kennedy, Claudio V. Russo
Generalized algebraic data types and object-oriented programming. OOPSLA (2005)
Andrew Kennedy, Don Syme
: expressivity of parametric polymorphism in an object-oriented language. Concurr. Pract. Exp. 16 (7) (2004)
Nick Benton, Andrew Kennedy, Claudio V. Russo
Adventures in interoperability: the SML.NET experience. PPDP (2004)
Nick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo
Shrinking Reductions in SML.NET. IFL (2004)
Dachuan Yu, Andrew Kennedy, Don Syme
Formalization of generics for the .NET common language runtime. POPL (2004)
Andrew Kennedy
Pickler combinators. J. Funct. Program. 14 (6) (2004)
Giuseppe Attardi, Antonio Cisternino, Andrew Kennedy
CodeBricks: code fragments as building blocks. PEPM (2003)
Nick Benton, Andrew Kennedy
Exceptional Syntax Journal of Functional Programming. J. Funct. Program. 11 (4) (2001)
Andrew Kennedy, Don Syme
Design and Implementation of Generics for the .NET Common Language Runtime. PLDI (2001)
Nick Benton, Andrew Kennedy
BABEL 2001 - Preface. Electron. Notes Theor. Comput. Sci. 59 (1) (2001)
Bruce J. McAdam, Andrew Kennedy, Nick Benton
Type inference for MLj. Scottish Functional Programming Workshop (2000)
Nick Benton, Andrew Kennedy
Interlanguage Working Without Tears: Blending SML with Java. ICFP (1999)
Nick Benton, Andrew Kennedy
Monads, Effects and Transformations. Electron. Notes Theor. Comput. Sci. 26 (1999)
Nick Benton, Andrew Kennedy, George Russell
Compiling Standard ML to Java Bytecodes. ICFP (1998)
Andrew Kennedy
Relational Parametricity and Units of Measure. POPL (1997)
Andrew Kennedy
Drawing Trees. J. Funct. Program. 6 (3) (1996)
Andrew Kennedy
Dimension Types. ESOP (1994)