Anwar Mamat - RankMe

12 papers A 1B 3Journal 6Unranked 2

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version). CoRR Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells
2024	J	`jnl`	Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization. Proc. ACM Program. Lang. Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells
2024	—	`conf`	How We Built Cedar: A Verification-Guided Approach. SIGSOFT FSE Companion Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, John H. Kastner, Anwar Mamat, Matt McCutchen, Neha Rungta, Bhakti Shah, Emina Torlak, Andrew Wells
2024	J	`jnl`	How We Built Cedar: A Verification-Guided Approach. CoRR Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, John H. Kastner, Anwar Mamat, Matt McCutchen, Neha Rungta, Bhakti Shah, Emina Torlak, Andrew Wells
2015	B	`conf`	Dynamic Mobile Charger Scheduling in Heterogeneous Wireless Sensor Networks. MASS Hua Huang, Shan Lin, Lin Chen, Jie Gao, Anwar Mamat, Jie Wu
2015	B	`conf`	Dynamic Mobile Charger Scheduling in Heterogeneous Wireless Sensor Networks. MASS Hua Huang, Shan Lin, Lin Chen, Jie Gao, Anwar Mamat, Jie Wu
2012	J	`jnl`	Efficient real-time divisible load scheduling. J. Parallel Distributed Comput. Anwar Mamat, Ying Lu, Jitender S. Deogun, Steve Goddard
2012	J	`jnl`	Scheduling real-time divisible loads with advance reservations. Real Time Syst. Anwar Mamat, Ying Lu, Jitender S. Deogun, Steve Goddard
2010	A	`conf`	An Efficient Algorithm for Real-Time Divisible Load Scheduling. IEEE Real-Time and Embedded Technology and Applications Symposium Anwar Mamat, Ying Lu, Jitender S. Deogun, Steve Goddard
2010	J	`jnl`	Real-time scheduling of divisible loads in cluster computing environments. J. Parallel Distributed Comput. Xuan Lin, Anwar Mamat, Ying Lu, Jitender S. Deogun, Steve Goddard
2008	B	`conf`	Real-Time Divisible Load Schedulingwith Advance Reservation. ECRTS Anwar Mamat, Ying Lu, Jitender S. Deogun, Steve Goddard
2007	—	`conf`	Expression and Verification of Task Management in Collaborative Design. CASE Yi-Sheng An, Ren-Hou Li, Anwar Mamat