dblp.uni-trier.dewww.uni-trier.de

Roland H. C. Yap Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
78EEGeraldine Kwang, Roland H. C. Yap, Terence Sim, Rajiv Ramnath: An Usability Study of Continuous Biometrics Authentication. ICB 2009: 828-837
2008
77EEChavalit Likitvivatanavong, Roland H. C. Yap: A Refutation Approach to Neighborhood Interchangeability in CSPs. Australasian Conference on Artificial Intelligence 2008: 93-103
76EEKenil C. K. Cheng, Roland H. C. Yap: Maintaining Generalized Arc Consistency on Ad Hoc r-Ary Constraints. CP 2008: 509-523
75EEYuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti: An Elimination Algorithm for Functional Constraints. CP 2008: 545-549
74EEKenil C. K. Cheng, Roland H. C. Yap: Search Space Reduction for Constraint Optimization Problems. CP 2008: 635-639
73EESteven Halim, Roland H. C. Yap, Felix Halim: Engineering Stochastic Local Search for the Low Autocorrelation Binary Sequence Problem. CP 2008: 640-645
72EEYuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti: Efficient Algorithms for Functional Constraints. ICLP 2008: 606-620
71EEFelix Halim, Yongzheng Wu, Roland H. C. Yap: Security Issues in Small World Network Routing. SASO 2008: 493-494
2007
70 Kenil C. K. Cheng, Roland H. C. Yap: Search Space Reduction and Russian Doll Search. AAAI 2007: 179-184
69EEJoxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu: Generalized Committed Choice. COORDINATION 2007: 191-210
68EESteven Halim, Roland H. C. Yap, Hoong Chuin Lau: An Integrated White+Black Box Approach for Designing and Tuning Stochastic Local Search. CP 2007: 332-347
67EEPeter 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. FMCO 2007: 153-178
66EESteven Halim, Roland H. C. Yap: Designing and Tuning SLS Through Animation and Graphics: An Extended Walk-Through. SLS 2007: 16-30
65EEStefan Andrei, Gabriel Manolache, Roland H. C. Yap, Victor Felea: Approximate Satisfiability Counting. SYNASC 2007: 196-202
2006
64EEChavalit Likitvivatanavong, Roland H. C. Yap: Extracting Microstructure in Binary Constraint Networks. CSCLP 2006: 124-138
63 Steven Halim, Roland H. C. Yap, Hoong Chuin Lau: Visualization for Analyzing Trajectory-Based Metaheuristic Search Algorithms. ECAI 2006: 703-704
62 Kenil C. K. Cheng, Roland H. C. Yap: Maintaining Generalized Arc Consistency on Ad-Hoc n-Ary Boolean Constraints. ECAI 2006: 78-82
61EEJoxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu: Indexing for Dynamic Abstract Regions. ICDE 2006: 12
60EESebastian Brand, Roland H. C. Yap: Towards "Propagation = Logic + Control". ICLP 2006: 102-116
59EEHoong Chuin Lau, Jia Li, Roland H. C. Yap: Robust Controllability of Temporal Constraint Networks under Uncertainty. ICTAI 2006: 288-296
58EERajiv Ramnath, Sufatrio, Roland H. C. Yap, Yongzheng Wu: WinResMon: A Tool for Discovering Software Dependencies, Configuration, and Requirements in Microsoft Windows. LISA 2006: 175-186
57EESteven Halim, Roland H. C. Yap, Hoong Chuin Lau: Viz: a visual analysis suite for explaining local search behavior. UIST 2006: 57-66
56EESebastian Brand, Roland H. C. Yap: Towards "Propagation = Logic + Control" CoRR abs/cs/0608015: (2006)
55EEKenil C. K. Cheng, Roland H. C. Yap: Applying Ad-hoc Global Constraints with the case Constraint to Still-Life. Constraints 11(2-3): 91-114 (2006)
54EEYuanlin Zhang, Roland H. C. Yap: Set Intersection and Consistency in Constraint Networks. J. Artif. Intell. Res. (JAIR) 27: 441-464 (2006)
2005
53 Kenil C. K. Cheng, Roland H. C. Yap: Constrained Decision Diagrams. AAAI 2005: 366-371
52EEYongzheng Wu, Roland H. C. Yap: A User-level Framework for Auditing and Monitoring. ACSAC 2005: 95-105
51EEKenil C. K. Cheng, Roland H. C. Yap: Ad-hoc Global Constraints for Life. CP 2005: 182-195
50EEJoxan Jaffar, Roland H. C. Yap, Kenny Qili Zhu: Coordination of Many Agents. ICLP 2005: 98-112
49EE Sufatrio, Roland H. C. Yap: Improving Host-Based IDS with Argument Abstraction to Prevent Mimicry Attacks. RAID 2005: 146-164
48EEChristian Bessière, Jean-Charles Régin, Roland H. C. Yap, Yuanlin Zhang: An optimal coarse-grained arc consistency algorithm. Artif. Intell. 165(2): 165-185 (2005)
2004
47EEJoxan Jaffar, Andrew E. Santosa, Roland H. C. Yap, Kenny Qili Zhu: Scalable Distributed Depth-First Search with Greedy Work Stealing. ICTAI 2004: 98-103
46EE Sufatrio, Roland H. C. Yap, Liming Zhong: A Machine-Oriented Vulnerability Database for Automated Vulnerability Detection and Processing. LISA 2004: 47-58
45EETao Wang, Abhik Roychoudhury, Roland H. C. Yap, S. C. Choudhary: Symbolic Execution of Behavioral Requirements. PADL 2004: 178-192
44EEMartin 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. Ann. Math. Artif. Intell. 40(3-4): 283-302 (2004)
43 Roland H. C. Yap: Book review: Constraint Processing by Rina Dechter, Morgan Kaufmann Publishers, 2003, ISBN 1-55860-890-7. TPLP 4(5-6): 755-757 (2004)
2003
42EERoland H. C. Yap, Stella Z. Q. Wang, Martin Henz: Hardware Implementations of Real-Time Reconfigurable WSAT Variants. FPL 2003: 488-496
41 Yuanlin Zhang, Roland H. C. Yap: Consistency and Set Intersection. IJCAI 2003: 263-270
40EEYuanlin Zhang, Roland H. C. Yap: Erratum: P. van Beek and R. Dechter's theorem on constraint looseness and local consistency. J. ACM 50(3): 277-279 (2003)
2002
39 Yuanlin Zhang, Roland H. C. Yap: Consistency and Set Intersection. AAAI/IAAI 2002: 971-972
38 Yuanlin Zhang, Roland H. C. Yap: Incrementally Solving Functional Constraints. AAAI/IAAI 2002: 973-974
37EEMartin Henz, Edgar Tan, Roland H. C. Yap: Implementing CSAT Local Search on FPGAs. FPL 2002: 1156-1159
36EEP. S. Thiagarajan, Roland H. C. Yap: 5th Asian Computing Science Conference - Preface. Int. J. Found. Comput. Sci. 13(3): 313-314 (2002)
2001
35EEMartin Henz, Edgar Tan, Roland H. C. Yap: One Flip per Clock Cycle. CP 2001: 509-523
34 Yuanlin Zhang, Roland H. C. Yap: Making AC-3 an Optimal Algorithm. IJCAI 2001: 316-321
33EEKenny Qili Zhu, Wee-Yeh Tan, Andrew E. Santosa, Roland H. C. Yap: Reactive Web Agents with Open Constraint Programming. ISADS 2001: 251-254
32 Roland H. C. Yap, Budi Rahardjo: Automatic Information Extraction from Web Pages. SIGIR 2001: 430-431
31 David Gilbert, Rolf Backofen, Roland H. C. Yap: Introduction to the Special Issue on Bioinformatics. Constraints 6(2/3): 139 (2001)
30 Roland H. C. Yap: Parametric Sequence Alignment with Constraints. Constraints 6(2/3): 157-172 (2001)
2000
29EEMartin Henz, Lim Yun Fong, Lua Seet Chong, Shi Xiao Ping, J. Paul Walser, Roland H. C. Yap: Solving Hierarchical Constraints over Finite Domains. AMAI 2000
28EEHui Wu, Joxan Jaffar, Roland H. C. Yap: Instruction Scheduling with Timing Constraints on a Single RISC Processor with 0/1 Latencies. CP 2000: 457-469
27EEYuanlin Zhang, Roland H. C. Yap: Arc Consistency on n-ary Monotonic and Linear Constraints. CP 2000: 470-483
26EERafael Ramirez, Andrew E. Santosa, Roland H. C. Yap: Concurrent Programming Made Easy. ICECCS 2000: 151-
25EEHui Wu, Joxan Jaffar, Roland H. C. Yap: A Fast Algorithm for Scheduling Instructions with Deadline Constraints on RISC Processors. IEEE PACT 2000: 281-290
1999
24 P. S. Thiagarajan, Roland H. C. Yap: Advances in Computing Science - ASIAN'99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings Springer 1999
23 Yuanlin Zhang, Roland H. C. Yap, Joxan Jaffar: Functional Elimination and 0/1/All Constraints. AAAI/IAAI 1999: 175-180
22 Evan Tick, Roland H. C. Yap, Michael J. Maher: Finding Fair Allocations for the Coalition Problem with Constraints. ICLP 1999: 530-544
1998
21EEJoxan Jaffar, Roland H. C. Yap: Open Constraint Programming. CP 1998: 1
20EEAndreas Fordan, Roland H. C. Yap: Early Projection in CLP(R). CP 1998: 177-191
19 Andreas Fordan, Roland H. C. Yap: Towards Early Projection in CLP(R). IJCSLP 1998: 359-360
18EEAndrew D. Kelly, Kim Marriott, Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap: Optimizing Compilation of CLP(R). ACM Trans. Program. Lang. Syst. 20(6): 1223-1250 (1998)
1997
17 Joxan Jaffar, Bing Liu, Roland H. C. Yap: Forward and Backward Chaining in Constraint Programming (Abstract). LPNMR 1997: 1
16 Joxan Jaffar, Roland H. C. Yap: Constraint Programming 2000: A Position Paper. Constraints 2(1): 71-73 (1997)
15 Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap: Meta-Programming in CLP(R). J. Log. Program. 33(3): 221-259 (1997)
1996
14 Joxan Jaffar, Roland H. C. Yap: Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings Springer 1996
13 Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Peter J. Stuckey, Roland H. C. Yap: Effectiveness of Optimizing Compilation for CLP(R). JICSLP 1996: 37-51
12 Joxan Jaffar, Roland H. C. Yap: Constraint Programming 2000. ACM Comput. Surv. 28(4es): 65 (1996)
1995
11 Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Harald Søndergaard, Peter J. Stuckey, Roland H. C. Yap: An Optimizing Compiler for CLP(R). CP 1995: 222-239
10 Jennifer Burg, Peter J. Stuckey, Jason C. H. Tai, Roland H. C. Yap: Linear Equation Solving for Constraint Logic Programming. ICLP 1995: 33-47
1994
9 Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap: Beyond Finite Domains. PPCP 1994: 86-94
1993
8 Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap: Redundancy of Variables in CLP (R). ILPS 1993: 75-93
7 Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap: Projecting CLP (R) Constraints. New Generation Comput. 11(3): 449-469 (1993)
1992
6 Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap: Output in CLP. FGCS 1992: 987-995
5 Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap: An Abstract Machine for CLP(R). PLDI 1992: 128-139
4 Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap: The CLP(R) Language and System. ACM Trans. Program. Lang. Syst. 14(3): 339-395 (1992)
1991
3 Roland H. C. Yap: Restriction Site Mapping in CLP(R). ICLP 1991: 521-534
2 Joxan Jaffar, Spiro Michaylov, Roland H. C. Yap: A Methodology for Managing Hard Constraints in CLP Systems. PLDI 1991: 306-316
1989
1 Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap: On Meta-Programming in CLR(R). NACLP 1989: 52-66

