Search results for "Yingzhou Zhang"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Weifeng Zhang, Danmei Zhu, Yingzhou Zhang, Guoqiang Zhou, Baowen Xu	Harmonic functions based semi-supervised learning for web spam detection.	SAC	2011	DBLP DOI BibTeX RDF
1	Yingzhou Zhang, Wei Fu, Lei Chen, Bihuan Xu	A Formal Model of Service Computing and Its Applications on Service Discovery.	ICWS	2011	DBLP DOI BibTeX RDF	coalgebraic methods, web services, program slicing, monads, service computing
1	Yingzhou Zhang, Wei Fu, Geng Yang, Lei Chen, Weifeng Zhang	Web Service Generation through Program Slicing.	IJCNS	2010	DBLP DOI BibTeX RDF
1	Yingzhou Zhang, Wei Fu, Xiaofei Qian, Wei Chen	Program Slicing Based Buffer Overflow Detection.	JSEA	2010	DBLP DOI BibTeX RDF
1	Wei Fu, Yingzhou Zhang, Wei Han, Xiaowei Fan, Geng Yang	Program Slicing Based Web-Service Generation and Composition.	SOSE	2010	DBLP DOI BibTeX RDF
1	Lei Chen, Geng Yang, Dongrui Wang, Yingzhou Zhang	WordNet-powered Web Services Discovery Using Kernel-Based Similarity Matching Mechanism.	SOSE	2010	DBLP DOI BibTeX RDF
1	Xiaofang Qi, Xiaoyu Zhou, Xiaojing Xu, Yingzhou Zhang	Slicing Concurrent Programs Based on Program Reachability Graphs.	QSIC	2010	DBLP DOI BibTeX RDF
1	Geng Yang, Jin-Song Xu, Shengshou Chen, Yingzhou Zhang	GICR: Global Information Based Clustering Routing Mechanism for Wireless Sensor Network.	ICCCN	2009	DBLP DOI BibTeX RDF
1	Wei Chen, Yingzhou Zhang, Yuanchun Wei	The Feasibility of Launching Reduction of Quality (RoQ) Attacks in 802.11 Wireless Networks.	ICPADS	2008	DBLP DOI BibTeX RDF
1	YingZhou Zhang	A novel formal approach to program slicing.	Science in China Series F: Information Sciences	2007	DBLP DOI BibTeX RDF	slice monad transformer, modularity, program slicing, formal semantics, monads
1	Yingzhou Zhang, Weifeng Zhang	Description Logic Representation for Requirement Specification.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF
1	Wei Chen, Danwei Chen, Guozi Sun, Yingzhou Zhang	Defending Against Jamming Attacks in Wireless Local Area Networks.	ATC	2007	DBLP DOI BibTeX RDF
1	Yingzhou Zhang, José Emilio Labra Gayo, Agustín Cernuda del Río	A monadic program slicer.	SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	modular monadic semantics, program slicer, monad, monad transformer
1	Zhongqiang Wu, Yingzhou Zhang, Baowen Xu	Modular Monadic Slicing in the Presence of Pointers.	International Conference on Computational Science	2006	DBLP DOI BibTeX RDF
1	Yingzhou Zhang, Baowen Xu, José Emilio Labra Gayo	A Formal Method for Program Slicing.	Australian Software Engineering Conference	2005	DBLP DOI BibTeX RDF
1	Yingzhou Zhang, Baowen Xu	A Slice Monad Transformer and Its Applications in Program Slicing.	ICECCS	2005	DBLP DOI BibTeX RDF	slice monad transformer, modular monadic semantics, Program slicing, monad transformers
1	Yingzhou Zhang, Baowen Xu	A survey of semantic description frameworks for programming languages.	SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	hybrid semantics, semantic description frameworks, operational semantics, formal semantics, denotational semantics, axiomatic semantics
1	Yingzhou Zhang, Baowen Xu, Ju Qian	Modular monadic slicing of concurrent programs.	IASTED Conf. on Software Engineering and Applications	2004	DBLP BibTeX RDF
1	Baowen Xu, Yingzhou Zhang, Yanhui Li	Retrospect and Prospect of Formal Methods Education in China.	TFM	2004	DBLP DOI BibTeX RDF
1	Yingzhou Zhang, Baowen Xu, Liang Shi, Bixin Li, Hongji Yang	Modular Monadic Program Slicing.	COMPSAC	2004	DBLP DOI BibTeX RDF	program slicing, formal semantics, monads, monad transformers
1	Baowen Xu, Jianjiang Lu, Yingzhou Zhang, Lei Xu, Huowang Chen, Hongji Yang	Parallel Algorithm for Mining Fuzzy Association Rules.	CW	2003	DBLP DOI BibTeX RDF	data mining, parallel, fuzzy clustering, fuzzy association rules
1	Dazhou Kang, Baowen Xu, Jianjiang Lu, Yingzhou Zhang	CSCW in Design on the Semantic Web.	GCC	2003	DBLP DOI BibTeX RDF

Publications of "Yingzhou Zhang" ( http://dblp.L3S.de/Authors/Yingzhou_Zhang )