Zhi Jin

J. Syst. Softw., 2025

A high-performance 380 GHz GaAs Schottky diode based mixer and frequency doubler for terahertz receiver front-ends.

[BibT_eX]

[DOI]

Nan Wu

Jingtao Zhou

IEICE Electron. Express, 2025

A novel GaAs Schottky barrier diode with a vertical sidewall epitaxial structure for THz frequency multiplier.

[BibT_eX]

[DOI]

IEICE Electron. Express, 2025

Try Before You Buy: Solving Multi-Model Complex Tasks by Model Competitions.

[BibT_eX]

[DOI]

Proceedings of the 2025 IEEE International Conference on Acoustics, 2025

NTIRE 2025 Challenge on Short-form UGC Video Quality Assessment and Enhancement: Methods and Results.

[BibT_eX]

[DOI]

Mohamed-Chaker Larabi

Nourine Mohammed Nadir

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, 2025

Benchmarking Long-Context Language Models on Long Code Understanding.

[BibT_eX]

[DOI]

Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2025

Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics, 2025

Rethinking Repetition Problems of LLMs in Code Generation.

[BibT_eX]

[DOI]

Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2025

2024

Automated Commit Message Generation With Large Language Models: An Empirical Study and Beyond.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., December, 2024

MultiModRLBP: A Deep Learning Approach for Multi-Modal RNA-Small Molecule Ligand Binding Sites Prediction.

[BibT_eX]

[DOI]

IEEE J. Biomed. Health Informatics, August, 2024

RPEMHC: improved prediction of MHC-peptide binding affinity by a deep learning approach based on residue-residue pair encoding.

[BibT_eX]

[DOI]

Bioinform., January, 2024

Radiation effects modeling of InP-based HEMT based on neural networks.

[BibT_eX]

[DOI]

Microelectron. J., 2024

A behavioral model for electron irradiation effect on the DC performance in InP-based HEMT.

[BibT_eX]

[DOI]

Microelectron. J., 2024

Intrinsic point defects investigation in InAlAs with extrapolated defect transition level.

[BibT_eX]

[DOI]

Microelectron. J., 2024

A high-output-swing 64-Gb/s PAM-4 transmitter with a 4-tap hybrid FFE in 28-nm CMOS.

[BibT_eX]

[DOI]

IEICE Electron. Express, 2024

A broadband ECL static frequency divider in InP DHBT using differential ft-doubler.

[BibT_eX]

[DOI]

IEICE Electron. Express, 2024

Modular linear circuit matching method for a 110GHz balanced frequency doubler.

[BibT_eX]

[DOI]

IEICE Electron. Express, 2024

A broadband fully differential amplifier in InP DHBT using global shunt-shunt feedback.

[BibT_eX]

[DOI]

IEICE Electron. Express, 2024

Accelerating Learned Video Compression via Low-Resolution Representation Learning.

[BibT_eX]

[DOI]

Zidian Qiu

CoRR, 2024

FastScene: Text-Driven Fast 3D Indoor Scene Generation via Panoramic Gaussian Splatting.

[BibT_eX]

[DOI]

Yikun Ma

Dandan Zhan

CoRR, 2024

Recovery of Trace Links Between a SOFL Formal Specification and Its Corresponding Incomplete Java Code.

[BibT_eX]

[DOI]

Jiandong Li

Shaoying Liu

Proceedings of the Software Fault Prevention, Verification, and Validation, 2024

Generating Requirements Documents for Embedded Systems: A Device Knowledge-Guided Approach.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024

Building Device Models Using LLMs for Requirements Simulation in Smart Homes.

[BibT_eX]

[DOI]

Shi Chen

Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024

FastScene: Text-Driven Fast Indoor 3D Scene Generation via Panoramic Gaussian Splatting.

[BibT_eX]

[DOI]

Yikun Ma

Dandan Zhan

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

CAPformer: Compression-Aware Pre-trained Transformer for Low-Light Image Enhancement.

[BibT_eX]

[DOI]

Wei Wang

Proceedings of the IEEE International Conference on Multimedia and Expo, 2024

Dynamic Implicit Image Function for Efficient Arbitrary-Scale Super-Resolution.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Multimedia and Expo, 2024

Unsupervised Variational Translator for Bridging Image Restoration and High-Level Vision Tasks.

[BibT_eX]

[DOI]

Jiawei Wu

Proceedings of the Computer Vision - ECCV 2024, 2024

NTIRE 2024 Challenge on Blind Enhancement of Compressed Image: Methods and Results.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024

