On the public citation graph

VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content

https://doi.org/10.1007/11610496_20
0 signed · 33 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-45470-5_26openalex-snapshot
Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms
inferredcites →https://doi.org/10.1007/3-540-45619-8_18openalex-snapshot
Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification
inferredcites →https://doi.org/10.1007/3-540-45750-xopenalex-snapshot
Artificial Intelligence and Cognitive Science
inferredcites →https://doi.org/10.1007/978-3-540-30469-2_17openalex-snapshot
CLP(Flex): Constraint Logic Programming Applied to XML Processing
inferredcites →https://doi.org/10.1007/978-3-540-48765-4_29openalex-snapshot
WebMaster: Knowledge-Based Verification of Web-Pages
inferredcites →https://doi.org/10.1007/978-3-642-83189-8openalex-snapshot
Foundations of Logic Programming
inferredcites →https://doi.org/10.1007/978-3-642-96826-6openalex-snapshot
Foundations of Logic Programming
inferredcites →https://doi.org/10.1007/b102173openalex-snapshot
On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE
inferredcites →https://doi.org/10.1007/b72302openalex-snapshot
Multiple approaches to intelligent systems : 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE-99, Cairo, Egypt, May 31-June 3,1999, proceedings
inferredcites →https://doi.org/10.1016/0743-1066(94)90033-7openalex-snapshot
Constraint logic programming: a survey
inferredcites →https://doi.org/10.1016/j.entcs.2004.07.014openalex-snapshot
A Rewriting-based Framework for Web Sites Verification
inferredcites →https://doi.org/10.1109/sfcs.1995.492576openalex-snapshot
Computing simulations on finite and infinite graphs
inferredcites →https://doi.org/10.1145/988672.988766openalex-snapshot
Practical semantic analysis of web sites and documents
inferredcites →https://doi.org/10.1201/9781420090512-18openalex-snapshot
A Extensible Markup Language XML
inferredcites →https://doi.org/10.5282/ubm/epub.17342openalex-snapshot
Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/stvr.401openalex-snapshot
Modelling methods for web application verification and testing: state of the art
inferred← citeshttps://doi.org/10.1007/978-3-319-07151-0_18openalex-snapshot
Constraint Logic Programming for Hedges: A Semantic Reconstruction
inferred← citeshttps://doi.org/10.1007/978-3-540-73449-9_22openalex-snapshot
Sequence Unification Through Currying
inferred← citeshttps://doi.org/10.1007/978-3-540-77010-7_10openalex-snapshot
Sequence Disunification and Its Application in Collaborative Schema Construction
inferred← citeshttps://doi.org/10.1007/978-3-540-87991-6_51openalex-snapshot
Semantic Verification of Web System Contents
inferred← citeshttps://doi.org/10.1007/978-3-642-22309-9_6openalex-snapshot
Semantic Verification in an Open Collaboration Scenario
inferred← citeshttps://doi.org/10.1007/978-3-642-30157-5_75openalex-snapshot
A High Level Approach to Web Content Verification
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.03.003openalex-snapshot
An Ontology-based System for Semantic Filtering of XML Data
inferred← citeshttps://doi.org/10.1016/j.jsc.2008.05.001openalex-snapshot
Flat matching
inferred← citeshttps://doi.org/10.1016/j.jsc.2009.07.001openalex-snapshot
On the relation between Context and Sequence Unification
inferred← citeshttps://doi.org/10.1109/icdim.2011.6093342openalex-snapshot
Filtering XML content for publication and presentation on the web
inferred← citeshttps://doi.org/10.1109/ukrcon.2017.8100435openalex-snapshot
Unranked tableaux calculus for web related applications
inferred← citeshttps://doi.org/10.1145/1316902.1316904openalex-snapshot
XCentric
inferred← citeshttps://doi.org/10.1145/1557626.1557643openalex-snapshot
A verification framework for access control in dynamic web applications
inferred← citeshttps://doi.org/10.14569/ijacsa.2016.070225openalex-snapshot
Dual Security Testing Model for Web Applications
inferred← citeshttps://doi.org/10.34626/yvnm-c511openalex-snapshot
Programmimg with Sequence and Context Variables: Foundations and Applications
inferred← citeshttps://doi.org/10.48550/arxiv.1503.00336openalex-snapshot
CLP(H): Constraint Logic Programming for Hedges
inferred← citeshttps://doi.org/10.4995/thesis/10251/8964openalex-snapshot
Rule-based Methodologies for the Specification and Analysis of Complex Computing Systems
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.