Selected work

Representative Papers

Scuba Diving Graphs

Jul 22, 2026

Existing approaches struggle to effectively model the social interaction structures among divers, limiting the analysis and enhancement of underwater collaboration and safety. This work introduces, for the first time, graph-based models from computational social science into diving scenarios, proposing a temporal social network framework that characterizes dynamic interactions among divers through multidimensional weighted edges defined by physical proximity, communication efficiency, and emergency support capacity. By capturing the evolving nature of diver relationships across these key dimensions, the framework establishes a scalable theoretical foundation for studying team coordination and safety in underwater environments, thereby enabling future empirical investigations and system-level optimizations.

0 citationsRead paper

Two-Step Occupation Coding

Jul 22, 2026

This work addresses the challenging task of mapping occupational titles from free-form text to standardized classification schemes, particularly under the adverse effects of OCR-induced noise. To tackle this problem, the authors propose a two-stage decoupled architecture: first, a domain-adapted named entity recognition (NER) model precisely extracts occupational titles, and second, these extracted titles are mapped to the target taxonomy. This separation enables each stage to focus on a single, well-defined objective, substantially improving accuracy, robustness, and interpretability. The study further introduces an innovative margin-based confidence criterion—replacing conventional absolute thresholds—to refine mapping decisions. Experiments on German-language documents demonstrate that the proposed approach significantly outperforms end-to-end single-step baselines and exhibits strong potential for cross-lingual transfer. The implementation code and evaluation scripts are publicly released to facilitate reproducibility.

0 citationsRead paper

On Constructing Most General Solutions for Parametric Constraints (Extended Preprint)

Jul 09, 2026

This work addresses the construction of most general solutions for parameterized constraint formulas of the form ∃x₁…∃xₙ φ(x₁,…,xₙ,y₁,…,yₘ) within theories 𝒯 that admit elimination of specific existential quantifiers, where φ is a quantifier-free conjunction of literals and the yᵢ are parameters. By introducing conditional function symbols that capture “if-then-else” constructs, the authors generalize existing results on the existence of most general unifiers in discriminator clusters. Integrating parameterized constraint solving with algebraic semantic characterizations, they establish a unified framework for constructing most general solutions. This approach substantially broadens the scope of applicability compared to prior methods, and its effectiveness and generality are demonstrated through illustrative examples.

0 citationsRead paper

Web-Native Graphical EMF Model Editors

Jun 09, 2026

This work addresses the lack of lightweight, customizable, and easily deployable web-based solutions for graphical EMF model editing, as existing tools predominantly rely on desktop environments. The paper proposes EMFular, a novel front-end-only framework that automatically generates semantic-compliant graphical editors directly from Ecore metamodels without requiring a back-end. By integrating Angular’s front-end architecture, EMF semantics-preserving mechanisms, and standardized serialization techniques, EMFular supports full modeling operations and seamless interoperability with the EMF toolchain. High customizability is achieved through Angular extension points. Experimental results demonstrate that the generated editors exhibit strong functional completeness, adaptability, and robustness, significantly lowering the barriers to deployment and customization of EMF-based modeling in web environments.

0 citationsRead paper

Towards an Ontology for the Foundations of Software Languages

May 17, 2026

This work addresses the lack of a unified knowledge organization framework across software languages—such as programming and modeling languages—by proposing the Foundational Ontology for Software Languages (FSL). It presents the first comprehensive ontology framework encompassing diverse software language types, augmented with generative artificial intelligence (GenAI) techniques to support concept discovery, classification, linking, completion, and transformation within the ontology. Following established ontology engineering practices—including requirements analysis, reuse, conceptualization, formalization, and validation—the project has successfully released FSL Version 1. This structured, cross-disciplinary knowledge resource enhances computer science education by systematically interconnecting multiple subject areas and significantly improving the organization and application efficiency of software language knowledge.

0 citationsRead paper

