default search action
Yujian Fu
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j8]Yujian Fu
, Cheng Chen
Optimizing the Number of Clusters for Billion-Scale Quantization-Based Nearest Neighbor Search. IEEE Trans. Knowl. Data Eng. 36(11): 6786-6800 (2024) - [i1]Ming Kuo, Shouvon Sarker, Lijun Qian, Yujian Fu, Xiangfang Li, Xishuang Dong:
Enhancing Deep Knowledge Tracing via Diffusion Models for Personalized Adaptive Learning. CoRR abs/2405.05134 (2024)
2010 – 2019
- 2018
- [j7]Yujian Fu, Zhijiang Dong, Xudong He:
Formal Modeling and Analysis of Collaborative Humanoid Robotics. Int. J. Robotics Appl. Technol. 6(1): 34-54 (2018) - [c21]Xudong He, Zhijiang Dong, Yujian Fu:
A Systematic Approach for Developing Cyber Physical Systems. SEKE 2018: 456-455 - 2017
- [j6]Xudong He, Zhijiang Dong, Heng Yin
A Framework for Developing Cyber-Physical Systems. Int. J. Softw. Eng. Knowl. Eng. 27(9-10): 1361-1386 (2017) - [c20]Xudong He, Zhijiang Dong, Heng Yin
A Framework for Developing Cyber Physical Systems. SEKE 2017: 236-241 - 2016
- [c19]Yujian Fu, Md Hossain Shuvo:
An approach to analyzing adaptive intelligent vehicle system using SMT solver. CoDIT 2016: 313-319 - [c18]Xudong He, Yujian Fu:
Modeling and Analyzing Security Patterns Using High Level Petri Nets. SEKE 2016: 623-627 - 2015
- [j5]Zhijiang Dong, Yujian Fu, Yue Fu:
Runtime Verification on Robotics Systems. Int. J. Robotics Appl. Technol. 3(1): 23-40 (2015) - [j4]Yujian Fu, Steven Drager:
Reconfiguration of Autonomous Robotics. Int. J. Robotics Appl. Technol. 3(1): 41-58 (2015) - 2014
- [j3]Hilberto Ayala, Yujian Fu:
Design and Implementation of BIOLOID Humanoid Robot. Int. J. Robotics Appl. Technol. 2(2): 78-93 (2014) - [c17]Yujian Fu, Steven Drager:
Modeling and Verification of Humanoid Robot Task Coordination. HASE 2014: 73-80 - [c16]Peter J. Clarke
Integrating software testing into programming courses (WISTPC 2014) (abstract only). SIGCSE 2014: 739-740 - 2012
- [j2]Yujian Fu, Jeffery Kulick, Lok K. Yan, Steven Drager:
Formal Modeling and Verification of Security Property in Handel C Program. Int. J. Secur. Softw. Eng. 3(3): 50-65 (2012) - 2011
- [c15]Prabir Bhattacharya, Minzhe Guo, Lixin Tao, Yujian Fu, Kai Qian:
A Collaborative Interactive Cyber-learning Platform for Anywhere Anytime Java Programming Learning. ICALT 2011: 14-16 - 2010
- [c14]Sriharsha Jasti, Yujian Fu, Priyanka Koneru:
Modeling and Analyzing Web-based Information System. Software Engineering Research and Practice 2010: 52-57
2000 – 2009
- 2009
- [c13]Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He, Venkata Atluri, Sha Li:
Modular Analysis of Software Architecture Model. Software Engineering Research and Practice 2009: 17-23 - [c12]Yujian Fu, Junhua Ding, Phil Bording:
An Approach for Modeling and Analyzing Crosscutting Concerns. SOLI 2009: 91-97 - 2008
- [c11]Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He:
Mapping Software Architecture Specification to Rewriting Logic (Short Paper). QSIC 2008: 376-381 - [c10]Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He, Yujian Fu, Leyuan Shi:
A Formal Approach for Translating a SAM Architecture to PROMELA. SEKE 2008: 440-447 - 2007
- [j1]Yujian Fu, Zhijiang Dong, Xudong He:
A Translator of Software Architecture Design from SAM to Java. Int. J. Softw. Eng. Knowl. Eng. 17(6): 709-755 (2007) - [c9]Yujian Fu, Zhijiang Dong, Gonzalo Argote-Garcia, Leyuan Shi, Xudong He:
An Approach to Validating Translation Correctness From SAM to Java. SEKE 2007: 45- - 2006
- [c8]Yujian Fu, Zhijiang Dong, Xudong He:
Formalizing and validating UML architecture description of web systems. ICWE Workshops 2006: 8 - [c7]Yujian Fu, Zhijiang Dong, Xudong He:
Modeling, validating and automating composition of web services. ICWE 2006: 217-224 - [c6]Yujian Fu, Zhijiang Dong, Xudong He:
A Method for Realizing Software Architecture Design. QSIC 2006: 57-64 - [c5]Zhijiang Dong, Yujian Fu, Xudong He:
A Framework for Component-based System Modeling. SEKE 2006: 290-295 - 2005
- [c4]Yujian Fu, Zhijiang Dong, Xudong He:
An Approach to Validation of Software Architecture Model. APSEC 2005: 375-384 - [c3]Zhijiang Dong, Yujian Fu, Yue Fu, Xudong He:
Automated Runtime Validation of Software Architecture Design. ICDCIT 2005: 446-457 - [c2]Yujian Fu, Zhijiang Dong, Xudong He:
A Methodology of Automated Realization of a Software Architecture Design. SEKE 2005: 412-417 - 2003
- [c1]Zhijiang Dong, Yujian Fu, Xudong He:
Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams. SEKE 2003: 150-157
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 20:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: