The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Chenyi Zhang" ( http://dblp.L3S.de/Authors/Chenyi_Zhang )

  Author page on DBLP  Author page in RDF  Community of Chenyi Zhang in ASPL-2

Publication years (Num. hits)
2006-2010 (17) 2011-2013 (16) 2014-2017 (15) 2018-2019 (4)
Publication types (Num. hits)
article(21) incollection(1) inproceedings(28) phdthesis(1) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords

Results
Found 53 publication records. Showing 52 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Xilong Zhuo, Chenyi Zhang A Relational Static Semantics for Call Graph Construction. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Chenyi Zhang, Jun Pang 0001 Characterising Probabilistic Alternating Simulation for Concurrent Games. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Roberto Amadini, Graeme Gange, François Gauthier, Alexander Jordan, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang Reference Abstract Domains and Applications to String Analysis. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jun Pang 0001, Chenyi Zhang, Jifeng He, Jian Weng (eds.) 2018 International Symposium on Theoretical Aspects of Software Engineering, TASE 2018, Guangzhou, China, August 29-31, 2018 Search on Bibsonomy TASE The full citation details ... 2018 DBLP  BibTeX  RDF
1Patrick Doolan, Graeme Smith, Chenyi Zhang, Padmanabhan Krishnan Improving the Scalability of Automatic Linearizability Checking in SPIN. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Alexander Jordan, Graeme Gange, François Gauthier, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang Combining String Abstract Domains for JavaScript Analysis: An Evaluation. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chenyi Zhang, Ke Wang 0001 POI recommendation through cross-region collaborative filtering. Search on Bibsonomy Knowl. Inf. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Ron van der Meyden, Chenyi Zhang The complexity of synchronous notions of information flow security. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Chenyi Zhang, Hongwei Liang, Ke Wang 0001 Trip Recommendation Meets Real-World Constraints: POI Availability, Diversity, and Traveling Time Uncertainty. Search on Bibsonomy ACM Trans. Inf. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lijun Wu, Kaile Su, Shaowei Cai, Xiaosong Zhang, Chenyi Zhang, Shupeng Wang An I/O Efficient Approach for Detecting All Accepting Cycles. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Xueyi Zhao, Chenyi Zhang, Zhongfei Zhang Distributed cross-media multiple binary subspace learning. Search on Bibsonomy IJMIR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Chenyi Zhang, Hongwei Liang, Ke Wang 0001, Jianling Sun Personalized Trip Recommendation with POI Availability and Uncertain Traveling Time. Search on Bibsonomy CIKM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Chenyi Zhang, Ke Wang 0001, Ee-Peng Lim, Qinneng Xu, Jianling Sun, Hongkun Yu Are Features Equally Representative? A Feature-Centric Recommendation. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Franck Cassez, Ron van der Meyden, Chenyi Zhang The Complexity of Synchronous Notions of Information Flow Security. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Chenyi Zhang, Jianling Sun, Ke Wang 0001 Latent Tunnel Based Information Propagation in Microblog Networks. Search on Bibsonomy Social Network Analysis The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Xin Xia 0001, David Lo 0001, Xingen Wang, Chenyi Zhang, Xinyu Wang 0001 Cross-language bug localization. Search on Bibsonomy ICPC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Chenyi Zhang, Ke Wang 0001, Hongkun Yu, Jianling Sun, Ee-Peng Lim Latent Factor Transition for Dynamic Collaborative Filtering. Search on Bibsonomy SDM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Xueyi Zhao, Chenyi Zhang, Zhongfei Zhang Distributed Binary Subspace Learning on large-scale cross media data. Search on Bibsonomy ICME The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Chenyi Zhang, Xueyi Zhao, Ke Wang 0001, Jianling Sun Content + Attributes: A Latent Factor Model for Recommending Scientific Papers in Heterogeneous Academic Networks. Search on Bibsonomy ECIR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ron van der Meyden, Chenyi Zhang Information flow in systems with schedulers, Part I: Definitions. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ron van der Meyden, Chenyi Zhang Information flow in systems with schedulers, Part II: Refinement. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Zhiyuan Liu 0007, Jun Pang 0001, Chenyi Zhang Design and formal verification of a CEM protocol with transparent TTP. Search on Bibsonomy Frontiers Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Kirsten Winter, Chenyi Zhang, Ian J. Hayes, Nathan Keynes, Cristina Cifuentes, Lian Li Path-Sensitive Data Flow Analysis Simplified. Search on Bibsonomy ICFEM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Chenyi Zhang, Jianling Sun, Ke Wang 0001 Information propagation in microblog networks. Search on Bibsonomy ASONAM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ying Zhang, Chenyi Zhang, Jun Pang 0001, Sjouke Mauw Game-based verification of contract signing protocols with minimal messages. Search on Bibsonomy ISSE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yanjie Sun, Chenyi Zhang, Jun Pang 0001, Baptiste Alcalde, Sjouke Mauw A trust-augmented voting scheme for collaborative privacy management. Search on Bibsonomy Journal of Computer Security The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Kai Engelhardt, Ron van der Meyden, Chenyi Zhang Intransitive noninterference in nondeterministic systems. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Surinder Kumar Jain, Chenyi Zhang, Bernhard Scholz Translating flowcharts to non-deterministic languages. Search on Bibsonomy PEPM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Chenyi Zhang, Jianling Sun Large scale microblog mining using distributed MB-LDA. Search on Bibsonomy WWW (Companion Volume) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yi Lu 0003, John Potter, Chenyi Zhang, Jingling Xue A Type and Effect System for Determinism in Multithreaded Programs. Search on Bibsonomy ESOP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Xiaowei Huang, Kaile Su, Chenyi Zhang Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall. Search on Bibsonomy AAAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Chenyi Zhang, Jun Pang 0001 An Algorithm for Probabilistic Alternating Simulation. Search on Bibsonomy SOFSEM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Zhiyuan Liu 0007, Jun Pang 0001, Chenyi Zhang Verification of A Key Chain Based TTP Transparent CEM Protocol. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Chenyi Zhang, Jun Pang 0001 An Algorithm for Probabilistic Alternating Simulation Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Chenyi Zhang Conditional Information Flow Policies and Unwinding Relations. Search on Bibsonomy TGC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ron van der Meyden, Chenyi Zhang A comparison of semantic models for noninterference. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Chenyi Zhang Unwinding Conditional Noninterference Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Chenyi Zhang, Jun Pang 0001 On Probabilistic Alternating Simulations Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Franck Cassez, Ron van der Meyden, Chenyi Zhang The Complexity of Synchronous Notions of Information Flow Security. Search on Bibsonomy FoSSaCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yanjie Sun, Chenyi Zhang, Jun Pang 0001, Baptiste Alcalde, Sjouke Mauw A Trust-Augmented Voting Scheme for Collaborative Privacy Management. Search on Bibsonomy STM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Zhiyuan Liu 0007, Jun Pang 0001, Chenyi Zhang Extending a Key-Chain Based Certified Email Protocol with Transparent TTP. Search on Bibsonomy EUC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Chenyi Zhang, Jun Pang 0001 On Probabilistic Alternating Simulations. Search on Bibsonomy IFIP TCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jun Pang 0001, Chenyi Zhang How to Work with Honest but Curious Judges? (Preliminary Report) Search on Bibsonomy SECCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ying Zhang, Chenyi Zhang, Jun Pang 0001, Sjouke Mauw Game-Based Verification of Multi-Party Contract Signing Protocols. Search on Bibsonomy Formal Aspects in Security and Trust The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Chenyi Zhang Information flow security - models, verification and schedulers. Search on Bibsonomy 2009   RDF
1Ron van der Meyden, Chenyi Zhang Information Flow in Systems with Schedulers. Search on Bibsonomy CSF The full citation details ... 2008 DBLP  DOI  BibTeX  RDF scheduler, information flow, noninterference
1Bernhard Scholz, Chenyi Zhang, Cristina Cifuentes User-Input Dependence Analysis via Graph Reachability. Search on Bibsonomy SCAM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang Remarks on Testing Probabilistic Processes. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ron van der Meyden, Chenyi Zhang Algorithmic Verification of Noninterference Properties. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang Characterising Testing Preorders for Finite Probabilistic Processes. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, Chenyi Zhang Scalar Outcomes Suffice for Finitary Probabilistic Testing. Search on Bibsonomy ESOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ron van der Meyden, Chenyi Zhang A Comparison of Semantic Models for Noninterference. Search on Bibsonomy Formal Aspects in Security and Trust The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #52 of 52 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license