Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Andy King

Optimising the Volgenant–Jonker Algorithm for Approximating Graph Edit Distance

Pattern Recognition Letters
Signal ProcessingComputer VisionPattern RecognitionArtificial IntelligenceSoftware
2017English

Incrementally Closing Octagons

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2018English

Transfer Function Synthesis Without Quantifier Elimination

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Automatic Abstraction for Intervals Using Boolean Formulae

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Compact Difference Bound Matrices

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Automatic Abstraction for Congruences

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Termination of Logic Programs With Block Declarations Running in Several Modes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Logahedra: A New Weakly Relational Domain

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Determinacy Inference for Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Forward Versus Backward Verification of Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy