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: Zhang:Yan
Contributed to:
2014
2013
2013
2012
20122012
20122011
2011
2011
20112010201020102009
20092009
2008
2007
2007
2006
200620062005200420042004
2002
2002200219991997
200720122013
2018
2014
2018Wrote 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.