1 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
2 papers
cs.LO2025
Nominal Sets in Rocq
Fabrício Sanches Paranhos, Daniel Ventura
Nominal techniques have been praised for their ability to formalize grammars with binding structures closer to their informal developments. At its core, there lies the definition o…
cs.CR2023★ 1 cited
On the (De)centralization of FruitChains
Aikaterini-Panagiota Stouka, Thomas Zacharias
One of the most important features of blockchain protocols is decentralization, as their main contribution is that they formulate a distributed ledger that will be maintained and e…