NOVA MATH PUBLICATIONS

NOVA Math > NOVA MATH PUBLICATIONS
Motivic Atiyah-Segal Completion Theorem
2024, INTERNATIONAL MATHEMATICS RESEARCH NOTICES, Tabuada,G;van den Bergh,M
On the monoid of partial isometries of a wheel graph
2024, ASIAN-EUROPEAN JOURNAL OF MATHEMATICS, Fernandes,VH
On the term rank partitions of matrices in A(R, S)
2024, LINEAR & MULTILINEAR ALGEBRA, Duffner,MA;Fernandes,R
On Three Submonoids of the Dihedral Inverse Monoid on a Finite Set
2024, BULLETIN OF THE MALAYSIAN MATHEMATICAL SCIENCES SOCIETY, Dimitrova,I;Fernandes,VH;Koppitz,J;Quinteiro,TM
Paradoxes, Intuitionism, and Proof-Theoretic Semantics
2024, Outstanding Contributions to Logic, Kahle,R;Santos,PG
SUBSETS OF GROUPS IN PUBLIC-KEY CRYPTOGRAPHY
2024, ADVANCES IN MATHEMATICS OF COMMUNICATIONS, Carvalho,A;Malheiro,A
A new perspective on completeness and finitist consistency
2023, JOURNAL OF LOGIC AND COMPUTATION, Santos,PG;Sieg,W;Kahle,R
A survey on varieties generated by small semigroups and a companion website
2023, JOURNAL OF ALGEBRA, Araujo,J;Araujo,JP;Cameron,PJ;Lee,EWH;Raminhos,J
Die philosophische Bedeutung des Gödel-Universums
2023, On Gödel and the Nonexistence of Time – Gödel und die Nichtexistenz der Zeit, Kahle,R
Disjunctive sums of quasi-nimbers
2023, THEORETICAL COMPUTER SCIENCE, Silva,A;dos Santos,CP;Neto,JP;Nowakowski,RJ
Endomorphisms of semigroups of monotone transformations
2023, JOURNAL OF ALGEBRA AND ITS APPLICATIONS, Li,DB;Fernandes,VH
Endomorphisms of semigroups of oriented transformations
2023, SEMIGROUP FORUM, Li,DB;Fernandes,VH
Hardwiring truth in functional interpretations
2023, PORTUGALIAE MATHEMATICA, Dinis,B;Gaspar,J
HPD-invariance of the Tate conjecture(s)
2023, JOURNAL OF NONCOMMUTATIVE GEOMETRY, Tabuada,G
Idempotent Varieties of Incidence Monoids and Bipartite Posets
2023, ALGEBRAS AND REPRESENTATION THEORY, Can,MB;Casimiro,A;Malheiro,A
Identities and bases in the sylvester and Baxter monoids
2023, JOURNAL OF ALGEBRAIC COMBINATORICS, Cain,AJ;Malheiro,A;Ribeiro,D
Non-standard groups of the second type
2023, FINITE FIELDS AND THEIR APPLICATIONS, Brison,OJ;Nogueira,JE
Numeral completeness of weak theories of arithmetic
2023, JOURNAL OF LOGIC AND COMPUTATION, Kahle,R;Oitavem,I;Santos,PG
On the monoid of partial isometries of a cycle graph
2023, Turkish Journal of Mathematics, Fernandes,VH;Paulista,T
On the monoid of partial isometries of a finite star graph
2023, COMMUNICATIONS IN ALGEBRA, Fernandes,VH;Paulista,T
On the multiplicities of distance Laplacian eigenvalues
2023, COMPUTATIONAL & APPLIED MATHEMATICS, Fernandes,R;de Freitas,MAA;da Silva Jr,CMJr;Del Vecchio,RR
On the rank of monoids of endomorphisms of a finite directed path
2023, ASIAN-EUROPEAN JOURNAL OF MATHEMATICS, Fernandes,VH;Paulista,T
ORIENTED TRANSFORMATIONS ON A FINITE CHAIN: ANOTHER DESCRIPTION
2023, COMMUNICATIONS OF THE KOREAN MATHEMATICAL SOCIETY, Fernandes,VH
Presentations for three remarkable submonoids of the dihedral inverse monoid on a finite set
2023, Semigroup Forum, Dimitrova,I;Fernandes,VH;Koppitz,J;Quinteiro,TM
Some notes on disjunctive short sum: POLYCHROMATIC NIM
2023, DISCRETE APPLIED MATHEMATICS, Carvalho,A;dos Santos,CP
The Philosophical Meaning of the Godel Universe
2023, On Godel and the Nonexistence of Time - Godel und die Nichtexistenz der Zeit, Kahle,R
Tropical representations and identities of the stylic monoid
2023, SEMIGROUP FORUM, Aird,T;Ribeiro,D
Zukunft der KI: Verantwortung und Vertrauen
2023, Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI), Kahle,R
A Galois Framework for the Study of Analogical Classifiers
2022, CEUR Workshop Proceedings, Couceiro,M;Lehtonen,E
Associative spectra of graph algebras II Satisfaction of bracketing identities, spectrum dichotomy
2022, JOURNAL OF ALGEBRAIC COMBINATORICS, Lehtonen,E;Waldhauser,T
Axiomatic Thinking I
2022, Axiomatic Thinking I, Ferreira,F;Kahle,R;Sommaruga,G
Axiomatic Thinking II
2022, Axiomatic Thinking II, Ferreira,F;Kahle,R;Sommaruga,G
Boosting isomorphic model filtering with invariants
2022, CONSTRAINTS, Araujo,J;Chow,C;Janota,M
Degenerations of nilpotent algebras
2022, JOURNAL OF PURE AND APPLIED ALGEBRA, Ouaridi,AF;Kaygorodov,I;Khrypchenko,M;Volkov,Y
Efficiency of the principal eigenvector of some triple perturb e d consistent matrices
2022, EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, Fernandes,R;Furtado,S
Formulations of the inclusion-exclusion principle from Legendre to Poincare, with emphasis on Daniel Augusto da Silva
2022, BRITISH JOURNAL FOR THE HISTORY OF MATHEMATICS, Martins,AP;Sousa,T
Geodata as open data for artificial intelligence
2022, Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI), Hoffmann,A;Kahle,R
Grenzen der KI - theoretisch, praktisch, ethisch
2022, Technik im Fokus, Mainzer,K;Kahle,R
Hilbert's Axiomatisches Denken
2022, Axiomatic Thinking I, Kahle,R;Sommaruga,G
Identities and bases in the hypoplactic monoid
2022, COMMUNICATIONS IN ALGEBRA, Cain,AJ;Malheiro,A;Ribeiro,D
Implicit recursion-theoretic characterizations of counting classes
2022, ARCHIVE FOR MATHEMATICAL LOGIC, Dal Lago,U;Kahle,R;Oitavem,I
Inverse semigroup cohomology and crossed module extensions of semilattices of groups by inverse semigroups
2022, Journal of Algebra, Dokuchaev,M;Khrypchenko,M;Makuta,M
Jacques Tits motivic measure
2022, MATHEMATISCHE ANNALEN, Tabuada,G
Matrix theory for independence algebras
2022, LINEAR ALGEBRA AND ITS APPLICATIONS, Araujo,J;Bentz,W;Cameron,PJ;Kinyon,M;Konieczny,J
Noncommutative Weil conjecture
2022, ADVANCES IN MATHEMATICS, Tabuada,G
Ockham Algebras-An Urquhart Legacy
2022, Outstanding Contributions to Logic, Blyth,TS;Silva,HJ
On certain trees with the same degree sequence
2022, DISCRETE APPLIED MATHEMATICS, Fernandes,R
On the switch-length of two connected graphs with the same degree sequence
2022, AUSTRALASIAN JOURNAL OF COMBINATORICS, Fernandes,R
Proper Lie automorphisms of incidence algebras
2022, Glasgow Mathematical Journal, Fornaroli,ÉZ;Khrypchenko,M;Santulo,EA
Ranks and presentations of some normally ordered inverse semigroups
2022, PERIODICA MATHEMATICA HUNGARICA, Caneco,R;Fernandes,VH;Quinteiro,TM
Reconstructing Young tableaux
2022, JOURNAL OF COMBINATORIAL THEORY SERIES A, Cain,AJ;Lehtonen,E
Representations and identities of plactic-like monoids
2022, JOURNAL OF ALGEBRA, Cain,AJ;Johnson,M;Kambites,M;Malheiro,A
Scheitern in der Mathematik
2022, Scheitern in den Wissenschaften, Kahle,R
The polynomial hierarchy of functions and its levels
2022, THEORETICAL COMPUTER SCIENCE, Oitavem,I
Verantwortung
2022, , Kahle,R;Weidtmann,N
A Recursion-Theoretic Characterization of the Probabilistic Class PP
2021, 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia., Lago,UD;Kahle,R;Oitavem,I
A transversal property for permutation groups motivated by partial transformations
2021, JOURNAL OF ALGEBRA, Araujo,J;Araujo,JP;Bentz,W;Cameron,PJ;Spiga,P
Associative spectra of graph algebras I Foundations, undirected graphs, antiassociative graphs
2021, JOURNAL OF ALGEBRAIC COMBINATORICS, Lehtonen,E;Waldhauser,T
Change in vertex status after removal of another vertex in the general setting
2021, LINEAR ALGEBRA AND ITS APPLICATIONS, Johnson,CR;Saiago,CM;Toyonaga,K
Dedekinds Säetze und Peanos Axiomata
2021, Philosophia Scientiae, Kahle,R
Default negation as explicit negation plus update
2021, Logical Investigations, Kahle,R
DETERMINING SOLUBILITY FOR FINITELY GENERATED GROUPS OF PL HOMEOMORPHISMS
2021, TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, Bleak,C;Brough,T;Hermiller,S
Diagonal groups and arcs over groups
2021, Designs, Codes and Cryptography, Bailey,RA;Cameron,PJ;Kinyon,M;Praeger,CE
Efficient vectors for simple perturbed consistent matrices
2021, INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, da Cruz,HF;Fernandes,R;Furtado,S
Extremal matrices for the Bruhat-graph order
2021, LINEAR & MULTILINEAR ALGEBRA, Fernandes,R;Furtado,S
Further generalization of symmetric multiplicity theory to the geometric case over a field
2021, SPECIAL MATRICES, Cinzori,I;Johnson,CR;Lang,HN;Saiago,CM
Gödel, mathematischer Realismus und Antireduktionismus
2021, Wider den Reduktionismus, Kahle,R
HS-stability and complex products in involution semigroups
2021, SEMIGROUP FORUM, Bodor,B;Lehtonen,E;Quinn Gregson,T;Verhulst,N
Inverse Monoids and Bounded Distributive Lattices
2021, SOUTHEAST ASIAN BULLETIN OF MATHEMATICS, Blyth,TS;Santos,MHA
k-Provability in PA
2021, LOGICA UNIVERSALIS, Santos,PG;Kahle,R
Lorenzen Between Gentzen and Schütte
2021, Logic, Epistemology, and the Unity of Science, Kahle,R;Oitavem,I
On orientation-preserving transformations of a chain
2021, COMMUNICATIONS IN ALGEBRA, Fernandes,VH;Jesus,MM;Singha,B
ON THE LITTLE SECONDARY BRUHAT ORDER
2021, ELECTRONIC JOURNAL OF LINEAR ALGEBRA, Fernandes,R;Da Cruz,HF;Salomao,D
Partial actions and proper extensions of two-sided restriction semigroups
2021, JOURNAL OF PURE AND APPLIED ALGEBRA, Dokuchaev,M;Khrypchenko,M;Kudryavtseva,G
Partial automorphisms and injective partial endomorphisms of a finite undirected path
2021, SEMIGROUP FORUM, Dimitrova,I;Fernandes,VH;Koppitz,J;Quinteiro,TM
Permutation reconstruction from a few large patterns
2021, ELECTRONIC JOURNAL OF COMBINATORICS, Gouveia,MJ;Lehtonen,E
Primitive permutation groups and strongly factorizable transformation semigroups
2021, JOURNAL OF ALGEBRA, Araujo,J;Bentz,W;Cameron,PJ
Reflections and powers of multisorted minions
2021, ALGEBRA UNIVERSALIS, Lehtonen,E;Poschel,R
Semigroups of partial transformations with kernel and image restricted by an equivalence
2021, SEMIGROUP FORUM, Andre,J;Konieczny,J
Sequence subgroups generated by lifting
2021, FINITE FIELDS AND THEIR APPLICATIONS, Brison,OJ;Nogueira,JE
The algebraic and geometric classification of nilpotent terminal algebras
2021, JOURNAL OF PURE AND APPLIED ALGEBRA, Kaygorodov,I;Khrypchenko,M;Popov,Y
THE EXISTENTIAL TRANSVERSAL PROPERTY: A GENERALIZATION OF HOMOGENEITY AND ITS IMPACT ON SEMIGROUPS
2021, TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, Araujo,J;Bentz,W;Cameron,PJ
The Intensional Structure of Epistemic Convictions
2021, SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020, Kahle,R
The maximum number of Parter vertices of acyclic matrices
2021, DISCRETE MATHEMATICS, Fonseca,A;Mestre,A;Mohammadian,A;Perdigao,C;Torres,MM
The solution of an open problem on semigroup inclusion classes
2021, SEMIGROUP FORUM, Araujo,ML;Araujo,MT;Kinyon,M
The Vagner-Preston Representation of a Block-Group
2021, SOUTHEAST ASIAN BULLETIN OF MATHEMATICS, Fernandes,VH
VARIANTS OF KREISEL'S CONJECTURE ON A NEW NOTION OF PROVABILITY
2021, BULLETIN OF SYMBOLIC LOGIC, Santos,PG;Kahle,R
"Sehr geehrter Herr Professor!" Proof Theory in 1949 in a Letter from Schütte to Bernays
2020, The Legacy of Kurt Schütte, Kahle,R
A language hierarchy of binary relations
2020, INFORMATION AND COMPUTATION, Brough,T;Cain,AJ
Basis reduction for cryptogroups and orthogroups
2020, SEMIGROUP FORUM, Casimiro,A;Skapinakis,E
Classes of (0,1)-matrices Where the Bruhat Order and the Secondary Bruhat Order Coincide
2020, ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, Fernandes,R;da Cruz,HF;Salomao,D
Coutinho's Method for the Altitude
2020, JOURNAL OF NAVIGATION, Canas,AC;Marabujo,MR;Sousa,T
Diagonalization in Formal Mathematics
2020, BestMasters, Santos,PG
Embedding of the derived Brauer group into the secondary K-theory ring
2020, JOURNAL OF NONCOMMUTATIVE GEOMETRY, Tabuada,G
Feferman on Foundations: Logic, Mathematics, Philosophy
2020, PHILOSOPHIA MATHEMATICA, Kahle,R
Globalization of group cohomology in the sense of Alvares-Alves-Redondo
2020, JOURNAL OF ALGEBRA, Dokuchaev,M;Khrypchenko,M;Jacobo Simon,JJ
Graph quasivarieties
2020, ACTA SCIENTIARUM MATHEMATICARUM, Lehtonen,E;Poschel,R
Konzeptionelle Herausforderungen für die KI Workshop auf der INFORMATIK2020: Back to the Future, 50. Jahrestagung der Gesellschaft für Informatik
2020, Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI), Kahle,R;Mainzer,K
LATIN SQUARES AND THEIR BRUHAT ORDER
2020, CONTRIBUTIONS TO DISCRETE MATHEMATICS, Fernandes,R;da Cruz,HF;Salomao,D
Matrices in A(R, S) with minimum t-term ranks
2020, LINEAR ALGEBRA AND ITS APPLICATIONS, Fernandes,R;da Cruz,HF;Palheira,SC
Motivic concentration theorem
2020, MATHEMATICAL RESEARCH LETTERS, Tabuada,G;Van den Bergh,M
Noncommutative counterparts of celebrated conjectures
2020, K-THEORY IN ALGEBRA, ANALYSIS AND TOPOLOGY, Tabuada,G
On a conjecture concerning the Bruhat order
2020, LINEAR ALGEBRA AND ITS APPLICATIONS, Fernandes,R;Cruz,HF;Salomao,D
On the efficiency of normal form systems for representing Boolean functions
2020, THEORETICAL COMPUTER SCIENCE, Couceiro,M;Lehtonen,E;Mercuriali,P;Pechoux,R
Primzahlen als Herausforderung
2020, 50. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2020 - Back to the Future, Karlsruhe, Germany, 28. September - 2. Oktober 2020, Kahle,R
Ranks of Monoids of Endomorphisms of a Finite Undirected Path
2020, BULLETIN OF THE MALAYSIAN MATHEMATICAL SCIENCES SOCIETY, Dimitrova,I;Fernandes,VH;Koppitz,J;Quinteiro,TM
Reciprocal matrices: properties and approximation by a transitive matrix
2020, COMPUTATIONAL & APPLIED MATHEMATICS, Bebiano,N;Fernandes,R;Furtado,S
Schur-Finiteness (and Bass-Finiteness) Conjecture for Quadric Fibrations and Families of Sextic du Val del Pezzo Surfaces
2020, Documenta Mathematica, Tabuada,G
The algebraic and geometric classification of nilpotent anticommutative algebras
2020, JOURNAL OF PURE AND APPLIED ALGEBRA, Kaygorodov,I;Khrypchenko,M;Lopes,SA
The Bruhat order on classes of isotopic Latin squares
2020, PORTUGALIAE MATHEMATICA, Fernandes,R;da Cruz,HF;Salomao,D
The geometric classification of nilpotent Tortkara algebras
2020, COMMUNICATIONS IN ALGEBRA, Gorshkov,I;Kaygorodov,I;Khrypchenko,M
The Legacy of Kurt Schütte
2020, , Kahle,R;Rathjen,M
The third partial cohomology group and existence of extensions of semilattices of groups by groups
2020, FORUM MATHEMATICUM, Dokuchaev,M;Khrypchenko,M;Makuta,M
Two applications of monoid actions to cross-sections
2020, COMMUNICATIONS IN ALGEBRA, Brough,T;Cain,AJ;Maltcev,V
Variants of epigroups and primary conjugacy
2020, COMMUNICATIONS IN ALGEBRA, Borralho,M;Kinyon,M
Varieties of Regular Pseudocomplemented de Morgan Algebras
2020, ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, Adams,ME;Sankappanavar,HP;de Carvalho,JV
When Nominal Analogical Proportions Do Not Fail
2020, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Couceiro,M;Lehtonen,E;Miclet,L;Prade,H;Richard,G
A NOTE ON GROTHENDIECK'S STANDARD CONJECTURES OF TYPE C+ AND D IN POSITIVE CHARACTERISTIC
2019, PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, Tabuada,G
Abelian antipowers in infinite words
2019, ADVANCES IN APPLIED MATHEMATICS, Fici,G;Postic,M;Silva,M
Artificial Horizon Sextant from Gago Coutinho: Maritime origins from Air Navigation
2019, NAVIGATOR-SUBSIDIOS PARA A HISTORIA MARITIMA DO BRASIL, Canas,AC;Marabujo,MR;Sousa,T
Combinatorics of cyclic shifts in plactic, hypoplactic, sylvester, Baxter, and related monoids
2019, JOURNAL OF ALGEBRA, Cain,AJ;Malheiro,A
Combinatorics of patience sorting monoids
2019, DISCRETE MATHEMATICS, Cain,AJ;Malheiro,A;Silva,FM
Conjugacy in inverse semigroups
2019, JOURNAL OF ALGEBRA, Araujo,J;Kinyon,M;Konieczny,J
Context-free word problem semigroups
2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Brough,T;Cain,AJ;Pfeiffer,M
Crystal monoids & crystal bases: Rewriting systems and biautomatic structures for plactic monoids of types A(n), B-n, C-n, D-n, and G(2)
2019, JOURNAL OF COMBINATORIAL THEORY SERIES A, Cain,AJ;Gray,RD;Malheiro,A
Diagonalizable matrices whose graph is a tree: the minimum number of distinct eigenvalues and the feasibility of eigenvalue assignments
2019, SPECIAL MATRICES, Saiago,CM
Discrete formulation for the dynamics of rods deforming in space
2019, JOURNAL OF MATHEMATICAL PHYSICS, Casimiro,A;Rodrigo,C
Discussing Hilbert's 24th problem
2019, PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, Hipolito,I;Kahle,R
Endomorphisms of semigroups of order-preserving partial transformations
2019, SEMIGROUP FORUM, Fernandes,VH;Santos,PG
Dual Axiomatics
2019, Mario Bunge: A Centenary Festschrift, Kahle,R
Feynman quadrics-motive of the massive sunset graph
2019, JOURNAL OF NUMBER THEORY, Marcolli,M;Tabuada,G
Identification of proofs via syzygies
2019, PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, Malheiro,A;Reis,JF
INTEGRALS OF GROUPS
2019, ISRAEL JOURNAL OF MATHEMATICS, Araujo,J;Cameron,PJ;Casolo,C;Matucci,F
Is There a "Hilbert Thesis"?
2019, STUDIA LOGICA, Kahle,R
LINEAR RECURRING SEQUENCE SUBGROUPS IN THE COMPLEX FIELD - II
2019, FIBONACCI QUARTERLY, Brison,OJ;Nogueira,JE
Noncommutative motives in positive characteristic and their applications
2019, ADVANCES IN MATHEMATICS, Tabuada,G
On the Bruhat order of labeled graphs
2019, DISCRETE APPLIED MATHEMATICS, Brualdi,RA;Fernandes,R;Furtado,S
ORBITS OF PRIMITIVE k-HOMOGENOUS GROUPS ON (n - k)-PARTITIONS WITH APPLICATIONS TO SEMIGROUPS
2019, TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, Araujo,J;Bentz,W;Cameron,PJ
Ordered regular semigroups with biggest associates
2019, Discussiones Mathematicae - General Algebra and Applications, Blyth,TS;Almeida Santos,MH
Principal Schottky bundles over Riemann surfaces
2019, GEOMETRIAE DEDICATA, Casimiro,AC;Ferreira,S;Florentino,C
REGULAR DOUBLE p-ALGEBRAS
2019, MATHEMATICA SLOVACA, Adams,ME;Sankappanavar,HP;Vaz de Carvalho,J
The change in multiplicity of an eigenvalue due to adding or removing edges
2019, LINEAR ALGEBRA AND ITS APPLICATIONS, Johnson,CR;Saiago,CM;Toyonaga,K
The monoids of the patience sorting algorithm
2019, INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, Cain,AJ;Malheiro,A;Silva,FM
The Rank of the Semigroup of All Order-Preserving Transformations on a Finite Fence
2019, BULLETIN OF THE MALAYSIAN MATHEMATICAL SCIENCES SOCIETY, Fernandes,VH;Koppitz,J;Musunthia,T
VANISHING OF THE NEGATIVE HOMOTOPY K-THEORY OF QUOTIENT SINGULARITIES
2019, JOURNAL OF THE INSTITUTE OF MATHEMATICS OF JUSSIEU, Tabuada,G
Varieties of regular semigroups with uniquely defined inversion
2019, PORTUGALIAE MATHEMATICA, Araujo,J;Kinyon,M;Robert,Y
Visual thinking and simplicity of proof
2019, PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, Cain,AJ
A Logician's Sidelong Glance at Irony
2018, Baltic International Yearbook of Cognition, Logic and Communication, Kahle,R
A NOTE ON GROTHENDIECK'S STANDARD CONJECTURES OF TYPE C+ AND D
2018, PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, Tabuada,G
A note on the Schur-finiteness of linear sections
2018, MATHEMATICAL RESEARCH LETTERS, Tabuada,G
A recursion-theoretic characterisation of the positive polynomial-time functions
2018, Leibniz International Proceedings in Informatics, LIPIcs, Das,A;Oitavem,I
Additive invariants of orbifolds
2018, GEOMETRY & TOPOLOGY, Tabuada,G;Van den Bergh,M
Anti-powers in infinite words
2018, JOURNAL OF COMBINATORIAL THEORY SERIES A, Fici,G;Restivo,A;Silva,M;Zamboni,LQ
Classification of vertices and edges with respect to the geometric multiplicity of an eigenvalue in a matrix, with a given graph, over a field
2018, LINEAR & MULTILINEAR ALGEBRA, Johnson,CR;Saiago,CM;Toyonaga,K
Crystals and trees: Quasi-Kashiwara operators, monoids of binary trees, and Robinson-Schensted-type correspondences
2018, JOURNAL OF ALGEBRA, Cain,AJ;Malheiro,A
Decidability and independence of conjugacy problems in finitely presented monoids
2018, THEORETICAL COMPUTER SCIENCE, Araujo,J;Kinyon,M;Konieczny,J;Malheiro,A
Eigenvalues, Multiplicities and Graphs
2018, , Johnson,CR;Saiago,CM
Equivariant noncommutative motives
2018, ANNALS OF K-THEORY, Tabuada,G
Geometric Parter-Wiener, etc. theory
2018, LINEAR ALGEBRA AND ITS APPLICATIONS, Johnson,CR;Saiago,CM
Identities in plactic, hypoplactic, sylvester, Baxter, and related monoids
2018, ELECTRONIC JOURNAL OF COMBINATORICS, Cain,AJ;Malheiro,A
Intuitionistic nonstandard bounded modified realisability and functional interpretation
2018, ANNALS OF PURE AND APPLIED LOGIC, Dinis,B;Gaspar,J
INVARIANTS OF NONCOMMUTATIVE PROJECTIVE SCHEMES
2018, MOSCOW MATHEMATICAL JOURNAL, Tabuada,G
Minimum rank and path cover number for generalized and double generalized cycle star graphs
2018, LINEAR ALGEBRA AND ITS APPLICATIONS, Perdigao,C;Fonseca,A
Multiplicities of distance Laplacian eigenvalues and forbidden subgraphs
2018, LINEAR ALGEBRA AND ITS APPLICATIONS, Fernandes,R;de Freitas,MAA;da Silva,CM;Del Vecchio,RR
Noncommutative rigidity
2018, MATHEMATISCHE ZEITSCHRIFT, Tabuada,G
Paraconsistency in classical logic
2018, SYNTHESE, Pulcini,G;Varzi,AC
Recent developments on noncommutative motives
2018, Contemporary Mathematics, Tabuada,G
Reduction of forward difference operators in principal G-bundles
2018, Statistics, Optimization and Information Computing, Casimiro,A;Rodrigo,C
Some remarks concerning Voevodsky's nilpotence conjecture
2018, JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, Bernardara,M;Marcolli,M;Tabuada,G
Structure and Structures
2018, Boston Studies in the Philosophy and History of Science, Kahle,R
THE GYSIN TRIANGLE VIA LOCALIZATION AND A(1)-HOMOTOPY INVARIANCE
2018, TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, Tabuada,G;Van den Bergh,M
The minimum number of eigenvalues of multiplicity one in a diagonalizable matrix, over a field, whose graph is a tree
2018, LINEAR ALGEBRA AND ITS APPLICATIONS, Johnson,CR;Leal Duarte,A;Saiago,CM
The number of P-vertices in a matrix with maximum nullity
2018, LINEAR ALGEBRA AND ITS APPLICATIONS, Fernandes,R;da Cruz,HF
TURAN FUNCTION AND H-DECOMPOSITION PROBLEM FOR GEM GRAPHS
2018, DISCUSSIONES MATHEMATICAE GRAPH THEORY, Liu,H;Sousa,T
Variational integrators for reduced field equations
2018, Statistics, Optimization and Information Computing, Casimiro,A;Rodrigo,C
What is Hilbert's 24th Problem?
2018, KAIROS-JOURNAL OF PHILOSOPHY & SCIENCE, Kahle,R;Oitavem,I
Word Problem Languages for Free Inverse Monoids
2018, DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2018, Brough,T
Μηδεὶς
2018, Logic, Epistemology, and the Unity of Science - The Philosophers and Mathematics, Kahle,R
The Macro Context for Entrepreneurship in Tourism: A Review of Emerging Trends
2023, Proceedings of the 6th International Conference on Tourism Research, , ICTR 2023, Costa, T., Calisto, L., Machado, A., Santos, Z., Nunes, S & Severino, F.
Availability of Hydropressor Systems
2022, Atas do ESGI 2022, S. Aleixo,R. Enguiça,S. Lopes, P. Matias,I. Pinto, and L. Fernandez-Suárez
Os Pontos de Lagrange e o telescópio James Webb 
2022, Gazeta de Matemática, Fabio Chalub
A literacia estatística na sociedade smart
2021, Proceedings of the International Congress on 21st Century Literacies (ICCL2021), Santos. C., Dias, C, Carlos, M., M, Romacho, J., Lebre, A.
Mais branco ou tinto? Um dilema mesmo que não goste de vinho
2021, Tribuna Alentejo (tribunaalentejo.pt : Maio 2021), Santos, Carla
Probabilidades e Modelos Discretos de Mercados Financeiros (segunda edição)
2020, , Manuel L. Esquível & Nadezhda Krasii
Perturbation Methods: an aplication to a real dataset
, University of Rome "La Sapienza", Jorge Morais, Rita Sousa, Susana Faria
Variabilidade da Temperatura da Superfície do Mar na Costa Portuguesa. 
, Atas das 6.as Jornadas de Engenharia Hidrográfica / 1.as Jornadas Luso-Espanholas de Hidrografia, Afonso, D.; Correia, A.; Conceição, V.; Moura, R. 
Semigroups arising from families of normal subgroups
1997, COMMUNICATIONS IN ALGEBRA, Blyth,TS;Silva,HJ
Endomorphism regular Ockham algebras of finite Boolean type
1997, GLASGOW MATHEMATICAL JOURNAL, Blyth,TS;Silva,HJ
On Ockham algebras whose endomorphism semigroups are regular
1996, COMMUNICATIONS IN ALGEBRA, Blyth,TS;Silva,HJ
Pairs of matrices that have the same immanant
1996, Linear and Multilinear Algebra, Fernandes,MDR
Normally ordered inverse semigroups
1998, SEMIGROUP FORUM, Fernandes,VH
The covering number of the elements of a matroid and generalized matrix functions
1998, LINEAR ALGEBRA AND ITS APPLICATIONS, daSilva,JAD;Fernandes,R;Fonseca,A
Singular antitone systems
1998, ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, Blyth,TS;Silva,HJ
Semigroups of order preserving mappings on a finite chain: A new class of divisors
1997, SEMIGROUP FORUM, Fernandes,VH
The covering number of elements of a matroid and associated transformations
1999, LINEAR ALGEBRA AND ITS APPLICATIONS, Fernandes,R
A general construction of Ockham algebras
1999, COMMUNICATIONS IN ALGEBRA, Silva,HJ
The proof-theoretic analysis of transfinitely iterated fixed point theories
1999, JOURNAL OF SYMBOLIC LOGIC, Jager,G;Kahle,R;Setzer,A;Strahm,T
Frege structures for partial applicative theories
1999, JOURNAL OF LOGIC AND COMPUTATION, Kahle,R
On Applicative Theories
1999, Logic and Foundations of Mathematics, Jäger,G;Kahle,R;Strahm,T
On equalizer flat acts
1999, SEMIGROUP FORUM, Bentz,W;Bulman Fleming,S
Topological implications in varieties
1999, ALGEBRA UNIVERSALIS, Bentz,W
Proof Theory in Computer Science
2001, Lecture Notes in Computer Science, Kahle,R;Schroeder-Heister,P;Stärk,R
Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings
2001, PTCS, Kahle,R;Heister,PS;Stärk,RF
On the covering number of a matroid element
2001, LINEAR ALGEBRA AND ITS APPLICATIONS, Fernandes,R
On the kernel of the derivation operator
2001, LINEAR ALGEBRA AND ITS APPLICATIONS, Fernandes,R
Ockham algebras arising from monoids
2001, ALGEBRA COLLOQUIUM, Blyth,TS;Silva,HJ;Varlet,JC
On generators and relations for unions of semigroups
2001, SEMIGROUP FORUM, Araujo,IM;Branco,MJJ;Fernandes,VH;Gomes,GMS;Ruskuc,N
The rank partition and the covering number of the elements of the dual matroid
2001, ARS COMBINATORIA, da Silva,JAD;Fernandes,R
The monoid of all injective order preserving partial transformations on a finite chain
2001, SEMIGROUP FORUM, Fernandes,VH
A division theorem for the pseudovariety generated by semigroups of orientation preserving transformations on a finite chain
2001, COMMUNICATIONS IN ALGEBRA, Fernandes,VH
Universes in explicit mathematics
2001, ANNALS OF PURE AND APPLIED LOGIC, Jager,G;Kahle,R;Studer,T
Generators for the semigroup of endomorphisms of an independence algebra
2002, ALGEBRA COLLOQUIUM, Araujo,J
On idempotent generated semigroups
2002, SEMIGROUP FORUM, Araujo,J
Normal semigroups of endomorphisms of proper independence algebras are idempotent generated
2002, PROCEEDINGS OF THE EDINBURGH MATHEMATICAL SOCIETY, Araujo,J
A term rewriting characterization of the functions computable in polynomial space
2002, ARCHIVE FOR MATHEMATICAL LOGIC, Oitavem,I
Estimation of the maximum multiplicity of an eigenvalue in terms of the vertex degrees of the graph of a matrix
2002, Electronic Journal of Linear Algebra, Johnson,CR;Saiago,CM
Hilbert's paradox
2002, HISTORIA MATHEMATICA, Peckhaus,V;Kahle,R
Mathematical proof theory in the light of ordinal analysis
2002, SYNTHESE, Kahle,R
PRESENTATIONS FOR SOME MONOIDS OF PARTIAL TRANSFORMATIONS ON A FINITE CHAIN: A SURVEY
2002, Semigroups, Algorithms, Automata and Languages, FERNANDES,VH
Linear recurring sequence subgroups in the complex field
2003, FIBONACCI QUARTERLY, Brison,OJ;Nogueira,JE
Automorphism groups of centralizers of idempotents
2003, JOURNAL OF ALGEBRA, Araujo,J;Konieczny,J
Idempotent generated endomorphisms of an independence algebra
2003, SEMIGROUP FORUM, Araujo,J
Linear recurring sequence subgroups in finite fields
2003, FINITE FIELDS AND THEIR APPLICATIONS, Brison,OJ;Nogueira,JE
Inverse eigenvalue problems and lists of multiplicities of eigenvalues for matrices whose graph is a tree: the case of generalized stars and double generalized stars
2003, LINEAR ALGEBRA AND ITS APPLICATIONS, Johnson,CR;Duarte,AL;Saiago,CM
On the relative position of multiple eigenvalues in the spectrum of an Hermitian matrix with a given graph
2003, LINEAR ALGEBRA AND ITS APPLICATIONS, Johnson,CR;Duarte,AL;Saiago,CM;Sutton,BD;Witt,AJ
Universes over Frege structures
2003, ANNALS OF PURE AND APPLIED LOGIC, Kahle,R
On generating countable sets of endomorphisms
2003, ALGEBRA UNIVERSALIS, Araujo,J;Mitchell,JD;Silva,N
Ockham congruences whose quotient algebras are boolean
2003, COMMUNICATIONS IN ALGEBRA, Rodrigues,PJV;Silva,HJ
The Parter-Wiener theorem: Refinement and generalization
2003, SIAM JOURNAL ON MATRIX ANALYSIS AND APPLICATIONS, Johnson,CR;Duarte,AL;Saiago,CM
Lifts for semigroups of monomorphisms of an independence algebra
2003, Colloquium Mathematicum, Ara√∫jo,J
The endomorphism kernel property in finite distributive lattices and de Morgan algebras
2004, COMMUNICATIONS IN ALGEBRA, Blyth,TS;Fang,J;Silva,HJ
On the powers of a vectorial matroid - an equivalence relation
2004, LINEAR ALGEBRA AND ITS APPLICATIONS, Fernandes,R
Abelian kernels of monoids of order-preserving maps and of some of its extensions
2004, SEMIGROUP FORUM, Delgado,M;Fernandes,VH
Semigroups that contain all singular transformations
2004, SEMIGROUP FORUM, Andre,JM
Semigroups of transformations preserving an equivalence relation and a cross-section
2004, COMMUNICATIONS IN ALGEBRA, Araujo,J;Konieczny,J
Regularity on near permutation semigroups
2004, COMMUNICATIONS IN ALGEBRA, Andre,JM
Characterizing NC with tier 0 pointers
2004, MATHEMATICAL LOGIC QUARTERLY, Oitavem,I
Near permutation semigroups
2004, SEMIGROUPS AND LANGUAGES, Andre,JM
The origins of independence algebras
2004, SEMIGROUPS AND LANGUAGES, Araujo,J;Fountain,J
Abelian kernels, solvable monoids and the abelian kernel length of a finite monoid
2004, SEMIGROUPS AND LANGUAGES, Delgado,M;Fernandes,VH
Structured belief bases
2004, Logic and Logical Philosophy, Kahle,R
On semigroups whose idempotent-generated subsemigroup is aperiodic
2004, INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, Delgado,M;Fernandes,VH;Margolis,S;Steinberg,B
Inverse near permutation semigroups
2004, SEMIGROUP FORUM, Andre,JM
Separating NC along the delta axis
2004, THEORETICAL COMPUTER SCIENCE, Bellantoni,S;Oitavem,I
Direct decompositions of Ockham algebras
2004, ALGEBRA COLLOQUIUM, Blyth,TS;Silva,HJ
Congruences on monoids of order-preserving or order-reversing transformations on a finite chain
2005, GLASGOW MATHEMATICAL JOURNAL, Fernandes,VH;Gomes,GMS;Jesus,MM
Complete rewriting systems for codified submonoids
2005, INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, Malheiro,A
Dense relations are determined by their endomorphism monoids
2005, SEMIGROUP FORUM, Araujo,J;Konieczny,J
Presentations for some monoids of partial transformations on a finite chain
2005, COMMUNICATIONS IN ALGEBRA, Fernandes,VH;Gomes,GMS;Jesus,MM
A description of normal semigroups of endomorphisms of proper independence algebras
2005, COMMUNICATIONS IN ALGEBRA, Araujo,J;Fountain,J
The maximum inverse subsemigroup of a near permutation semigroup
2005, COMMUNICATIONS IN ALGEBRA, Andre,JM
Special issue - Festschrift on the occasion of Helmut Schwichtenberg's 60th birthday - Preface
2005, ANNALS OF PURE AND APPLIED LOGIC, Buchholz,W;Kahle,R
Decompositions of graphs into 5-cycles and other graphs
2005, ELECTRONIC JOURNAL OF COMBINATORICS, Sousa,T
A Quillen model structure on the category of dg categories [Une structure de catégorie de modèles de Quillen sur la catégorie des dg-catégories]
2005, Comptes Rendus Mathematique, Tabuada,G
Invariants additifs de dg-catégories
2005, International Mathematics Research Notices, Tabuada,G
Reflections on Frege and Hilbert
2005, SYNTHESE, Buldt,B;Halbach,V;Kahle,R
An elementary proof that every singular matrix is a product of idempolent matrices
2005, AMERICAN MATHEMATICAL MONTHLY, Araujo,J;Mitchell,JD
Solvable monoids with commuting idempotents
2005, INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, Delgado,M;Fernandes,VH
Matrices that preserve the value of the generalized matrix function of the upper triangular matrices
2005, LINEAR ALGEBRA AND ITS APPLICATIONS, Fernandes,R
Finite derivation type for Rees matrix semigroups
2006, THEORETICAL COMPUTER SCIENCE, Malheiro,A
Decomposable critical tensors
2006, LINEAR ALGEBRA AND ITS APPLICATIONS, da Silva,JAD;Rodrigues,F
Introduction: Proof-theoretic semantics
2006, SYNTHESE, Kahle,R;Schroeder Heister,P
A proof-theoretic view of necessity
2006, SYNTHESE, Kahle,R
Towards an implicit characterization of NC(k)
2006, COMPUTER SCIENCE LOGIC, PROCEEDINGS, Bonfante,G;Kahle,R;Marion,JY;Oitavem,I
A group-embeddable non-automatic semigroup whose universal group is automatic
2006, Glasgow Mathematical Journal, Cain,AJ
Cancellativity is undecidable for automatic semigroups
2006, Quarterly Journal of Mathematics, Cain,AJ
Subsemigroups of groups: Presentations, Malcev presentations, and automatic structures
2006, Journal of Group Theory, Cain,AJ;Robertson,EF;Ruskuc,N
Subsemigroups of virtually free groups: Finite Malcev presentations and testing for freeness
2006, Mathematical Proceedings of the Cambridge Philosophical Society, Cain,AJ;Robertson,EF;Ruskuc,N
Erratum: (InternationalMathematics Research Notices (2005) 2005, 53 (3309-339))
2006, International Mathematics Research Notices, Tabuada,G
Addendum a << Invariants additifs de dg-categories >>
2006, International Mathematics Research Notices, Tabuada,G
Multiplicity Lists for the Eigenvalues of Symmetric Matrices with a Given Graph
2006, Handbook of Linear Algebra - Discrete Mathematics and Its Applications, Johnson,C;Leal Duarte,A;Saiago,C
Lifts for semigroups of endomorphisms of an independence algebra
2006, Colloquium Mathematicum, Ara√∫jo,J
A characterization of Hausdorff separation for a special class of varieties
2006, ALGEBRA UNIVERSALIS, Bentz,W
The trees for which maximum multiplicity implies the simplicity of other eigenvalues
2006, DISCRETE MATHEMATICS, Johnson,CR;Saiago,CM
Relative Abelian kernels of some classes of transformation monoids
2006, BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY, Cordeiro,E;Delgado,M;Fernandes,VH
Matrices and linear recurrences in finite fields
2006, FIBONACCI QUARTERLY, Brison,OJ;Nogueira,JE
On the structure of Calabi-Yau categories with a cluster tilting subcategory
2007, Documenta Mathematica, Tabuada,G
Edwin D. Mares, Relevant Logic - A Philosophical Interpretation
2007, Stud Logica, Kahle,R
Freek Wiedijk (Ed.), The Seventeen Provers of the World
2007, Stud Logica, Kahle,R
ON TRIVIALIZERS AND SUBSEMIGROUPS
2007, Semigroups and Formal Languages, MALHEIRO,A
A characterization of T-3 separation for a special class of varieties
2007, ALGEBRA UNIVERSALIS, Bentz,W
The minimum rank of matrices and the equivalence class graph
2007, LINEAR ALGEBRA AND ITS APPLICATIONS, Fernandes,R;Perdigao,C
Minimum H-decompositions of graphs
2007, JOURNAL OF COMBINATORIAL THEORY SERIES B, Pikhurko,O;Sousa,T
Largest 2-generated subsemigroups of the symmetric inverse semigroup
2007, PROCEEDINGS OF THE EDINBURGH MATHEMATICAL SOCIETY, Andre,JM;Fernandes,VH;Mitchell,JD
A method of finding automorphism groups of endomorphism monoids of relational systems
2007, DISCRETE MATHEMATICS, Araujoa,J;Konieczny,J
Relative ranks in the monoid of endomorphisms of an independence algebra
2007, MONATSHEFTE FUR MATHEMATIK, Araujo,J;Mitchell,JD
On the maximum multiplicity of an eigenvalue in a matrix whose graph contains exactly one cycle
2007, LINEAR ALGEBRA AND ITS APPLICATIONS, Fernandes,R
Automorphisms of endomorphism monoids of relatively free bands
2007, PROCEEDINGS OF THE EDINBURGH MATHEMATICAL SOCIETY, Araujo,J;Konieczny,J
Binary linear forms over finite sets of integers
2007, ACTA ARITHMETICA, Nathanson,MB;O'Bryant,K;Orosz,B;Ruzsa,I;Silva,M
Corrections to DG-category additive invariants
2007, INTERNATIONAL MATHEMATICS RESEARCH NOTICES, Tabuada,G
Die Gödelschen Unvollständigkeitssätze
2007, Mathematische Semesterberichte, Kahle,R
Normally ordered semigroups
2008, GLASGOW MATHEMATICAL JOURNAL, Fernandes,VH
The idempotent-separating degree of a block-group
2008, SEMIGROUP FORUM, Fernandes,VH
Second order linear sequence subgroups in finite fields
2008, FINITE FIELDS AND THEIR APPLICATIONS, Brison,OJ;Nogueira,JE
Stability on the Sato Grassmannian. Applications to the moduli of vector bundles
2008, JOURNAL OF GEOMETRY AND PHYSICS, Casimiro,AC;Porras,JMM;Martin,FJP
Words avoiding repetitions in arithmetic progressions
2008, THEORETICAL COMPUTER SCIENCE, Kao,JY;Rampersad,N;Shallit,J;Silva,M
Branch duplication for the construction of multiple eigenvalues in an Hermitian matrix whose graph is a tree
2008, LINEAR & MULTILINEAR ALGEBRA, Johnson,CR;Saiago,CM
Recursion Schemata for NC(k)
2008, COMPUTER SCIENCE LOGIC, PROCEEDINGS, Bonfante,G;Kahle,R;Marion,JY;Oitavem,I
On Finite Semigroup Cross-Sections and Complete Rewriting Systems
2008, International Conference on Theoretical and Mathematical Foundations of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008, Malheiro,A
Automatic presentations for cancellative semigroups
2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Cain,AJ;Oliver,G;Ruskuc,N;Thomas,RM
Cancellative and Malcev presentations for finite rees index subsemigroups and extensions
2008, Journal of the Australian Mathematical Society, Cain,AJ;Robertson,EF;Ruskuc,N
Characterizing PSPACE with pointers
2008, MATHEMATICAL LOGIC QUARTERLY, Oitavem,I
On divisors of pseudovarieties generated by some classes of full transformation semigroups
2008, ALGEBRA COLLOQUIUM, Fernandes,VH
Higher K-theory via universal invariants
2008, DUKE MATHEMATICAL JOURNAL, Tabuada,G
Friendship decompositions of graphs
2008, DISCRETE MATHEMATICS, Sousa,T
The structure of matrices with a maximum multiplicity eigenvalue
2008, LINEAR ALGEBRA AND ITS APPLICATIONS, Johnson,CR;Duarte,AL;Saiago,CM
On the spectra of some graphs like weighted rooted trees
2008, LINEAR ALGEBRA AND ITS APPLICATIONS, Fernandes,R;Gomes,H;Martins,EA
Quotients on the Sato Grassmannian and the moduli of vector bundles
2008, JOURNAL OF PHYSICS A-MATHEMATICAL AND THEORETICAL, Casimiro,AC;Porras,JMM;Martin,FJP
The strong endomorphism kernel property in Ockham algebras
2008, COMMUNICATIONS IN ALGEBRA, Blyth,TS;Silva,HJ
ON THE INVERSE EIGENVALUE PROBLEMS: THE CASE OF SUPERSTARS
2009, ELECTRONIC JOURNAL OF LINEAR ALGEBRA, Fernandes,R
GENERAL THEOREMS ON AUTOMORPHISMS OF SEMIGROUPS AND THEIR APPLICATIONS
2009, JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY, Araujo,J;Konieczny,J
Homotopy theory of spectral categories
2009, ADVANCES IN MATHEMATICS, Tabuada,G
Postnikov towers, k-invariants and obstruction theory for dg categories
2009, JOURNAL OF ALGEBRA, Tabuada,G
Rank partitions and covering numbers under small perturbations of an element
2009, LINEAR & MULTILINEAR ALGEBRA, Fernandes,R
Finite derivation type for large ideals
2009, SEMIGROUP FORUM, Malheiro,A
The rank of the endomorphism monoid of a uniform partition
2009, SEMIGROUP FORUM, Araujo,J;Schneider,C
Non-commutative Andre-Quillen cohomology for differential graded categories
2009, JOURNAL OF ALGEBRA, Tabuada,G
Second order linear sequence subgroups in finite fields-II
2009, FINITE FIELDS AND THEIR APPLICATIONS, Brison,OJ;Nogueira,JE
Congruences on monoids of transformations preserving the orientation on a finite chain
2009, JOURNAL OF ALGEBRA, Fernandes,VH;Gomes,GMS;Jesus,MM
Automorphisms of Endomorphism Monoids of 1-Simple Free Algebras
2009, COMMUNICATIONS IN ALGEBRA, Araujo,J;Konieczny,J
Embedding properties of endomorphism semigroups
2009, FUNDAMENTA MATHEMATICAE, Araujo,J;Wehrung,F
Automatic presentations for semigroups
2009, Information and Computation, Cain,AJ;Oliver,G;Ruskuc,N;Thomas,RM
Decision problems for finitely presented and one-relation semigroups and monoids
2009, International Journal of Algebra and Computation, Cain,AJ;Maltcev,V
Malcev presentations for subsemigroups of direct products of coherent groups
2009, Journal of Pure and Applied Algebra, Cain,AJ
Homotopy theory of well-generated algebraic triangulated categories
2009, Journal of K-Theory, Tabuada,G
Computer Science Logic
2009, Lecture Notes in Computer Science, Grädel,E;Kahle,R
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
2009, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Gradel,E;Kahle,R
Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
2009, CSL, Grädel,E;Kahle,R
Microlocal versal deformations of the plane curves y(k) = x(n)
2009, COMPTES RENDUS MATHEMATIQUE, Cabral,J;Neto,O
Automaton semigroups
2009, THEORETICAL COMPUTER SCIENCE, Cain,AJ
The inverse eigenvalue problem for Hermitian matrices whose graphs are cycles
2009, LINEAR & MULTILINEAR ALGEBRA, Fernandes,R;da Fonseca,CM
MONOIDS PRESENTED BY REWRITING SYSTEMS AND AUTOMATIC STRUCTURES FOR THEIR SUBMONOIDS
2009, INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, Cain,AJ
COMPUTER SOLUTIONS OF PROBLEMS IN INVERSE SEMIGROUPS
2010, COMMUNICATIONS IN ALGEBRA, Araujo,J;McCune,W
HOMOTOPY THEORY OF DG CATEGORIES VIA LOCALIZING PAIRS AND DRINFELD'S DG QUOTIENT
2010, HOMOLOGY HOMOTOPY AND APPLICATIONS, Tabuada,G
Matrix Invariants of Spectral Categories
2010, INTERNATIONAL MATHEMATICS RESEARCH NOTICES, Tabuada,G
Location of the eigenvalues of weighted graphs with a cut edge
2010, LINEAR & MULTILINEAR ALGEBRA, Fernandes,R
Small perturbations and pairs of matrices that have the same immanent
2010, LINEAR & MULTILINEAR ALGEBRA, Fernandes,R
Automatic presentations and semigroup constructions
2010, Theory of Computing Systems, Cain,AJ;Oliver,G;Ruskuc,N;Thomas,RM
An Extended Predicative Definition of the Mahlo Universe
2010, - Ways of Proof Theory, Kahle,R;Setzer,A
Logspace without Bounds
2010, - Ways of Proof Theory, Oitavem,I
An applicative theory for FPH
2010, Proceedings Third International Workshop on Classical Logic and Computation, CL&C 2010, Brno, Czech Republic, 21-22 August 2010., Kahle,R;Oitavem,I
Optimal packings of 13 and 46 unit squares in a square
2010, Electronic Journal of Combinatorics, Bentz,W
On divisors of semigroups of order-preserving mappings of a finite chain
2010, SEMIGROUP FORUM, Fernandes,VH;Volkov,MV
Pairs of matrices that preserve the value of a generalized matrix function on the set of the upper triangular matrices
2010, LINEAR ALGEBRA AND ITS APPLICATIONS, Fernandes,R;da Cruz,HF
Endomorphisms of the semigroup of order-preserving mappings
2010, SEMIGROUP FORUM, Fernandes,VH;Jesus,MM;Maltcev,V;Mitchell,JD
Deus ex Machina and the Aesthetics of Proof
2010, MATHEMATICAL INTELLIGENCER, Cain,AJ
Automorphisms of endomorphism semigroups of reflexive digraphs
2010, MATHEMATISCHE NACHRICHTEN, Araujo,J;Dobson,E;Konieczny,J
Decomposable lambda-critical tensors
2010, LINEAR ALGEBRA AND ITS APPLICATIONS, Fernandes,R;da Cruz,HF;Rodrigues,F
Non-standard sequence subgroups in finite fields
2010, FINITE FIELDS AND THEIR APPLICATIONS, Brison,OJ;Nogueira,JE
H-Decompositions of r-graphs when H is an r-graph with exactly 2 edges
2010, ELECTRONIC JOURNAL OF COMBINATORICS, Sousa,T
On Drinfeld's DG quotient
2010, JOURNAL OF ALGEBRA, Tabuada,G
Computing automorphisms of semigroups
2010, JOURNAL OF SYMBOLIC COMPUTATION, Araujo,J;Buenau,PV;Mitchell,JD;Neunhoeffer,M
ON THE MATRICES THAT PRESERVE THE VALUE OF THE IMMANANT OF THE UPPER TRIANGULAR MATRICES
2010, OPERATORS AND MATRICES, Fernandes,R;da Cruz,HF
Differential graded versus simplicial categories
2010, TOPOLOGY AND ITS APPLICATIONS, Tabuada,G
Automatic semigroups and Bruck-Reilly extensions
2010, ACTA MATHEMATICA HUNGARICA, Cain,AJ
Generalized spectral categories, topological Hochschild homology and trace maps
2010, ALGEBRAIC AND GEOMETRIC TOPOLOGY, Tabuada,G
v*-ALGEBRAS, INDEPENDENCE ALGEBRAS AND LOGIC
2011, INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, Araujo,J;Edmundo,M;Givant,S
Groups that together with any transformation generate regular semigroups or idempotent generated semigroups
2011, JOURNAL OF ALGEBRA, Araujo,J;Mitchell,JD;Schneider,C
A recursion-theoretic approach to NP
2011, ANNALS OF PURE AND APPLIED LOGIC, Oitavem,I
Automorphisms of partial endomorphism semigroups
2011, PUBLICATIONES MATHEMATICAE-DEBRECEN, Araujo,J;Fernandes,VH;Jesus,MM;Maltcev,V;Mitchell,JD
Non-connective K-theory via universal invariants
2011, COMPOSITIO MATHEMATICA, Cisinski,DC;Tabuada,G
Decompositions of graphs into a given clique-extension
2011, ARS COMBINATORIA, Sousa,T
On properties not inherited by monoids from their Schatzenberger groups
2011, INFORMATION AND COMPUTATION, Gray,R;Malheiro,A;Pride,SJ
Minimum Weight H-Decompositions of Graphs: The Bipartite Case
2011, ELECTRONIC JOURNAL OF COMBINATORICS, Sousa,T
THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES
2011, REVIEW OF SYMBOLIC LOGIC, Kahle,R
A UNIVERSAL CHARACTERIZATION OF THE CHERN CHARACTER MAPS
2011, PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, Tabuada,G
Bilateral semidirect product decompositions of transformation monoids
2011, SEMIGROUP FORUM, Fernandes,VH;Quinteiro,TM
Regular centralizers of idempotent transformations
2011, SEMIGROUP FORUM, Andre,J;Araujo,J;Konieczny,J
An elegant 3-basis for inverse semigroups
2011, SEMIGROUP FORUM, Araujo,J;Kinyon,M
Finite complete rewriting systems for regular semigroups
2011, THEORETICAL COMPUTER SCIENCE, Gray,R;Malheiro,A
Minimal paths in the commuting graphs of semigroups
2011, EUROPEAN JOURNAL OF COMBINATORICS, Araujo,J;Kinyon,M;Konieczny,J
ON THE MONOIDS OF TRANSFORMATIONS THAT PRESERVE THE ORDER AND A UNIFORM PARTITION
2011, COMMUNICATIONS IN ALGEBRA, Fernandes,VH;Quinteiro,TM
The Cardinal and the Idempotent Number of Various Monoids of Transformations on a Finite Chain
2011, BULLETIN OF THE MALAYSIAN MATHEMATICAL SCIENCES SOCIETY, Fernandes,VH;Gomes,GMS;Jesus,MM
ON FINITE COMPLETE PRESENTATIONS AND EXACT DECOMPOSITIONS OF SEMIGROUPS
2011, COMMUNICATIONS IN ALGEBRA, Araujo,J;Malheiro,A
A SIMPLE CRITERION FOR EXTENDING NATURAL TRANSFORMATIONS TO HIGHER K-THEORY
2011, DOCUMENTA MATHEMATICA, Tabuada,G
Universal suspension via noncommutative motives
2011, JOURNAL OF NONCOMMUTATIVE GEOMETRY, Tabuada,G
Independent axiom systems for nearlattices
2011, CZECHOSLOVAK MATHEMATICAL JOURNAL, Araujo,J;Kinyon,M
Infant Pupil Diameter Changes in Response to Others' Positive and Negative Emotions
2011, PLOS ONE, Geangu,E;Hauf,P;Bhardwaj,R;Bentz,W
Tensor triangular geometry of non-commutative motives
2012, ADVANCES IN MATHEMATICS, Dell'Ambrogio,I;Tabuada,G
ON A PROBLEM OF M. KAMBITES REGARDING ABUNDANT SEMIGROUPS
2012, COMMUNICATIONS IN ALGEBRA, Araujo,J;Kinyon,M
WEIGHT STRUCTURE ON KONTSEVICH'S NONCOMMUTATIVE MIXED MOTIVES
2012, HOMOLOGY HOMOTOPY AND APPLICATIONS, Tabuada,G
The Cardinal of Various Monoids of Transformations That Preserve a Uniform Partition
2012, BULLETIN OF THE MALAYSIAN MATHEMATICAL SCIENCES SOCIETY, Fernandes,VH;Quinteiro,TM
The change in eigenvalue multiplicity associated with perturbation of a diagonal entry
2012, LINEAR & MULTILINEAR ALGEBRA, Johnson,CR;Leal Duarte,A;Saiago,CM
AXIOMS FOR UNARY SEMIGROUPS VIA DIVISION OPERATIONS
2012, COMMUNICATIONS IN ALGEBRA, Araujo,J;Kinyon,M
First variation formula and conservation laws in several independent discrete variables
2012, JOURNAL OF GEOMETRY AND PHYSICS, Casimiro,AC;Rodrigo,C
Monotonicity Constraints in Characterizations of PSPACE
2012, JOURNAL OF LOGIC AND COMPUTATION, Ben Amram,AM;Loff,B;Oitavem,I
Modalities Without Worlds
2012, The Realism-Antirealism Debate in the Age of Alternative Logics, Kahle,R
4-Cycle Decompositions of Graphs
2012, Open Journal of Discrete Mathematics, Sousa,T
Green index in semigroups: generators, presentations, and automatic structures
2012, SEMIGROUP FORUM, Cain,AJ;Gray,R;Ruskuc,N
Kontsevich's noncommutative numerical motives
2012, COMPOSITIO MATHEMATICA, Marcolli,M;Tabuada,G
CONTEXT-FREE REWRITING SYSTEMS AND WORD-HYPERBOLIC STRUCTURES WITH UNIQUENESS
2012, INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, Cain,AJ;Maltcev,V
STABILITY OF AFFINE G-VARIETIES AND IRREDUCIBILITY IN REDUCTIVE GROUPS
2012, INTERNATIONAL JOURNAL OF MATHEMATICS, Florentino,C;Casimiro,AC
TRANSFER MAPS AND PROJECTION FORMULAS
2012, PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, Tabuada,G
A method for finding new sets of axioms for classes of semigroups
2012, ARCHIVE FOR MATHEMATICAL LOGIC, Araujo,J;Konieczny,J
The maximal subsemigroups of semigroups of transformations preserving or reversing the orientation on a finite chain
2012, PUBLICATIONES MATHEMATICAE-DEBRECEN, Dimitrova,I;Fernandes,VH;Koppitz,J
Minimal Ockham algebras
2012, ALGEBRA UNIVERSALIS, Silva,HJ
The fundamental theorem via derived Morita invariance, localization, and A(1)-homotopy invariance
2012, JOURNAL OF K-THEORY, Tabuada,G
Finite derivation type for semilattices of semigroups
2012, SEMIGROUP FORUM, Malheiro,A
UNARY FA-PRESENTABLE SEMIGROUPS
2012, INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, Cain,AJ;Ruskuc,N;Thomas,RM
Symmetric monoidal structure on non-commutative motives
2012, JOURNAL OF K-THEORY, Cisinski,DC;Tabuada,G
The Multilinear Algebra of Jose Dias da Silva and the Portuguese school of mathematics
2012, LINEAR ALGEBRA AND ITS APPLICATIONS, Fernandes,R;da Cruz,HF
On pairs of matrices that satisfy certain polynomial identities
2012, LINEAR ALGEBRA AND ITS APPLICATIONS, da Cruz,HF;Fernandes,R
First variation formula for discrete variational problems in two independent variables
2012, REVISTA DE LA REAL ACADEMIA DE CIENCIAS EXACTAS FISICAS Y NATURALES SERIE A-MATEMATICAS, Casimiro,AC;Rodrigo,C
Checking proofs
2013, The Argument of Mathematics, Alama,J;Kahle,R
FINITELY GENERATED SOLUBLE GROUPS AND THEIR SUBGROUPS
2013, COMMUNICATIONS IN ALGEBRA, Brough,T;Holt,DF
The classification of normalizing groups
2013, JOURNAL OF ALGEBRA, Araujo,J;Cameron,PJ;Mitchell,JD;Neunhoeffer,M
Finding large co-Sidon subsets in sets with a given additive energy
2013, EUROPEAN JOURNAL OF COMBINATORICS, Dubickas,A;Schoen,T;Silva,M;Sarka,P
Products, multiplicative Chern characters, and finite coefficients via noncommutative motives
2013, JOURNAL OF PURE AND APPLIED ALGEBRA, Tabuada,G
Weil cohomologies and derived dg categories
2013, JOURNAL OF PURE AND APPLIED ALGEBRA, Tabuada,G
Fundamental isomorphism conjecture via non-commutative motives
2013, MATHEMATISCHE NACHRICHTEN, Balmer,P;Tabuada,G
Applicative theories for the polynomial hierarchy of time and its levels
2013, ANNALS OF PURE AND APPLIED LOGIC, Kahle,R;Oitavem,I
Rainbow vertex k-connection in graphs
2013, DISCRETE APPLIED MATHEMATICS, Liu,H;Mestre,A;Sousa,T
An extension of Brualdi's algorithm for the construction of (0,1)-matrices with prescribed row and column sum vectors
2013, DISCRETE MATHEMATICS, Fernandes,R;da Cruz,HF
Groups synchronizing a transformation of non-uniform kernel
2013, THEORETICAL COMPUTER SCIENCE, Araujo,J;Bentz,W;Cameron,PJ
Rees quotients of numerical semigroups
2013, PORTUGALIAE MATHEMATICA, Delgado,M;Fernandes,VH
A universal characterization of higher algebraic K-theory
2013, GEOMETRY & TOPOLOGY, Blumberg,AJ;Gepner,D;Tabuada,G
A characterization of adequate semigroups by forbidden subsemigroups
2013, PROCEEDINGS OF THE ROYAL SOCIETY OF EDINBURGH SECTION A-MATHEMATICS, Araujo,J;Kinyon,M;Malheiro,A
Monochromatic Kr-Decompositions of Graphs
2013, Electronic Notes in Discrete Mathematics, Liu,H;Sousa,T
Hyperbolicity of monoids presented by confluent monadic rewriting systems
2013, Beitrage zur Algebra und Geometrie, Cain,AJ
Chow motives versus noncommutative motives
2013, JOURNAL OF NONCOMMUTATIVE GEOMETRY, Tabuada,G
Automatic structures for subsemigroups of Baumslag-Solitar semigroups
2013, SEMIGROUP FORUM, Cain,AJ
From determinism, non-determinism and alternation to recursion schemes for P, NP and Pspace
2013, Leibniz International Proceedings in Informatics, LIPIcs, Oitavem,I
Computing with mathematical arguments
2013, New Challenges to Philosophy of Science, Alama,J;Kahle,R
Homotopy bases and finite derivation type for Schuzenberger groups of monoids
2013, JOURNAL OF SYMBOLIC COMPUTATION, Gray,R;Malheiro,A;Pride,SJ
Centralizers in the Full Transformation Semigroup
2013, SEMIGROUP FORUM, Araujo,J;Konieczny,J
Markov semigroups, monoids and groups
2014, INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, Cain,AJ;Maltcev,V
Inverse semigroups with idempotent-fixing automorphisms
2014, SEMIGROUP FORUM, Araujo,J;Kinyon,M
JACOBIANS OF NONCOMMUTATIVE MOTIVES
2014, MOSCOW MATHEMATICAL JOURNAL, Marcolli,M;Tabuada,G
Conjugation in semigroups
2014, JOURNAL OF ALGEBRA, Araujo,J;Konieczny,J;Malheiro,A
Hopfian and co-hopfian subsemigroups and extensions
2014, Demonstratio Mathematica, Cain,AJ;Maltcev,V
Morita homotopy theory of C-categories
2014, Journal of Algebra, Dell ºAmbrogio,I;Tabuada,G
Groups with poly-context-free word problem
2014, Groups, Complexity, Cryptology, Brough,T
Lefschetz and Hirzebruch-Riemann-Roch formulas via noncommutative motives
2014, Journal of Noncommutative Geometry, Cisinski,DC;Tabuada,G
Towards the Structure of Mathematical Proof
2014, Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014., Kahle,R
The gap structure of a family of integer subsets
2014, ELECTRONIC JOURNAL OF COMBINATORICS, Bernardino,A;Pacheco,R;Silva,M
SUPERNILPOTENCE PREVENTS DUALIZABILITY
2014, JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY, Bentz,W;Mayr,P
Monochromatic K-r-Decompositions of Graphs
2014, JOURNAL OF GRAPH THEORY, Liu,H;Sousa,T
Galois descent of additive invariants
2014, BULLETIN OF THE LONDON MATHEMATICAL SOCIETY, Tabuada,G
Taylor's modularity conjecture holds for linear idempotent varieties
2014, ALGEBRA UNIVERSALIS, Bentz,W;Sequeira,L
Finitely presented monoids with linear Dehn function need not have regular cross-sections
2014, SEMIGROUP FORUM, Cain,AJ;Maltcev,V
Primitive groups synchronize non-uniform maps of extreme ranks
2014, JOURNAL OF COMBINATORIAL THEORY SERIES B, Araujo,J;Cameron,PJ
Rainbow connection for some families of hypergraphs
2014, DISCRETE MATHEMATICS, Carpentier,RP;Liu,H;Silva,M;Sousa,T
Total rainbow k-connection in graphs
2014, DISCRETE APPLIED MATHEMATICS, Liu,H;Mestre,A;Sousa,T
Homotopy bases and finite derivation type for subgroups of monoids
2014, JOURNAL OF ALGEBRA, Gray,RD;Malheiro,A;Pride,SJ
Uniqueness of the multiplicative cyclotomic trace
2014, ADVANCES IN MATHEMATICS, Blumberg,AJ;Gepner,D;Tabuada,G
On the Ranks of Semigroups of Transformations on a Finite Set with Restricted Range
2014, ALGEBRA COLLOQUIUM, Fernandes,VH;Sanwong,J
On the term rank partition
2014, LINEAR ALGEBRA AND ITS APPLICATIONS, Fernandes,R;da Cruz,HF
The largest subsemilattices of the endomorphism monoid of an independence algebra
2014, LINEAR ALGEBRA AND ITS APPLICATIONS, Araujo,J;Bentz,W;Konieczny,J
Additive invariants of toric and twisted projective homogeneous varieties via noncommutative motives
2014, JOURNAL OF ALGEBRA, Tabuada,G
Voevodsky's mixed motives versus Kontsevich's noncommutative mixed motives
2014, ADVANCES IN MATHEMATICS, Tabuada,G
A Quillen model for classical Morita theory and a tensor categorification of the Brauer group
2014, JOURNAL OF PURE AND APPLIED ALGEBRA, Dell'Ambrogio,I;Tabuada,G
E-n-REGULARITY IMPLIES E (n-1)-REGULARITY
2014, DOCUMENTA MATHEMATICA, Tabuada,G
On semigroups of endomorphisms of a chain with restricted range
2014, SEMIGROUP FORUM, Fernandes,VH;Honyam,P;Quinteiro,TM;Singha,B
Subalgebras of FA-presentable algebras
2014, ALGEBRA UNIVERSALIS, Cain,AJ;Ruskuc,N
ON THE RANKS OF CERTAIN MONOIDS OF TRANSFORMATIONS THAT PRESERVE A UNIFORM PARTITION
2014, COMMUNICATIONS IN ALGEBRA, Fernandes,VH;Quinteiro,TM
Standard sequence subgroups in finite fields
2014, FINITE FIELDS AND THEIR APPLICATIONS, Brison,OJ;Eurico Nogueira,JE
Morita homotopy theory of C*-categories
2014, JOURNAL OF ALGEBRA, Dell'Ambrogio,I;Tabuada,G
Noncommutative Artin motives
2014, SELECTA MATHEMATICA-NEW SERIES, Marcolli,M;Tabuada,G
NONCOMMUTATIVE MOTIVES, NUMERICAL EQUIVALENCE, AND SEMI-SIMPLICITY
2014, AMERICAN JOURNAL OF MATHEMATICS, Marcolli,M;Tabuada,G
Witt vectors and K-theory of automorphisms via noncommutative motives
2014, MANUSCRIPTA MATHEMATICA, Tabuada,G
Dualizability of automatic algebras
2014, JOURNAL OF PURE AND APPLIED ALGEBRA, Bentz,W;Davey,BA;Pitkethly,JG;Willard,R
Sets of Parter vertices which are Parter sets
2014, LINEAR ALGEBRA AND ITS APPLICATIONS, Fernandes,R;da Cruz,HF
From exceptional collections to motivic decompositions via noncommutative motives
2015, JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, Marcolli,M;Tabuada,G
Exponentiable motivic measures
2015, JOURNAL OF THE RAMANUJAN MATHEMATICAL SOCIETY, Ramachandran,N;Tabuada,G
A countable family of finitely presented infinite congruence-free monoids
2015, ACTA SCIENTIARUM MATHEMATICARUM, Al Kharousi,F;Cain,AJ;Maltcev,V;Umar,A
Gentzen’s centenary: The quest for consistency
2015, Gentzen's Centenary: The Quest for Consistency, Kahle,R;Rathjen,M
Gentzen’s consistency proof in context
2015, Gentzen's Centenary: The Quest for Consistency, Kahle,R
Minimum H-Decompositions of Graphs and Its Ramsey Version: A Survey
2015, Dynamics, Games and Science, Sousa,T
Sets, Truth, and Recursion
2015, Unifying the Philosophy of Truth, Kahle,R
The maximum multiplicity and the two largest multiplicities of eigenvalues in a Hermitian matrix whose graph is a tree
2015, Special Matrices, Fernandes,R
Syntax versus Semantics
2015, CoRR, Kahle,R;Keller,W
Weil restriction of noncommutative motives
2015, JOURNAL OF ALGEBRA, Tabuada,G
Partial transformation monoids preserving a uniform partition
2015, SEMIGROUP FORUM, Cicalo,S;Fernandes,VH;Schneider,C
Computing the degree of a vertex in the skeleton of acyclic Birkhoff polytopes
2015, Linear Algebra and Its Applications, Fernandes,R
Rewriting systems and biautomatic structures for Chinese, hypoplactic, and sylvester monoids
2015, INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, Cain,AJ;Gray,RD;Malheiro,A
Decomposition of graphs into cycles of length seven and single edges
2015, ARS COMBINATORIA, Sousa,T
A(1)-homotopy invariants of dg orbit categories
2015, JOURNAL OF ALGEBRA, Tabuada,G
Finite Grobner-Shirshov bases for Plactic algebras and biautomatic structures for Plactic monoids
2015, JOURNAL OF ALGEBRA, Cain,AJ;Gray,RD;Malheiro,A
What is a Proof?
2015, AXIOMATHES, Kahle,R
Automaton semigroup constructions
2015, SEMIGROUP FORUM, Brough,T;Cain,AJ
Relations between the Chow motive and the noncommutative motive of a smooth projective variety
2015, JOURNAL OF PURE AND APPLIED ALGEBRA, Bernardara,M;Tabuada,C
The commuting graph of the symmetric inverse semigroup
2015, ISRAEL JOURNAL OF MATHEMATICS, Araujo,J;Bentz,W;Konieczny,J
Bivariant cyclic cohomology and Connes' bilinear pairings in noncommutative motives
2015, JOURNAL OF NONCOMMUTATIVE GEOMETRY, Tabuada,G
A canonical construction for nonnegative integral matrices with given line sums
2015, LINEAR ALGEBRA AND ITS APPLICATIONS, Fernandes,R;da Cruz,HF
The rank of the semigroup of transformations stabilising a partition of a finite set
2015, MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, Araujo,J;Bentz,W;Mitchell,JD;Schneider,C
Deciding conjugacy in sylvester monoids and other homogeneous monoids
2015, INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, Cain,AJ;Malheiro,A
Monochromatic Clique Decompositions of Graphs
2015, JOURNAL OF GRAPH THEORY, Liu,H;Pikhurko,O;Sousa,T
Unconditional noncommutative motivic Galois groups
2015, HODGE THEORY AND CLASSICAL ALGEBRAIC GEOMETRY, Marcolli,M;Tabuada,G
A1-homotopy invariants of dg orbit categories
2015, Journal of Algebra, Tabuada,G
A(1)-homotopy theory of noncommutative motives
2015, JOURNAL OF NONCOMMUTATIVE GEOMETRY, Tabuada,G
THE RANKS OF IDEALS IN VARIOUS TRANSFORMATION MONOIDS
2015, COMMUNICATIONS IN ALGEBRA, Zhao,P;Fernandes,VH
A simple non-bisimple congruence-free finitely presented monoid
2015, SEMIGROUP FORUM, Cain,AJ;Maltcev,V
NONCOMMUTATIVE MOTIVES OF AZUMAYA ALGEBRAS
2015, JOURNAL OF THE INSTITUTE OF MATHEMATICS OF JUSSIEU, Tabuada,G;van den Bergh,M
Towards a Proof-Theoretic Semantics of Equalities
2016, Advances in Proof-Theoretic Semantics., Kahle,R
Noncommutative mixed (Artin) motives and their motivic Hopf dg algebras
2016, SELECTA MATHEMATICA-NEW SERIES, Tabuada,G
TWO GENERALIZATIONS OF HOMOGENEITY IN GROUPS WITH APPLICATIONS TO REGULAR SEMIGROUPS
2016, TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, Araujo,J;Cameron,PJ
K-THEORY OF ENDOMORPHISMS VIA NONCOMMUTATIVE MOTIVES
2016, TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, Blumberg,AJ;Gepner,D;Tabuada,G
Diameter minimal trees
2016, LINEAR & MULTILINEAR ALGEBRA, Johnson,CR;Saiago,CM
The classification of partition homogeneous groups with applications to semigroup theory
2016, JOURNAL OF ALGEBRA, Andre,J;Araujo,J;Cameron,PJ
Noncommutative numerical motives, Tannakian structures, and motivic Galois groups
2016, JOURNAL OF THE EUROPEAN MATHEMATICAL SOCIETY, Marcolli,M;Tabuda,G
Topology of moduli spaces of free group representations in real reductive groups
2016, FORUM MATHEMATICUM, Casimiro,A;Florentino,C;Lawton,S;Oliveira,A
FROM SEMI-ORTHOGONAL DECOMPOSITIONS TO POLARIZED INTERMEDIATE JACOBIANS VIA JACOBIANS OF NONCOMMUTATIVE MOTIVES
2016, MOSCOW MATHEMATICAL JOURNAL, Bernardara,M;Tabuada,G
A NOTE ON BILATERAL SEMIDIRECT PRODUCT DECOMPOSITIONS OF SOME MONOIDS OF ORDER-PRESERVING PARTIAL PERMUTATIONS
2016, BULLETIN OF THE KOREAN MATHEMATICAL SOCIETY, Fernandes,VH;Quinteiro,TM
Monochromatic paths for the integers
2016, EUROPEAN JOURNAL OF COMBINATORICS, Guerreiro,J;Ruzsa,IZ;Silva,M
Permutations of context-free, ET0L and indexed languages
2016, DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, Brough,T;Ciobanu,L;Elder,M;Zetzsche,G
A note on secondary K-theory
2016, ALGEBRA & NUMBER THEORY, Tabuada,G
Noncommutative motives of separable algebras
2016, ADVANCES IN MATHEMATICS, Tabuada,G;Van den Bergh,M
Chow groups of intersections of quadrics via homological projective duality and (Jacobians of) non-commutative motives
2016, IZVESTIYA MATHEMATICS, Bernardara,M;Tabuada,G
Decision problems for word-hyperbolic semigroups
2016, JOURNAL OF ALGEBRA, Cain,MJ;Pfeiffer,M
Questions, conjectures, and data about multiplicity lists for trees
2016, LINEAR ALGEBRA AND ITS APPLICATIONS, Buckley,SP;Corliss,JG;Johnson,CR;Lombardia,CA;Saiago,CM
Primitive groups, graph endomorphisms and synchronization
2016, PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY, Araujo,J;Bentz,W;Cameron,PJ;Royle,G;Schaefer,A
Algebraic K-theory with coefficients of cyclic quotient singularities
2016, COMPTES RENDUS MATHEMATIQUE, Tabuada,G
Two function algebras defining functions in NCk boolean circuits
2016, INFORMATION AND COMPUTATION, Bonfante,G;Kahle,R;Marion,JY;Oitavem,I
On Semigroups of Orientation-preserving Transformations with Restricted Range
2016, COMMUNICATIONS IN ALGEBRA, Fernandes,VH;Honyam,P;Quinteiro,TM;Singha,B
Presentations for monoids of finite partial isometries
2016, SEMIGROUP FORUM, Fernandes,VH;Quinteiro,TM
Maximal doubly stochastic matrix centralizers
2017, LINEAR ALGEBRA AND ITS APPLICATIONS, da Cruz,HF;Dolinar,G;Fernandes,R;Kuzma,B
PICARD GROUPS, WEIGHT STRUCTURES, AND (NONCOMMUTATIVE) MIXED MOTIVES
2017, DOCUMENTA MATHEMATICA, Bondarko,M;Tabuada,G
Combinatorics of Cyclic Shifts in Plactic, Hypoplactic, Sylvester, and Related Monoids
2017, Combinatorics on Words - 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings, Cain,AJ;Malheiro,A
Mathematical truth revisited: Mathematics as a toolbox
2017, Varieties of Scientific Realism: Objectivity and Truth in Science, Kahle,R
A(1)-homotopy invariants of corner skew Laurent polynomial algebras
2017, JOURNAL OF NONCOMMUTATIVE GEOMETRY, Tabuada,G
Between primitive and 2-transitive: Synchronization and its friends
2017, EMS SURVEYS IN MATHEMATICAL SCIENCES, Araujo,J;Cameron,PJ;Steinberg,B
Modified Mixed Realizations, New Additive Invariants, and Periods of DG Categories
2017, INTERNATIONAL MATHEMATICS RESEARCH NOTICES, Tabuada,G
Four notions of conjugacy for abstract semigroups
2017, PROCEEDINGS OF THE ROYAL SOCIETY OF EDINBURGH SECTION A-MATHEMATICS, Araujo,J;Kinyon,M;Konieczny,J;Malheiro,A
Special issue on computational algebra
2017, PORTUGALIAE MATHEMATICA, Araujo,J;Cameron,PJ
Automaton semigroups: New constructions results and examples of non-automaton semigroups
2017, THEORETICAL COMPUTER SCIENCE, Brough,T;Cain,AJ
Von Dedekind zu Zermelo versus Peano zu Gödel
2017, Mathematische Semesterberichte, Kahle,R
Diagonalização, Paradoxos e o Teorema de Löb
2017, Revista Portuguesa de Filosofia, Santos,PG;Kahle,R
Bost-Connes systems, categorification, quantum statistical mechanics, and Weil numbers
2017, Journal of Noncommutative Geometry, Marcolli,M;Tabuada,G
Kimura-finiteness of quadric fibrations over smooth curves [Finitude à la Kimura de fibrations en quadriques sur des courbes lisses]
2017, Comptes Rendus Mathematique, Tabuada,G
Hilbert-bernays summer school on logic and computation 2016 co-sponsored by the association for symbolic logic
2017, Bulletin of Symbolic Logic, Kahle,R
Imprimitive permutations in primitive groups
2017, Journal of Algebra, Ara√∫jo,J;Ara√∫jo,J;Cameron,P;Dobson,T;Hulpke,A;Lopes,P
The logical Cone
2017, FLAP, Kahle,R
Directed graphs of inner translations of semigroups
2017, SEMIGROUP FORUM, Araujo,J;Bentz,W;Konieczny,J
Crystallizing the hypoplactic monoid: from quasi-Kashiwara operators to the Robinson-Schensted-Knuth-type correspondence for quasi-ribbon tableaux
2017, JOURNAL OF ALGEBRAIC COMBINATORICS, Cain,AJ;Malheiro,A
Coloring factors of substitutive infinite words
2017, DISCRETE MATHEMATICS, Bernardino,A;Pacheco,R;Silva,M
The number of distinct eigenvalues for which an index decreases multiplicity
2017, LINEAR ALGEBRA AND ITS APPLICATIONS, Johnson,CR;Duarte,AL;Saiago,CM
A note on generators of the endomorphism semigroup of an infinite countable chain
2017, JOURNAL OF ALGEBRA AND ITS APPLICATIONS, Dimitrova,I;Fernandes,VH;Koppitz,J
Semilinear preservers of the immanants in the set of the doubly stochastic matrices
2017, ELECTRONIC JOURNAL OF LINEAR ALGEBRA, Antonia Duffner,MA;Fernandes,R
GROWTHS OF ENDOMORPHISMS OF FINITELY GENERATED SEMIGROUPS
2017, JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY, Cain,AJ;Maltcev,V
Minimal matrices in the Bruhat order for symmetric (0,1)-matrices
2017, LINEAR ALGEBRA AND ITS APPLICATIONS, da Cruz,HF;Fernandes,R;Furtado,S
Decompositions of Graphs into Fans and Single Edges
2017, JOURNAL OF GRAPH THEORY, Liu,H;Sousa,T
Congruence kernels in Ockham algebras
2017, ALGEBRA UNIVERSALIS, Blyth,T;Silva,H
A note on symmetry classes of tensors and Specht modules
2017, LINEAR ALGEBRA AND ITS APPLICATIONS, Dias da Silva,JAD;Rodrigues,F;Silva,PC;Torres,MM
On finite complete rewriting systems, finite derivation type, and automaticity for homogeneous monoids
2017, INFORMATION AND COMPUTATION, Cain,AJ;Gray,RD;Malheiro,A