Latent Modulated Function for Computational Optimal Continuous Image Representation.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024

MEEL: Multi-Modal Event Evolution Learning.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics, 2024

ContraNovo: A Contrastive Learning Approach to Enhance De Novo Peptide Sequencing.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

User story clustering in agile development: a framework and an empirical study.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., December, 2023

DeepMPSF: A Deep Learning Network for Predicting General Protein Phosphorylation Sites Based on Multiple Protein Sequence Features.

[BibT_eX]

[DOI]

J. Chem. Inf. Model., November, 2023

A 50 Gb/s PAM-4 EAM driver in 28-nm CMOS technology.

[BibT_eX]

[DOI]

Microelectron. J., October, 2023

CAPLA: improved prediction of protein-ligand binding affinity by a deep learning approach based on a cross-attention mechanism.

[BibT_eX]

[DOI]

Bioinform., February, 2023

Brighten-and-Colorize: A Decoupled Network for Customized Low-Light Image Enhancement.

[BibT_eX]

[DOI]

Chenxi Wang

CoRR, 2023

Low-Light Enhancement in the Frequency Domain.

[BibT_eX]

[DOI]

Hao Chen

CoRR, 2023

Dynamic Implicit Image Function for Efficient Arbitrary-Scale Image Representation.

[BibT_eX]

[DOI]

CoRR, 2023

Adversarial Attacks on Neural Models of Code via Code Difference Reduction.

[BibT_eX]

[DOI]

Zhao Tian

Junjie Chen

CoRR, 2023

Requirements Modeling Aided by ChatGPT: An Experience in Embedded Systems.

[BibT_eX]

[DOI]

Kun Ruan

Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023

RFLSem: A Lightweight Model for Textual Sentiment Analysis.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2023

Code Difference Guided Adversarial Example Generation for Deep Code Models.

[BibT_eX]

[DOI]

Zhao Tian

Junjie Chen

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Efficiently Verifying Mutually Exclusive Inconsistency of Requirements for Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 9th International Symposium on System Security, Safety, and Reliability, 2023

A Fault Injection and Formal Verification Framework Based on UML Sequence Diagrams.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023

SC-NAFSSR: Perceptual-Oriented Stereo Image Super-Resolution Using Stereo Consistency Guided NAFSSR.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

2022

Transformer-based vehicle detection for surveillance images.

[BibT_eX]

[DOI]

J. Electronic Imaging, 2022

Multisource Attention-Mechanism-Based Encoder-Decoder Model for Predicting Drug-Drug Interaction Events.

[BibT_eX]

[DOI]

J. Chem. Inf. Model., 2022

A broadband static frequency divider up to 62GHz in InP DHBT with capacitive degeneration.

[BibT_eX]

[DOI]

IEICE Electron. Express, 2022

Multi-perspective representation learning for source code analytics (invited tutorial).

[BibT_eX]

[DOI]

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

An Ontological Analysis of Safety-Critical Software and Its Anomalies.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

2021

A wideband InP Gilbert-cell mixer using capacitive degeneration and current bleeding technique.

[BibT_eX]

[DOI]

IEICE Electron. Express, 2021

Design of 35-dB 0.03-to-2.7 GHz Two-Stage Broadband Power Amplifier With 37.2 dBm Psat Using Modular Technology.

[BibT_eX]

[DOI]

IEEE Access, 2021

Environment Model based Requirements Consistency Verification: An Example.

[BibT_eX]

[DOI]

Qianqian Liu

Proceedings of the 29th IEEE International Requirements Engineering Conference Workshops, 2021

Learning to Synthesize and Remove Rain Unsupervisedly.

[BibT_eX]

[DOI]

Yinhe Qi

Meng Pan

Proceedings of the PRICAI 2021: Trends in Artificial Intelligence, 2021

Seeing Health with Eyes: Feature Combination for Image-Based Human BMI Estimation.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE International Conference on Multimedia and Expo, 2021

2020

Detection and recognition method of monocular vision traffic safety information for intelligent vehicles.

[BibT_eX]

[DOI]

Dong-Yuan Ge

J. Intell. Fuzzy Syst., 2020

A broadband high bandwidth utilization ECL static frequency divider in InP DHBT process.

[BibT_eX]

[DOI]

IEICE Electron. Express, 2020

IEEE 2020 World Congress on Services Message from the Program Chairs in Chief.

[BibT_eX]

[DOI]

Ernesto Damiani

Proceedings of the 2020 IEEE World Congress on Services, 2020

A Lightweight Fault Localization Approach based on XGBoost.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Towards Lighter and Faster: Learning Wavelets Progressively for Image Super-Resolution.

[BibT_eX]

[DOI]

Proceedings of the MM '20: The 28th ACM International Conference on Multimedia, 2020

2019

Smart Contract-Based Negotiation for Adaptive QoS-Aware Service Composition.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2019

A five-octave broadband LNA MMIC using bandwidth enhancement and noise reduction technique.

[BibT_eX]

[DOI]

IEICE Electron. Express, 2019

A 30 MHz-3 GHz watt-level stacked-FET linear power amplifier.

[BibT_eX]

[DOI]

IEICE Electron. Express, 2019

Codesign of K a-Band Integrated GaAs PIN Diodes Limiter and Low Noise Amplifier.

[BibT_eX]

[DOI]

IEEE Access, 2019

Fault Severity Classification and Size Estimation for Ball Bearings Based on Vibration Mechanism.

[BibT_eX]

[DOI]

IEEE Access, 2019

Forward and backward traceability: Requirements and challenges (Keynote).

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

Environment-Centric Self-Adaptivity for Autonomous Systems in Smart Spaces.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Requirements Engineering Conference Workshops, 2019

Bidirectional Transformations for Self-Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Engineering Adaptive Software Systems, 2019

2018

Tree-Based Convolutional Neural Networks - Principles and Applications

[BibT_eX]

[DOI]

Lili Mou

Springer Briefs in Computer Science, Springer, ISBN: 978-981-13-1869-6, 2018

1-30 GHz ultra-wideband low noise amplifier with on-chip temperature-compensation circuit.

[BibT_eX]

[DOI]

IEICE Electron. Express, 2018

Towards Neural Speaker Modeling in Multi-Party Conversation: The Task, Dataset, and Models.

[BibT_eX]

[DOI]

Zhao Meng

Lili Mou

Proceedings of the Eleventh International Conference on Language Resources and Evaluation, 2018

QoS-aware service composition using blockchain-based smart contracts.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

Two-step gate-recess process combining selective wet-etching and digital wet-etching for InAlAs/InGaAs InP-based HEMTs.

[BibT_eX]

[DOI]

Frontiers Inf. Technol. Electron. Eng., 2017

Review on Requirements Modeling and Analysis for Self-Adaptive Systems: A Ten-Year Perspective.

[BibT_eX]

[DOI]

CoRR, 2017

A Thematic Study of Requirements Modeling and Analysis for Self-Adaptive Systems.

[BibT_eX]

[DOI]

CoRR, 2017

Modeling Uncertainty and Evolving Self-Adaptive Software: A Fuzzy Theory Based Requirements Engineering Approach.

[BibT_eX]

[DOI]

CoRR, 2017

Achieving Adaptation for Adaptive Systems via Runtime Verification: A Model-Driven Approach.

[BibT_eX]

[DOI]

CoRR, 2017

A Model-Based Fuzzy Control Approach to Achieving Adaptation with Contextual Uncertainties.

[BibT_eX]

[DOI]

CoRR, 2017

Coupling Distributed and Symbolic Execution for Natural Language Queries.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Learning Representations, 2017

Hierarchical RNN with Static Sentence-Level Attention for Text-Based Speaker Change Detection.

[BibT_eX]

[DOI]

Zhao Meng

Lili Mou

Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, 2017

2016

Proving inequalities and solving global optimization problems via simplified CAD projection.

[BibT_eX]

[DOI]

Jingjun Han

Bican Xia

J. Symb. Comput., 2016

Towards Ontological Approach to Security Risk Analysis of Information System: Model and Architecture.

[BibT_eX]

[DOI]

Olusola John Adeniran

Int. J. Secur. Softw. Eng., 2016

Preface.

[BibT_eX]

[DOI]

Zhenjiang Hu

Gang Yin

Sci. China Inf. Sci., 2016

2015

Transforming Code with Compositional Mappings for API-Library Switching.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014

Towards ontological approach to eliciting risk-based security requirements.

[BibT_eX]

[DOI]

Int. J. Inf. Comput. Secur., 2014

Modeling and Specifying Parametric Adaptation Mechanism for Self-Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering, 2014

2013

Ontology patterns for service-oriented software development.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2013

2012

Towards an Ontological Approach to Information System Security and Safety Requirement Modeling and Reuse.

[BibT_eX]

[DOI]

A. T. Akinwale

Inf. Secur. J. A Glob. Perspect., 2012

