output
20052026
most cited3D and 4D printing in dentistry and maxillofacial surgery: Recent advances and future perspectives

432 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2026Show all

2 papers · 1 filter

cs.LO2026

Barbed Similarity for the -Calculus in Beluga: A Case Study in Coinductive Reasoning

Lea Trogni, Gabriele Cecilia, Alberto Momigliano

We formalize strong barbed similarity for the pi-calculus in the Beluga proof assistant, completing a line of work addressing the Concurrent Calculi Formalization Benchmark. By ext…

cs.CR2026

Unlinkability and History Preserving Bisimilarity

Clément Aubert, Ross Horne, Christian Johansen +1

An ever-increasing number of critical infrastructures rely heavily on the assumption that security protocols satisfy a wealth of requirements. Hence, the importance of certifying e…