Yujian Fu

33 papers A* 1A 1B 2C 10Misc 1Journal 11Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Geometric Partition for Billion-Scale Approximate Nearest Neighbor Search.
IEEE Trans. Knowl. Data Eng.
Yujian Fu, Cheng Chen, Yao Chen, Weng-Fai Wong, Bingsheng He
2025 J jnl
Belief System Dynamics as Network of Single Layered Neural Network.
CoRR
Yujian Fu
2025 A* conf
Vista: Vector Indexing and Search for Large-Scale Imbalanced Datasets.
ICDE
Yujian Fu, Cheng Chen, Yao Chen, Weng-Fai Wong, Bingsheng He
2024 J jnl
Enhancing Deep Knowledge Tracing via Diffusion Models for Personalized Adaptive Learning.
CoRR
Ming Kuo, Shouvon Sarker, Lijun Qian, Yujian Fu, Xiangfang Li, Xishuang Dong
2024 J jnl
Optimizing the Number of Clusters for Billion-Scale Quantization-Based Nearest Neighbor Search.
IEEE Trans. Knowl. Data Eng.
Yujian Fu, Cheng Chen, Xiaohui Chen, Weng-Fai Wong, Bingsheng He
2018 C conf
A Systematic Approach for Developing Cyber Physical Systems.
SEKE
Xudong He, Zhijiang Dong, Yujian Fu
2018 J jnl
Formal Modeling and Analysis of Collaborative Humanoid Robotics.
Int. J. Robotics Appl. Technol.
Yujian Fu, Zhijiang Dong, Xudong He
2017 C conf
A Framework for Developing Cyber Physical Systems.
SEKE
Xudong He, Zhijiang Dong, Heng Yin, Yujian Fu
2017 J jnl
A Framework for Developing Cyber-Physical Systems.
Int. J. Softw. Eng. Knowl. Eng.
Xudong He, Zhijiang Dong, Heng Yin, Yujian Fu
2016 C conf
An approach to analyzing adaptive intelligent vehicle system using SMT solver.
CoDIT
Yujian Fu, Md Hossain Shuvo
2016 C conf
Modeling and Analyzing Security Patterns Using High Level Petri Nets.
SEKE
Xudong He, Yujian Fu
2015 J jnl
Reconfiguration of Autonomous Robotics.
Int. J. Robotics Appl. Technol.
Yujian Fu, Steven Drager
2015 J jnl
Runtime Verification on Robotics Systems.
Int. J. Robotics Appl. Technol.
Zhijiang Dong, Yujian Fu, Yue Fu
2014 J jnl
Design and Implementation of BIOLOID Humanoid Robot.
Int. J. Robotics Appl. Technol.
Hilberto Ayala, Yujian Fu
2014 A conf
Integrating software testing into programming courses (WISTPC 2014) (abstract only).
SIGCSE
Peter J. Clarke, Yujian Fu, James D. Kiper, Gursimran S. Walia
2014 — conf
Modeling and Verification of Humanoid Robot Task Coordination.
HASE
Yujian Fu, Steven Drager
2012 J jnl
Formal Modeling and Verification of Security Property in Handel C Program.
Int. J. Secur. Softw. Eng.
Yujian Fu, Jeffery Kulick, Lok K. Yan, Steven Drager
2011 B conf
A Collaborative Interactive Cyber-learning Platform for Anywhere Anytime Java Programming Learning.
ICALT
Prabir Bhattacharya, Minzhe Guo, Lixin Tao, Yujian Fu, Kai Qian
2010 — conf
Modeling and Analyzing Web-based Information System.
Software Engineering Research and Practice
Sriharsha Jasti, Yujian Fu, Priyanka Koneru
2009 — conf
An Approach for Modeling and Analyzing Crosscutting Concerns.
SOLI
Yujian Fu, Junhua Ding, Phil Bording
2009 — conf
Modular Analysis of Software Architecture Model.
Software Engineering Research and Practice
Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He, Venkata Atluri, Sha Li
2008 C conf
A Formal Approach for Translating a SAM Architecture to PROMELA.
SEKE
Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He, Yujian Fu, Leyuan Shi
2008 — conf
Mapping Software Architecture Specification to Rewriting Logic (Short Paper).
QSIC
Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He
2007 J jnl
A Translator of Software Architecture Design from SAM to Java.
Int. J. Softw. Eng. Knowl. Eng.
Yujian Fu, Zhijiang Dong, Xudong He
2007 C conf
An Approach to Validating Translation Correctness From SAM to Java.
SEKE
Yujian Fu, Zhijiang Dong, Gonzalo Argote-Garcia, Leyuan Shi, Xudong He
2006 C conf
A Framework for Component-based System Modeling.
SEKE
Zhijiang Dong, Yujian Fu, Xudong He
2006 — conf
A Method for Realizing Software Architecture Design.
QSIC
Yujian Fu, Zhijiang Dong, Xudong He
2006 — conf
Formalizing and validating UML architecture description of web systems.
ICWE Workshops
Yujian Fu, Zhijiang Dong, Xudong He
2006 B conf
Modeling, validating and automating composition of web services.
ICWE
Yujian Fu, Zhijiang Dong, Xudong He
2005 C conf
A Methodology of Automated Realization of a Software Architecture Design.
SEKE
Yujian Fu, Zhijiang Dong, Xudong He
2005 C conf
An Approach to Validation of Software Architecture Model.
APSEC
Yujian Fu, Zhijiang Dong, Xudong He
2005 Misc conf
Automated Runtime Validation of Software Architecture Design.
ICDCIT
Zhijiang Dong, Yujian Fu, Yue Fu, Xudong He
2003 C conf
Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams.
SEKE
Zhijiang Dong, Yujian Fu, Xudong He