Recent publications

Latest Papers

Scuba Diving Graphs

Jul 22, 2026

Existing approaches struggle to effectively model the social interaction structures among divers, limiting the analysis and enhancement of underwater collaboration and safety. This work introduces, for the first time, graph-based models from computational social science into diving scenarios, proposing a temporal social network framework that characterizes dynamic interactions among divers through multidimensional weighted edges defined by physical proximity, communication efficiency, and emergency support capacity. By capturing the evolving nature of diver relationships across these key dimensions, the framework establishes a scalable theoretical foundation for studying team coordination and safety in underwater environments, thereby enabling future empirical investigations and system-level optimizations.

0 citationsRead paper

Two-Step Occupation Coding

Jul 22, 2026

This work addresses the challenging task of mapping occupational titles from free-form text to standardized classification schemes, particularly under the adverse effects of OCR-induced noise. To tackle this problem, the authors propose a two-stage decoupled architecture: first, a domain-adapted named entity recognition (NER) model precisely extracts occupational titles, and second, these extracted titles are mapped to the target taxonomy. This separation enables each stage to focus on a single, well-defined objective, substantially improving accuracy, robustness, and interpretability. The study further introduces an innovative margin-based confidence criterion—replacing conventional absolute thresholds—to refine mapping decisions. Experiments on German-language documents demonstrate that the proposed approach significantly outperforms end-to-end single-step baselines and exhibits strong potential for cross-lingual transfer. The implementation code and evaluation scripts are publicly released to facilitate reproducibility.

0 citationsRead paper

On Constructing Most General Solutions for Parametric Constraints (Extended Preprint)

Jul 09, 2026

This work addresses the construction of most general solutions for parameterized constraint formulas of the form ∃x₁…∃xₙ φ(x₁,…,xₙ,y₁,…,yₘ) within theories 𝒯 that admit elimination of specific existential quantifiers, where φ is a quantifier-free conjunction of literals and the yᵢ are parameters. By introducing conditional function symbols that capture “if-then-else” constructs, the authors generalize existing results on the existence of most general unifiers in discriminator clusters. Integrating parameterized constraint solving with algebraic semantic characterizations, they establish a unified framework for constructing most general solutions. This approach substantially broadens the scope of applicability compared to prior methods, and its effectiveness and generality are demonstrated through illustrative examples.

0 citationsRead paper

Web-Native Graphical EMF Model Editors

Jun 09, 2026

This work addresses the lack of lightweight, customizable, and easily deployable web-based solutions for graphical EMF model editing, as existing tools predominantly rely on desktop environments. The paper proposes EMFular, a novel front-end-only framework that automatically generates semantic-compliant graphical editors directly from Ecore metamodels without requiring a back-end. By integrating Angular’s front-end architecture, EMF semantics-preserving mechanisms, and standardized serialization techniques, EMFular supports full modeling operations and seamless interoperability with the EMF toolchain. High customizability is achieved through Angular extension points. Experimental results demonstrate that the generated editors exhibit strong functional completeness, adaptability, and robustness, significantly lowering the barriers to deployment and customization of EMF-based modeling in web environments.

0 citationsRead paper

Towards an Ontology for the Foundations of Software Languages

May 17, 2026

This work addresses the lack of a unified knowledge organization framework across software languages—such as programming and modeling languages—by proposing the Foundational Ontology for Software Languages (FSL). It presents the first comprehensive ontology framework encompassing diverse software language types, augmented with generative artificial intelligence (GenAI) techniques to support concept discovery, classification, linking, completion, and transformation within the ontology. Following established ontology engineering practices—including requirements analysis, reuse, conceptualization, formalization, and validation—the project has successfully released FSL Version 1. This structured, cross-disciplinary knowledge resource enhances computer science education by systematically interconnecting multiple subject areas and significantly improving the organization and application efficiency of software language knowledge.

0 citationsRead paper