Report date: Mar 26, 2024 Conflict count: 356923 Publisher: Association for Computing Machinery Title count: 32 Conflict count: 441 ========================================================== Created: 2020-02-16 10:25:59.0 ConfID: 5577189 CauseID: 1463450237 OtherID: 5183 JT: Journal of the ACM MD: Hofri, 31 ,3,628,1984,Analysis of Interleaved Storage Via a Constant-Service Queuing System with Markov-Chain-Driven Input DOI: 10.1145/828.831(Journal) (5577189-N ) DOI: 10.1145/828.2513(Journal) ========================================================== Created: 2020-04-03 10:10:15.0 ConfID: 5586907 CauseID: 1466230981 OtherID: 1359974033 JT: Journal of the ACM MD: Banerjee, 60 ,3,1,2013,Local Reasoning for Global Invariants, Part II : Dynamic Boundaries DOI: 10.1145/2487241.2485981(Journal) (5586907-N ) DOI: 10.1145/2485981(Journal) ========================================================== Created: 2020-04-03 10:10:15.0 ConfID: 5586909 CauseID: 1466230981 OtherID: 1359974033 JT: Journal of the ACM MD: Banerjee, 60 ,3,1,2013,Local Reasoning for Global Invariants, Part I : Region Logic DOI: 10.1145/2487241.2485982(Journal) (5586909-N ) DOI: 10.1145/2485982(Journal)