On the public citation graph
Comparing object encodings
0 signed · 145 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/j.1096-9942.1995.tb00018.xopenalex-snapshot
The Development of Type Systems for Object‐Oriented Languages
inferredcites →https://doi.org/10.1006/inco.1994.1055openalex-snapshot
Bounded Quantification Is Undecidable
inferredcites →https://doi.org/10.1007/3-540-49538-x_3openalex-snapshot
PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language
inferredcites →https://doi.org/10.1007/3-540-57887-0_128openalex-snapshot
Notes on typed object-oriented programming
inferredcites →https://doi.org/10.1007/bfb0022246openalex-snapshot
Decidability of higher-order subtyping with intersection types
inferredcites →https://doi.org/10.1007/bfb0037104openalex-snapshot
Recursive types are not conservative over F≤
inferredcites →https://doi.org/10.1007/bfb0053376openalex-snapshot
Subtyping is not a good “match” for object-oriented languages
inferredcites →https://doi.org/10.1016/0304-3975(94)00037-jopenalex-snapshot
Divergence of F⩽ type checking
inferredcites →https://doi.org/10.1016/0890-5401(88)90007-7openalex-snapshot
A semantics of multiple inheritance
inferredcites →https://doi.org/10.1017/s0956796800001039openalex-snapshot
A paradigmatic object-oriented programming language: Design, static typing and semantics
inferredcites →https://doi.org/10.1017/s0956796800001040openalex-snapshot
Simple type-theoretic foundations for object-oriented programming
inferredcites →https://doi.org/10.1017/s0956796800001490openalex-snapshot
A unifying type-theoretic framework for objects
inferredcites →https://doi.org/10.1017/s0960129500001134openalex-snapshot
Coherence of subsumption, minimum typing and type-checking in F ≤
inferredcites →https://doi.org/10.1109/tse.1987.232836openalex-snapshot
Distrbution and Abstract Types in Emerald
inferredcites →https://doi.org/10.1145/158511.158650openalex-snapshot
Safe type checking in a statically-typed object-oriented programming language
inferredcites →https://doi.org/10.1145/237721.237809openalex-snapshot
An interpretation of objects and object types
inferredcites →https://doi.org/10.1145/44501.45065openalex-snapshot
Abstract types have existential type
inferredcites →https://doi.org/10.1145/6041.6042openalex-snapshot
On understanding types, data abstraction, and polymorphism
inferredcites →https://doi.org/10.1145/62678.62721openalex-snapshot
Objects as closures: abstract semantics of object-oriented languages
inferredcites →https://doi.org/10.1145/74877.74922openalex-snapshot
A denotational semantics of inheritance and its correctness
inferredcites →https://doi.org/10.1145/96709.96719openalex-snapshot
Toward a typed foundation for method specialization and inheritance
inferredcites →https://doi.org/10.1145/99370.99392openalex-snapshot
F-bounded polymorphism for object-oriented programming
inferredcites →https://doi.org/10.7146/dpb.v18i284.6662openalex-snapshot
A Denotational Semantics af Inheritance and its Correctness
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11590323_34openalex-snapshot
SpatiuMedia: Interacting with Locations
inferred← citeshttps://doi.org/10.1007/11686699openalex-snapshot
Computer Supported Cooperative Work in Design II
inferred← citeshttps://doi.org/10.1007/11730095_22openalex-snapshot
A Variable Neighbourhood Search Algorithm for Job Shop Scheduling Problems
inferred← citeshttps://doi.org/10.1007/11816157_142openalex-snapshot
Mobile Phone Number Management System Using an X-internet Approach
inferred← citeshttps://doi.org/10.1007/11915072_103openalex-snapshot
Seamless Service Adaptation in Context-Aware Middleware for U-HealthCare
inferred← citeshttps://doi.org/10.1007/3-540-40019-2_33openalex-snapshot
Deploying Advanced IP Services on a Community Network
inferred← citeshttps://doi.org/10.1007/3-540-44659-1_19openalex-snapshot
Inheritance in Higher Order Logic: Modeling and Reasoning
inferred← citeshttps://doi.org/10.1007/3-540-45407-1_11openalex-snapshot
Experiences with Error Handling in Critical Systems
inferred← citeshttps://doi.org/10.1007/3-540-45413-6_25openalex-snapshot
Characterizing Convergent Terms in Object Calculi via Intersection Types
inferred← citeshttps://doi.org/10.1007/3-540-45719-4_32openalex-snapshot
Class-Based versus Object-Based: A Denotational Comparison
inferred← citeshttps://doi.org/10.1007/3-540-48321-7_11openalex-snapshot
An interpretation of extensible objects
inferred← citeshttps://doi.org/10.1007/3-540-48321-7_8openalex-snapshot
Interpretations of extensible objects and types
inferred← citeshttps://doi.org/10.1007/3-540-48523-6_4openalex-snapshot
Type Structure for Low-Level Programming Languages
inferred← citeshttps://doi.org/10.1007/3-540-48743-3_3openalex-snapshot
A Core Calculus of Classes and Mixins
inferred← citeshttps://doi.org/10.1007/3-540-48743-3_8openalex-snapshot
Foundations for Virtual Types
inferred← citeshttps://doi.org/10.1007/3-540-49164-3_31openalex-snapshot
The Split-Proxy Approach: A New Architecture for Parallel Video Servers §
inferred← citeshttps://doi.org/10.1007/978-0-387-49690-0_26openalex-snapshot
A Vision for Reliable Network Services Architecture
inferred← citeshttps://doi.org/10.1007/978-3-030-34983-7_17openalex-snapshot
Methodology of Complex Objects Structural Dynamics Proactive Management and Control Theory and Its Application
inferred← citeshttps://doi.org/10.1007/978-3-030-44038-1_88openalex-snapshot
Analysis of Data for SCAN Project
inferred← citeshttps://doi.org/10.1007/978-3-030-44038-1_89openalex-snapshot
Data Management in the European Project SCAN
inferred← citeshttps://doi.org/10.1007/978-3-030-50399-4_60openalex-snapshot
Application of Blockchain Technology in Data Management of University Scientific Research
inferred← citeshttps://doi.org/10.1007/978-3-030-81197-6_61openalex-snapshot
A Research on the Evolution of Chinese Semantics Based on Distributed Representation
inferred← citeshttps://doi.org/10.1007/978-3-031-14314-4_51openalex-snapshot
Web Game Development Tool for Learning Communication Functions for Beginners Networked Game Developers
inferred← citeshttps://doi.org/10.1007/978-3-031-30044-8_15openalex-snapshot
System $$F^\mu _\omega $$ with Context-free Session Types
inferred← citeshttps://doi.org/10.1007/978-3-031-35734-3_39openalex-snapshot
Co-browsing Cubic Gantt Charts with VR Goggles for Collaborative Immersive Visual Data Analytics
inferred← citeshttps://doi.org/10.1007/978-3-031-96093-2_13openalex-snapshot
Scalable Vehicle Sensor Data Management Architecture Solution: Utilizing DSRC in V2X Ecosystems
inferred← citeshttps://doi.org/10.1007/978-3-032-06161-4_21openalex-snapshot
Blockchain-Enabled OTA-Based Energy Reconfiguration and Secure Management for Smart Microgrids
inferred← citeshttps://doi.org/10.1007/978-3-032-24063-7_15openalex-snapshot
A Study on Prompt Length and Framework in Controlling Style for Children's Educational Q&A
inferred← citeshttps://doi.org/10.1007/978-3-319-00551-5_52openalex-snapshot
Collision Avoidance of Mobile Robots Using Multi-Agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-16841-8_64openalex-snapshot
Assessment of the Effectiveness of Acupuncture on Facial Paralysis Based on sEMG Decomposition
inferred← citeshttps://doi.org/10.1007/978-3-319-18681-8_27openalex-snapshot
Watermarking Based Multi-biometric Fusion Approach
inferred← citeshttps://doi.org/10.1007/978-3-319-30526-4_38openalex-snapshot
Comparing Symmetries in Models and Simulations
inferred← citeshttps://doi.org/10.1007/978-3-540-24612-1_7openalex-snapshot
Knowledge Management Framework for Collaborative Learning Support
inferred← citeshttps://doi.org/10.1007/978-3-540-28640-0_44openalex-snapshot
A Document Analysis System Based on Text Line Matching of Multiple OCR Outputs
inferred← citeshttps://doi.org/10.1007/978-3-540-30543-9_50openalex-snapshot
Watermark Re-synchronization Using Sinusoidal Signals in DT-CWT Domain
inferred← citeshttps://doi.org/10.1007/978-3-540-40042-4_3openalex-snapshot
Extensible Objects: A Tutorial
inferred← citeshttps://doi.org/10.1007/978-3-540-69057-3_100openalex-snapshot
Gesture Recognition with Hidden Markov Models to Enable Multi-modal Haptic Feedback
inferred← citeshttps://doi.org/10.1007/978-3-540-69812-8_71openalex-snapshot
Homography-Based Tracking Control for Mobile Robots
inferred← citeshttps://doi.org/10.1007/978-3-540-73105-4_132openalex-snapshot
Task-Based Prediction of Interaction Patterns for Ambient Intelligence Environments
inferred← citeshttps://doi.org/10.1007/978-3-540-73333-1_14openalex-snapshot
Work Environment and Health Effects of Operators at Light-on-Test Process in TFT-LCD Plants
inferred← citeshttps://doi.org/10.1007/978-3-540-74472-6_22openalex-snapshot
Nonadiabatic Ab Initio Surface-Hopping Dynamics Calculation in a Grid Environment – First Experiences
inferred← citeshttps://doi.org/10.1007/978-3-540-74769-7_13openalex-snapshot
Immune Clonal Strategy Based on the Adaptive Mean Mutation
inferred← citeshttps://doi.org/10.1007/978-3-540-74769-7_6openalex-snapshot
A Novel Neural Network Based Reinforcement Learning
inferred← citeshttps://doi.org/10.1007/978-3-642-01350-8_13openalex-snapshot
Generation of Spatial Decision Alternatives Based on a Planar Subdivision of the Study Area
inferred← citeshttps://doi.org/10.1007/978-3-642-17824-5_9openalex-snapshot
Virtual Reality and Serious Games in Healthcare
inferred← citeshttps://doi.org/10.1007/978-3-642-22170-5_10openalex-snapshot
A Development of Integrated Learning System for Visual Impaired
inferred← citeshttps://doi.org/10.1007/978-3-642-25661-5_74openalex-snapshot
Research on Computer Science Domain Ontology Construction and Information Retrieval
inferred← citeshttps://doi.org/10.1007/978-3-642-37036-6_24openalex-snapshot
Model-Checking Higher-Order Programs with Recursive Types
inferred← citeshttps://doi.org/10.1007/978-3-642-38073-0_37openalex-snapshot
Multi-Agent Systems Platform for Mobile Robots Collision Avoidance
inferred← citeshttps://doi.org/10.1007/978-3-642-41033-8_37openalex-snapshot
Software Architecture in Distributed Software Development: A Review
inferred← citeshttps://doi.org/10.1007/978-3-642-55355-4_18openalex-snapshot
A Research on Interaction and Merging between Modern Manufacturing and Producer Services
inferred← citeshttps://doi.org/10.1007/978-3-662-59351-6_4openalex-snapshot
Lip-Reading Based on Deep Learning Model
inferred← citeshttps://doi.org/10.1007/978-81-322-2656-7_6openalex-snapshot
An Involuntary Data Extraction and Information Summarization Expending Ontology
inferred← citeshttps://doi.org/10.1007/978-981-13-1217-5_73openalex-snapshot
Comparative Analysis of Machine Learning Algorithms for Breast Cancer Prognosis
inferred← citeshttps://doi.org/10.1007/978-981-13-7780-8_8openalex-snapshot
Integration of Semantic and Episodic Memories for Task Intelligence
inferred← citeshttps://doi.org/10.1007/978-981-15-0978-0_19openalex-snapshot
Optimization of the Random Forest Algorithm
inferred← citeshttps://doi.org/10.1007/978-981-15-1420-3_195openalex-snapshot
A Security Scheme for Discovering Battery Draining Attacks in Android Smartphone
inferred← citeshttps://doi.org/10.1007/978-981-15-2414-1_27openalex-snapshot
Predicting Impact of Odia Newspaper Articles on Public Opinion
inferred← citeshttps://doi.org/10.1007/978-981-15-5463-6_31openalex-snapshot
On Condition Monitoring Aspects of in-Service Power Transformers Using Computational Techniques
inferred← citeshttps://doi.org/10.1007/978-981-15-8221-9_278openalex-snapshot
Scheduler of a LTE Downlink System
inferred← citeshttps://doi.org/10.1007/978-981-16-9447-9_30openalex-snapshot
Deep Learning on Landslides: An Examination of the Potential Commitment an Expectation of Danger Evaluation in Sloping Situations
inferred← citeshttps://doi.org/10.1007/978-981-19-8497-6_33openalex-snapshot
Estimation of SoC Testability at Early RTL Stage
inferred← citeshttps://doi.org/10.1007/978-981-19-8669-7_18openalex-snapshot
Determining the Attribute Priority Among the Maintenance and Support Phases in Software Development Phases Using Intuitionistic Fuzzy Analytical Hierarchy Process
inferred← citeshttps://doi.org/10.1007/978-981-96-6066-7_17openalex-snapshot
A Machine Learning-Based Method for Predicting Loan Eligibility Under the West Bengal Student Credit Card Scheme
inferred← citeshttps://doi.org/10.1007/bfb0055510openalex-snapshot
Compiling Java to a typed lambda-calculus: A preliminary report
inferred← citeshttps://doi.org/10.1016/j.amc.2004.10.059openalex-snapshot
Two provably secure k-out-of-n oblivious transfer schemes
inferred← citeshttps://doi.org/10.1016/j.ic.2004.11.003openalex-snapshot
Subtyping recursion and parametric polymorphism in kernel fun
inferred← citeshttps://doi.org/10.1016/j.scico.2006.02.008openalex-snapshot
Typed parametric polymorphism for aspects
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)33281-0openalex-snapshot
Organizational Framework for Non-Hierarchical Production Networks
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80065-3openalex-snapshot
A Core Calculus of Classes and Objects
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80066-5openalex-snapshot
Semantics-Driven Language Design:
inferred← citeshttps://doi.org/10.1017/s0956796806005971openalex-snapshot
Sound and complete models of contracts
inferred← citeshttps://doi.org/10.1109/apscc.2008.225openalex-snapshot
Security of Mobile Agent-Based Web Applications
inferred← citeshttps://doi.org/10.1109/cec.2003.1299924openalex-snapshot
Saving computational effort in genetic programming by means of plagues
inferred← citeshttps://doi.org/10.1109/cw.2013.10openalex-snapshot
A Low Complexity Algorithm for H.264/AVC Intra Prediction
inferred← citeshttps://doi.org/10.1109/dasa59624.2023.10286741openalex-snapshot
Physical and System Level Power Reduction Technique for NoC Architectures: Overview of State of the Art
inferred← citeshttps://doi.org/10.1109/have.2010.5623984openalex-snapshot
Adaptive haptic exploration of geometrical structures in map navigation for people with visual impairment
inferred← citeshttps://doi.org/10.1109/icat.2006.55openalex-snapshot
Designing Audio Visual Software for Digital Interactive Art
inferred← citeshttps://doi.org/10.1109/innovations.2008.4781752openalex-snapshot
New support vector machine-based approach over DNA chip data
inferred← citeshttps://doi.org/10.1109/jicv51605.2020.9375647openalex-snapshot
Toward Improving Attention Levels in Mathematics learning with Serious Games
inferred← citeshttps://doi.org/10.1145/1016848.1016876openalex-snapshot
A sound (and complete) model of contracts
inferred← citeshttps://doi.org/10.1145/1016850.1016876openalex-snapshot
A sound (and complete) model of contracts
inferred← citeshttps://doi.org/10.1145/2888392openalex-snapshot
ThisType for Object-Oriented Languages
inferred← citeshttps://doi.org/10.1145/306198.306206openalex-snapshot
Polymorphism, objects and abstract types
inferred← citeshttps://doi.org/10.1145/340855.341019openalex-snapshot
Typed common intermediate format
inferred← citeshttps://doi.org/10.1155/2007/75310openalex-snapshot
Efficient MPEG-2 to H.264/AVC Transcoding of Intra-Coded Video
inferred← citeshttps://doi.org/10.13053/rcs-147-2-11openalex-snapshot
Solution of the Assignment of Schedules Problem with the Gray Wolf Optimizer (GWO), Applying Evolutionary Parameters
inferred← citeshttps://doi.org/10.13053/rcs-77-1-1openalex-snapshot
Motion Prediction of Regions Through the Statistical Temporal Analysis Using an Autoregressive Moving Average (ARMA) Model
inferred← citeshttps://doi.org/10.21203/rs.3.rs-1900925/v1openalex-snapshot
An Efficient and Intelligent Conference Management System- Desired Services and Features
inferred← citeshttps://doi.org/10.2174/9789815136531123010008openalex-snapshot
Machine Learning based Predictive Analysis and Algorithm for Analysis Severity of Breast Cancer
inferred← citeshttps://doi.org/10.22215/etd/2006-07862openalex-snapshot
Covariant-FGJ and its type-safety proof
inferred← citeshttps://doi.org/10.33107/ubt-ic.2016.71openalex-snapshot
An Evaluation on Applications of Sustainable Approaches in Condominiums
inferred← citeshttps://doi.org/10.3390/engproc2024066033openalex-snapshot
Eco-Friendly Machining of Ni-Based Superalloy with High-Velocity Mist Nozzle
inferred← citeshttps://doi.org/10.3991/ijet.v14i18.10854openalex-snapshot
ImALeG: A Serious Game for Amazigh Language Learning
inferred← citeshttps://doi.org/10.4018/ijrsda.2016070101openalex-snapshot
Theoretical Analysis of Different Classifiers under Reduction Rough Data Set
inferred← citeshttps://doi.org/10.4028/www.scientific.net/amm.155-156.940openalex-snapshot
LURR as a Grid Service
inferred← citeshttps://doi.org/10.4028/www.scientific.net/amm.330.889openalex-snapshot
Effects of Carbon Trading on Operating Costs of the Civil Aviation Industry
inferred← citeshttps://doi.org/10.55041/ijsrem26407openalex-snapshot
Rakshak: Post-Disaster Management through an Android Mobile Application
inferred← citeshttps://doi.org/10.55041/ijsrem27491openalex-snapshot
PID Controller Design of Brushless DC Motor by Bacteria Foraging and Hybrid Bacteria Foraging-PSO Optimization
inferred← citeshttps://doi.org/10.55041/ijsrem29645openalex-snapshot
Machine Learning Project in Python to Predict Stock Price
inferred← citeshttps://doi.org/10.55041/ijsrem31175openalex-snapshot
Enhancing Academic Integrity: Plagiarism Detection with Machine Learning
inferred← citeshttps://doi.org/10.55041/ijsrem31359openalex-snapshot
VIBRATION AND STATIC ANALYSIS OF COMPOSITE 2-WHEELER CONNECTING ROD
inferred← citeshttps://doi.org/10.55041/ijsrem33588openalex-snapshot
Apple Fruit Disease Classification using Naive Bayes Algorithm
inferred← citeshttps://doi.org/10.55041/ijsrem34848openalex-snapshot
LLM CHATBOT TO ANSWER MINING RELATED QUERIES
inferred← citeshttps://doi.org/10.55041/ijsrem37053openalex-snapshot
Integrated Application for Paddy Disease Detection and Remedy Suggestion
inferred← citeshttps://doi.org/10.55041/ijsrem37869openalex-snapshot
Pneumonia Diagnosis and Analysis System with Machine Learning
inferred← citeshttps://doi.org/10.55041/ijsrem40765openalex-snapshot
Advanced Data Engineering and Machine Learning Approaches for Accurate Yield Prediction in Semiconductor Manufacturing Processes.
inferred← citeshttps://doi.org/10.61467/2007.1558.2024.v15i2.431openalex-snapshot
Personalized Education and Artificial Intelligence
inferred← citeshttps://doi.org/10.61728/ae20252298openalex-snapshot
Formación tecnológica y cultura digital en un grupo de profesores de Educación Básica
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.