diff --git a/publications.bib b/publications.bib
index 957e5ea077635fd57f900066c493358f77ba45d8..095d5e9efe9a64e7e4651cedb9ef1e7eb2583df7 100644
--- a/publications.bib
+++ b/publications.bib
@@ -1962,7 +1962,7 @@ year   = {2022},
 
 @inproceedings{Nantes2021Types,
 author    = {Joseph W. N. Paulus and
-            Daniele Nantes Sobrinho and
+            Daniele Nantes and
             Jorge A. P{\'{e}}rez},
 editor    = {Henning Basold and
             Jesper Cockx and
@@ -1984,7 +1984,7 @@ abstract  = {Type-preserving translations are effective rigorous tools in the st
 author =	{Mauricio Ayala-Rinc\'{o}n and 
 Maribel Fern\'{a}ndez and
 Gabriel Ferreira Silva
-and Daniele Nantes Sobrinho},
+and Daniele Nantes},
 title =	{{A Certified Algorithm for AC-Unification}},
 booktitle =	{7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
 pages =	{8:1--8:21},
@@ -2001,7 +2001,7 @@ abstract  = {Implementing unification modulo Associativity and Commutativity (AC
 }
 
 @InProceedings{Nantes2022Nominal,
-author =	{Manfred Schmidt-Schau{\ss} and Daniele Nantes Sobrinho},
+author =	{Manfred Schmidt-Schau{\ss} and Daniele Nantes},
 title =	{{Nominal Anti-Unification with Atom-Variables}},
 booktitle =	{7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
 pages =	{7:1--7:22},