Report date: Nov 6,2024
Conflict count: 361874
Publisher: Association for Computing Machinery
Title count: 30
Conflict count: 441


==========================================================

Created: 2020-02-16 10:25:59
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
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)
==========================================================

Created: 2020-04-03 10:10:15
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)