Measuring Software Requirements Evolution Caused by Inconsistency.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2012

Proving inequalities and solving global optimization problems via simplified CAD projection

[BibT_eX]

[DOI]

Jingjun Han

CoRR, 2012

Service discovery for internet of things: a context-awareness perspective.

[BibT_eX]

[DOI]

Qiang Wei

Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

Extending the Problem Frames Approach for Capturing Non-functional Requirements.

[BibT_eX]

[DOI]

Bin Yin

Proceedings of the 2012 IEEE/ACIS 11th International Conference on Computer and Information Science, Shanghai, China, May 30, 2012

2011

A Unified Use-Misuse Case Model for Capturing and Analysing Safety and Security Requirements.

[BibT_eX]

[DOI]

A. T. Akinwale

Int. J. Inf. Secur. Priv., 2011

Enhancing Use Cases with Subjective Risk Assessment.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Unifying domain ontology with agent-oriented modeling of services.

[BibT_eX]

[DOI]

Hong Zhu

Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

Characterizing the Implementation of Software Non-functional Requirements from Probabilistic Perspective.

[BibT_eX]

[DOI]

Bo Wei

Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010

An Agent Based Framework for Internetware Computing.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2010

Preface.

[BibT_eX]

[DOI]

Dimitris Karagiannis

Int. J. Softw. Informatics, 2010

Preface.

[BibT_eX]

[DOI]

Xuandong Li

Int. J. Softw. Informatics, 2010

Capability description and discovery of Internetware entity.

[BibT_eX]

[DOI]

Puwei Wang

Hongyan Liu

Sci. China Inf. Sci., 2010

Modeling in agent oriented internetware framework.

[BibT_eX]

[DOI]

Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

Semantic Approach for Service Oriented Requirements Modeling.

[BibT_eX]

[DOI]

Bin Zhao

Guangjun Cai

Proceedings of the Intelligent Information Processing V, 2010

From Use Case Model to Service Model: An Environment Ontology Based Approach.

[BibT_eX]

[DOI]

Bin Zhao

Guangjun Cai

Proceedings of the GCC 2010, 2010

Assignment problem in requirements driven agent collaboration and its implementation.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

2009

A Trust Measurement Mechanism for Service Agents.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence, 2009

Verifying Software Requirements Based on Answer Set Programming.

[BibT_eX]

[DOI]

Qi Zhang

Proceedings of the Knowledge Science, 2009

Internetware computing: issues and perspective.

[BibT_eX]

[DOI]

Wei-Tek Tsai

Xiaoying Bai

Proceedings of the First Asia-Pacific Symposium on Internetware, 2009

Aggregation of autonomous Internetware entities.

[BibT_eX]

[DOI]

Proceedings of the First Asia-Pacific Symposium on Internetware, 2009

Requirement Driven Service Agent Collaboration and QoS Based Negotiation.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2009

An Agent-Oriented Requirement Graphic Symbol Representation and Formalization Modeling Method.

[BibT_eX]

[DOI]

Huiying Xu

Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009

An Agent-Based Framework Supporting Trust Evaluation for Service Selection.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008

Evolving quantum circuits at the gate level with a hybrid quantum-inspired evolutionary algorithm.

[BibT_eX]

[DOI]

Shengchao Ding

Qing Yang

Soft Comput., 2008

Web Services Composing by Multiagent Negotiation.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., 2008

Preface.

[BibT_eX]

[DOI]

Hanqin Zhang

J. Syst. Sci. Complex., 2008

Special issue on applications and advances in problem frames.

[BibT_eX]

[DOI]

Expert Syst. J. Knowl. Eng., 2008

From knowledge based software engineering to knowware based software engineering.

[BibT_eX]

[DOI]

Sci. China Ser. F Inf. Sci., 2008

A Framework for Agent-Based Service-Oriented Modelling.

[BibT_eX]

[DOI]

Hong Zhu

Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

Requirement Driven Service Agent Coalition Formation and Negotiation.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference for Young Computer Scientists, 2008

A Modeling Approach for Service-Oriented Application Based on Extensive Reuse.

[BibT_eX]

[DOI]

Bin Zhao

Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

3rd international workshop on advances and applications of problem frames.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

An ontology-guided process for developing problem frame specification: an example.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Applications and Advances of Problem Frames, 2008

A method for web service description by using problem frames approach.

[BibT_eX]

[DOI]

Guangjun Cai

Zhijing Feng

Proceedings of the 3rd International Workshop on Applications and Advances of Problem Frames, 2008

Service-Oriented Modeling: An Extensive Reuse Method.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

