BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Germany
1 × Israel
1 × United Kingdom
2 × Italy
2 × Portugal
3 × France
4 × Canada
5 × China
9 × USA
Collaborated with:
Y.Zhou M.R.Stan S.Jiang K.Skadron L.Kong H.Zhang R.Yan S.Xu Y.Ding J.Chen C.Baral N.Y.Foo J.Brock X.Xu L.Bing B.Sun W.Lam Z.Lu J.Lach X.Li D.Parikh V.Asuncion J.You M.Wu K.Hornfeck K.Lee Y.Jia W.Jin Q.Sun Y.Xie Z.Pan J.Huang Y.Wang L.Zhao P.J.Passmore R.H.Bayford S.Gurumurthi K.Su G.Lv X.Yu T.Zhang L.Wang J.Zhao X.Li H.Mao N.Jiang W.Su Y.Wang M.Zhang Q.Jiang L.Zhang Y.Zhu A.Wöhrer E.Dar P.Brezany J.K.Paik A.Koschan M.A.Abidi X.Gong W.Ke R.Broussard C.Ding M.Barcella R.Capra G.Marchionini J.S.Oh F.Stutzman C.Huang J.Tang Keith Cooper Handong Ye X.Wan J.Otterbacher Y.Li K.Sankaranarayanan A.Oulasvirta A.Reichel W.Li M.Bachynskyi K.Vertanen P.O.Kristensson G.Zheng J.Hu Etaba Assigana E.Chang Seungsuk Cho Vivek Kotecha B.Liu Hannah Turner M.G.Christel S.M.Stevens
Talks about:
program (7) model (7) logic (6) base (6) optim (5) framework (3) interact (3) behavior (3) system (3) search (3)

Person: Yan Zhang

DBLP DBLP: Zhang:Yan

Contributed to:

KR 20142014
CHI 20132013
ICLP 20132013
CIKM 20122012
CSEE&T 20122012
KR 20122012
SAC 20122012
CIKM 20112011
ICEIS v4 20112011
KDD 20112011
SIGIR 20112011
CIKM 20102010
ICEIS DISI 20102010
KR 20102010
CIKM 20092009
KDIR 20092009
SAC 20092009
SEKE 20082008
DAC 20072007
ECMDA-FA 20072007
DATE 20062006
EDOC 20062006
KR 20062006
DAC 20052005
CIKM 20042004
DATE v1 20042004
KR 20042004
HPCA 20022002
ICPR v3 20022002
KR 20022002
ICLP 19991999
ILPS 19971997
JCDL 20072007
JCDL 20122012
JCDL 20132013
CC 20182018
CHI PLAY 20142014
OOPSLA 20182018

Wrote 42 papers:

KR-2014-AsuncionZZ #first-order #logic programming #semantics #source code
Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness (VA, YZ, HZ).
CHI-2013-OulasvirtaRLZBVK
Improving two-thumb text entry on touchscreen devices (AO, AR, WL, YZ, MB, KV, POK), pp. 2765–2774.
ICLP-J-2013-YouZZ #logic programming #quantifier #source code
Disjunctive logic programs with existential quantification in rule heads (JHY, HZ, YZ), pp. 563–578.
CIKM-2012-KongJYXZ #ranking
Ranking news events by influence decay and information fusion for media and users (LK, SJ, RY, SX, YZ), pp. 1849–1853.
CIKM-2012-WuJZ #behaviour
Serial position effects of clicking behavior on result pages returned by search engines (MW, SJ, YZ), pp. 2411–2414.
CIKM-2012-XuKZ #generative #timeline #word
A picture paints a thousand words: a method of generating image-text timelines (SX, LK, YZ), pp. 2511–2514.
CSEET-2012-MaoJSZ #education
A New Model on the School-Enterprise Cooperation Curriculum Construction (HM, NJ, WS, YZ), pp. 115–119.
KR-2012-WangZZZ #equivalence #logic programming #source code
Forgetting in Logic Programs under Strong Equivalence (YW, YZ, YZ, MZ).
SAC-2012-HornfeckZL #health #interactive #monitoring #named
Philos: a sociable robot for human robot interactions and wireless health monitoring (KH, YZ, KL), pp. 293–294.
CIKM-2011-ZhangJJ #framework #mining
Promotional subspace mining with EProbe framework (YZ, YJ, WJ), pp. 2185–2188.
ICEIS-v4-2011-ZhangSX #design #requirements
4PL Business Model Design based on TPL Requirements (YZ, QS, YX), pp. 702–707.
KDD-2011-JiangBSZL #adaptation #concept #learning #ontology
Ontology enhancement and concept granularity learning: keeping yourself current and adaptive (SJ, LB, BS, YZ, WL), pp. 1244–1252.
SIGIR-2011-YanWOKLZ #framework #optimisation #summary #timeline
Evolutionary timeline summarization: a balanced optimization framework via iterative substitution (RY, XW, JO, LK, XL, YZ), pp. 745–754.
CIKM-2010-BingSJZL #documentation #learning #mining #ontology #representation
Learning ontology resolution for document representation and its applications in text mining (LB, BS, SJ, YZ, WL), pp. 1713–1716.
ICEIS-DISI-2010-PanZH #library #open source #query #retrieval #using
An Open Source Software based Library Catalogue System using Soundexing Retrieval and Query Caching (ZP, YZ, JH), pp. 182–189.
KR-2010-ZhangZ #bound #on the #semantics #set #source code
On the Progression Semantics and Boundedness of Answer Set Programs (YZ, YZ).
KR-2010-ZhangZ10a #revisited
Forgetting Revisited (YZ, YZ).
CIKM-2009-WangZZ #named
MagicCube: choosing the best snippet for each aspect of an entity (YW, LZ, YZ), pp. 1705–1708.
CIKM-2009-ZhangJZZ #bidirectional #detection
Exploiting bidirectional links: making spamming detection easier (YZ, QJ, LZ, YZ), pp. 1839–1842.
KDIR-2009-WohrerZDB #composition #data mining #metaprogramming #mining #optimisation #towards
Unboxing Data Mining Via Decomposition in Operators — Towards Macro Optimization and Distribution (AW, YZ, EuHD, PB), pp. 243–248.
SAC-2009-ZhangPB #visualisation
Task based visualization of 5D brain EIT data (YZ, PJP, RHB), pp. 831–835.
SEKE-2008-DingZ #case study #explosion #problem
A Study of the Model Explosion Problem in CTL Model Update (YD, YZ), pp. 752–757.
DAC-2007-ZhangGS #architecture #named #optimisation
SODA: Sensitivity Based Optimization of Disk Architecture (YZ, SG, MRS), pp. 865–870.
ECMDA-FA-2007-YuZZWZZL #approach #automation #generative #modelling #towards
Towards a Model Driven Approach to Automatic BPEL Generation (XY, YZ, TZ, LW, JZ, GZ, XL), pp. 204–218.
DATE-2006-LuZSLS #scheduling #set
Procrastinating voltage scheduling with discrete frequency sets (ZL, YZ, MRS, JL, KS), pp. 456–461.
EDOC-2006-YuHZZWZL #development #enterprise #framework #modelling #web #web service
A Model Driven Development Framework for Enterprise Web Services (XY, JH, YZ, TZ, LW, JZ, XL), pp. 75–84.
KR-2006-Zhang #logic programming #source code
Computational Properties of Epistemic Logic Programs (YZ), pp. 308–317.
DAC-2005-ZhangLLSS #realtime #scheduling
Optimal procrastinating voltage scheduling for hard real-time systems (YZ, ZL, JL, KS, MRS), pp. 905–908.
CIKM-2004-ChenZ #formal method #logic programming #mobile #multi
An extended logic programming based multi-agent system formalization in mobile environments (JC, YZ), pp. 166–167.
DATE-v1-2004-LiPZSSS
State-Preserving vs. Non-State-Preserving Leakage Control in Caches (YL, DP, YZ, KS, MRS, KS), pp. 22–29.
KR-2004-SuLZ #reasoning
Reasoning about Knowledge by Variable Forgetting (KS, GL, YZ), pp. 576–586.
HPCA-2002-ParikhSZBS #branch #predict
Power Issues Related to Branch Prediction (DP, KS, YZ, MB, MRS), pp. 233–244.
ICPR-v3-2002-ZhangPKA #3d #multi #representation
3-D Object Representation from Multi-View Range Data Applying Deformable Superquadrics (YZ, JKP, AK, MAA), pp. 611–614.
KR-2002-BaralZ #complexity #model checking
The Complexity of Model Checking for Knowledge Update (CB, YZ), pp. 82–96.
ICLP-1999-Zhang #rule-based
Monotonicity in Rule Based Update (YZ), pp. 471–485.
ILPS-1997-ZhangF #logic programming #set #source code
Answer Sets for Prioritized Logic Programs (YZ, NYF), pp. 69–83.
JCDL-2007-CapraMOSZ #interactive
Effects of structure and interaction style on distinct search tasks (RC, GM, JSO, FS, YZ), pp. 442–451.
JCDL-2012-YanHTZL
To better stand on the shoulder of giants (RY, CH, JT, YZ, XL), pp. 51–60.
JCDL-2013-GongKZB #behaviour #case study #clustering #effectiveness #interactive #retrieval
Interactive search result clustering: a study of user behavior and retrieval effectiveness (XG, WK, YZ, RB), pp. 167–170.
CC-2018-BrockDXZ #compilation #implementation #jit #named
PAYJIT: space-optimal JIT compilation and its practical implementation (JB, CD, XX, YZ), pp. 71–81.
CHI-PLAY-2014-AssiganaCCKLTZC #behaviour #game studies
TF-CBT triangle of life: a game to help with cognitive behavioral therapy (EA, EC, SC, VK, BL, HT, YZ, MGC, SMS), pp. 9–16.
OOPSLA-2018-XuCBZY #implementation #jit #named #process
ShareJIT: JIT code cache sharing across processes and its practical implementation (XX, KC, JB, YZ, HY), p. 23.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.