Publications Algebra and Logic 2016


Akca II, Emir K, Faria Martins J. "POINTED HOMOTOPY OF MAPS BETWEEN 2-CROSSED MODULES OF COMMUTATIVE ALGEBRAS." Homol. Homotopy Appl.. 2016;18:99-128.
André J, Araújo J, Cameron PJ. "The classification of partition homogeneous groups with applications to semigroup theory." J. Algebra. 2016;452:288-310.
Bernardara M, Tabuada G. "Chow groups of intersections of quadrics via homological projective duality and (Jacobians of) non-commutative motives." Izv. Math.. 2016;80:463-480.
Blumberg AJ, Gepner D, Tabuada G. "$K$-theory of endomorphisms via noncommutative motives." Trans. Am. Math. Soc.. 2016;368:1435-1465.
Bonfante G, Kahle R, Marion J-Y, Oitavem I. "Two function algebras defining functions in NCk boolean circuits." Inf. Comput.. 2016;248:82-103.
Buckley SP, Corliss JG, Johnson CR, Lombardía CA, Saiago CM. "Questions, conjectures, and data about multiplicity lists for trees." Linear Algebra and its Applications. 2016;511:72-109.
Cain AJ, Pfeiffer M. "Decision problems for word-hyperbolic semigroups." Journal of Algebra. 2016;465:287-321.
Calvo-Cervera M, Cegarra AM, Heredia BBA. "On the third cohomology group of commutative monoids." Semigr. Forum. 2016;92:511-533.
Casimiro A, Florentino C, Lawton S, Oliveira A. "Topology of moduli spaces of free group representations in real reductive groups." Forum Math.. 2016;28:275-294.
Cegarra AM, Heredia BBA. "Homotopy colimits of 2-functors." Journal of Homotopy and Related Structures. 2016;11:735-774. Abstract
Dediu AH, Matos JM, Moraga C. "Query Learning Automata with Helpful Labels." Journal of Machine Learning Research. 2016;57:1-15.
Fernandes VH, Quinteiro TM. "A note on bilateral semidirect product decompositions of some monoids of order-preserving partial permutations." Bull. Korean Math. Soc.. 2016;53:495-506. Abstract
Fernandes VH, Honyam P, Quinteiro TM, Singha B. "On semigroups of orientation-preserving transformations with restricted range." Communications in Algebra. 2016;44:253-264. Abstract
Fernandes VH, Quinteiro TM. "Presentations for monoids of finite partial isometries." Semigroup Forum. 2016;93:97-110. Abstract
Guerreiro J, Ruzsa IZ, Silva M. "Monochromatic paths for the integers." European Journal of Combinatorics. 2016;58:283-288. Abstract
Heredia BBA, Elgueta J. "On the representations of 2-groups in Baez-Crans 2-vector spaces." Theory and Applications of Categories. 2016;31:907-927.
Johnson CR, Saiago CM. "Diameter minimal trees." Linear Multilinear Algebra. 2016;64:557-571.
Marcolli M, Tabuada G. "Noncommutative numerical motives, Tannakian structures, and motivic Galois groups." J. Eur. Math. Soc. (JEMS). 2016;18:623-655.
Martins JF. "Crossed modules of Hopf algebras and of associative algebras and two-dimensional holonomy." Journal of Geometry and Physics. 2016;99:68-110. Abstract
Tabuada G. "Algebraic $K$-theory with coefficients of cyclic quotient singularities." C. R. Math. Acad. Sci. Paris. 2016;354:449-452.
Tabuada G. "A note on secondary K-theory." Algebra Number Theory. 2016;10:887-906.
Tabuada G, van den Bergh M. "Noncommutative motives of separable algebras." Adv. Math.. 2016;303:1122-1161.
Tabuada G. "Noncommutative mixed (Artin) motives and their motivic Hopf dg algebras." Sel. Math.-New Ser.. 2016;22:735-764.


Advances in Proof Theory. Vol. 28. Kahle R, Strahm T, Studer" T, eds. Birkhäuser; 2016. "Progress in Computer Science and Applied Logic" 28.


Kahle R. "Advances in Proof-Theoretic Semantics." In: Piecha T, Schroeder-Heister P", eds. Cham: Springer International Publishing; 2016:.
Kahle R. "Is there a "Hilbert thesis"?" In: Piecha T, Schroeder-Heister P, eds. General Proof Theory. Celebrating 50 Years of Dag Prawitz's Natural Deduction. Proceedings of the Conference held in Tübingen, 27-29 November 2015. University of Tübingen, Tübingen; 2016:.

	Custom 1
Baptista S, Chibeles-Martins N, Guerreiro GR, Rodrigues MF, Soares MCéu, Ughi E. Mathematics in the Making - A view over the Portuguese activities. Ludus A, ed.; 2016.
Casimiro A, Florentino C, Lawton S, Oliveira A. "Homotopy type of free group character varieties.". In: Boletim da Sociedade Portuguesa de Matemática. Vol. Special Issue. SPM, Portugal; 2016:.
Fici G, Restivo A, Silva M, Zamboni LQ. "Anti-Powers in Infinite Words." In: Ioannis Chatzigiannakis, Michael Mitzenmacher YR, Sangiorgi D, eds. 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Vol. 55. Dagstuhl, Germany: Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik; 2016:. Leibniz International Proceedings in Informatics (LIPIcs) 55.
Kahle R. "O fim da Grundlagenkrise.". In: Boletim da Sociedade Portuguesa de Matemática. Vol. Número especial.; 2016:.
Kahle R, Oitavem I. "Towards recursion schemata for the probabilistic class PP.". In: Boletim da Sociedade Portuguesa de Matemática. Vol. Número especial.; 2016:.
Nogueira JE. Knight's tours and its history. Ludus A, ed.; 2016.

	Custom 1
Kahle R, Oitavem I. "O computador enquanto tecnologia ao serviço da investigação matemática." Educação e Matemática. 139-140, 2016:70-72.
Silva M, Freitas PJ. "Coberturas distintas dos inteiros." Gazeta de Matemática 178, 2016.
Silva M, Freitas PJ. "Os computadores aprendem a jogar go." Gazeta de Matemática 179, 2016.


Guilherme R. A coalgebraic approach to fuzzy automata. Portugal: Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa; 2016.

Publications Algebra and Logic 2016

Journal article

Book

Book Chapter

Conference proceedings

Outreach Papers

Thesis