Publications
Found 343 results
Author Title Type [ Year] Filters: First Letter Of Last Name is B [Clear All Filters]
[2014-36] Derivative Based Methods for Deciding SKA and SKAT DCC-FC & CMUP, Universidade do Porto .Edit
On the Equivalence of Automata for KAT-expressions. Vol 8493. Beckmann A, Csuhaj-Varjú E, Meer K, editors 2014.Edit
On the Equivalence of Automata for KAT-expressions. Vol 8493. Beckmann A, Csuhaj-Varjú E, Meer K, editors 2014.Edit
Fetal QRS detection and heart rate estimation: A wavelet-based approach. Physiological Measurement. 2014;35:1723-1735.Edit
A Hitchhiker's Guide to descriptional complexity through analytic combinatorics. Theoret. Comput. Sci.. 2014;528:85-100.Edit
Inflection points and asymptotic lines on Lagrangian surfaces. Differential Geom. Appl.. 2014;35:9-29.
Kinetochore motors drive congression of peripheral polar chromosomes by overcoming random arm-ejection forces. Nature cell biology. 2014;16:1249-1256.Edit
[2014-37] Kleene Algebra Completeness DCC-FC & CMUP, Universidade do Porto .Edit
Logaritmos em Portugal (sécs. XVII e XVIII). In: 6º Encontro Luso-Brasileiro de História da Matemática. Vol Anais/Actas do 6º Encontro Luso-Brasileiro de História da Matemática. Sociedade Brasileira de História da Matemática ed. Brasil, São João d'El-Rei: Sociedade Brasileira de História da Matemática; 2014. 2. p. 241-269p. Edit
[2014-28] Multifractal analysis of the irregular set for almost-additive sequences via large deviations .Edit
Pentagonos, y otras figuras de muchos lados no «Libro de Algebra» de Pedro Nunes. In: 6º Encontro Luso-Brasileiro de História da Matemática. Vol Anais/Actas do 6º Encontro Luso-Brasileiro de História da Matemática. Sociedade Brasileira de História da Matemática ed. Brasil, São João d'El-Rei: Sociedade Brasileira de História da Matemática; 2014. 3. p. 331-350p. Edit
QRS detection optimization in stress test recordings using evolutionary algorithms. In: Computing in Cardiology Conference (CinC), 2014.; 2014. 7. p. 737-740p. Edit
Representations of surface groups and Higgs bundles. Vol Moduli Spaces. Isaac Newton Institute ed. Brambila-Paz L, Newstead P, Thomas RPW, García-Prada O, editors Cambridge University Press 2014.Edit
Statistical Study on The Number of Injective Linear Finite Transducers. Bensch S, Freund R, Otto F, editors Oesterreichische Computer Gesellschaft 2014.Edit
Symmetric Groups and Quotient Complexity of Boolean Operations. Vol 8573. Esparza J, Fraigniaud P, Husfeldt T, Koutsoupias E, editors 2014.Edit
Symmetric Groups and Quotient Complexity of Boolean Operations. Vol 8573. Esparza J, Fraigniaud P, Husfeldt T, Koutsoupias E, editors 2014.Edit
Anomalous diffusion of inertial particles in random parallel flows: theory and numerics face to face. Journal of Statistical Mechanics. 2015;2015(10):P10023: 1-21.Edit
Average Size of Automata Constructions from Regular Expressions. Bulletin of the European Association for Theoretical Computer Science. 2015:167-192.Edit
On Decidability of Intermediate Levels of Concatenation Hierarchies. In: 19th International Conference Developments in Language Theory (DLT 2015). Vol Developments in Language Theory, LNCS 9168. UK, Liverpool: Springer; 2015. 5. p. 58-70p. Edit
Deciding Synchronous Kleene Algebra with Derivatives. In: Drewes F, editor. Implementation and Application of Automata, 20th International Conference (CIAA 2015). Vol 9223.; 2015. 4. p. 49-62p. (LNCS; vol 9223).Edit
Derivations of a parametric family of subalgebras of the Weyl algebra. J. Algebra. 2015;424:46-97.Edit
Dynamic Political Effects in a Neoclassic Growth Model with Healthcare and Creative Activities. In: Bourguignon J-P, Jeltsch R, Pinto AAdrego, Viana M, editors. Dynamics, Games and Science: International Conference and Advanced School Planet Earth, DGS II, Portugal, August 28–September 6, 2013. Springer International Publishing; 2015. 3. p. 317-326p. Edit