Almeida J. A syntactical proof of locality of DA. Internat. J. Algebra Comput.. 1996;6:165-177.Edit

Almeida J, Steinberg B. Syntactic and global semigroup theory: a synthesis approach. In: Algorithmic problems in groups and semigroups (Lincoln, NE, 1998). Birkhäuser Boston, Boston, MA; 2000. 1. p. 1-23p. (Trends Math.).Edit

[2006-25] Antoneli F, Dias AP, Golubitsky M, Wang Y. Synchrony in Lattice Differential Equations .Edit

[2012-40] Aguiar MA, Dias AP. Synchrony in Coupled Cell Networks .

Soares P. Synchrony branching lemma for regular networks. SIAM J. Appl. Dyn. Syst.. 2017;16:1869-1892.Edit

Aguiar MA, Dias A., Ruan H.. Synchrony and Elementary Operations on Coupled Cell Networks. SIAM J. Appl. Dyn. Syst. 15(1). 2016;15(1):322-337.Edit

Aguiar MA, Dias A., Ruan H.. Synchrony and Elementary Operations on Coupled Cell Networks. SIAM J. Appl. Dyn. Syst.. 2016;15(1):322-337.Edit

[2013-7] Aguiar MA, Dias A., Ruan H.. Synchrony and Elementary Operations on Coupled Cell Networks .Edit

Pribavkina EV, Rodaro E. Synchronizing automata with finitely many minimal synchronizing words. Information and Computation. 2011;209(3):568-579.Edit

Labouriau IS, Rodrigues HM. Synchronization of coupled equations of Hodgkin-Huxley type. Dyn. Contin. Discrete Impuls. Syst. Ser. A Math. Anal.. 2003;10:463-476.Edit

Aguiar MA, Dias AP. Synchronization and equitable partitions in weighted networks. CHAOS. 2018;28.Edit

Basto-Gonçalves J. Symplectic rigidity and flexibility of ellipsoids. Indag. Math. (N.S.). 2013;24:264-278.

[2009-31] Basto-Gonçalves J. Symplectic rigidity and flexibility of ellipsoids .

Loll R., Mourão J., Tavares JN. Symplectic reduction via complex group actions. In: Constraint theory and quantization methods (Montepulciano, 1993). World Sci. Publ., River Edge, NJ; 1994. 2. p. 291-304p. Edit

Dias A., Stewart I.. Symmetry-breaking Bifurcations of Wreath Product Systems. Journal of Nonlinear Science . 1999;9:671-695.Edit

Dias A., Stewart I.. Symmetry Groupoids and Admissible Vector Fields for Coupled Cell Networks. Journal of the London Mathematical Society. 2004;69:707-736.Edit

Abdolvahad M., Carello C., Pinto C., Turvey M., Frank T.. Symmetry and order parameter dynamics of the human odometer. Biological Cybernetics. 2014.Edit

Castro SB. Symmetry and bifurcation of periodic solutions in Neumann boundary value problems. Port. Math.. 2008;65:373-385.

Labouriau IS, Pinho EM. Symmetries of projected wallpaper patterns. Math. Proc. Cambridge Philos. Soc.. 2006;141:421-441.Edit

[2004-28] Labouriau IS, Pinho EM. Symmetries of projected wallpaper patterns .Edit

[2007-4] Pinho EM, Labouriau IS. Symmetries of Projected Symmetric Patterns .Edit

Bell J, Brzozowski J, Moreira N, Reis R. Symmetric Groups and Quotient Complexity of Boolean Operations. Vol 8573. Esparza J, Fraigniaud P, Husfeldt T, Koutsoupias E, editors 2014.Edit

Mano VM, Vieira L. Symmetric association schemes and generalized krein parameters, 2015. International Journal of Mathematical Models and Methods in Applied Sciences . 2015;9:310-314.Edit

Konstantinidis S, Meijer C, Moreira N, Reis R. Symbolic Manipulation of Code Properties 2015.Edit

[2010-13] Mesquita TA, Rocha Z. Symbolic implementation of the general cubic decomposition of polynomial sequences. Results for seve .Edit