Region | # |
---|---|
Unknown | 27 |
Total | 27 |
Country | # |
---|---|
Unknown | 27 |
Total | 27 |
City | # |
---|---|
Unknown | 27 |
Total | 27 |
Most viewed items | # |
---|---|
ID: 84702 - Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference | 13 |
Total | 13 |
Most type viewed | # |
---|---|
ID: all - | 27 |
ID: other - | 0 |
ID: journal - | 11 |
ID: conference - | 16 |
ID: patent - | 0 |
ID: review - | 0 |
ID: book - | 0 |
ID: dataset - | 0 |
ID: selected - | 0 |
Total | 54 |
Jan | Feb | Mar | Apr | May | Jun | Jul | Aug | Sep | Oct | Nov | Dec | Tot | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
2023 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 0 | 10 | 13 |
2024 | 11 | 1 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 14 |
Ever | 27 |