Coauthor Index

1Stefan Andrei [65]
2Rolf Backofen [31]
3Christian Bessiere (Christian Bessière) [48]
4Sebastian Brand [56] [60]
5Jennifer J. Burg (Jennifer Burg) [10]
6Kenil C. K. Cheng [51] [53] [55] [62] [70] [74] [76]
7Lua Seet Chong [29] [44]
8S. C. Choudhary [45]
9Thierry Coupaye [67]
10Victor Felea [65]
11Lim Yun Fong [29] [44]
12Andreas Fordan [19] [20]
13David Gilbert (David R. Gilbert) [31]
14Felix Halim [71] [73]
15Steven Halim [57] [63] [66] [68] [73]
16Seif Haridi [67]
17Nevin Heintze [1] [15]
18Martin Henz [29] [35] [37] [42] [44]
19Joxan Jaffar [2] [4] [5] [6] [7] [9] [12] [14] [16] [17] [21] [23] [25] [28] [47] [50] [61] [69]
20Andrew D. Kelly [11] [13] [18]
21Geraldine Kwang [78]
22Hoong Chuin Lau [57] [59] [63] [68]
23Chendong Li [72] [75]
24Jia Li [59]
25Chavalit Likitvivatanavong [64] [77]
26Bing Liu [17]
27Andrew D. Macdonald [8] [11] [13] [18]
28Michael J. Maher [6] [7] [9] [22]
29Gabriel Manolache [65]
30Satyanarayana Marisetti [72] [75]
31Kim Marriott [11] [13] [18]
32Spiro Michaylov [1] [2] [4] [5] [15]
33Shi Xiao Ping [29] [44]
34Budi Rahardjo [32]
35Rafael Ramirez [26]
36Rajiv Ramnath [58] [78]
37Jean-Charles Régin [48]
38Alexander Reinefeld [67]
39Peter Van Roy [67]
40Abhik Roychoudhury [45]
41Andrew E. Santosa [26] [33] [47]
42Terence Sim [78]
43Harald Søndergaard [11]
44Jean-Bernard Stefani [67]
45Peter J. Stuckey [1] [4] [5] [6] [7] [8] [9] [10] [11] [13] [15] [18]
46 Sufatrio [46] [49] [58]
47Jason C. H. Tai [10]
48Edgar Tan [35] [37]
49Wee-Yeh Tan [33]
50P. S. Thiagarajan [24] [36]
51Evan Tick [22]
52J. Paul Walser [29] [44]
53Stella Z. Q. Wang [42]
54Tao Wang [45]
55Hui Wu [25] [28]
56Yongzheng Wu [52] [58] [71]
57Yuanlin Zhang [23] [27] [34] [38] [39] [40] [41] [48] [54] [72] [75]
58Liming Zhong [46]
59Kenny Qili Zhu [33] [47] [50] [61] [69]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)