I'm pretty much certain the trees with leaves, both that one and down the street, are Gleditsia. They're ubiquitous as street trees. But without leaves they don't look as smooth (to me) as the dead one. I may be able to get a picture later of a youngish Gleditisia without leaves because they're not yet leafed out here - I think my Gleditsia 'Shademaster' is too big now to be useful for comparison.