The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Roland H. C. Yap" ( http://dblp.L3S.de/Authors/Roland_H._C._Yap )

URL (Homepage):  http://www.comp.nus.edu.sg/~ryap/  Author page on DBLP  Author page in RDF  Community of Roland H. C. Yap in ASPL-2

Publication years (Num. hits)
1987-1996 (17) 1997-2000 (15) 2001-2004 (18) 2005-2006 (17) 2007-2008 (16) 2009-2011 (20) 2012-2014 (17) 2015-2017 (19) 2018-2019 (8)
Publication types (Num. hits)
article(35) inproceedings(110) proceedings(2)
Venues (Conferences, Journals, ...)
CP(15) CoRR(9) Constraints(6) ICLP(6) AAAI(4) IJCAI(4) AAAI/IAAI(3) ECAI(3) ICTAI(3) IFIPTM(3) PLDI(3) TPLP(3) WWW (Companion Volume)(3) ACM Trans. Program. Lang. Syst...(2) Artif. Intell.(2) AsiaCCS(2) More (+10 of total 84)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 40 occurrences of 39 keywords

Results
Found 148 publication records. Showing 147 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ruiwei Wang, Roland H. C. Yap Arc Consistency Revisited. Search on Bibsonomy CPAIOR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ruiwei Wang, Wei Xia, Roland H. C. Yap Correlation Heuristics for Constraint Programming. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Gregory J. Duck, Roland H. C. Yap An Extended Low Fat Allocator API and Applications. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Gregory J. Duck, Joxan Jaffar, Roland H. C. Yap Shape Neutral Analysis of Graph-based Data-structures. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Wei Xia, Roland H. C. Yap Learning Robust Search Strategies Using a Bandit-Based Approach. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Gregory J. Duck, Joxan Jaffar, Roland H. C. Yap Shape Neutral Analysis of Graph-based Data-structures. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wei Xia, Roland H. C. Yap Learning Robust Search Strategies Using a Bandit-Based Approach. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Gregory J. Duck, Roland H. C. Yap EffectiveSan: type and memory error detection using dynamically typed C/C++. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gregory J. Duck, Roland H. C. Yap EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Ting Dai, Xiaolei Li, Behnaz Hassanshahi, Roland H. C. Yap, Zhenkai Liang RoppDroid: Robust permission re-delegation prevention in Android inter-component communication. Search on Bibsonomy Computers & Security The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Behnaz Hassanshahi, Roland H. C. Yap Android Database Attacks Revisited. Search on Bibsonomy AsiaCCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Suhendry Effendy, Roland H. C. Yap Analysing Trends in Computer Science Research: A Preliminary Study Using The Microsoft Academic Graph. Search on Bibsonomy WWW (Companion Volume) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gregory J. Duck, Roland H. C. Yap, Lorenzo Cavallaro Stack Bounds Protection with Low Fat Pointers. Search on Bibsonomy NDSS The full citation details ... 2017 DBLP  BibTeX  RDF
1Ruiwei Wang, Wei Xia, Roland H. C. Yap Correlation Heuristics for Constraint Programming. Search on Bibsonomy ICTAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Suhendry Effendy, Roland H. C. Yap The Strong Link Graph for Enhancing Sybil Defenses. Search on Bibsonomy ICDCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Suhendry Effendy, Roland H. C. Yap Using Community Structure to Categorize Computer Science Conferences: Initial Results. Search on Bibsonomy ASONAM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Suhendry Effendy, Roland H. C. Yap The Problem of Categorizing Conferences in Computer Science. Search on Bibsonomy TPDL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zhenquan Cai, Roland H. C. Yap Inferring the Detection Logic and Evaluating the Effectiveness of Android Anti-Virus Apps. Search on Bibsonomy CODASPY The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Suhendry Effendy, Roland H. C. Yap Investigations on Rating Computer Sciences Conferences: An Experiment with the Microsoft Academic Graph Dataset. Search on Bibsonomy WWW (Companion Volume) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gregory J. Duck, Roland H. C. Yap Heap bounds protection with low fat pointers. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Joash W. J. Tan, Roland H. C. Yap Detecting Malware Through Anti-analysis Signals - A Preliminary Study. Search on Bibsonomy CANS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ruiwei Wang, Wei Xia, Roland H. C. Yap, Zhanshan Li Optimizing Simple Tabular Reduction with a Bitwise Representation. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Christophe Lecoutre, Chavalit Likitvivatanavong, Roland H. C. Yap STR3: A path-optimal filtering algorithm for table constraints. Search on Bibsonomy Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christophe Lecoutre, Chavalit Likitvivatanavong, Roland H. C. Yap Improving the lower bound of simple tabular reduction. Search on Bibsonomy Constraints The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yongzheng Wu, Roland H. C. Yap Simple and Practical Integrity Models for Binaries and Files. Search on Bibsonomy IFIPTM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Behnaz Hassanshahi, Yaoqi Jia, Roland H. C. Yap, Prateek Saxena, Zhenkai Liang Web-to-Application Injection Attacks on Android: Characterization and Detection. Search on Bibsonomy ESORICS (2) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Chavalit Likitvivatanavong, Wei Xia, Roland H. C. Yap Decomposition of the Factor Encoding for CSPs. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Irvan Jahja, Suhendry Effendy, Roland H. C. Yap Experiments on Rating Conferences with CORE and DBLP. Search on Bibsonomy D-Lib Mag. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Suhendry Effendy, Irvan Jahja, Roland H. C. Yap Relatedness measures between conferences in computer science: a preliminary study based on DBLP. Search on Bibsonomy WWW (Companion Volume) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Chunwang Zhang, Ee-Chien Chang, Roland H. C. Yap Tagged-MapReduce: A General Framework for Secure Computing with Mixed-Sensitivity Data on Hybrid Clouds. Search on Bibsonomy CCGRID The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Chavalit Likitvivatanavong, Wei Xia, Roland H. C. Yap Higher-Order Consistencies through GAC on Factor Variables. Search on Bibsonomy CP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ting Dai, Mingwei Zhang, Roland H. C. Yap, Zhenkai Liang Understanding Complex Binary Loading Behaviors. Search on Bibsonomy ICECCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Behnaz Hassanshahi, Roland H. C. Yap JNICodejail: native code isolation for Java programs. Search on Bibsonomy PPPJ The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Chavalit Likitvivatanavong, Roland H. C. Yap Many-to-many interchangeable sets of values in CSPs. Search on Bibsonomy SAC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Wei Xia, Roland H. C. Yap Optimizing STR Algorithms with Tuple Compression. Search on Bibsonomy CP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Chunwang Zhang, Ee-Chien Chang, Roland H. C. Yap Towards a general framework for secure MapReduce computation on hybrid clouds. Search on Bibsonomy SoCC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Felix Halim, Stratos Idreos, Panagiotis Karras, Roland H. C. Yap Stochastic Database Cracking: Towards Robust Adaptive Indexing in Main-Memory Column-Stores Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Felix Halim, Stratos Idreos, Panagiotis Karras, Roland H. C. Yap Stochastic Database Cracking: Towards Robust Adaptive Indexing in Main-Memory Column-Stores. (PDF / PS) Search on Bibsonomy PVLDB The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Suhendry Effendy, Roland H. C. Yap, Felix Halim Revisiting link privacy in social networks. Search on Bibsonomy CODASPY The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christophe Lecoutre, Chavalit Likitvivatanavong, Roland H. C. Yap A Path-Optimal GAC Algorithm for Table Constraints. Search on Bibsonomy ECAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yongzheng Wu, Roland H. C. Yap Experiments with Malware Visualization. Search on Bibsonomy DIMVA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Kenil C. K. Cheng, Wei Xia, Roland H. C. Yap Space-Time Tradeoffs for the Regular Constraint. Search on Bibsonomy CP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yongzheng Wu, Sai Sathyanarayan, Roland H. C. Yap, Zhenkai Liang Codejail: Application-Transparent Isolation of Libraries with Tight Program Interactions. Search on Bibsonomy ESORICS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ting Dai, Sai Sathyanarayan, Roland H. C. Yap, Zhenkai Liang Detecting and Preventing ActiveX API-Misuse Vulnerabilities in Internet Explorer. Search on Bibsonomy ICICS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ee-Chien Chang, Liming Lu, Yongzheng Wu, Roland H. C. Yap, Jie Yu Enhancing host security using external environment sensors. Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Roland H. C. Yap, Yuanlin Zhang Set Intersection and Consistency in Constraint Networks Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Yuanlin Zhang, Roland H. C. Yap Solving functional constraints by variable substitution. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yongzheng Wu, Roland H. C. Yap Towards a binary integrity system for windows. Search on Bibsonomy AsiaCCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sufatrio, Roland H. C. Yap Trusted Principal-Hosted Certificate Revocation. Search on Bibsonomy IFIPTM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Felix Halim, Roland H. C. Yap, Yongzheng Wu A MapReduce-Based Maximum-Flow Algorithm for Large Small-World Network Graphs. Search on Bibsonomy ICDCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sufatrio, Roland H. C. Yap Quantifying the Effects of More Timely Certificate Revocation on Lightweight Mobile Devices. Search on Bibsonomy Metrisec@ESEM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Suhendry Effendy, Felix Halim, Roland H. C. Yap Partial Social Network Disclosure and Crawlers. Search on Bibsonomy DASC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yuanlin Zhang, Roland H. C. Yap Solving Functional Constraints by Variable Substitution Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Kenil C. K. Cheng, Roland H. C. Yap An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints. Search on Bibsonomy Constraints The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yongzheng Wu, Roland H. C. Yap The Problem of Usable Binary Authentication. Search on Bibsonomy SSIRI (Companion) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yongzheng Wu, Roland H. C. Yap, Felix Halim Visualizing windows system traces. Search on Bibsonomy SOFTVIS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ee-Chien Chang, Liming Lu, Yongzheng Wu, Roland H. C. Yap, Jie Yu Enhancing Host Security Using External Environment Sensors. Search on Bibsonomy SecureComm The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Felix Halim, Panagiotis Karras, Roland H. C. Yap Local Search in Histogram Construction. Search on Bibsonomy AAAI The full citation details ... 2010 DBLP  BibTeX  RDF
1Felix Halim, Yongzheng Wu, Roland H. C. Yap Routing in the Watts and Strogatz Small World Networks Revisited. Search on Bibsonomy SASO Workshops The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yongzheng Wu, Roland H. C. Yap, Rajiv Ramnath Comprehending module dependencies and sharing. Search on Bibsonomy ICSE (2) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF visualization, dependency graph, shared library
1Geraldine Kwang, Roland H. C. Yap, Terence Sim, Rajiv Ramnath An Usability Study of Continuous Biometrics Authentication. Search on Bibsonomy ICB The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Felix Halim, Panagiotis Karras, Roland H. C. Yap Fast and effective histogram construction. Search on Bibsonomy CIKM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF segmentation, efficiency, histograms
1Felix Halim, Yongzheng Wu, Roland H. C. Yap Wiki credibility enhancement. Search on Bibsonomy Int. Sym. Wikis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF anonymity, Wikipedia, credibility, OpenID, login
1Stefan Andrei, Gheorghe Grigoras, Martin C. Rinard, Roland H. C. Yap A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems. Search on Bibsonomy SYNASC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sufatrio, Roland H. C. Yap Extending BAN Logic for Reasoning with Modern PKI-Based Protocols. Search on Bibsonomy NPC Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF authentication logic, security protocol, Public-Key Infrastructure
1Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti Efficient Algorithms for Functional Constraints. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Felix Halim, Rajiv Ramnath, Sufatrio, Yongzheng Wu, Roland H. C. Yap A Lightweight Binary Authentication System for Windows. Search on Bibsonomy IFIPTM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Kenil C. K. Cheng, Roland H. C. Yap Search Space Reduction for Constraint Optimization Problems. Search on Bibsonomy CP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Kenil C. K. Cheng, Roland H. C. Yap Maintaining Generalized Arc Consistency on Ad Hoc r-Ary Constraints. Search on Bibsonomy CP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti An Elimination Algorithm for Functional Constraints. Search on Bibsonomy CP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Steven Halim, Roland H. C. Yap, Felix Halim Engineering Stochastic Local Search for the Low Autocorrelation Binary Sequence Problem. Search on Bibsonomy CP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Felix Halim, Yongzheng Wu, Roland H. C. Yap Security Issues in Small World Network Routing. Search on Bibsonomy SASO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Felix Halim, Yongzheng Wu, Roland H. C. Yap Small World Networks as (Semi)-Structured Overlay Networks. Search on Bibsonomy SASO Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Chavalit Likitvivatanavong, Roland H. C. Yap A Refutation Approach to Neighborhood Interchangeability in CSPs. Search on Bibsonomy Australasian Conference on Artificial Intelligence The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Steven Halim, Roland H. C. Yap Designing and Tuning SLS Through Animation and Graphics: An Extended Walk-Through. Search on Bibsonomy SLS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Kenil C. K. Cheng, Roland H. C. Yap Search Space Reduction and Russian Doll Search. Search on Bibsonomy AAAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Peter Van Roy, Seif Haridi, Alexander Reinefeld, Jean-Bernard Stefani, Roland H. C. Yap, Thierry Coupaye Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project. Search on Bibsonomy FMCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu Generalized Committed Choice. Search on Bibsonomy COORDINATION The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Steven Halim, Roland H. C. Yap, Hoong Chuin Lau An Integrated White+Black Box Approach for Designing and Tuning Stochastic Local Search. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Stefan Andrei, Gabriel Manolache, Roland H. C. Yap, Victor Felea Approximate Satisfiability Counting. Search on Bibsonomy SYNASC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Yuanlin Zhang, Roland H. C. Yap Set Intersection and Consistency in Constraint Networks. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Sebastian Brand, Roland H. C. Yap Towards "Propagation = Logic + Control" Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Kenil C. K. Cheng, Roland H. C. Yap Applying Ad-hoc Global Constraints with the case Constraint to Still-Life. Search on Bibsonomy Constraints The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Still-life problem, Ad-hoc constraint, Non-binary constraint, Modeling, Binary decision diagram
1Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu Indexing for Dynamic Abstract Regions. Search on Bibsonomy ICDE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Sebastian Brand, Roland H. C. Yap Towards "Propagation = Logic + Control". Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Steven Halim, Roland H. C. Yap, Hoong Chuin Lau Visualization for Analyzing Trajectory-Based Metaheuristic Search Algorithms. Search on Bibsonomy ECAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Kenil C. K. Cheng, Roland H. C. Yap Maintaining Generalized Arc Consistency on Ad-Hoc n-Ary Boolean Constraints. Search on Bibsonomy ECAI The full citation details ... 2006 DBLP  BibTeX  RDF
1Hoong Chuin Lau, Jia Li, Roland H. C. Yap Robust Controllability of Temporal Constraint Networks under Uncertainty. Search on Bibsonomy ICTAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Steven Halim, Roland H. C. Yap, Hoong Chuin Lau Viz: a visual analysis suite for explaining local search behavior. Search on Bibsonomy UIST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF local search, program visualization
1Rajiv Ramnath, Sufatrio, Roland H. C. Yap, Yongzheng Wu WinResMon: A Tool for Discovering Software Dependencies, Configuration, and Requirements in Microsoft Windows. Search on Bibsonomy LISA The full citation details ... 2006 DBLP  BibTeX  RDF
1Chavalit Likitvivatanavong, Roland H. C. Yap Extracting Microstructure in Binary Constraint Networks. Search on Bibsonomy CSCLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Christian Bessière, Jean-Charles Régin, Roland H. C. Yap, Yuanlin Zhang An optimal coarse-grained arc consistency algorithm. Search on Bibsonomy Artif. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Joxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu Coordination of Many Agents. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Kenil C. K. Cheng, Roland H. C. Yap Constrained Decision Diagrams. Search on Bibsonomy AAAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Sufatrio, Roland H. C. Yap Improving Host-Based IDS with Argument Abstraction to Prevent Mimicry Attacks. Search on Bibsonomy RAID The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Kenil C. K. Cheng, Roland H. C. Yap Ad-hoc Global Constraints for Life. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Yongzheng Wu, Roland H. C. Yap A User-level Framework for Auditing and Monitoring. Search on Bibsonomy ACSAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Martin Henz, Roland H. C. Yap, Lim Yun Fong, Lua Seet Chong, J. Paul Walser, Shi Xiao Ping Solving Hierarchical Constraints over Finite Domains with Local Search. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF hierarchical constraints, over-constrained problems, airport gate allocation, finite domain constraints
1Roland H. C. Yap Book review: Constraint Processing by Rina Dechter, Morgan Kaufmann Publishers, 2003, ISBN 1-55860-890-7. Search on Bibsonomy TPLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S. C. Choudhary Symbolic Execution of Behavioral Requirements. Search on Bibsonomy PADL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 147 (100 per page; Change: )
Pages: [1][2][>>]
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