An Agent-Based Trust Model for Service-Oriented Systems.

[BibT_eX]

[DOI]

Proceedings of the Trust in Agent Societies, 2008

2007

Handling non-canonical software requirements based on Annotated Predicate Calculus.

[BibT_eX]

[DOI]

Knowl. Inf. Syst., 2007

Web Service Retrieval based on Environment Ontology.

[BibT_eX]

Proceedings of the WEBIST 2007, 2007

Trust Analysis of Web Services Based on a Trust Ontology.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, 2007

Evolving Quantum Circuits for Temporal Averaging in Bulk Quantum Computation.

[BibT_eX]

[DOI]

Shengchao Ding

Qing Yang

Proceedings of the Third International Conference on Natural Computation, 2007

Service-Oriented Modeling: An Ontology-based Approach.

[BibT_eX]

[DOI]

Proceedings of ICEBE 2007, 2007

Requirement Engineering in Service-Oriented System Engineering.

[BibT_eX]

[DOI]

Proceedings of ICEBE 2007, 2007

Requirement Driven Agent Collaboration Based on Functional Ontology and AMD.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2007

Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

Requirements driven agent collaboration.

[BibT_eX]

[DOI]

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

2006

Beyond Knowledge Engineering.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2006

Revisiting the Meaning of Requirements.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2006

Modeling and verifying Web services driven by requirements: An ontology-based approach.

[BibT_eX]

[DOI]

Sci. China Ser. F Inf. Sci., 2006

Reasoning About Hybrid Probabilistic Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2006: Trends in Artificial Intelligence, 2006

Web Service Composition: An Approach Using Effect-Based Reasoning.

[BibT_eX]

[DOI]

Puwei Wang

Proceedings of the Service-Oriented Computing, 2006

2nd international workshop on advances and applications of problem frames.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Advances and Applications of Problem Frames, 2006

2005

FECT: A Modelling Framework for Automatically Composing Web Services.

[BibT_eX]

[DOI]

Proceedings of the Advances in Web-Age Information Management, 2005

Ontology-Based Inconsistency Management of Software Requirements Specifications.

[BibT_eX]

[DOI]

Xuefeng Zhu

Proceedings of the SOFSEM 2005: Theory and Practice of Computer Science, 2005

A Framework for Reusing and Composing Software Components on Web.

[BibT_eX]

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Inconsistency Measurement of Software Requirements Specifications: An Ontology-Based Approach.

[BibT_eX]

[DOI]

Xuefeng Zhu

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

FECT: A Framework for Automatic Composition ofWeb Services.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Conference on e-Business Engineering (ICEBE 2005), 2005

A Logical Approach for Testing Requirements.

[BibT_eX]

Proceedings of the IASTED International Conference on Software Engineering, 2005

Some Cognitive Aspects of a Turing Test for Children.

[BibT_eX]

[DOI]

Proceedings of the Cognitive Systems, Joint Chinese-German Workshop, Shanghai, 2005

Inconsistency-Based Strategy for Clarifying Vague Software Requirements.

[BibT_eX]

[DOI]

Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

Detecting of Requirements Inconsistency : An Ontology-Based Approach.

[BibT_eX]

[DOI]

Xuefeng Zhu

Proceedings of the Fifth International Conference on Computer and Information Technology (CIT 2005), 2005

2003

Automating application software generation.

[BibT_eX]

[DOI]

Expert Syst. J. Knowl. Eng., 2003

Domain Knowledge Representation: Using an Ontology Language.

[BibT_eX]

Proceedings of the 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), 2003

2002

Ontology-Based Semantic Cache in AOKB.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2002

Formal Ontology: Foundation of Domain Knowledge Sharing and Reusing.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2002

Learning Fuzzy Decision Trees from Sequential and Incomplete Data.

[BibT_eX]

G. Chen

Proceedings of the Intelligent Information Processing, IFIP 17th World Computer Congress, 2002

1997

An Order-Based Composition Semantics for the Inheritance in Logic-Based Object-Oriented Paradigm.

[BibT_eX]

[DOI]

Proceedings of the TOOLS 1997: 24th International Conference on Technology of Object-Oriented Languages and Systems, 1997

1995

The structure and semantics of an object-oriented logic programming language: SCKE.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 1995

Requirement Specification in Pseudo-Natural Language in PROMIS.

[BibT_eX]

[DOI]

Ronglin Wan

Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995

1993

SCKE: Combining logic- with object-oriented paradigm.

[BibT_eX]

[DOI]