Publications

2015	A new notion of vertex independence and rank for finite graphs	International Journal of Algebra and Computation \| 2015 \| article	Pedro V. Silva J Rhodes
2015	A Note on Dimension Modules	Communications in Algebra \| 2015 \| article	Christian Lomp E Puczylowski
2015	A note on integrability and finite orbits for subgroups of Diff (Cn, 0)	Bulletin of the Brazilian Mathematical Society \| 2015 \| article	Helena Reis JC Rebelo
2015	A Note on Pseudovarieties of Completely Regular Semigroups	Bulletin of the Australian Mathematical Society \| 2015 \| article	Jorge Almeida A Costa
2015	A numerical approach to a control problem in passive tracer advection by point vortex flow	EPCO'015 - Encontro Português de Controlo Ótimo 2015 \| 2015 \| inproceedings	Sílvio Gama Carlos Balsa
2015	A Parametric Family of Subalgebras of the Weyl Algebra I. Structure and Automorphisms	Transactions of the American Mathematical Society \| 2015 \| article	Samuel Lopes G Benkart M Ondrus
2015	A review on the characterization of signals and systems by power law distributions	Signal Processing \| 2015 \| article	Carla M.A. Pinto AM Mendes Lopes JAT Tenreiro Machado
2015	A Routing/Assignment Problem in Garden Maintenance Services	Operational Research \| 2015 \| inproceedings	Ana Moura JO Orestes Cerdeira M Cruz
2015	A short note on type-inhabitation: Formula-trees vs. game semantics	Information Processing Letters \| 2015 \| article	Sabine Broda S Alves
2015	A Typed Language for Events	Logic-based Program Synthesis and Transformation (lopstr 2015) \| 2015 \| inproceedings	Sabine Broda M Fernandez S Alves
2015	A variational principle for impulsive semiflows	Journal of Differential Equations \| 2015 \| article	Maria Carvalho José Ferreira Alves CH Vasquez
2015	An Agent-Based MicMac Model for Forecasting of the Portuguese Population	Progress in Artificial Intelligence \| 2015 \| inproceedings	Rita Gaio P Campos R Fernandes
2015	An algorithm for packing tubes and boxes	Proceedings - CIE 45: 2015 International Conference on Computers and Industrial Engineering \| 2015 \| inproceedings	João Pedro Pedroso João Nuno Tavares J Leite
2015	An Augmented-rbf Method For Solving Fractional Sturm-liouville Eigenvalue Problems	Siam Journal on Scientific Computing \| 2015 \| article	Rui Ferreira PRS Antunes
2015	Área de um círculo	Revista de Ciência Elementar \| 2015 \| article	João Nuno Tavares Â Geraldo
2015	Associations between a posteriori defined dietary patterns and bone mineral density in adolescents	European Journal of Nutrition \| 2015 \| article	Rita Gaio C Lopes E Ramos H Barros R Lucas T Monjardino
2015	Average Size of Automata Constructions from Regular Expressions	Bulletin of the EATCS \| 2015 \| article	Sabine Broda Rogério Reis Nelma Moreira António Machiavelo
2015	Certain identities, connection and explicit formulas for the Bernoulli and Euler numbers and the Riemann zeta-values	Analysis \| 2015 \| article	Semyon Yakubovich
2015	Certifying execution time in multicores	Science of Computer Programming \| 2015 \| article	João Pedro Pedroso B Akesson M Florido P Vasconcelos SM de Sousa V Rodrigues
2015	Conservative flows with various types of shadowing	Chaos Solitons & Fractals \| 2015 \| article	Mário Bessa R Ribeiro
2015	Cutting Stock with Binary Patterns: Arc-flow Formulation with Graph Compression	CoRR \| 2015 \| misc	João Pedro Pedroso Filipe Brandão
2015	Deciding Kleene algebra terms equivalence in Coq	Journal of Logical and Algebraic Methods in Programming \| 2015 \| article	Nelma Moreira D Pereira SM de Sousa
2015	Deciding synchronous Kleene algebra with derivatives	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) \| 2015 \| inproceedings	Sabine Broda Nelma Moreira M Ferreira S Cavadas
2015	Delay in the diagnosis of tuberculosis	Revista Portuguesa De Pneumologia \| 2015 \| misc	Rita Gaio C Teixeira M Guimaraes O Oliveira R Duarte
2015	Dense heteroclinic tangencies near a Bykov cycle	Journal of Differential Equations \| 2015 \| article	Isabel Labouriau