P. Oliveira, F.M.C. Clemente, Network properties and performance variables and its relationships with distance covered during elite soccer games, Journal of Physical Education and Sport, Vol. 19, No. 4, pp. 1 - 5, December, 2019,
| Abstract | BibTex

R. Sousa, S. Bredt, P. J. G. Greco, F.M.C. Clemente, I. Teoldo, G. M. P. Praça, Influence of limiting the number of ball touches on players’ tactical behaviour and network properties during football small-sided games, International Journal of Performance Analysis in Sport, Vol. 19, No. 6, pp. 1 - 25, December, 2019,
| Abstract | BibTex

F. Silva, V. Lopes, J. S. R. Ribeiro, F. Martins, uPATO Mobile - Network Module, Inforum - Simpósio de Informática, Guimarães, Portugal, Vol., pp. 132 - 143, September, 2019 | BibTex

S. Du, D. Qiu Qiu, P. Mateus, J. Gruska, Synthesis of quantum images using phase rotation, Quantum Information Processing, Vol. 18, No. 1, pp. 286 - 286, September, 2019 | BibTex

P. Yadav, P. Mateus, N. Paunkovic, A. Souto, Quantum contract signing with entangled pairs., Entropy, Vol. 21, No. 9, pp. 821 - 821, August, 2019 | BibTex

S. Du, D. Qiu Qiu, P. Mateus, J. Gruska, Enhanced double random phase encryption of quantum images, Results in Physics, Vol. 13, No. 1, pp. 102161 - 102161, August, 2019 | BibTex

S. T. Amin, B. Mera, N. Paunkovic, V. Vieira, Information geometric analysis of long range topological superconductors, Journal of Physics Condensed Matter, Vol. in print, No. 1, pp. 1 - 1, August, 2019 | BibTex

C. Caleiro, F. Casal, A. Mordido, Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities, Theoretical Computer Science, Vol. 781, No. 1, pp. 39 - 62, August, 2019 | BibTex

Y. Niu, J. J. Júdice, H A Le Thi Le Thi, T P Dinh Dinh, Improved dc programming approaches for solving the quadratic eigenvalue complementarity problem, Applied Mathematics and Computation, Vol. 353, No. 1, pp. 95 - 113, July, 2019 | BibTex

B. Mera, K. Sacha Sacha, Y. Omar, Topologically Protected Quantization of Work, Physical Review Letters, Vol. 123, No. 2, pp. 020601-1 - 020601-6, July, 2019,
| Abstract | BibTex

W. Onetti-Onetti, J. Chinchilla-Minguet, F. Martins, A. Castillo-Rodriguez, Self-Concept and Physical Activity: Differences Between High School and University Students in Spain and Portugal, Frontiers in Physiology, Vol. 10, No. 1333, pp. 1 - 8, June, 2019,
| Abstract | BibTex

B. Mera, Information Geometry in the Analysis of Phase Transitions, Acta Physica Polonica A, Vol. 135, No. 6, pp. 1171 - 1179, June, 2019,
| Abstract | BibTex

F. Campos, D. Craveiro, D. Alves Alves, F. Bernardo, F. Cardoso, F. Martins, R. Mendes, RG Gomes, THE PERCEPTION OF WATER AEROBICS PARTICIPANTS IN RELATION TO THE QUALITY OF THE INSTRUCTOR, Revista Iberoamericana de Psicologia del Ejercicio y el Deporte, Vol. 14, No. 1, pp. 27 - 32, May, 2019,
| Abstract | Full text (PDF 163 KBs) | BibTex

N. L. Martins, F. Martins, J. B. Lopes, J. Cravino, C. Costa, The Use of Applets in Understanding Fundamental Mathematical Concepts in Initial Teacher’s Training, Communications in Computer and Information Science, Vol. 993, No. 1, pp. 307 - 318, May, 2019,
| Abstract | BibTex

F. Moura, Dilatonic black holes in superstring gravity, Physical Review D, Vol. 99, No. 8, pp. 086008 - 086008, April, 2019 | BibTex

N. Paunkovic, L. J. Ju, M. Yang, W.-J. C. Chu, Z. Cao, Creating photonic GHZ and W states via quantum walk, Quantum Information Processing, Vol. 18, No. 6, pp. 176 - 176, April, 2019,
| Abstract | BibTex

A. F. Sousa, D. Santos, The Minimum Cost D-Geodiverse Anycast Routing with Optimal Selection of Anycast Nodes, Int. Conf. on Design of Reliable Communication Networks DRCN, Coimbra, Portugal, Vol., pp. 21 - 28, March, 2019,
| Abstract | BibTex

F. Barbosa, A. F. Sousa, A. Agra, Evaluation and Design of Elastic Optical Networks Resilient to Multiple Node Failures, International Conference on the Design of Reliable Communication Networks DRCN, Coimbra, Portugal, Vol., pp. 154 - 161, March, 2019,
| Abstract | BibTex

S. Marcelino, C. Caleiro, Axiomatizing non-deterministic many-valued generalized consequence relations, Synthese, Vol. 00, No. 00, pp. 00 - 00, February, 2019 | BibTex

P. Mateus, Final Report, Instituto de Telecomunicações, February, 2019

S. Marcelino, C. Caleiro, Analytic Calculi for Monadic PNmatrices, Chapter in, Logic, Language, Information, and Computation, WoLLIC 2019, LNCS, vol 11541, Springer Berlin Heidelberg, Berlin, 2019

F. Silva, Q. Nguyen, A. Correia, F.M.C. Clemente, F. Martins, Ultimate Performance Analysis Tool (uPATO): Implementation of Network Measures Based on Adjacency Matrices for Team Sports, Springer International Publishing, Switzerland, 2019,
| BibTex

J. F. Costa, M.P.G. Gouveia, Matemática Discreta, IST Press, Lisboa, 2019,
| BibTex

F. Campos, S. G. V. González-Víllora, D. González-Gómez, F. Martins, Benefits of 8-week fitness programs in health and fitness parameters, Retos, Vol. 35, No. 1, pp. 224 - 228, January, 2019,
| Abstract | Full text (PDF 83 KBs) | BibTex

M. Pan, D. Qiu Qiu, P. Mateus, J. Gruska, Entangling and disentangling in Grover's search algorithm, Theoretical Computer Science, Vol. 773, No. 1, pp. 138 - 138, January, 2019 | BibTex

A. F. Sousa, T. Gomes, R. Girão-Silva, L. Martins, Minimization of the network availability upgrade cost with geodiverse routing for disaster resilience, Optical Switching and Networking, Vol. 31, No. -, pp. 127 - 143, January, 2019,
| Abstract | BibTex

A. Santos, F.M.C. Clemente, J. Sanchez, F. Campos, R. Mendes, F. Martins, Social Network Analysis applied in Children: Cooperation games versus cooperation-opposition games, Journal of Physical Education and Sport, Vol. 18, No. 2, pp. 1 - 8, December, 2018,
| Abstract | BibTex

J. P. M. Mateus, P. Rebelo Rebelo, S. Rosa, CMS Silva, D. F. M. T. Torres, Optimal control of non-autonomous SEIRS models with vaccination and treatment, Discrete and Continuous Dynamical Systems - Series S, Vol. 11, No. 6, pp. 1179 - 1199, December, 2018 | BibTex

S. Rosa, D. F. M. T. Torres, Optimal control of a fractional order epidemic model with application to human respiratory syncytial virus infection, Chaos, Solitons and Fractals, Vol. 117, No. 1, pp. 142 - 149, December, 2018 | BibTex

P.D. Sacramento, B. Mera, N. Paunkovic, Vanishing k-space fidelity and phase diagram’s bulk-edge-bulk correspondence, Annals of Physics, Vol. 401, No. -, pp. 40 - 59, December, 2018,
| Abstract | BibTex

M. A. Vicente, C. Costa, F. Martins, P. Beites, José Vitória, Best Approximation Pair of Two Skew Lines via an ANDERSON-DUFFIN Formula, East Asian Journal on Applied Mathematics, Vol. 109, No. 1, pp. 89 - 104, December, 2018,
| Abstract | BibTex

M. A. Vicente, José Vitória, F. Martins, C. Costa, P. Tadeu, Distance Between Linear Varieties in $R^{n}$. Application of an (In)Equality by (FAN-TODD) BEESACK, East Asian Journal on Applied Mathematics, Vol. 109, No. 1, pp. 57 - 88, December, 2018,
| Abstract | BibTex

B. Mera, S. T. Amin, C. V. Vlachou, N. Paunkovic, V. Vieira, Fidelity and Uhlmann connection analysis of topological phase transitions in two dimensions, Physical Review B - Condensed Matter and Materials Physics, Vol. 98, No. 24, pp. 245141-1 - 245141-19, December, 2018,
| Abstract | BibTex

F.M.C. Clemente, Performance outcomes and their associations with network measures during FIFA World Cup 2018, International Journal of Performance Analysis in Sport, Vol. 6, No. 4, pp. 1 - 14, December, 2018,
| Abstract | BibTex

D. Santos, A. F. Sousa, C. Mas Machuca, Combined Control and Data Plane Robustness of SDN Networks against Malicious Node Attacks, International Conf. on Network and Service Management - CNSM, Rome, Italy, Vol., pp. 54 - 62, November, 2018,
| Abstract | BibTex

J. Fernandes, C. Andrade, F. Martins, S. Silveira, A comunicação organizacional em cooperação com a educação básica: Uma experiência pedagógica, Exedra, Vol. 1, No. 1, pp. 58 - 67, November, 2018,
| Abstract | Full text (PDF 119 KBs) | BibTex

C. Caleiro, S. Marcelino, U. Rivieccio, Characterizing finite-valuedness, Fuzzy Sets and Systems, Vol. 345, No. 0, pp. 113 - 125, October, 2018 | BibTex

S. Marcelino, C. Caleiro, J. Marcos, Combining fragments of classical logic: When are interaction principles needed?, Soft Computing, Vol. 00, No. 00, pp. 00 - 00, October, 2018 | BibTex

F. Barbosa, A. Agra, A. F. Sousa, Critical Node Detection with Connectivity Based on Bounded Path Lengths, Congresso da APDIO, Aveiro, Portugal, Vol. 278, Springer Proceedings in Mathematics & Statistics (2019), pp. 15 - 28, September, 2018,
| Abstract | BibTex

C. Hampson, S. Kikot, A. Kurucz, S. Marcelino, Non-finitely Axiomatisable Modal Products with Infinite Canonical Axiomatisations, AiML.net Advances in Modal Logic - AiML, Bern, Switzerland, Vol., pp. -, August, 2018,
| Abstract | BibTex

F. Barbosa, A. F. Sousa, A. Agra, Topology Design of Transparent Optical Networks Resilient to Multiple Node Failures, International Workshop on Resilient Networks Design and Modeling RNDM, Longyearbyen, Norway, Vol., pp. 1 - 8, August, 2018,
| Abstract | BibTex

B. Vass, L. Németh, M. Zachariasen, A. F. Sousa, J. Tapolcai, Vulnerable Regions of Networks on Sphere, International Workshop on Resilient Networks Design and Modeling RNDM, Longyearbyen, Norway, Vol., pp. 1 - 8, August, 2018,
| Abstract | BibTex

C. Natalino, A. F. Sousa, L. Wosinska, M. Furdek, On the Trade-offs between User-to-Replica Distance and CDN Robustness to Link Cut Attacks, International Workshop on Resilient Networks Design and Modeling RNDM, Longyearbyen, Norway, Vol., pp. 1 - 7, August, 2018,
| Abstract | BibTex

D. Graça, N. Zhong, Computability of Ordinary Differential Equations, Computability in Europe - CIE, Kiel, Germany, Vol., pp. -, August, 2018 | BibTex

S. Rosa, P. Rebelo Rebelo, CMS Silva, H. Alves, P.G.C. Carvalho, Optimal control of the customer dynamics based on marketing policy, Applied Mathematics and Computation, Vol. 330, No. 1, pp. 42 - 55, August, 2018 | BibTex

R. Guerra, A. M. Carvalho, P. Mateus, Model Selection for Clustering of Pharmacokinetic Responses, Computer Methods and Programs in Biomedicine, Vol. 162, No. 2018, pp. 11 - 18, August, 2018 | BibTex

A. F. Sousa, G. Gallo, S. Gutierrez, F. Robledo, P. Rodríguez-Bocca, P. Romero, Heuristics for the Minimum Broadcast Time, Electronic Notes in Discrete Mathematics, Vol. 69, No. -, pp. 165 - 172, August, 2018,
| Abstract | BibTex

C. V. Vlachou, W. Krawec, P. Mateus, N. Paunkovic, A. Souto, Quantum key distribution with quantum walks, Quantum Information Processing, Vol. 17, No., pp. 288 - 288, August, 2018 | BibTex

N. Paunkovic, MV Vojinovic, Gauge protected entanglement between gravity and matter, Classical and Quantum Gravity, Vol. 35, No. 18, pp. 185015 -, August, 2018 | BibTex

C. Mas Machuca, P. Vizarreta, R. Durner, D. Santos, A. F. Sousa, Design problems towards reliable SDN Networks, OSA Advanced Photonics Congress, Zurich, Switzerland, Vol., pp. NeM2F.1 -, July, 2018,
| Abstract | BibTex

C. Caleiro, G. Ramos, S. Pequito, The robust minimal controllability problem for switched linear continuous-time systems, American Control Conference, Milwaukee, United States, Vol., pp. -, June, 2018 | BibTex

S. Marcelino, C. Caleiro, Semantics for combined Hilbert calculi, World Congress and School on Universal Logic - UNILOG, Vichy, France, Vol., pp. -, June, 2018 | BibTex

S. Marcelino, C. Caleiro, Modular analysis of Hilbert calculi, World Congress and School on Universal Logic - UNILOG, Vichy, France, Vol., pp. -, June, 2018 | BibTex

G. M. P. Praça, F.M.C. Clemente, A. G.P.A. Andrade, J. C. P. M. Morales, P. J. G. Greco, Network analysis in small-sided and conditioned soccer games: the influence of additional players and playing position, Kinesiology, Vol. 50, No. 1, pp. 1 - 29, June, 2018,
| Abstract | BibTex

F.M.C. Clemente, A. Owen, J. Sierra-Olivares, A. Correia, J. Sequeiros, F. Silva, F. Martins, The effects of large-sided soccer training games and pitch size manipulation on time-motion profile, spatial exploration and surface area: tactical opportunities, Proceedings of the Institution of Mechanical Engineers, Part P: Journal of Sports Engineering and Technology, Vol. 232, No. 2, pp. 1 - 20, June, 2018,
| Abstract | BibTex

A.I. Iusem, J. J. Júdice, V S Sessa, P. Sarabando, Splitting methods for the Eigenvalue Complementarity Problem, Optimization Methods and Software, Vol. 33, No. 5, pp. 1 - 29, June, 2018 | BibTex

N. L. Martins, J. B. Lopes, J. Cravino, C. Costa, F. Martins, O uso de manipulativos virtuais na compreensão do algoritmo da adição, Encontro Internacional de Formação na Docência, Bragança, Portugal, Vol. 1, pp. 1 - 18, May, 2018,
| Abstract | BibTex

W. Zhang, D. Qiu Qiu, P. Mateus, Security of a single-state semi-quantum key distribution protocol, Quantum Information Processing, Vol. 17, No. 6, pp. 135 - 135, May, 2018 | BibTex

C. Miguel, On the sumsets of exceptional units in a finite commutative ring., Monatshefte für Mathematik, Vol. 186, No. 2, pp. 315 - 320, May, 2018,
| Abstract | BibTex

PTN Nikolaidis, F.M.C. Clemente, C. Linden, T. Rosemann, B. Knechtle, Validity and reliability of 10-Hz global positioning system to assess in-line movement and change of direction, Frontiers in Physiology, Vol. April, No. April, pp. 1 - 24, April, 2018,
| Abstract | BibTex

L. ZHANG, C. Shen, W. Yang, J. J. Júdice, A Lanczos Method for Large-Scale Extreme Lorentz Eigenvalue Problems, SIAM Journal on Matrix Analysis and Applications, Vol. 39, No. 2, pp. 611 - 631, April, 2018 | BibTex

A. Souto, F. Casal, J. Rasga, Kolmogorov One-Way Functions Revisited, Designs, Codes, and Cryptography, Vol. 2, No. 2, pp. 9 - 9, April, 2018,
| Abstract | Full text (PDF 289 KBs) | BibTex

B. Mendes, F.M.C. Clemente, N. Maurício, Variance in prominence levels and in patterns of passing sequences in elite and youth soccer players: A network approach, Journal of Human Kinetics, Vol. 60, No. 1, pp. 1 - 17, March, 2018,
| Abstract | BibTex

O. Ferreira, F.M.C. Clemente, J. Sanchez, R. Mendes, F. Campos, F. Silva, F. Martins, Study of network process in children during cooperation games, Journal of Physical Education and Sport, Vol. 18, No. 1, pp. 1 - 5, March, 2018,
| Abstract | BibTex

R. Marques, F. Martins, R. Mendes, M. Coelho-e-Silva, G. Dias, The use of Eye Tracking Glasses in Basketball Shooting: a Systematic Review, Journal of Physical Education and Sport, Vol. 18, No. 1, pp. 175 - 183, March, 2018,
| Abstract | BibTex

B. Mera, C. V. Vlachou, N. Paunkovic, V. Vieira, O. Viyuela, Dynamical phase transitions at finite temperature from fidelity and interferometric Loschmidt echo induced metrics, Physical Review B - Condensed Matter and Materials Physics, Vol. 97, No. 9, pp. 094110-1 - 094110-15, March, 2018,
| Abstract | BibTex

C. Miguel, Generalized quaternion rings over Z/nZ for an odd n, Advances in Applied Clifford Algebras, Vol. 28, No. 1, pp. 1 - 14, March, 2018,
| Abstract | BibTex

D. Santos, A. F. Sousa, C. Mas Machuca, Robust SDN Controller Placement to Malicious Node Attacks, Conf. on Innovation in Clouds, Internet and Networks ICIN, Paris, France, Vol., pp. 1 - 8, February, 2018,
| Abstract | BibTex

S. Rosa, D. T. Torres, Parameter Estimation, Sensitivity Analysis and Optimal Control of a Periodic Epidemic Model with Application to HRSV in Florida, STATISTICS, OPTIMIZATION AND INFORMATION COMPUTING, Vol. 6, No. 1, pp. 139 - 149, February, 2018,
| Abstract | BibTex

D. Santos, A. F. Sousa, P. Monteiro, Compact Models for Critical Node Detection in Telecommunication Networks, Electronic Notes in Discrete Mathematics, Vol. 64, No. 1, pp. 325 - 334, February, 2018,
| Abstract | BibTex

F. Barbosa, A. F. Sousa, A. Agra, The Design of Transparent Optical Networks Minimizing the Impact of Critical Nodes, Electronic Notes in Discrete Mathematics, Vol. 64, No. -, pp. 165 - 174, February, 2018,
| Abstract | BibTex

F. Martins, F. Campos, R. Melo, C. Leandro, RG Gomes, R. Mendes, A.S. Damásio, Formiga: atividade física-desportiva, alimentação e estilos de vida saudável em crianças dos 3 aos 9 anos de idade, Chapter in, Educación a través del deporte: actividad física y valores, G. Galdón, C. Milla, L. Mora, R. Gutiérrez e A. Sanchéz, Asociación Didáctica Andalucía, Jaén, 2018

A.S. Damásio, R. Mendes, F. Campos, F. Martins, R. Melo, RG Gomes, C. Leandro, A educação física e desporto em Portugal como parte do processo educativo: a ESEC e a sua oferta formativa, Chapter in, Educación a través del deporte: actividad física y valores, G. Galdón, C. Milla, L. Mora, R. Gutiérrez e A. Sanchéz, Asociación Didáctica Andalucía, Jaén, 2018

F. Campos, C. Leandro, F. Martins, R. Melo, RG Gomes, R. Mendes, A.S. Damásio, Os jogos, as lengalengas e as danças tradicionais infantis. Proposta de recriação e trabalho interdisciplinar, Chapter in, Educación a través del deporte: actividad física y valores, G. Galdón, C. Milla, L. Mora, R. Gutiérrez e A. Sanchéz, Asociación Didáctica Andalucía, Jaén, 2018

R. Melo, A.S. Damásio, C. Leandro, F. Martins, F. Campos, RG Gomes, R. Mendes, Desporto, lazer e educação: uma perspetiva a partir dos desportos de natureza, Chapter in, Educación a través del deporte: actividad física y valores, G. Galdón, C. Milla, L. Mora, R. Gutiérrez e A. Sanchéz, Asociación Didáctica Andalucía, Jaén, 2018

S. Marcelino, C. Caleiro, U. Rivieccio, Plug and Play Negations, Chapter in, Contradictions, from Consistency to Inconsistency, W. Carnielli and J. Malinowski, Springer International Publishing AG Springer Nature, Cham, 2018

P. Mateus, P. Branco, A code-based linkable ring signature scheme, Chapter in, ProvSec Selected papers, Springer, Berlin, 2018

A. Sernadas, C. Sernadas, J. Rasga, J. Ramos, A Mathematical Primer on Computability, College Publications, Lisboa, 2018,
| BibTex

F.M.C. Clemente, J. Sequeiros, A. Correia, J. Sierra-Olivares, S. G. V. González-Víllora, F. Silva, F. Martins, How dots behave in different playing scenarios? Analysis of tactical behavior based on position data in two soccer field sizes, RICYDE. Revista internacional de ciencias del deporte, Vol. 51, No. 1, pp. 1 - 13, January, 2018,
| Abstract | BibTex

B. S. Silva, F.M.C. Clemente, F. Martins, Associations between Functional Movement Screen scores and performance variables in Surf Athletes, Journal of Sports Medicine and Physical Fitness, Vol. 57, No. december, pp. 1 - 18, December, 2017,
| Abstract | BibTex

C. Caleiro, A. Mordido, Probabilistic logic over equations and domain restrictions, Mathematical Structures in Computer Science, Vol. 0, No. 0, pp. 0 - 0, December, 2017 | BibTex

D. Peixoto, G. M. P. Praça, S. Bredt, F.M.C. Clemente, Comparison of network processes between successful and unsuccessful offensive sequences in elite soccer, Human Movement, Vol. 18, No. 5, pp. 1 - 14, December, 2017,
| Abstract | BibTex

X. Li, M. Yang, N. Paunkovic, D. Li, Z. Cao, Entanglement swapping via three-step quantum walk-like protocol, Physics Letters, Section A: General, Atomic and Solid State Physics, Vol. 381, No. 46, pp. 3875 - 3879, December, 2017 | BibTex

S. G. V. González-Víllora, F.M.C. Clemente, F. Martins, J. C. P. V. Vicedo, Effects of regular and conditioned small-sided games on young football players’ heart rate responses, technical performance and network structure, Human Movement, Vol. 18, No. 5, pp. 1 - 18, December, 2017,
| Abstract | BibTex

C. Caleiro, J. Saúde, G. Ramos, S. Kar, Reputation-based ranking systems and their resistance to bribery, International Conf. on Data Mining, New Orleans, United States, Vol., pp. -, November, 2017 | BibTex

Cecília Rosa, Using a Triple Helix approach to examine interactions and dynamics of innovation in less-favoured regions: The case of the Portuguese Polytechnic of Guarda, Industry and Higher Education, Vol. 31, No. 6, pp. 351 - 359, November, 2017 | BibTex

C. Miguel, Cesàro’s formula in number fields, Journal of Number Theory, Vol. 180, No. 1, pp. 606 - 614, November, 2017,
| Abstract | BibTex

S. Chakraborty, L.N. Novo, S. Di Giorgio, Y. Omar, Optimal Quantum Spatial Search on Random Temporal Networks, Physical Review Letters, Vol. 119, No. NA, pp. 220503 - NA, November, 2017,
| Abstract | BibTex

J. L. S. Sobrinho, D. Fialho, P. Mateus, Stabilizing BGP through distributed elimination of recurrent routing loops, IEEE International Conference on Network Protocols ICNP, Toronto, Canada, Vol., pp. -, October, 2017,
| Abstract | BibTex

S. Marcelino, C. Caleiro, J. Marcos, What the bleep do we know about classical connectives?, Isralog 2017, Haifa, Israel, Vol., pp. -, October, 2017 | BibTex

S. Marcelino, C. Caleiro, Fibring partial non-deterministic matrices, Isralog 2017, Haifa, Israel, Vol., pp. -, October, 2017 | BibTex

D. Graça, C. Rojas, N. Zhong, Computing geometric Lorenz attractors with arbitrary precision, Transactions of the American Mathematical Society, Vol. To appear, No. To appear, pp. To appear - To appear, October, 2017 | BibTex

F.M.C. Clemente, F. Martins, Who are the prominent players in the UEFA Champions League? An approach based on network analysis, Walailak Journal of Science and Technology, Vol. 14, No. Sport and Health Sciences issue, pp. 1 - 8, October, 2017,
| Abstract | BibTex

O. Bournez, D. Graça, A. P. Pouly, Polynomial Time Corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length, Journal of the ACM, Vol. 64, No. 6, pp. Article no. 38 - Article no. 38, October, 2017 | BibTex

A. F. Sousa, T. Gomes, R. Girão-Silva, L. Martins, Minimizing the network availability upgrade cost with geodiversity guarantees, International Workshop on Resilient Networks Design and Modeling RNDM, Alghero, Italy, Vol., pp. 1 - 8, September, 2017,
| Abstract | BibTex

O. Bournez, D. Graça, A. P. Pouly, On the Functions Generated by the General Purpose Analog Computer, Information and Computation, Vol. To appear, No. To appear, pp. To appear - To appear, September, 2017 | BibTex

S. Marcelino, U. Rivieccio, Locally tabular ̸= locally finite, Logica Universalis, Vol. 11, No. 3, pp. 383 - 400, September, 2017 | BibTex

C. Caleiro, F. Casal, A. Mordido, Classical generalized probabilistic satisfiability, International Joint Conf. on Artificial Intelligence - IJCAI, Melbourne, Australia, Vol., pp. -, August, 2017 | BibTex

F.M.C. Clemente, PTN Nikolaidis, E. Guijarro, F. Martins, S. G. V. González-Víllora, Analysis of a weekly microcycle in professional handball training, South African Journal for Research in Sport, Physical Education and Recreation, Vol. 39, No. 2, pp. 1 - 22, August, 2017,
| Abstract | BibTex

S. Pequito, S. Kar, P. Aguiar, J. Ramos, G. Ramos, The robust minimal controllability problem, Automatica, Vol. 82, No. 1, pp. 261 - 268, August, 2017 | BibTex

B. Mera, C. V. Vlachou, N. Paunkovic, V. Vieira, Boltzmann–Gibbs states in topological quantum walks and associated many-body systems: fidelity and Uhlmann parallel transport analysis of phase transitions, Journal of Physics A: Mathematical and Theoretical, Vol. 50, No. 36, pp. 365302 - 365302-17, August, 2017,
| Abstract | BibTex

C. Caleiro, L. Viganò, Compositional meaning in logic, Logica Universalis, Vol. 11, No. 3, pp. 283 - 295, August, 2017 | BibTex

F.M.C. Clemente, A. Correia, J. Sequeiros, F. Martins, F. Silva, Efeitos da dimensão do campo na variabilidade posicional de futebolistas: seguindo os pontos com o uPATO, Congresso Internacional de Jogos Desportivos, Porto, Portugal, Vol., pp. -, July, 2017,
| Abstract | BibTex

F.M.C. Clemente, J. Sequeiros, A. Correia, F. Silva, F. Martins, Seguindo a variabilidade da trajetória de futebolistas ao longo de um jogo condicionado: estudo com recurso ao uPATO, Congresso Internacional de Jogos Desportivos, Porto, Portugal, Vol., pp. -, July, 2017,
| Abstract | BibTex

F. Martins, F. Silva, Q. Nguyen, F.M.C. Clemente, Análise da variação dos valores de densidade, reciprocidade e centralização da network entre diferentes resultados finais: estudo em equipas de futebol de elite, Congresso Internacional de Jogos Desportivos, Porto, Portugal, Vol. 1, pp. 64 - 64, July, 2017,
| Abstract | BibTex

F. Martins, F. Silva, Q. Nguyen, F.M.C. Clemente, Análise da proeminência de futebolistas durante sequências de passes de equipas participantes na UEFA Champions League 2015/2016, Congresso Internacional de Jogos Desportivos, Porto, Portugal, Vol. 1, pp. 65 - 65, July, 2017,
| Abstract | BibTex

S. Marcelino, C. Caleiro, Disjoint fibring of non-deterministic matrices, Workshop on Logic Language Information and Computation Wollic, London, United Kingdom, Vol., pp. -, July, 2017 | BibTex

A. F. Sousa, D. Melo, P. Monteiro, A worst case analysis of C-RAN fronthaul coverage length with Ethernet based technologies, International Conf. on Transparent Optical Networks - ICTON, Girona, Spain, Vol., pp. We.D2.3 -, July, 2017,
| Abstract | BibTex

F.M.C. Clemente, F. Martins, Estudo da sequência de passes entre jogadores profissionais de futebol durante os jogos em casa ao longo de uma época desportiva: Aplicabilidade das medidas de social network analysis, Revista Iberoamericana de Psicologia del Ejercicio y el Deporte, Vol. 12, No. 2, pp. 195 - 202, July, 2017,
| Abstract | BibTex

F.M.C. Clemente, S. G. V. González-Víllora, A. D. Delextrat, F. Martins, J. C. P. V. Vicedo, Effects of the sports level, format of the game and task condition on heart rate responses, technical and tactical performance of youth basketball players, Journal of Human Kinetics, Vol. 58, No. 1, pp. 141 - 155, July, 2017,
| Abstract | BibTex

F.M.C. Clemente, F. Martins, Network structure of UEFA Champions League teams: association with classical notational variables and variance between different levels of success, International Journal of Computer Science in Sport, Vol. 16, No. 1, pp. 39 - 50, July, 2017,
| Abstract | BibTex

Cecília Rosa, E. Pereira, Evolution of the Number of Students in Elementary and Secondary School in Portugal and Population Ageing, Open Journal of Social Sciences, Vol. 5, No. 7, pp. 112 - 127, July, 2017 | BibTex

B. Mera, C. V. Vlachou, N. Paunkovic, V. Vieira, Uhlmann connection in fermionic systems undergoing phase transitions, Physical Review Letters, Vol. 119, No. 1, pp. 015702 - 015702-6, July, 2017,
| Abstract | BibTex

A.I. Iusem, J. J. Júdice, V S Sessa, H. Sherali, The second-order cone quadratic eigenvalue complementarity problem, Pacific Journal of Optimization, Vol. 13, No. 3, pp. 475 - 500, July, 2017 | BibTex

D. Moniz, A. Eira, A. F. Sousa, J. J. O. Pires, On the comparative efficiency of non-disruptive defragmentation techniques in flexible-grid optical networks, Optical Switching and Networking, Vol. 25, No. -, pp. 149 - 159, July, 2017 | BibTex

M. F. Forjaz, A. Almeida, L. M. Fernandes, J. Pamplona, T. Lacerda-Arôso, Approaching an Overdamped System as a Quadratic Eigenvalue Problem, Applied Mathematics and Information Sciences, Vol. 11, No. 4, pp. 961 - 965, July, 2017 | BibTex

A. Santos, Comparação entre jogos de cooperação e jogos de cooperação-oposição ao nível da atividade física e da interação em crianças do 1º Ciclo do Ensino Básico, Escola Superior de Educação de Coimbra, July, 2017

O. Ferreira, Efeito de jogos lúdico-recreativos de cooperação no nível da atividade física e nas interações em crianças no 1ºCiclo do Ensino Básico, Escola Superior de Educação de Coimbra, July, 2017

S. Silva, Efeito de jogos lúdico-recreativos de cooperação-oposição no nível de atividade física e nas interações em crianças no 1ºCiclo do Ensino Básico, Escola Superior de Educação de Coimbra, July, 2017

S. Chakraborty, L.N. Novo, S. Di Giorgio, Y. Omar, Optimal quantum spatial search on random temporal networks, Granada Seminar, Granada, Spain, Vol., pp. -, June, 2017 | BibTex

F. Silva, Q. Nguyen, A. Gomes, F. Martins, F.M.C. Clemente, A new tool for network analysis on team sports - The ultimate performance analysis tool, IEEE International Conference on Engineering, Technology and Innovation (ICE/ITMC) ICE, Madeira Island, Portugal, Vol., pp. 454 - 460, June, 2017 | BibTex

F.M.C. Clemente, J. Sequeiros, A. Correia, F. Martins, F. Silva, Motion variability during small-sided games: using the dots to assessing the tactical behaviour, World Conference on Science & Soccer - WCSS, Rennes, France, Vol., pp. 119 - 120, June, 2017,
| Abstract | BibTex

P. Oliveira, F. Martins, F.M.C. Clemente, Emergence of networks in specific regions of the court: analysis in futsal teams, Journal of Physical Education and Sport, Vol. 17, No. 3, pp. 1 - 5, June, 2017,
| Abstract | BibTex

C. Caleiro, F. Casal, A. Mordido, Generalized probabilistic satisfiability, Theoretical Computer Science, Vol. 332, No. 0, pp. 39 - 56, June, 2017 | BibTex

S. Silva, F. Martins, J. Sanchez, F. Silva, R. Mendes, F. Campos, F.M.C. Clemente, Network process of children: influence of gender and type of game during cooperative-oposition games, Journal of Physical Education and Sport, Vol. 17, No. 2, pp. 692 - 697, June, 2017,
| Abstract | BibTex

A. Portugal, F. Campos, F. Martins, R. Melo, Understanding the relation between serious surfing, surfing profile, surf travel behaviour and destination attributes preferences, European Journal of Tourism Research, Vol. 16, No. 1, pp. 57 - 73, June, 2017,
| Abstract | BibTex

F. Campos, F. Martins, V. SIMÕES, S. FRANCO, Fitness participants perceived quality by age and practiced activity, Journal of Physical Education and Sport, Vol. 17, No. 2, pp. 698 - 704, June, 2017,
| Abstract | BibTex

F. Martins, Q. Nguyen, F. Silva, F.M.C. Clemente, Testing the centralization, heterogeneity and reciprocity levels during passing sequences: an approach with uPATO software, World Conference on Science & Soccer - WCSS, Rennes, France, Vol. 1, pp. 121 - 122, May, 2017,
| Abstract | BibTex

F. Martins, Q. Nguyen, F.M.C. Clemente, F. Silva, Measuring the players’ intermediation in passing sequences: network analysis by using the uPATO software, World Conference on Science & Soccer - WCSS, Rennes, France, Vol. 1, pp. 348 - 349, May, 2017,
| Abstract | BibTex

C. Miguel, J. Grau, A. Oller-Marcén, On the Zero Divisor Graphs of the Ring of Lipschitz Integers Modulo n, Advances in Applied Clifford Algebras, Vol. 27, No. 2, pp. 1191 - 1202, May, 2017,
| Abstract | BibTex

J. Rodrigues, P. Mateus, N. Paunkovic, A. Souto, Oblivious transfer based on single-qubit rotations, Journal of Physics A: Mathematical and Theoretical, Vol. 50, No. 20, pp. 205301 - 205301, April, 2017 | BibTex

J. Rasga, C. Sernadas, P. Mateus, A. Sernadas, Decision and optimization problems in the unreliable-circuit logic, Logic Journal of the IGPL, Vol. jzx00, No. 1, pp. 1 - 25, April, 2017 | BibTex

F. Campos, M. MARQUES, S. SILVA, F. Martins, V. SIMÕES, S. FRANCO, Physical self-description and sport participation, by gender, of university students, Journal of Physical Education and Sport, Vol. 17, No. 1, pp. 207 - 2011, April, 2017,
| Abstract | BibTex

X Zhang, D. Qiu Qiu, X Zou Zou, P. Mateus, Analyses and improvement of a broadcasting multiple blind signature scheme based on quantum GHZ entanglement., Quantum Information Processing, Vol. in print, No. 1, pp. 1 - 1, April, 2017 | BibTex

A. F. Sousa, D. Santos, P. Monteiro, Determination of the Minimum Cost Pair of D-Geodiverse Paths, Int. Conf. on Design of Reliable Communication Networks DRCN, Munich, Germany, Vol., pp. 101 - 108, March, 2017,
| Abstract | BibTex

A. F. Sousa, D. Mehta, D. Santos, The Robust Node Selection Problem aiming to Minimize the Connectivity Impact of any Set of p Node Failures, Int. Conf. on Design of Reliable Communication Networks DRCN, Munich, Germany, Vol., pp. 138 - 145, March, 2017,
| Abstract | BibTex

I. Duque, F. Martins, F.M.C. Clemente, Outdoor play and interaction’s skills in early childhood education: how to measure by using social network analysis, Journal of Physical Education and Sport, Vol. 17, No. 3, pp. 1 - 7, March, 2017,
| Abstract | BibTex

R. Fernandes, J. J. Júdice, V. Trevisan, Complementary Eigenvalues of Graphs, Linear Algebra and Its Applications, Vol. 1, No. 1, pp. 1 - 14, March, 2017 | BibTex

J. Rodrigues, P. Mateus, N. Paunkovic, A simulator for discrete quantum walks on lattices, International Journal of Modern Physics C, Vol. 1, No. 1750055, pp. 1 - 21, March, 2017 | BibTex

F.M.C. Clemente, F. Martins, R. Mendes, Uma abordagem multidisciplinar para o ensino de técnicos em jogos desportivos coletivos, Chapter in, Ciências Aplicadas: Coletânea de Estudos, Susana Gonçalves, Helena Almeida, Paula Fonseca, Cândida Malça, Fátima Neves, Carlos Dias Pereira e Marco Veloso, CINEP/IPC, Coimbra, 2017 | Full text (PDF 227 KBs)

C. Caleiro, M.P.G. Gouveia, J. Ramos, L. Viganò, A tableau-based decision procedure for distributed temporal logic, Chapter in, Logic and Computation -- Essays in Honour of Amilcar Sernadas, pages 73-124, College Publications, London, 2017

C. Caleiro, S. Marcelino, J. Marcos, Merging fragments of classical logic, Chapter in, Frontiers of Combining Systems (FroCoS 2017), Springer, Heidelberg, 2017

S. G. V. González-Víllora, F.M.C. Clemente, Caracterização dos conhecimentos técnico-táticos declarativos e processuais de jovens futebolistas entre os 6 e os 12 anos, Chapter in, 10os Estudos em Desenvolvimento Motor da Criança, Luís Paulo Rodrigues, Filipe Manuel Clemente e Ricardo Lima, Escola Superior de Desporto e Lazer, Instituto Politécnico de Viana do Castelo, Melgaço, 2017

S. Marcelino, C. Caleiro, Disjoint Fibring of Non-deterministic Matrices, Chapter in, Logic, Language, Information, and Computation, WoLLIC 2017, LNCS, vol 10388, Kennedy J., de Queiroz R., Springer Berlin Heidelberg, Berlin, 2017

F. Martins, I. Duque, L. Pinho, A. Coelho, V. Vale, Educação Pré-Escolar e Literacia Estatística, Psicosoma, Viseu, 2017,
| BibTex

C. Caleiro, F. Dionísio, M.P.G. Gouveia, P. Mateus, J. Rasga, Logic and Computation -- Essays in Honour of Amilcar Sernadas, College Publications, London, 2017,
| BibTex

F.M.C. Clemente, J. Sequeiros, A. Correia, F. Silva, F. Martins, Computational Metrics and Its Applications on the Analysis of Soccer: Connecting the dots, Springer International Publishing, Singapore, 2017,
| BibTex

A. F. Sousa, P. Monteiro, C. B. Lopes, Lightpath Admission Control and Rerouting in Dynamic Flex-Grid Optical Transport Networks, Networks, Vol. 69, No. 1, pp. 151 - 163, January, 2017,
| Abstract | BibTex

F.M.C. Clemente, F. Martins, M. Couceiro Couceiro, R. Mendes, Inspecting the Collective Behaviours: A Survey for Football Teams, Research Journal of Applied Sciences, Vol. 11, No. 9, pp. 764 - 771, December, 2016,
| Abstract | BibTex

F.M.C. Clemente, A. Dellal, D. P. Wong, F. Martins, R. Mendes, Heart rate responses and distance coverage during 1vs.1 duel in soccer: effects of neutral player and different scoring methods, Science and Sports, Vol. 31, No. 6, pp. 1 - 20, December, 2016,
| Abstract | BibTex

P. Oliveira, F.M.C. Clemente, F. Martins, Assessment of interactions in children's playground by using network measures: An exploratory study based on graph theory, Journal of Physical Education and Sport, Vol. 16, No. 4, pp. 1 - 5, December, 2016,
| Abstract | BibTex

L. Oliveira, J. R. Rodrigues, A. F. Sousa, V. D. Denisov, Network Admission Control Solution for 6LoWPAN Networks Based on Symmetric Key Mechanisms, IEEE Transactions on Industrial Informatics, Vol. 12, No. 6, pp. 2186 - 2195, December, 2016,
| Abstract | BibTex

A. Agra, A. F. Sousa, M. Doostmohammadi, The Minimum Cost Design of Transparent Optical Networks Combining Grooming, Routing, and Wavelength Assignment, IEEE/ACM Transactions on Networking, Vol. 24, No. 6, pp. 3702 - 3713, December, 2016,
| Abstract | BibTex

R. Loura Loura, D. Arsenović, N. Paunkovic, D. Popovic, S. Prvanović, Security of two-state and four-state practical quantum bit-commitment protocols, Physical Review A - Atomic, Molecular, and Optical Physics, Vol. 94, No. 1, pp. 062335 - 062335, December, 2016 | BibTex

C. Caleiro, Generalizing truth-functionality, Instituto de Telecomunicações, PIRSES-GA-2012-318986, December, 2016

F.M.C. Clemente, P. Faria, D. Peixoto, G. Veloso, R. Pereira, F. Martins, Soccer formations may influence the network centralities and properties of elite teams?, International Congress of Exercise and Health, Sports and Human Development CIDESD2016, Évora, Portugal, Vol. 1, pp. 1 - 1, November, 2016 | BibTex

R. J. Pratas, F. Martins, V. Rato, Modelação Matemática como Prática de Sala de Aula: o uso de manipulativos virtuais no desenvolvimento dos sentidos da adição, Encontro de Investigação em Educação Matemática - EIEM, Évora, Portugal, Vol. 1, pp. 35 - 48, November, 2016,
| Abstract | BibTex

S. Oliveira, F. Martins, R. Mendes, EXPOSIÇÃO EXPLORÍSTICA – AVENTURAS NA ESTATÍSTICA: UMA PRIMEIRA EXPERIÊNCIA COM UMA TURMA DO 3.º ANO DE ESCOLARIDADE, Encontro Internacional: A Voz dos Professores de Ciências e Tecnologia VPCT, Vila Real, Portugal, Vol. 1, pp. 1 - 12, November, 2016,
| Abstract | BibTex

C. Miguel, On the diameter of the commuting graph of the matrix ring over a centrally finite division ring, Linear Algebra and Its Applications, Vol. 509, No. 509, pp. 276 - 285, November, 2016,
| Abstract | BibTex

A. Cerveira, A. F. Sousa, E. Solteiro Pires, JM Baptista, Optimal Cable Design of Wind Farms: The Infrastructure and Losses Cost Minimization Case, IEEE Transactions on Power Systems, Vol. 31, No. 6, pp. 4319 - 4329, November, 2016,
| Abstract | BibTex

F.M.C. Clemente, F. Martins, S. G. V. González-Víllora, R. Mendes, A influência de jogos reduzidos e condicionados com conteúdos táticos em jovens futebolistas: análise do rendimento técnico e organização coletiva, Conference of Sociedade Científica de Pedagogia do Desporto, Viseu, Portugal, Vol. 2, pp. 13 - 13, October, 2016,
| Abstract | BibTex

F.M.C. Clemente, PTN Nikolaidis, F. Martins, R. Mendes, Weekly physical activity patterns of university students: Are athletes more active than non-athletes?, SpringerPlus, Vol. 5, No. 1, pp. 1808 - 1808, October, 2016,
| Abstract | BibTex

O. Bournez, D. Graça, A. P. Pouly, Computing with polynomial ordinary differential equations, Journal of Complexity, Vol. 36, No. -, pp. 106 - 140, October, 2016 | BibTex

M. Brás, A.I. Iusem, J. J. Júdice, On the Quadratic Eigenvalue Complementarity Problem, Journal of Global Optimization, Vol. 66, No. 2, pp. 153 - 171, October, 2016 | BibTex

A. F. Sousa, L. Gouveia, P. Patrício, Maximization of Protected Demand in Telecommunication Networks using Partial Disjoint Paths, International Workshop on Resilient Networks Design and Modeling RNDM, Halmstad, Sweden, Vol. 1, pp. 72 - 78, September, 2016,
| Abstract | BibTex

T. Gomes, J. Tapolcai, C. Esposito, D.H. Hutchison, F. Kuipers, J. Rak, A. F. Sousa, A. Iossifides, R Travanca, J. André, L. Jorge, L. Martins, P. Ortiz Ugalde, A. Pašić, D. Pezaros, S. Jouet, S. Secci, M. Tornatore, A survey of strategies for communication networks to protect against large-scale natural disasters, International Workshop on Resilient Networks Design and Modeling RNDM, Halmstad, Sweden, Vol. 1, pp. 11 - 22, September, 2016,
| Abstract | BibTex

S. Marcelino, Characterizing finite-valuedness, Trends in Logic XVI, Campinas, Brazil, Vol., pp. -, September, 2016 | BibTex

F.M.C. Clemente, F. Silva, F. Martins, D. Kalamaras, R. Mendes, Performance analysis tool (PATO) for network analysis on team sports: a case study of FIFA Soccer World Cup 2014, Proceedings of the Institution of Mechanical Engineers, Part P: Journal of Sports Engineering and Technology, Vol. 230, No. 3, pp. 158 - 170, September, 2016,
| Abstract | BibTex

P. Oliveira, F.M.C. Clemente, F. Martins, Association between technical variables and tactical prominence in rink-hockey, Journal of Physical Education and Sport, Vol. 16, No. 3, pp. 1 - 7, September, 2016,
| Abstract | BibTex

P. Oliveira, F.M.C. Clemente, F. Martins, Network measures and digraph theory applied to soccer analysis: Midfielder is the key player in youth teams, Journal of Physical Education and Sport, Vol. 16, No. 2, pp. 1023 - 1028, September, 2016,
| Abstract | BibTex

P. Oliveira, F.M.C. Clemente, F. Martins, Graph theory and social network analysis applied to the study of young basketball players: Variance of centrality levels, Sport Science, Vol. 9, No. 3, pp. 1 - 10, September, 2016,
| Abstract | BibTex

F.M.C. Clemente, F. Martins, F. Silva, The development of sports network analysis: Methodological considerations, Journal of Physical Education and Sport, Vol. 16, No. 3, pp. 940 - 944, September, 2016,
| Abstract | BibTex

F.M.C. Clemente, F. Martins, R. Mendes, F. Silva, Social network measures to match analysis in soccer: A survey, Journal of Physical Education and Sport, Vol. 16, No. 3, pp. 823 - 830, September, 2016,
| Abstract | BibTex

M. Brás, A. Fischer, J. J. Júdice, K. Schönefeld, S. Seifert, A block active set algorithm with spectral choice line search for the symmetric eigenvalue complementarity problem, Applied Mathematics and Computation, Vol. 294, No. 1, pp. 36 - 48, September, 2016 | BibTex

F.M.C. Clemente, F. José, N. Oliveira, F. Martins, R. Mendes, A. Figueiredo, D. P. Wong, D. Kalamaras, Network structure and centralization tendencies in professional football teams from Spanish La Liga and English Premier Leagues, Journal of Human Sport and Exercise, Vol. 11, No. 3, pp. 1 - 16, September, 2016,
| Abstract | BibTex

S. Marcelino, C. Caleiro, On the characterization of fibred logics, with applications to conservativity and finite-valuedness, Journal of Logic and Computation, Vol. 27, No. 7, pp. 2063 - 2088, August, 2016,
| Abstract | BibTex

G. Ramos, C. Caleiro, Symbolic Probabilistic Analysis of Side-Channel Information, Sessão Especial/Temática “Criptografia e Tópicos Relacionados” no “Encontro Nacional da Sociedade Portuguesa de Matemática, Barreiro, Portugal, Vol. n.a., pp. n.a. - n.a., July, 2016,
| Abstract | BibTex

S. Marcelino, C. Caleiro, J. Marcos, U. Rivieccio, On the abstract characterization of broadly truth-functional logics, International Joint Conf. on Automated Reasoning - IJCAR, Coimbra, Portugal, Vol. 0, pp. 0 - 0, July, 2016,
| Abstract | BibTex

S. Marcelino, C. Caleiro, J. Marcos, Can classical reasoning be recovered through the combination of logics?, International Joint Conf. on Automated Reasoning - IJCAR, Coimbra, Portugal, Vol. 0, pp. 0 - 0, July, 2016,
| Abstract | BibTex

A. Souto, A.T. Teixeira, JNA Azevedo, JA Alves, O caso do DL N.º 198/2012 nos inventários declarados nas empresas da região centro de Portugal, International Conference of Applied Business and Management ICABM, Porto, Portugal, Vol. 1, pp. 1 - 1, July, 2016,
| Abstract | BibTex

A. F. Sousa, C. B. Lopes, P. Monteiro, M. C. R. Medeiros, Throughput assessment of TCP over distributed WiFi access networks supported by RoF, International Conf. on Transparent Optical Networks - ICTON, Trento, Italy, Vol. 1, pp. We.D2.1 - We.D2.1, July, 2016,
| Abstract | BibTex

O. Bournez, D. Graça, A. P. Pouly, Polynomial Time Corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length - The General Purpose Analog Computer and Computable Analysis are two efficiently equivalent models of computations, International Colloquium on Automata, Languages and Programming - ICALP, Rome, Italy, Vol. Leibniz International Proceedings in Informatics (LIPIcs), volume 55, pp. 109:1 - 109:15, July, 2016 | BibTex

M. Brás, G. E. Eichfelder, J. J. Júdice, Copositivity tests based on the linear complementarity problem, Computational Optimization and Applications, Vol. 63, No. 2, pp. 461 - 493, July, 2016 | BibTex

A.I. Iusem, J. J. Júdice, V S Sessa, H. Sherali, On the numerical solution of the quadratic eigenvalue complementarity problem, Numerical Algorithms, Vol. 72, No. 3, pp. 721 - 747, July, 2016 | BibTex

C. Miguel, A Menon-type identity in residually finite Dedekind domains, Journal of Number Theory, Vol. 164, No. 164, pp. 43 - 51, July, 2016 | BibTex

P. Mendes, F. Martins, E. Cantante, M. Catarino, A. Casqueiro, A matemática e a Educação Física em Cooperação: Uma Prática Interdisciplinar no Ensino Básico, Congresso Mundial de Estilos de Aprendizagem, Bragança, Portugal, Vol. 1, pp. 2417 - 2428, June, 2016,
| Abstract | BibTex

P. Adão, RF Focardi, JDG Guttman, FLL Luccio, Localizing Firewall Security Policies, IEEE Computer Security Foundations Symposium - CSF, Lisboa, Portugal, Vol. 1, pp. 194 - 209, June, 2016,
| Abstract | BibTex

F.M.C. Clemente, M. Couceiro Couceiro, F. Martins, R. Mendes, A. Figueiredo, Developing a tactical metric to estimate the defensive area of soccer teams: the defensive play area, Proceedings of the Institution of Mechanical Engineers, Part P: Journal of Sports Engineering and Technology, Vol. 230, No. 2, pp. 124 - 132, June, 2016,
| Abstract | BibTex

F.M.C. Clemente, F. Martins, R. Mendes, Analysis of Scored and Conceded Goals by a Football Team throughout a Season: A Network Analysis, Kinesiology, Vol. 48, No. 1, pp. 103 - 114, June, 2016,
| Abstract | BibTex

L. M. Fernandes, M. Fukushima, J. J. Júdice, H. Sherali, The second-order cone eigenvalue complementarity problem, Optimization Methods and Software, Vol. 31, No. 1, pp. 24 - 52, June, 2016 | BibTex

F.M.C. Clemente, A. Figueiredo, F. Martins, R. Mendes, D. P. Wong, Physical and technical performances are not associated with tactical prominence in U14 soccer matches, Research in Sports Medicine, Vol. 24, No. 2, pp. 1 - 18, June, 2016,
| Abstract | BibTex

L. Gouveia, P. Patrício, A. F. Sousa, Lexicographical minimization of routing hops in hop-constrained node survivable networks, Telecommunication Systems, Vol. 62, No. 2, pp. 417 - 434, June, 2016,
| Abstract | BibTex

S. Marcelino, C. Caleiro, Decidability and complexity of fibred logics without shared connectives, Logic Journal of the IGPL, Vol. 24, No. 5, pp. 673 - 707, June, 2016,
| Abstract | BibTex

A. F. Sousa, A Tomaszewski, M. Pióro, Bin-packing based optimisation of EON Networks with S-BVTs, Conf. on Optical Networks Design and Modelling - ONDM, Cartagena, Spain, Vol. 1, pp. 170 - 175, May, 2016,
| Abstract | BibTex

F.M.C. Clemente, F. Martins, R. Mendes, Network of football players: Comparison between different competitive levels and tactical positions, Research Journal of Applied Sciences, Vol. 11, No. 5, pp. 1 - 14, May, 2016,
| Abstract | BibTex

A. F. Sousa, C. B. Lopes, P. Monteiro, Compact ILP formulations for the routing and wavelength assignment problem in the design of optical transport networks with regenerators, EURO Journal on Computational Optimization, Vol. 4, No. 2, pp. 189 - 213, May, 2016,
| Abstract | BibTex

A. P. Pouly, D. Graça, Computational complexity of solving polynomial differential equations over unbounded domains, Theoretical Computer Science, Vol. 626, No. 2, pp. 67 - 82, May, 2016 | BibTex

H. P. Paulino, D. P. Parreira, N. Delgado, A.R. Ravara, A. Matos, From atomic variables to data-centric concurrency control, ACM/SIGAPP Symposium on Applied Computing SAC, Pisa, Italy, Vol. Proceedings of the 31st Annual {ACM} Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016, pp. 1806 - 1811, April, 2016 | BibTex

N. Paunkovic, MV Vojinovic, Gravity-matter entanglement in Regge quantum gravity, QM15 Conference, Vienna, Austria, Vol. 701, pp. 1 - 3, March, 2016,
| Abstract | Full text (PDF 166 KBs) | BibTex

I. Duque, F. Martins, Literacia estatística num curso de Educação Básica: necessidade de um conhecimento especializado, Encontro Internacional de Formação na Docência, Bragança, Portugal, Vol. 1, pp. 162 - 170, March, 2016,
| Abstract | BibTex

P. Oliveira, F.M.C. Clemente, F. Martins, Identifying the centrality levels of futsal players: A network approach, Journal of Physical Education and Sport, Vol. 16, No. 1, pp. 8 - 12, March, 2016,
| Abstract | BibTex

F.M.C. Clemente, PTN Nikolaidis, F. Martins, R. Mendes, Physical activity patterns in university students: Do they follow the public health guidelines?, PLoS ONE, Vol. 11, No. 3, pp. 1 - 11, March, 2016,
| Abstract | BibTex

Z. L. Luo, J. F. Santos, A. Matos, T. Rezk, Mashic compiler: Mashup sandboxing based on inter-frame communication, Computers and Security, Vol. 24, No. 1, pp. 91 - 136, March, 2016 | BibTex

L. Antunes, B. Bauwens, A. Souto, A.T. Teixeira, Sophistication vs Logical Depth, Theory of Computing Systems, Vol. 1, No. 1, pp. 1 - 1, March, 2016,
| Abstract | Full text (PDF 365 KBs) | BibTex

A. Souto, JNA Azevedo, A.T. Teixeira, JA Alves, O IMPACTO DAS MEDIDAS GOVERNAMENTAIS DE COMBATE À FRAUDE E EVASÃO FISCAL NA PRESTAÇÃO DE CONTAS DAS EMPRESAS: O CASO DO DL N.º 198/2012 NOS INVENTÁRIOS DECLARADOS, Jornadas Luso-Espanholas, Idanha a nova, Portugal, Vol. 1, pp. 1 - 18, February, 2016,
| Abstract | Full text (PDF 405 KBs) | BibTex

R. A. Andreani, J. J. Júdice, M. Martinez, T. M. Martini, Feasibility problems with complementarity constraints, European Journal of Operational Research, Vol. 249, No. 1, pp. 41 - 54, February, 2016 | BibTex

A. Santos, J. Fernandes, F. Martins, R. Mendes, Psicomotricidade - método dirigido e método espontâneo no ensino Pré-escolar, Chapter in, Estudos em Desenvolvimento Motor da Criança IX, J. Serrano e J. Petrica, Instituto Politécnico de Castelo Branco, Castelo Branco, 2016

F.M.C. Clemente, F. Martins, R. Mendes, Social Network Analysis Applied to Team Sports Analysis, Springer International Publishing, Switzerland, 2016,
| BibTex

F.M.C. Clemente, Small-Sided and Conditioned Games in Soccer Training: The Science and Practical Applications, Springer, Singapore, 2016,
| BibTex

F.M.C. Clemente, F. Martins, R. Mendes, P. Oliveira, The effects of small-sided and conditioned games on the heart rate responses, technical and tactical performances measured by mathematical methods, Research Journal of Applied Sciences, Vol. 11, No. 1, pp. 7 - 13, January, 2016,
| Abstract | BibTex

A. Almeida, A. Stojanovic, N. Paunkovic, R. Loura Loura, N. J. Muga, N. A. Silva, P. Mateus, P.S André, A. N. Pinto, Implementation of a two-state quantum bit commitment protocol in optical fibers, Journal of Optics, Vol. 18, No. 1, pp. 015202 - 015202, January, 2016,
| Abstract | BibTex

CMS Silva, S. Rosa, H.A. Alves, P.G.C. Carvalho, A mathematical model for the customer dynamics based on marketing policy, Applied Mathematics and Computation, Vol. 273, No. 1, pp. 42 - 53, January, 2016 | BibTex

Z. H. Huang, D. Qiu Qiu, P. Mateus, Geometry and dynamics of one-norm geometric quantum discord, Quantum Information Processing, Vol. 15, No., pp. 301 - 326, January, 2016 | BibTex

P. Oliveira, F.M.C. Clemente, F. Martins, There are associations between technical performance and tactical prominence? A study in futsal players, Sport Science, Vol. 8, No. 2, pp. 1 - 13, December, 2015,
| Abstract | BibTex

P. Oliveira, F.M.C. Clemente, F. Martins, Who is the prominent tactical position in rink-hockey? A network approach based on centrality metrics, Journal of Physical Education and Sport, Vol. 15, No. 4, pp. 657 - 662, December, 2015,
| Abstract | BibTex

P. Oliveira, F.M.C. Clemente, F. Martins, Is the technical efficacy associated with prominence level in football?, Sport Science, Vol. 8, No. 2, pp. 12 - 17, December, 2015,
| Abstract | BibTex

Haozhen Situ, D. Qiu Qiu, P. Mateus, N. Paunkovic, Secure N-dimensional simultaneous dense coding and applications, International Journal of Quantum Information, Vol. 13, No. 6, pp. 155051-1 - 155051-25, December, 2015 | BibTex

C. V. Vlachou, P. Mateus, J. Rodrigues, N. Paunkovic, A. Souto, Quantum walk public-key cryptographic system, International Journal of Quantum Information, Vol. 13, No. 6, pp. 1550050-1 - 1550050-10, December, 2015 | BibTex

F.M.C. Clemente, F. Martins, R. Mendes, Análise das redes de cooperação ofensivas de uma equipa profissional de futebol nos jogos em casa: Análise de uma época desportiva, Jornadas da Sociedade Portuguesa de Psicologia do Desporto, Guarda, Portugal, Vol. 1, pp. 26 - 26, November, 2015,
| Abstract | BibTex

A. Souto, Traffic analysis based on compression, Conferência sobre Redes de Computadores - CRC, Évora, Portugal, Vol. 1, pp. 1 - 7, November, 2015,
| Abstract | Full text (PDF 503 KBs) | BibTex

M. Brás, M. Fukushima, A.I. Iusem, J. J. Júdice, On the Quadratic Eigenvalue Complementarity Problem over a general convex cone, Applied Mathematics and Computation, Vol. 271, No. 1, pp. 594 - 608, November, 2015 | BibTex

J. Grau, C. Miguel, A. Oller-Marcén, On the Structure of Quaternion Rings over Z/nZ, Advances in Applied Clifford Algebras, Vol. 25, No. 4, pp. 875 - 887, November, 2015 | BibTex

P. Mateus, A. Souto, A. Sernadas, Universality of quantum Turing machines with deterministic control, Journal of Logic and Computation, Vol., No., pp. Online -, November, 2015 | BibTex

D. Santos, A. F. Sousa, Offline Lightpath Allocation in All-Optical Networks with Impairment Aware RWA based on the GN Model, IEEE International Conf. on Computational Science and Engineering CSE, Porto, Portugal, Vol. --, pp. 43 - 50, October, 2015,
| Abstract | BibTex

A.T. Teixeira, A. Souto, C. C-S Costa-Santos, JNA Azevedo, Análise de sobrevida aplicada às empresas em contexto de crise, SPE Congresso, Olhão, Portugal, Vol. 1, pp. 1 - 1, October, 2015,
| Abstract | Full text (PDF 84 KBs) | BibTex

I. Duque, L. Pinho, F. Martins, A. Coelho, V. Vale, Educação Pré-Escolar, Literacia Estatística e Sociedade: Desafios e Mudanças no Século XXI, Conf. Internacional do Espaço Matemático em Língua Portuguesa, Coimbra, Portugal, Vol. 1, pp. 123 - 128, October, 2015,
| Abstract | BibTex

C. Caleiro, J. Marcos, MV Volpe, Bivalent semantics, generalized compositionality and analytic classic-like tableaux for ﬁnite-valued logics, Theoretical Computer Science, Vol. 608, No. 0, pp. 84 - 110, October, 2015 | BibTex

F.M.C. Clemente, D. P. Wong, F. Martins, R. Mendes, Differences in U14 football players performance between different small-sided conditioned games, RICYDE. Revista internacional de ciencias del deporte, Vol. 42, No. 11, pp. 376 - 386, October, 2015,
| Abstract | BibTex

I. Duque, F. Martins, A. Coelho, V. Vale, Representações Estatísticas em Educação Pré-Escolar: um passo para a participação social, Investigação em Educação Matemática, Vol. 1, No. 1, pp. 209 - 224, October, 2015,
| Abstract | Full text (PDF 574 KBs) | BibTex

A. Souto, P. Mateus, P. Adão, N. Paunkovic, Reply to “Comment on ‘Bit-string oblivious transfer based on quantum state computational distinguishability’ ”, Physical Review A - Atomic, Molecular, and Optical Physics, Vol. 92, No. 4, pp. 046302 - 046312, October, 2015,
| Abstract | BibTex

A. Souto, A.T. Teixeira, L. Antunes, H.B. Burhman, A.M. Matos, Distinguishing Two Probability Ensembles with One Sample from each Ensemble, Theory of Computing Systems, Vol. 1, No. 1, pp. 1 - 15, October, 2015,
| Abstract | BibTex

B. Mera, V. Vieira, M. Araújo, Properties of some Hamiltonians describing topologically non-trivial fermionic systems, Condensed Matter Physics, Vol. 27, No. 46, pp. 465501 - 465501, October, 2015,
| Abstract | BibTex

D. Duarte, N. D. Oliveira Oliveira, P. Georgieva, R.N. Nogueira, L. Bilro, Wine classification and turbidity measurement by clustering and regression models, Conf. on Telecommunications - ConfTele, Aveiro, Portugal, Vol. 0, pp. 0 - 0, September, 2015,
| Abstract | BibTex

D. Duarte, S. Prats, J. J. Keizer, P. Georgieva, R.N. Nogueira, L. Bilro, Novel approach for simultaneous sediment classification and concentration determination of water turbidity, International Conference on Optical Fibre Sensors 24th International Conference on Optical Fibre Sensors OFS24, Curitiba, Brazil, Vol. 9634, pp. 96342U-1 - 96342U-4, September, 2015,
| Abstract | BibTex

C. Caleiro, S. Marcelino, Combined logics - characterizing mixed reasoning and applications, GeTFun Compositional Meaning in Logic - GeTFun, Natal, Brazil, Vol. 0, pp. 0 - 0, September, 2015 | BibTex

Cecília Rosa, Gender Influence in Active Aging elderly, International Women and Business Conference, São Paulo, Brazil, Vol. 1, pp. 59 - 59, September, 2015 | BibTex

F.M.C. Clemente, F. Martins, R. Mendes, Are the prominent players the most accurate and efficient? Study in football players from different competitive levels, Journal of Physical Education and Sport, Vol. 15, No. 3, pp. 472 - 478, September, 2015,
| Abstract | BibTex

F.M.C. Clemente, F. Martins, R. Mendes, Technical accuracy it is associated with prominence levels in basketball?, Journal of Physical Education and Sport, Vol. 15, No. 3, pp. 400 - 406, September, 2015,
| Abstract | BibTex

F.M.C. Clemente, F. Martins, R. Mendes, Social Network Analysis: Um ensaio sobre a aplicabilidade na análise de cooperação em contextos Esportivos, Conexões, Vol. 13, No. 2, pp. 175 - 194, September, 2015,
| Abstract | Full text (PDF 208 KBs) | BibTex

F.M.C. Clemente, F. Martins, D. P. Wong, D. Kalamaras, R. Mendes, Midfielder as the prominent participant in the building attack: A network analysis of national teams in FIFA World Cup 2014, International Journal of Performance Analysis in Sport, Vol. 15, No. 2, pp. 1 - 25, August, 2015,
| Abstract | BibTex

F.M.C. Clemente, F. Martins, R. Mendes, How team sports behave as a team? General network metrics applied to sports analysis, Sport Science, Vol. 8, No. 2, pp. 81 - 87, August, 2015,
| Abstract | BibTex

X Zou Zou, D. Qiu Qiu, S. Zhang Zhang, P. Mateus, Semiquantum key distribution without invoking the classical party’s measurement capability, Quantum Information Processing, Vol. 14, No. 8, pp. 2981 - 2996, August, 2015 | BibTex

F.M.C. Clemente, F. Martins, R. Mendes, How coaches use their knowledge to develop small-sided soccer games: A case study, South African Journal for Research in Sport, Physical Education and Recreation, Vol. 37, No. 2, pp. 1 - 20, July, 2015,
| Abstract | BibTex

F.M.C. Clemente, Towards a new approach to match analysis: understanding football players' synchronization using tactical metrics, Universidade de Coimbra, July, 2015

C. Caleiro, S. Marcelino, J. Marcos, Cancellation, many-valuedness, and combined logics, World Congress and School on Universal Logic - UNILOG, Istanbul, Turkey, Vol. 0, pp. 0 - 0, June, 2015 | BibTex

C. Caleiro, S. Marcelino, Fibring logics: decidability and conservativity (Part I), World Congress and School on Universal Logic - UNILOG, Istanbul, Turkey, Vol. 0, pp. 0 - 0, June, 2015 | BibTex

C. Caleiro, S. Marcelino, Fibring logics: decidability and conservativity (Part II), World Congress and School on Universal Logic - UNILOG, Istanbul, Turkey, Vol. 0, pp. 0 - 0, June, 2015 | BibTex

F. Martins, A. Coelho, V. Vale, I. Duque, L. Pinho, Statistical literacy in preschool education', International Conf. Turning data into knowledge: New opportunities for statistics education, Lisboa, Portugal, Vol. 1, pp. 143 - 143, June, 2015,
| Abstract | BibTex

F.M.C. Clemente, F. Martins, D. Kalamaras, R. Mendes, Network Analysis in Basketball: Inspecting the Prominent Players using Centrality Metrics, Journal of Physical Education and Sport, Vol. 15, No. 2, pp. 212 - 217, June, 2015,
| Abstract | BibTex

F.M.C. Clemente, F. Martins, R. Mendes, There are differences between centrality levels of volleyball players in different competitive levels?, Journal of Physical Education and Sport, Vol. 15, No. 2, pp. 272 - 276, June, 2015,
| Abstract | BibTex

M. Couceiro Couceiro, R. P. Rocha, F. Martins, Towards a Predictive Model of an Evolutionary Swarm Robotics Algorithm, IEEE Congress on Evolutionary Computation - CEC, Sendai, Japan, Vol. 1, pp. 2090 - 2096, May, 2015,
| Abstract | BibTex

R. Mendes, F.M.C. Clemente, F. Martins, Network analysis of Portuguese team on FIFA World Cup 2014, Revista de Ciencias del Deporte, Vol. 11, No. 2, pp. 225 - 226, May, 2015,
| Abstract | BibTex

P. Mendes, M. Couceiro Couceiro, R. Rocha, F.M.C. Clemente, F. Martins, R. Mendes, J. P. Fuentes, Effects of an Extrinsic Constraint on the Tennis Serve, International Journal of Sports Science and Coaching, Vol. 10, No. 1, pp. 97 - 110, April, 2015,
| Abstract | BibTex

F.M.C. Clemente, F. Martins, D. Kalamaras, D. P. Wong, R. Mendes, General network analysis of national soccer teams in FIFA World Cup 2014, International Journal of Performance Analysis in Sport, Vol. 15, No. 1, pp. 1 - 28, April, 2015,
| Abstract | BibTex

A. Souto, P. Mateus, P. Adão, N. Paunkovic, Bit-string oblivious transfer based on quantum state computational distinguishability, Physical Review A - Atomic, Molecular, and Optical Physics, Vol. 91, No. 1, pp. 042306 - 042306, April, 2015,
| Abstract | BibTex

A. Souto, J. Ribeiro, P. Mateus, Quantum blind signature with an offline repository, International Journal of Quantum Information, Vol. 13, No. 2, pp. 1550016-1 - 1550016-21, April, 2015,
| Abstract | BibTex

F.M.C. Clemente, M. Couceiro Couceiro, F. Martins, R. Mendes, A. Figueiredo, Soccer Teams Tactical Behaviour: Measuring Territorial Domain, Proceedings of the Institution of Mechanical Engineers, Part P: Journal of Sports Engineering and Technology, Vol. 229, No. 1, pp. 58 - 66, March, 2015,
| Abstract | BibTex

D. Qiu Qiu, L. Li, P. Mateus, A. Sernadas, Exponentially more concise quantum recognition of non-RMM regular languages, Journal of Computer and System Sciences, Vol. 2015, No. 2, pp. 359 - 375, March, 2015 | BibTex

F.M.C. Clemente, F. Martins, D. Kalamaras, J. Oliveira, P. Oliveira, R. Mendes, The Social Network Analysis of Switzerland Football Team on FIFA World Cup 2014, Journal of Physical Education and Sport, Vol. 15, No. 1, pp. 136 - 141, March, 2015,
| Abstract | BibTex

F.M.C. Clemente, M. Couceiro Couceiro, F. Martins, R. Mendes, Using Network metrics in soccer: a macro-analysis, Journal of Human Kinetics, Vol. 45, No. 1, pp. 1 - 21, March, 2015,
| Abstract | BibTex

F.M.C. Clemente, F. Martins, R. Mendes, Periodization based on Small-sided Soccer Games: Theoretical considerations, Strength and Conditioning, Vol. 37, No. 1, pp. 1 - 21, February, 2015,
| Abstract | BibTex

D. Graça, N. Zhong, An analytic system with a computable hyperbolic sink whose basin of attraction is non-computable, Theory of Computing Systems, Vol. 57, No. 2, pp. 478 - 520, February, 2015 | BibTex

A. Souto, A. Sernadas, P. Mateus, Universality of quantum Turing machines with deterministic control, Journal of Logic and Computation, Vol. 1, No. 1, pp. 1 - 1, February, 2015,
| Abstract | BibTex

A. Mordido, C. Caleiro, An equation-based classical logic, Chapter in, WoLLIC 2015 - selected papers, D. Leivant, L. Moss, R. de Queiroz, Springer, 2015

F.M.C. Clemente, F. Martins, R. Mendes, Comparação entre eficácia técnica e nível de centralidade no comportamento cooperativo de basquetebolistas, Chapter in, Estudos em Desenvolvimento Motor da Criança VIII, Escola Superior de Educação do Instituto Politécnico de Bragança, Bragança, Portugal, 2015

F.M.C. Clemente, LH Guimarães, F. Martins, R. Mendes, O nível de proeminência na rede de cooperação é influenciado pelo posicionamento? Estudo em futebolistas sub-12, Chapter in, Estudos em Desenvolvimento Motor da Criança VIII, Escola Superior de Educação do Instituto Politécnico de Bragança, Bragança, Portugal, 2015

F. Martins, F.M.C. Clemente, R. Mendes, A aplicação da teoria do network social ao estudo das interações de crianças no parque infantil, Chapter in, Estudos em Desenvolvimento Motor da Criança VIII, Escola Superior de Educação do Instituto Politécnico de Bragança, Bragança, 2015

P. Almeida Almeida, G. Dias, R. Mendes, F. Martins, Prática de Jogos Tradicionais Portugueses no Contexto das Atividades de Enrequecimento Curricular, Chapter in, Estudos em Desenvolvimento Motor da Criança VIII, Escola Superior de Educação do Instituto Politécnico de Bragança, Bragança, 2015

C. Santos, R. Mendes, L.P. Rodrigues, F. Martins, Relação entre Opurtunidades de Estimulação e Desenvolvimento Motor Presentes no Ambiente Familiar e o Nível Socioeconómico e Habilitação Académica, Chapter in, Estudos em Desenvolvimento Motor da Criança VIII, Escola Superior de Educação do Instituto Politécnico de Bragança, Bragança, 2015

P. Mendes, A. Casqueiro, M. Catarino, F. Martins, R. Mendes, A.S. Damásio, Jogar com a Estatística: uma prática integrada no Ensino Básico, Chapter in, Estudos em Desenvolvimento Motor da Criança VIII, Escola Superior de Educação do Instituto Politécnico de Bragança, Bragança, 2015

A. Pedrosa, A. Marta, R. Mendes, F. Martins, P. Mendes, Efeitos de diferentes níveis de desenvolvimento e de precisão da informação de retorno sobre o resultado na aprendizagem motora, Chapter in, Estudos em Desenvolvimento Motor da Criança VIII, Escola Superior de Educação do Instituto Politécnico de Bragança, Bragança, 2015

R. Marques, R. Mendes, F. Martins, F.M.C. Clemente, Efeitos da modificação da altura do cesto de basquetebol no nível de desempenho motor do lance livre, Chapter in, Estudos em Desenvolvimento Motor da Criança VIII, Escola Superior de Educação do Instituto Politécnico de Bragança, Bragança, 2015

J. F. Santos, T. Rezk, A. Matos, Modular Monitor Extensions for Information Flow Security in JavaScript, Chapter in, Trustworthy Global Computing - 10th International Symposium, {TGC} 2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers, Springer, Madrid, 2015

F.M.C. Clemente, R. Mendes, Treinar jogando: Jogos reduzidos e condicionados, PrimeBooks, Estoril, 2015,
| BibTex

F.M.C. Clemente, F. Martins, M. Couceiro Couceiro, R. Mendes, A. Figueiredo, Evaluating the Offensive Zone Definition in Football: A case study, South African Journal for Research in Sport, Physical Education and Recreation, Vol. 37, No. 1, pp. 1 - 22, January, 2015,
| Abstract | BibTex

F.M.C. Clemente, F. Martins, R. Mendes, F. Campos, Inspecting the performance responses of neutral players in different small-sided games, Motriz. Revista de Educacao Fisica, Vol. 21, No. 1, pp. 1 - 18, January, 2015,
| Abstract | BibTex

L. Gouveia, M. J. Lopes, A. F. Sousa, Single PON network design with unconstrained splitting stages, European Journal of Operational Research, Vol. 240, No. 2, pp. 361 - 371, January, 2015,
| Abstract | BibTex

F.M.C. Clemente, D. P. Wong, F. Martins, R. Mendes, Acute effects of number of players and scoring method on physiological, physical, and technical performance in small-sided soccer games, Research in Sports Medicine, Vol. 22, No. 4, pp. 1 - 34, December, 2014,
| Abstract | BibTex

L. Gouveia, P. M. Moura, M. Ruthmair, A. F. Sousa, Spanning trees with variable degree bounds, European Journal of Operational Research, Vol. 239, No. 3, pp. 830 - 841, December, 2014,
| Abstract | BibTex

F.M.C. Clemente, M. Couceiro Couceiro, F. Martins, R. Mendes, A. Figueiredo, Intelligent Systems for Soccer Analysis: Weighted Centroid, Ingenieria e Investigacion, Vol. 34, No. 3, pp. 1 - 6, December, 2014,
| Abstract | BibTex

F.M.C. Clemente, F. Martins, M. Couceiro Couceiro, R. Mendes, A. Figueiredo, A network approach to characterize the teammates interactions on football: A single match analysis, Cuadernos de Psicologia del Deporte, Vol. 14, No. 3, pp. 141 - 148, December, 2014,
| Abstract | Full text (PDF 375 KBs) | BibTex

P. Mateus, M. Biscaia, D. Henriques, Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains, ACM Transactions on Computational Logic, Vol. 16, No. 1, pp. 4 - 4, December, 2014 | BibTex

D. R. G. Fernandes, F. Martins, Reflexão acerca do ensino do algoritmo da divisão inteira: proposta didática, Exedra, Vol. 9, No. 1, pp. 172 - 197, December, 2014,
| Abstract | BibTex

I. Duque, L. Pinho, P. Carvalho, A. Coelho, V. Vale, F. Martins, Formação de conjuntos em Educação Pré-‐Escolar: uma primeira experiência, um ponto de partida, Exedra, Vol. 9, No. 1, pp. 198 - 207, December, 2014,
| Abstract | BibTex

M. Couceiro Couceiro, F.M.C. Clemente, G. Dias, P. Mendes, F. Martins, R. Mendes, On an Entropy-based Performance Analysis in Sports, International Electronic Conf. on Entropy and its Applications, Pittsburgh,, United States, Vol. 1, pp. 1 - 20, November, 2014,
| Abstract | Full text (PDF 875 KBs) | BibTex

F.M.C. Clemente, F. Martins, R. Mendes, Applying networks and graph theory to match analysis: Identifying the general properties of a graph, Congreso Internacional de la Asociación Española de Ciencias del Deporte, Caceres, Spain, Vol. 1, pp. 587 - 590, November, 2014,
| Abstract | BibTex

F.M.C. Clemente, R. Mendes, F. Martins, Applying centrality metrics to identify the prominent football players, Congreso Internacional de la Asociación Española de Ciencias del Deporte, Caceres, Spain, Vol. 1, pp. 583 - 586, November, 2014,
| Abstract | BibTex

F.M.C. Clemente, M. Couceiro Couceiro, F. Martins, R. Mendes, Using network metrics to investigate football team players connections: A pilot study, Motriz. Revista de Educacao Fisica, Vol. 20, No. 4, pp. 1 - 30, November, 2014,
| Abstract | BibTex

L. M. Fernandes, J. J. Júdice, H. Sherali, M. F. Forjaz, On an enumerative algorithm for solving eigenvalue complementarity problems, Computational Optimization and Applications, Vol. 59, No. 1-2, pp. 113 - 134, October, 2014 | BibTex

A. Sernadas, J. Rasga, C. Sernadas, P. Mateus, Approximate reasoning about logic circuits with single-fan-out unreliable gates, Journal of Logic and Computation, Vol. 24, No. 5, pp. 1023 - 1069, October, 2014 | BibTex

A. Almeida, R. Loura Loura, P.S André, A. N. Pinto, P. Mateus, N. Paunkovic, Noise and Measurement Errors in a Practical Two-State Quantum Bit Commitment Protocol in Optical Fibers, Conf. on Quantum Cryptography - QCRYPT, Paris, France, Vol. 1, pp. 1 - 3, September, 2014,
| Abstract | BibTex

A. F. Sousa, C. B. Lopes, P. Monteiro, Design Cost and Spectrum Efficiency Comparison of Fixed-Grid and Flex-Grid Optical Networks with Grooming, International Telecommunications Network Strategy and Planning Symposium - networks, Funchal, Portugal, Vol. 1, pp. 1 - 4, September, 2014,
| Abstract | BibTex

F. Rico, P. Fonseca, A. F. Sousa, A testbed for developing, simulating and experimenting multipath aggregation algorithms, IEEE International Conf. on Emerging Technologies and Factory Automation - ETFA, Barcelona, Spain, Vol. 1, pp. 1 - 4, September, 2014,
| Abstract | BibTex

G. Dias, M. Couceiro Couceiro, F.M.C. Clemente, F. Martins, R. Mendes, A NEW APPROACH TO THE STUDY OF GOLF PUTTING, South African Journal for Research in Sport, Physical Education and Recreation, Vol. 36, No. 2, pp. 61 - 77, September, 2014,
| Abstract | BibTex

Cecília Rosa, The Role of Higher Education Institutions in the Promotion of Innovation in the Triple Helix Approach, Journal of Business Management and Applied Economics, Vol. III, No. 5, pp. 1 - 18, September, 2014,
| Abstract | BibTex

C. Caleiro, S. Marcelino, Conservativity of fibred logics via reflective translations, AiML.net Advances in Modal Logic - AiML, Groningen, Netherlands, Vol. 1, pp. 0 - 0, August, 2014 | BibTex

S. Marcelino, C. Caleiro, Conservativity of fibred logics via reflective translations, AiML.net Advances in Modal Logic - AiML, Groningen, Netherlands, Vol. 0, pp. 0 - 0, August, 2014,
| Abstract | BibTex

C. Caleiro, S. Marcelino, J. Marcos, On the characterization of broadly truth-functional logics, GeTFun Compositional Meaning in Logic - GeTFun, Vienna, Austria, Vol. 1, pp. 0 - 0, July, 2014 | BibTex

P. Adão, CB Bozzato, GDR Dei Rossi, RF Focardi, FLL Luccio, Mignis: A Semantic Based Tool for Firewall Configuration, IEEE Computer Security Foundations Workshop - CSFW, Vienna, Austria, Vol., pp. 351 - 365, July, 2014 | Full text (PDF 395 KBs) | BibTex

S. Marcelino, C. Caleiro, On the characterization of broadly truth-functional logics, GeTFun Compositional Meaning in Logic - GeTFun, Vienna, Austria, Vol. 0, pp. 0 - 0, July, 2014,
| Abstract | BibTex

C. Miguel, A Note on a Conjecture about Commuting Graphs, Joint ALAMA-GAMM/ANLA, Barcelona, Spain, Vol. I, pp. 48 - 48, July, 2014,
| Abstract | BibTex

G. Dias, M. Couceiro Couceiro, J. M. P. Barreiros, F.M.C. Clemente, R. Mendes, F. Martins, Distance and slope constraints: adaptation and variability in golf putting, Motor Control, Vol. 18, No. 3, pp. 221 - 243, July, 2014,
| Abstract | BibTex

L. M. Fernandes, J. J. Júdice, H. Sherali, M. Fukushima, On the Computation of All Eigenvalues for the Eigenvalue Complementarity Problem, Journal of Global Optimization, Vol. 59, No. 2-3, pp. 307 - 326, July, 2014 | BibTex

P. Amaral, I. M. B. Bomze, J. J. Júdice, Copositivity and constrained fractional quadratic problems, Mathematical Programming, Series B, Vol. 146, No. 1, pp. 325 - 350, June, 2014 | BibTex

P. Adão, P. Mateus, L. Viganò, Protocol Insecurity with a Finite Number of Sessions and a Cost-Sensitive Guessing Intruder is NP-Complete., Theoretical Computer Science, Vol. 538, No. 1, pp. 2 - 15, June, 2014 | BibTex

M. Couceiro Couceiro, F. Martins, R. P. Rocha, N. M. Ferreira, Mechanism and Convergence Analysis of a Multi-Robot Swarm Approach Based on Natural Selection, Journal of Intelligent and Robotic Systems, Vol. 75, No. 1, pp. 1 - 31, June, 2014,
| Abstract | BibTex

F.M.C. Clemente, F. Martins, R. Mendes, Developing aerobic and anaerobic fitness using small-sided soccer games: Methodological proposals, Strength and Conditioning, Vol. 36, No. 3, pp. 76 - 87, June, 2014,
| Abstract | BibTex

F.M.C. Clemente, F. Martins, M. Couceiro Couceiro, R. Mendes, A. Figueiredo, Inspecting teammates’ coverage during attacking plays in a football game: A case study, International Journal of Performance Analysis in Sport, Vol. 14, No. 2, pp. 384 - 400, June, 2014,
| Abstract | BibTex

M. O. Ivanova, M. Couceiro Couceiro, F. Martins, Merging the fields of swarm robotics and new media: Perceiving swarm robotics as new media, Maejo International Journal of Science and Technology, Vol. 8, No. 2, pp. 143 - 160, June, 2014,
| Abstract | BibTex

F.M.C. Clemente, R. Rocha, F. Martins, R. Mendes, Acute Effects of Different Formats of Small-Sided and Conditioned Handball Games on Heart Rate Responses in Female Students During PE Classes, Sports, Vol. 2, No. 2, pp. 51 - 58, June, 2014,
| Abstract | BibTex

J. J. Júdice, Optimization with Linear Complementarity Constraints, Pesquisa Operacional, Vol. 34, No. 1, pp. 559 - 584, June, 2014 | BibTex

Cecília Rosa, Socio-economic Impact of the Polytechnic of Guarda in the Local Economy, PECVNIA, Revista de la Facultad de Ciencias Económicas y Empresariales, Vol. 18, No. 18, pp. 151 - 177, June, 2014,
| Abstract | BibTex

H. Brou, V. Rato, F. Martins, A modelação matemática como prática de sala de aula no ensino da subtração, Conf. Internacional de Investigação, Práticas e Contextos em Educação - IPCE, Leiria, Portugal, Vol. 1, pp. 73 - 79, May, 2014,
| Abstract | Full text (PDF 258 KBs) | BibTex

R. Mendes, F. Martins, F.M.C. Clemente, PROGRAMA DE TREINO DE LANÇAMENTO DE LINHA LATERAL NO FUTEBOL: EFEITOS NO DESEMPENHO TÉCNICO E TOMADA DE DECISÃO, Conf. Internacional de Ciências no Treino de Futebol, Coimbra, Portugal, Vol. 1, pp. 18 - 21, May, 2014,
| Abstract | BibTex

F.M.C. Clemente, M. Couceiro Couceiro, F. Martins, R. Mendes, A. Figueiredo, Using network to inspect the teammates interations on football: a meso-analysis, Congreso Nacional y I Congreso Internacional de Psicología de la Actividad Física y del Deporte, Cáceres, Spain, Vol. 1, pp. 18 - 18, May, 2014 | BibTex

F.M.C. Clemente, M. Couceiro Couceiro, F. Martins, R. Mendes, A. Figueiredo, Um constrangimento extrínseco no desempenho do primeiro serviço de ténis, Congreso Nacional y I Congreso Internacional de Psicología de la Actividad Física y del Deporte, Cáceres, Spain, Vol. 1, pp. 20 - 20, May, 2014 | BibTex

P. Mendes, R. Rocha, F. Martins, G. Dias, J. P. Fuentes, Um constrangimento extrínseco no desempenho do primeiro serviço de ténis, Congreso Nacional y I Congreso Internacional de Psicología de la Actividad Física y del Deporte, Cáceres, Spain, Vol. 1, pp. 20 - 20, May, 2014 | BibTex

A. Almeida, R. Loura Loura, N. Paunkovic, N. A. Silva, N. J. Muga, P. Mateus, P.S André, A. N. Pinto, A brief review on quantum bit commitment, International Conf. on Applications of Optics and Photonics - AOP, Aveiro, Portugal, Vol. 1, pp. 1 - 8, May, 2014 | BibTex

P. Ghamisia, M. Couceiro Couceiro, F. Martins, J. A. Benediktsson, Multilevel Image Segmentation based on Fractional-Order Darwinian Particle Swarm Optimization, IEEE Transactions on Geoscience and Remote Sensing, Vol. 52, No. 5, pp. 2382 - 2394, May, 2014,
| Abstract | Full text (PDF 1 MB) | BibTex

M. Brás, J. J. Júdice, H. Sherali, On the Solution of the Inverse Eigenvalue Complementarity Problem, Journal of Optimization Theory and Applications, Vol. 162, No. 1, pp. 88 - 106, May, 2014 | BibTex

L. M. Fernandes, J. J. Júdice, M. Fukushima, A.I. Iusem, On the symmetric quadratic eigenvalue complementarity problem, Optimization Methods and Software, Vol. 29, No. 4, pp. 751 - 770, May, 2014 | BibTex

R. Loura Loura, A. Almeida, P.S André, A. N. Pinto, P. Mateus, N. Paunkovic, Noise and measurement errors in a practical two-state quantum bit commitment protocol, Physical Review A - Atomic, Molecular, and Optical Physics, Vol. 89, No. 5, pp. 052336-1 - 052336-15, May, 2014,
| Abstract | BibTex

. ., F. Martins, M. Montes, Conhecimento matemático para ensinar de futuros professores na exploração de tópicos de Organização e tratamento de dados., II Congresso Nacional de Formação de Professores e XII Congresso Estadual Paulista sobre Formação de Educadores, São Paulo, Brazil, Vol. 1, pp. 2071 - 2083, April, 2014 | Full text (PDF 347 KBs) | BibTex

M. Couceiro Couceiro, F. Martins, F.M.C. Clemente, G. Dias, R. Mendes, On a fuzzy approach for the evaluation of golf players, Maejo International Journal of Science and Technology, Vol. 8, No. 1, pp. 86 - 99, April, 2014,
| Abstract | Full text (PDF 2 MBs) | BibTex

Cecília Rosa, E. Pereira, A Model Structured in Classes for the Study of Student Population Evolution, JOURNAL OF SHANGHAI UNIVERSITY (NATURAL SCIENCE), Vol. 20, No. 2, pp. 127 - 137, April, 2014,
| Abstract | BibTex

A. M. Carvalho, P. Adão, P. Mateus, Hybrid learning of Bayesian multinets for binary classification, Pattern Recognition, Vol. 47, No. 10, pp. 3438 - 3450, April, 2014 | BibTex

F.M.C. Clemente, M. Couceiro Couceiro, F. Martins, R. Mendes, A. Figueiredo, Using collective metrics to inspect spatio-temporal relationships between football players, South African Journal for Research in Sport, Physical Education and Recreation, Vol. 36, No. 2, pp. 1 - 20, March, 2014 | BibTex

S. Marcelino, A. Kurucz, Non-finitely axiomatisable two-dimensional modal logics, Journal of Symbolic Logic, Vol. 77, No. 3, pp. 970 - 986, March, 2014,
| Abstract | BibTex

G. Dias, F.M.C. Clemente, R. Rocha, F. Martins, R. Mendes, Estudo dos Níveis de Actividade Física de uma População Rural Portuguesa, Gymnasium, Vol. 5, No. 7, pp. 59 - 86, March, 2014,
| Abstract | BibTex

A. Matos, J.C. Cederquist, Distributed Noninterference, Euromicro International Conf. on Parallel, Distributed and network-based Processing - PDP, Turin, Italy, Vol. -, pp. - - -, February, 2014 | BibTex

F.M.C. Clemente, M. Couceiro Couceiro, F. Martins, A. Figueiredo, R. Mendes, Análise de jogo no Futebol: Métricas de avaliação do comportamento coletivo, Motricidade, Vol. 10, No. 1, pp. 14 - 26, February, 2014,
| Abstract | Full text (PDF 553 KBs) | BibTex

F. Martins, E. Pereira, M. A. Vicente, José Vitória, Stability of Matrix Differential Equations with Commuting Matrix Constant Coefficients, Chapter in, Mathematical Methods in Engineering, N. Miguel F. Ferreira e J. A. Tenreiro Machado, Springer, Coimbra, 2014

C. Caleiro, S. Marcelino, P. Baltazar, Deciding theoremhood in fibred logics without shared connectives, Chapter in, JY Beziau's Festschrift, A. Buchsbaum, A. Koslow, Springer, 2014

F.M.C. Clemente, M. Couceiro Couceiro, F. Martins, R. Mendes, A. Figueiredo, Practical implementation of computational tactical metrics for the football game: Towards an augmenting perception of coaches and sport analysts, Chapter in, Computational Science and Its Applications, Murgante, Misra, Rocha, Torre, Rocha, Falcão, Taniar, Apduhan e Gervasi, Springer, Guimarães, 2014

F.M.C. Clemente, F. Martins, M. Couceiro Couceiro, R. Mendes, A. Figueiredo, Developing a football tactical metric to estimate the sectorial lines: A case study, Chapter in, Computational Science and Its Applications, Murgante, Misra, Rocha, Torre, Rocha, Falcão, Taniar, Apduhan e Gervasi, Springer, Guimarães, 2014

F.M.C. Clemente, F. Martins, R. Mendes, Efeitos dos Jogos Reduzidos e condicionados no Desempenho Técnico de Praticantes Sub-10, Chapter in, Estudos em Desenvolvimento Motor da Criança VII, Carlos Neto, João Barreiros, Rita Cordovil e Filipe Melo, Faculdade de Motricidade Humana, Lisboa, 2014

R. Mendes, A. Pedrosa, F. Martins, G. Dias, P. Mendes, Efeitos da Precisão da Informação de Retorno sobre o Resultado na Aprendizagem Motora em Crianças, Chapter in, Estudos em Desenvolvimento Motor da Criança VII, Carlos Neto, João Barreiros, Rita Cordovil e Filipe Melo, Faculdade de Motricidade Humana, Lisboa, 2014

F.M.C. Clemente, F. Martins, R. Mendes, Jogos Reduzidos e Condicionados no Basquetebol: Influência no Desempenho Técnico de Praticantes Sub-10, Chapter in, Estudos em Desenvolvimento Motor da Criança VII, Carlos Neto, João Barreiros, Rita Cordovil e Filipe Melo, Faculdade de Motricidade Humana, Lisboa, 2014

P. M. Bento, F.M.C. Clemente, F. Martins, R. Mendes, Efeitos de um Programa de Treino no Desempenho Técnicoe Tomada de Decisão de Futebolistas SUB-10, Chapter in, Estudos em Desenvolvimento Motor da Crainça VII, Carlos Neto, João Barreiros, Rita Cordovil e Filipe Melo, Faculdade de Motricidade Humana, Lisboa, 2014

P. Mateus, N. Paunkovic, J. Rodrigues, A. Souto, Enhancing privacy with quantum networks, Chapter in, Proceedings of CMS 2014, Springer, Berlin, 2014

J. F. Santos, T. Rezk, A. Matos, An Information Flow Monitor for a Core of DOM, Chapter in, Trustworthy Global Computing, Springer International Publishing, Madrid, 2014

J. Carmo, A. Sernadas, C. Sernadas, F. Dionísio, C. Caleiro, Introdução à programação em Mathematica -- Terceira Edição (Introduction to Programming in Mathematica -- Third Edition), IST Press, Lisboa, 2014,
| BibTex

F.M.C. Clemente, R. Mendes, Aprender o jogo jogando: Jogos reduzidos no futebol, Escola Superior de Educação de Coimbra, Coimbra, 2014,
| BibTex

M. Couceiro Couceiro, F.M.C. Clemente, F. Martins, J. A. Machado, Dynamical Stability and Predictability of Football Players: The Study of One Match, Entropy, Vol. 16, No. 2, pp. 645 - 674, January, 2014,
| Abstract | Full text (PDF 2 MBs) | BibTex

D. Qiu Qiu, X. Zou, F You, P. Mateus, Security Problems in the Quantum Signature Scheme with a Weak Arbitrator, Intrnl. Journal of Theoretical Physics, Vol. 53, No. 2, pp. 603 - 611, January, 2014 | BibTex

C. Miguel, Menon's identity in residually finite Dedekind domains, Journal of Number Theory, Vol. 137, No. 137, pp. 179 - 185, January, 2014,
| Abstract | BibTex

F.M.C. Clemente, M. Couceiro Couceiro, F. Martins, R. Mendes, A. Figueiredo, Measuring Collective Behaviour in Football Teams: Inspecting the impact of each half of the match on ball possession, International Journal of Performance Analysis in Sport, Vol. 13, No. 3, pp. 1 - 22, December, 2013,
| Abstract | Full text (PDF 203 KBs) | BibTex

D. Santos, A. F. Sousa, F. Alvelos, A hybrid column generation with GRASP and path relinking for the network load balancing problem, Computers and Operations Research, Vol. 40, No. 12, pp. 3147 - 3158, December, 2013,
| Abstract | BibTex

F. Martins, M. Vieira, D. Reis, . ., Ensinar através da modelação matemática: uma primeira discussão baseada numa experiência de ensino no 4.º ano de escolaridade, Exedra, Vol. 8, No. 2, pp. 165 - 180, December, 2013,
| Abstract | BibTex

D. Qiu Qiu, X. Zou, P. Mateus, Security Analyses and Improvement of Arbitrated Quantum Signature with an Untrusted Arbitrator, Intrnl. Journal of Theoretical Physics, Vol. 52, No. 9, pp. 3295 - 3305, December, 2013 | BibTex

L. J. Alvarez-Vázquez, J. J. Júdice, A. M. Aurea Martínez, C. R. Rodríguez, M. E. Vázquez-Méndez, M. A. Vilar, On the optimal design of river fishways, Optimization and Engineering, Vol. 14, No. 1, pp. 193 - 211, November, 2013 | BibTex

F.M.C. Clemente, M. Couceiro Couceiro, F. Martins, R. Mendes, A. Figueiredo, Measuring the tactical behaviour using technological metrics: Case study of a football game, Intrnl. Journal of Sports Science and Coaching, Vol. 8, No. 4, pp. 723 - 739, November, 2013,
| Abstract | BibTex

G. Dias, F. Martins, M. Couceiro Couceiro, F.M.C. Clemente, R. Mendes, A Non-Linear Understanding of Golf Putting, South African Journal for Research in Sport, Physical Education and Recreation, Vol. 36, No. 1, pp. 29 - 47, November, 2013 | BibTex

S. Zheng, D. Qiu Qiu, J. Gruska, L. Li, P. Mateus, State succinctness of two-way finite automata with quantum and classical statesState succinctness of two-way finite automata with quantum and classical states, Theoretical Computer Science, Vol. 499, No. 1, pp. 98 - 112, November, 2013 | BibTex

B. Mera, V. Vieira, V. Dugaev, Dynamics of magnetic moments coupled to electrons and lattice oscillations, Physical Review B - Condensed Matter and Materials Physics, Vol. 88, No. 18, pp. 184419 - 184434, November, 2013,
| Abstract | BibTex

M. Couceiro Couceiro, F.M.C. Clemente, F. Martins, Analysis of Football Player’s Motion in View of Fractional Calculus, Central European Journal of Physics, Vol. 11, No. 6, pp. 714 - 723, October, 2013,
| Abstract | BibTex

O. Fernandes, G. Dias, M. Couceiro Couceiro, F.M.C. Clemente, F. Martins, J. M. A. Luz, C. Figueiredo, R. Mendes, New Technologies to the Study the Golf Putting, International Congress on Sports Science Research and Technology Support, Algarve, Portugal, Vol. 1, pp. 185 - 191, September, 2013,
| Abstract | Full text (PDF 292 KBs) | BibTex

C. Caleiro, L. Viganò, MV Volpe, A labeled deduction system for the logic UB, Symp. on Temporal Representation and Reasoning, Pensacola, FL, United States, Vol. 978-1-4799-2240-6, pp. 45 - 53, September, 2013 | BibTex

F.M.C. Clemente, M. Couceiro Couceiro, F. Martins, R. Mendes, An Online Tactical Metrics applied to Football Game, Research Journal of Applied Sciences, Engineering and Technology, Vol. 5, No. 5, pp. 1700 - 1716, September, 2013,
| Abstract | BibTex

M. Couceiro Couceiro, F.M.C. Clemente, F. Martins, Toward the Evaluation of Research Groups based on Scientific Co-authorship Networks: The RoboCorp Case Study, Arab Gulf Journal of Scientific Research, Vol. 31, No. 1, pp. 36 - 52, September, 2013,
| Abstract | Full text (PDF 481 KBs) | BibTex

F.M.C. Clemente, M. Couceiro Couceiro, F. Martins, M. O. Ivanova, R. Mendes, Activity Profiles of Soccer Players During the 2010 World Cup, Journal of Human Kinetics, Vol. 38, No. 4, pp. 1 - 15, September, 2013,
| Abstract | Full text (PDF 181 KBs) | BibTex

Cecília Rosa, E. Pereira, A method for Construct Sets of Commuting Matrices, Journal of Mathematics Research, Vol. 5, No. 3, pp. 1 - 7, September, 2013,
| Abstract | BibTex

A. Gomes, F. Martins, H. Pinto, I. Sebastião, . ., Improving teachers’ Mathematical and (Portuguese) Language Knowledge for Teaching using tasks: Portrayal of a project., International Symp. Elementary Mathematics Teaching, Praque, Czech Republic, Vol. 1, pp. -, August, 2013 | BibTex

O. Bournez, D. Graça, E. Hainry, Computation with perturbed dynamical systems, Journal of Computer and System Sciences, Vol. 79, No. 5, pp. 714 - 724, August, 2013,
| Abstract | Full text (PDF 325 KBs) | BibTex

Francisco Mota Mota, Scott Aaronson Aaronson, L. Antunes, A. Souto, Sophistication as Randomness Deciency, Workshop on Descriptional Complexity of Formal Systems - DCFS, London, Canada, Vol. ., pp. . - ., July, 2013,
| Abstract | Full text (PDF 269 KBs) | BibTex

C. Caleiro, S. Marcelino, P. Baltazar, Conservativeness and decidability of fibred logics, Logic Colloquium, Evora, Portugal, Vol. 0, pp. 0 - 0, July, 2013 | BibTex

C. Caleiro, J. Marcos, C. B. Blasio, On B-entailment, Logic Colloquium, Evora, Portugal, Vol. 0, pp. 0 - 0, July, 2013 | BibTex

A. Gomes, . ., H. Pinto, F. Martins, Prospective teachers’ knowledge on the (possible) relationships between squares and rectangles, CIEAEM65, Torino, Italy, Vol. 1, pp. -, July, 2013 | BibTex

F. Martins, F.M.C. Clemente, M. Couceiro Couceiro, From the individual to the collective analysis at the football game, MATHEMATICAL METHODS IN ENGINEERING - MME13, Porto, Portugal, Vol. 1, pp. 217 - 231, July, 2013,
| Abstract | Full text (PDF 508 KBs) | BibTex

J. Ramos, C. Caleiro, Classical and intuitionistic propositional logic, Logic Colloquium, Evora, Portugal, Vol. 0, pp. 0 - 0, July, 2013 | BibTex

L. Oliveira, J. R. Rodrigues, Carlos Neto Neto, A. F. Sousa, Network admission control solution for 6LoWPAN networks, International Conf. on Innovative Mobile and Internet Services in Ubiquitous Computing, Taichung, Taiwan, Vol. 1, pp. 472 - 477, July, 2013 | BibTex

D. Graça, A. P. Pouly, Computational complexity of adaptive methods for solving polynomial differential equations over unbounded domains, Computability and Complexity in Analysis - CCA, Nancy, France, Vol. 1, pp. 1 - 12, July, 2013 | BibTex

C. Caleiro, R. Gonçalves, Abstract valuation semantics, Studia Logica, Vol. 101, No. 4, pp. 677 - 712, July, 2013 | BibTex

A. M. Carvalho, P. Adão, P. Mateus, Efficient Approximation of the Conditional Relative Entropy with Applications to Discriminative Learning of Bayesian Network Classifiers, Entropy, Vol. 15, No. 7, pp. 2716 - 2735, July, 2013 | BibTex

D. Santos, C. B. Lopes, A. F. Sousa, F. Alvelos, Energy Efficient Routing for Telecommunication Networks with Multiperiod Traffic, Congresso da APDIO, Bragança, Portugal, Vol. 1, pp. 323 - 332, June, 2013,
| Abstract | BibTex

P. Adão, RF Focardi, FLL Luccio, Type-Based Analysis of Generic Key Management APIs, IEEE Computer Security Foundations Workshop - CSFW, New Orleans, United States, Vol., pp. 97 - 111, June, 2013 | Full text (PDF 428 KBs) | BibTex

Cecília Rosa, E. Pereira, Um Modelo de Metapopulações para o Estudo da Evolução do Número de Alunos numa Instituição de Ensino, CISTI - Conferência Ibérica de Sistemas e Tecnologias da Informação, Lisboa, Portugal, Vol. 1, pp. 432 - 438, June, 2013,
| Abstract | BibTex

P. Monteiro, A. F. Sousa, M. P. Ribeiro, T. F. Trota, G. Sahin, Algorithms in the deployment of optical transport networks, International Conf. on Transparent Networks – ICTON, Cartagena, Spain, Vol. 1, pp. Mo.B4.3 - Mo.B4.3, June, 2013 | BibTex

P. Ghamisia, F. Sepehrban, L. Kumar, M. Couceiro Couceiro, F. Martins, A New Method for Compression of Remote Sensing Images Based on Enhanced Differential Pulse Code Modulation Transformation, ScienceAsia, Vol. 39, No. 4, pp. 546 - 555, June, 2013,
| Abstract | Full text (PDF 1 MB) | BibTex

A. F. Sousa, C. B. Lopes, D. Santos, Load balance optimization of telecommunication networks with two differentiated services, Electronic Notes in Discrete Mathematics, Vol. 41, No. -, pp. 351 - 358, June, 2013,
| Abstract | BibTex

F. Martins, . ., Atribuir sentido Aos raciocínios associados Às resoluções de alunos no caso da subtração, ESECS - Investigação, Práticas e Contextos em Educação - IPCE, Leiria, Portugal, Vol. 1, pp. 192 - 200, May, 2013,
| Abstract | BibTex

C. Caleiro, S. Marcelino, Combining logics, cryptoﬁbred semantics and completeness preservation, World Congress and School on Universal Logic - UNILOG, Rio de Janeiro, Brazil, Vol. 0, pp. 0 - 0, April, 2013 | BibTex

C. Miguel, Balanced zero-divisor graphs of matrix rings., Lobachevskii Journal of Mathematics, Vol. 34, No. 2, pp. 137 - 141, April, 2013,
| Abstract | BibTex

J. Ramos, C. Caleiro, Classical and intuitionistic propositinal logic, World Congress and School on Universal Logic - UNILOG, Rio de Janeiro, Brazil, Vol. 1, pp. 244 - 245, March, 2013,
| Abstract | Full text (PDF 81 KBs) | BibTex

F.M.C. Clemente, M. Couceiro Couceiro, F. Martins, G. Dias, R. Mendes, Interpersonal Dynamics: 1v1 sub-phase at sub-18 football players, Journal of Human Kinetics, Vol. 36, No. 6, pp. 181 - 191, March, 2013,
| Abstract | BibTex

M. O. Ivanova, M. Couceiro Couceiro, F. Martins, Fostering Swarm Robotics as New Media Objects, Wulfenia, Vol. 20, No. 3, pp. 167 - 183, March, 2013,
| Abstract | BibTex

C. Miguel, A note on a conjecture about commuting graphs, Linear Algebra and Its Applications, Vol. 438, No. 12, pp. 4750 - 4756, March, 2013,
| Abstract | BibTex

M. Nascimento, . ., J. A. Martins, F. Martins, M. V. Pires, C. Martins, M. Rodrigues, J. Castro, A. Caseiro, Giving sense to student’s productions - a way to improve (future) teachers’ knowledge and training., Congress of European Research in Mathematics Education, Antalya, Turkey, Vol. 1, pp. -, February, 2013 | BibTex

Y. Niu Niu, T P Dinh Dinh, H A Le Thi Le Thi, J. J. Júdice, Efficient DC programming approaches for the asymmetric eigenvalue complementarity problem, Optimization Methods and Software, Vol. 28, No. 1, pp. 812 - 829, February, 2013 | BibTex

D. Santos, A. F. Sousa, F. Alvelos, M. Pióro, Optimizing network load balancing: an hybridization approach of metaheuristics with column generation, Telecommunication Systems, Vol. 52, No. 2, pp. 959 - 968, February, 2013,
| Abstract | BibTex

D. Basin, C. Caleiro, Symbolic Probabilistic Analysis of Oﬀ-line Guessing, Chapter in, ESORICS 2013 - LNCS 8134, ESORICS, Springer, 2013

F. Martins, F.M.C. Clemente, M. Couceiro Couceiro, T. Coelho, J. G. Gonçalves, D. S. Santos, R. Mendes, A. Figueiredo, Observação dos princípios táticos no futebol: aplicação do índice de dispersão, Chapter in, Estudos em Desenvolvimento Motor da Criança VI, Isabel M. Carvalhal, Eduarda Coelho, João Barreiros, Olga Vasconcelos, Universidade de Trás-os-Montes e Alto Douro, Vila Real, 2013

F.M.C. Clemente, M. Couceiro Couceiro, F. Martins, R. Mendes, A. Figueiredo, Desenvolvimento de métricas de avaliação tática no futebol: análise de um estudo de caso em futebolistas sub-12, Chapter in, Estudos em Desenvolvimento Motor da Criança VI, Isabel M. Carvalhal, Eduarda Coelho, João Barreiros, Olga Vasconcelos, Universidade de Trás-os-Montes e Alto Douro, Vila Real, 2013

M. Garcia, R. Mendes, F. Martins, P. Mendes, Influência do estatuto do modelo e forma de demonstração na aprendizagem do movimento de batimento de direita no ténis, Chapter in, Estudos em Desenvolvimento Motor da Criança VI, Isabel M. Carvalhal, Eduarda Coelho, João Barreiros, Olga Vasconcelos, Universidade de Trás-os-Montes e Alto Douro, Vila Real, 2013

I. Madeira, R. Mendes, F. Martins, F.M.C. Clemente, G. Dias, Demonstração e instrução ao vivo na aprendizagem da pirueta, Chapter in, Estudos em Desenvolvimento Motor da Criança VI, Isabel M. Carvalhal, Eduarda Coelho, João Barreiros, Olga Vasconcelos, Universidade de Trás-os-Montes e Alto Douro, Vila Real, 2013

A. Matos, J.C. Cederquist, Informative Types and Effects for Hybrid Migration Control, Chapter in, Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings, Axel Legay and Saddek Bensalem, Springer, -, 2013

Cecília Rosa, A Influência do IPG na Região da Guarda - Impacto das Instituições de Ensino Superior no Desenvolvimento Regional, Instituto Politécnico da Guarda, Guarda, 2013,
| BibTex

J. Carmo, M.P.G. Gouveia, F. Dionísio, Elementos de Matemática Discreta, College Publications, London, 2013,
| BibTex

C. Caleiro, L. Viganò, MV Volpe, On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators, Logica Universalis, Vol. 7, No. 1, pp. 33 - 69, January, 2013 | BibTex

F.M.C. Clemente, M. Couceiro Couceiro, F. Martins, Soccer Teams Behaviors: Analysis of the team’s distribution in function to ball possession, Research Journal of Applied Sciences, Engineering and Technology, Vol. 6, No. 1, pp. 130 - 136, January, 2013,
| Abstract | Full text (PDF 1 MB) | BibTex

P. Mendes, J. P. Fuentes, R. Mendes, F. Martins, F.M.C. Clemente, M. Couceiro Couceiro, The variability of the serve toss in tennis under the influence of artificial crosswind, Journal of Sports Science and Medicine, Vol. 12, No. 1, pp. 309 - 315, January, 2013,
| Abstract | BibTex

L. Oliveira, J. R. Rodrigues, A. F. Sousa, J. L. Lloret, A Network Access Control Framework for 6LoWPAN Networks, Sensors, Vol. 13, No. 1, pp. 1210 - 1230, January, 2013,
| Abstract | BibTex

L. Oliveira, J. R. Rodrigues, A. F. Sousa, J. L. Lloret, Denial of Service Mitigation Approach for IPv6-enabled Smart Object Networks, Concurrency and Computation: Practice and Experience, Vol. 25, No. 1, pp. 129 - 142, January, 2013,
| Abstract | BibTex

L. Li, D. Qiu Qiu, P. Mateus, Quantum secret sharing with classical Bobs, Journal of Physics A: Mathematical and Theoretical, Vol. 46, No. 1, pp. 045304 - 045304, January, 2013 | BibTex

A.T. Teixeira, L. Antunes, A. Matos, A. Pinto, A. Souto, One-way functions using Algorithmic and Classical Information Theories, Theory of Computing Systems, Vol. 52, No. 1, pp. 162 - 178, January, 2013,
| Abstract | BibTex

G. Bana, P. Adão, H. Sakurada, Computationally Complete Symbolic Attacker in Action, Foundations of Software Technology and Theoretical Computer Science - FSTTCS, Hyderabad, India, Vol. 18, pp. 546 - 560, December, 2012 | Full text (PDF 383 KBs) | BibTex

M. Couceiro Couceiro, F. Martins, R. P. Rocha, N. M. Ferreira, Introducing the fractional order robotic Darwinian PSO, International Conf. on Mathematical Problems in Engineering, Aerospace and Science - ICNPAA’2012, Vienna, Austria, Vol. AIP Conference Proceedings / Volume 1493, pp. 242 - 251, December, 2012,
| Abstract | Full text (PDF 1 MB) | BibTex

P. Mendes, G. Dias, R. Mendes, F. Martins, M. Couceiro Couceiro, D. Araújo, The effect of artificial side wind on the serve of competitive tennis players, International Journal of Performance Analysis in Sport, Vol. 12, No. 3, pp. 546 - 562, December, 2012,
| Abstract | BibTex

F.M.C. Clemente, M. Couceiro Couceiro, F. Martins, Towards a new method to analyze the Soccer Teams Tactical Behaviour: Measuring the Effective Area of Play, Indian Journal of Science and Technology, Vol. 5, No. 12, pp. 3792 - 3801, December, 2012,
| Abstract | Full text (PDF 1 MB) | BibTex

D. Henriques, M. Biscaia, P. Baltazar, P. Mateus, Decidability and complexity for omega-regular properties of stochastic systems, Logic Journal of the IGPL, Vol. 20, No. 6, pp. 1175 - 1201, December, 2012 | BibTex

F. Assis, A. Stojanovic, P. Mateus, Y. Omar, Improving classical authentication over a quantum channel, Entropy, Vol. 14, No. 12, pp. 2531 - 2549, December, 2012 | BibTex

D. Graça, N. Zhong, J. Buescu, Computability, noncomputability, and hyperbolic systems, Applied Mathematics and Computation, Vol. 219, No. 6, pp. 3039 - 3054, November, 2012 | BibTex

J. J. Júdice, M. Brás, W.W.H. Hager, An investigation of feasible descent algorithms for estimating the condition number of a matrix, TOP, Vol. 20, No. 3, pp. 791 - 809, October, 2012 | BibTex

D. Graça, N. Zhong, H. S. D. Dumas, The connection between computability of a nonlinear problem and its linearization: the Hartman-Grobman theorem revisited, Theoretical Computer Science, Vol. 457, No. 26, pp. 101 - 110, October, 2012 | BibTex

C. Lourenço, Turing e a Morfogénese, Boletim da Sociedade Portuguesa de Matemática, Vol. Out/2012, No. 67, pp. 23 - 59, October, 2012,
| Abstract | Full text (PDF 1 MB) | BibTex

P. Adão, J. M. Mendes, Trusted Civitas: Client Trust in CIVITAS Electronic Voting Protocol, Inforum - Simpósio de Informática, Lisboa, Portugal, Vol. 0, pp. 0 - 0, September, 2012 | Full text (PDF 376 KBs) | BibTex

P. Mateus, V. Vieira, Reducing the factorization of semiprime numbers to integrating highly oscillatory functions, Applied Mathematics Letters, Vol. 25, No. 11, pp. 1970 - 1974, September, 2012 | BibTex

S. Marcelino, A. Kurucz, Finite frames for K4.3 × S5 are decidable, AiML.net Advances in Modal Logic - AiML, Copenhagen, Denmark, Vol. 9, pp. 411 - 436, August, 2012,
| Abstract | BibTex

P. Mendes, R. Mendes, J. P. Fuentes, F. Martins, F.M.C. Clemente, C. Figueiredo, M. Couceiro Couceiro, G. Dias, Tennis Serve Toss Variability Under the Constant of Artificial Cross Wind, Annual Congress of the European College of Sport Science, Bruges, Belgium, Vol. 1, pp. 564 - 564, July, 2012 | BibTex

R. Mendes, G. Dias, M. Couceiro Couceiro, M. Couceiro Couceiro, C. Figueiredo, J. M. A. Luz, F.M.C. Clemente, F. Martins, P. Mendes, Dynamical Systems Theory in the Golf Putting Performance, Annual Congress of the European College of Sport Science, Bruges, Belgium, Vol. 1, pp. 563 - 563, July, 2012 | BibTex

O. Bournez, D. Graça, A. P. Pouly, On the complexity of solving polynomial initial value problems, International Symp. on Symbolic and Algebraic Computation - ISSAC, Grenoble, France, Vol. -, pp. 1 - 16, July, 2012 | BibTex

F.M.C. Clemente, M. Couceiro Couceiro, F. Martins, G. Dias, R. Mendes, The influence of task constraints on attacker trajectories during 1v1 sub-phase in soccer practice, SportLogia, Vol. 8, No. 1, pp. 13 - 20, July, 2012,
| Abstract | BibTex

F.M.C. Clemente, M. Couceiro Couceiro, F. Martins, G. Dias, R. Mendes, Análise da ocupação espacial de futebolistas sub-12 na sub-fase de jogo 1x1 com guarda-redes, Boletim da Sociedade Portuguesa de Educação Física, Vol. 36, No. 1, pp. 41 - 47, July, 2012,
| Abstract | BibTex

D. Graça, Non-computability, unpredictability, and financial markets, Journal of Complexity, Vol. 17, No. 6, pp. 24 - 30, July, 2012 | BibTex

L. Antunes, L. Fortnow, A. Pinto, A. Souto, Low-Depth Witnesses are Easy to Find, Computational Complexity, Vol. 21, No. 3, pp. 479 - 497, July, 2012 | BibTex

F. Martins, . ., H. Gomes, Investigando (n)a formação para a melhorar: o papel das situações críticas, FPCEUP VII Congresso Iberoamericano de Docência Universitária - VII CIDU, Porto, Portugal, Vol. 1, pp. CD-ROM - CD-ROM, June, 2012,
| Abstract | BibTex

L. Antunes, A. Souto, A.T. Teixeira, Robustness of Logical Depth, Computability in Europe - CIE, Cambridge, United Kingdom, Vol. 7318, pp. 29 - 34, June, 2012 | BibTex

A. Matos, J. F. Santos, Typing illegal information flows as program effects, ACM SIGPLAN - Workshop on Programming Languages and Analysis for Security - PLAS, Beijing, China, Vol. 1, pp. 1 - 12, June, 2012 | BibTex

P. Mendes, R. Mendes, F. Martins, M. A. Vicente, J. P. Fuentes, R. Menayo, G. Dias, Análise do rendimento no primeiro serviço em tenistas de competição sob o efeito de um escoamento aerodinâmico induzido, Revista Brasileira de Educação Física e Esporte, Vol. 26, No. 2, pp. 193 - 208, June, 2012 | BibTex

D. Gabbay, S. Marcelino, Global view on reactivity: switch graphs and their logics, Annals of Mathematics and Artificial Intelligence, Vol. 66, No. 1, pp. 131 - 162, June, 2012 | BibTex

F.M.C. Clemente, Princípios Pedagógicos dos Teaching Games for Understanding e da Pedagogia Não-Linear no Ensino da Educação Física, Movimento, Vol. 18, No. 2, pp. 315 - 335, June, 2012,
| Abstract | BibTex

F. Martins, M. Vieira, D. Reis, . ., Modelação Matemática como Ambiente de Aprendizagem: Uma Aproximação no 1º Ciclo, Encontro de Investigação em Educação Matemática - EIEM, Castelo de Vide, Portugal, Vol. 1, pp. 583 - 584, May, 2012 | BibTex

J. Ribeiro, C. Lourenço, Deterministic dynamics of daily mood over five years in a patient with affective disorder, International Review of Bipolar Disorders - IRBD, Nice, France, Vol., pp. e23 - e23, May, 2012 | BibTex

M. Couceiro Couceiro, G. Dias, F. Martins, J. M. A. Luz, A Fractional Calculus Approach for the Evaluation of Golf Lip-out, Eurasip Journal on Image and Video Processing, Vol. 6, No. 3, pp. 437 - 443, May, 2012,
| Abstract | BibTex

H A Le Thi Le Thi, M Moeini Moeini, T P Dinh Dinh, J. J. Júdice, A DC Programming Approach for Solving the Symmetric Eigenvalue Complementarity Problem, Computational Optimization and Applications, Vol. 51, No. 3, pp. 1097 - 1117, April, 2012 | BibTex

J. J. Júdice, Algorithms for linear programming with linear complementarity constraints, TOP, Vol. 20, No. 1, pp. 4 - 25, April, 2012 | BibTex

M. Couceiro Couceiro, F. Martins, R. P. Rocha, N. M. Ferreira, Analysis and Parameter Adjustment of the RDPSO Towards an Understanding of Robotic Network Dynamic Partitioning based on Darwin's Theory, Intrnl. Mathematical Forum, Vol. 7, No. 32, pp. 1587 - 1601, April, 2012,
| Abstract | BibTex

M. Brás, M. Fukushima, J. J. Júdice, S. Rosa, Variational inequality formulation of the asymmetric eigenvalue complementarity problem and its solution by means of gap functions, Pacific Journal of Optimization, Vol. 8, No. 2, pp. 197 - 215, April, 2012,
| Abstract | BibTex

J. J. Júdice, M.J.A. Alves, S.D. Dempe, Computing the Pareto frontier of a bi-objective bi-level linear problem using a multiobjective mixed-integer programming algorithm, Optimization, Vol. 61, No. 3, pp. 335 - 358, March, 2012 | BibTex

F.M.C. Clemente, M. Couceiro Couceiro, F. Martins, R. Mendes, Teams Performance on FIFA U17 World Cup 2011: Study based on Notational Analysis, Journal of Physical Education and Sport, Vol. 12, No. 1, pp. 13 - 17, March, 2012 | Full text (PDF 420 KBs) | BibTex

F.M.C. Clemente, M. Couceiro Couceiro, F. Martins, R. Mendes, The usefulness of small-sided games on soccer training, Journal of Physical Education and Sport, Vol. 12, No. 1, pp. 93 - 102, March, 2012 | Full text (PDF 476 KBs) | BibTex

P. Mateus, D. Qiu Qiu, L. Li, On the complexity of minimizing probabilistic and quantum automata, Information and Computation, Vol. 218, No. 1, pp. 36 - 53, March, 2012 | BibTex

L. Z. Zhou, D. Qiu Qiu, L. Li, L. Wu, P. Mateus, Characterizations of one-way general quantum finite automata, Theoretical Computer Science, Vol. 419, No. 1, pp. 73 - 91, March, 2012 | BibTex

F. Alvelos, A. F. Sousa, D. Santos, Combining column generation and metaheuristics, Chapter in, Hybrid Metaheuristics, E-G. Talbi, Springer, Berlin Heidelberg, 2012

M. Couceiro Couceiro, F. Martins, F.M.C. Clemente, R. P. Rocha, N. M. Ferreira, Towards a Further Understanding of the Robotic Darwinian PSO, Chapter in, Advances in Computational Intelligence and Decision Making - Trends and Applications, Ana Madureira, Cecília Reis and Viriato Marques, Springer, Coimbra, 2012

MV Volpe, J. Marcos, C. Caleiro, Classic-like cut-based tableau systems for ﬁnite-valued logics, Chapter in, WoLLIC 2012, Selected Papers, L. Ong, R. de Queiroz, Springer, 2012

F.M.C. Clemente, M. Couceiro Couceiro, F. Martins, R. Mendes, Estudo da dinâmica interpessoal em futebolistas sub-12: análise da distância e velocidade efetiva, Chapter in, Estudos em Desenvolvimento Motor da Criança V, Rui Mendes, João Barreiros e Olga Vasconcelos, ESEC - Área disciplinar de Educação Física e Desporto, Coimbra, 2012

F.M.C. Clemente, M. Couceiro Couceiro, F. Martins, R. Mendes, Estudo do posicionamento angular e ocupação espacial na dinâmica interpessoal de futebolistas sub-12, Chapter in, Estudos em Desenvolvimento Motor da Criança V, Rui Mendes, João Barreiros e Olga Vasconcelos, ESEC - Área disciplinar de Educação Física e Desporto, Coimbra, 2012

R. Mendes, F.M.C. Clemente, RG Gomes, G. Dias, F. Martins, T. Claro, Estudo da performance de hoquistas em tarefas de antecipação-coincidência, Chapter in, Estudos em Desenvolvimento Motor da Criança V, Rui Mendes, João Barreiros e Olga Vasconcelos, ESEC - Área disciplinar de Educação Física e Desporto, Coimbra, 2012

D. Qiu Qiu, L. Li, P. Mateus, Quantum finite automata, Chapter in, Handbook on Finite State based Models and Applications, J. Wang, CRC Press, 2012

A. Kurucz, S. Marcelino, Finite frames for K4.3 × S5 are decidable, Chapter in, Advances in Modal Logic, Volume 9, College Publications, London, 2012

P.D. Sacramento, N. Paunkovic, V. Vieira, Fidelity spectrum and phase transitions of quantum systems, Physical Review A - Atomic, Molecular, and Optical Physics, Vol. 84, No. 6, pp. 062318 - 062318, December, 2011 | BibTex

N. Paunkovic, J. Bouda, P. Mateus, Fair and Optimistic Quantum Contract Signing, Physical Review A - Atomic, Molecular, and Optical Physics, Vol. 84, No. 6, pp. 062331 - 062331, December, 2011 | BibTex

D. Graça, N. Zhong, Computability in planar dynamical systems, Natural Computing, Vol. 10, No. 4, pp. 1295 - 1312, December, 2011 | BibTex

F. Martins, Towards a Correction Metric to the Putting Lip-out (M. S. Couceiro, G. Dias, F. M. L. Martins e J. A. Luz,), ISEC - Symp. on Fractional Signals and Systems, Coimbra, Portugal, Vol. 1, pp. 138 - 146, November, 2011,
| Abstract | BibTex

F. Martins, Statistical Significance Analysis of the R-DPSO (M. S. Couceiro, N. Ferreira, R. P. Rocha, F. M. L. Martins e F. Clemente), ISEC - Symp. on Computational Intelligence for Engineering Systems, Coimbra, Portugal, Vol. 1, pp. CD-ROM - CD-ROM, November, 2011,
| Abstract | BibTex

R. A. Andreani, J. J. Júdice, M. Martinez, J. Patrício, On the natural merit function for solving complementarity problems, Mathematical Programming, Series B, Vol. 130, No. 1, pp. 211 - 223, November, 2011,
| Abstract | BibTex

E. Pereira, Cecília Rosa, A deflation method for regular matrix pencils, Applied Mathematics and Computation, Vol. 218, No. 6, pp. 2913 - 2920, November, 2011,
| Abstract | BibTex

L. Oliveira, A. F. Sousa, J. R. Rodrigues, Routing and Mobility Approaches in IPv6 over LoWPAN Mesh Networks, Intrnl. Journal of Communication Systems (IJCS), Vol. 24, No. 11, pp. 1445 - 1466, November, 2011,
| Abstract | BibTex

P. Adão, E. Sixpence Sixpence, C. Smith Smith, Automatização de Casos de Teste como Processo de Melhoria da Qualidade do Software: O caso da Aplicação e-Learning ISUPAC3 no ISUTC, Congresso Luso Moçambicano de Engenharia - CLME, Maputo, Mozambique, Vol. xxx, pp. xxx - xxx, September, 2011 | BibTex

M.T. Dashti, J.C. Cederquist, Y. W. Wang, Risk Balance in Optimistic Non-repudiation Protocols, Formal Aspects of Security and Trust, Leuven, Belgium, Vol. 7140, pp. 263 - 277, September, 2011,
| Abstract | Full text (PDF 181 KBs) | BibTex

Cecília Rosa, Classes de Matrizes e Método de Deflação para Feixes de Matrizes Regulares, Universidade da Beira Interior, September, 2011

O. Bournez, D. Graça, A. P. Pouly, Solving analytic differential equations in polynomial time over unbounded domains, International Symp. on Mathematical Foundations of Computer Science, Warsaw, Poland, Vol. 6907, pp. 170 - 181, August, 2011 | BibTex

D. Santos, A. F. Sousa, F. Alvelos, M. Dzida, M. Pióro, Optimization of link load balancing in multiple spanning tree routing networks, Telecommunication Systems, Vol. 48, No. 1-2, pp. 109 - 124, August, 2011,
| Abstract | BibTex

R. A. Andreani, J. J. Júdice, J. Patrício, A projected-gradient interior-point algorithm for complementarity problems, Numerical Algorithms, Vol. 57, No. 4, pp. 457 - 485, August, 2011 | BibTex

F. Martins, Best Approximation Pair of Two Linear Varieties via an (In)Equality by (Fan-Todd) Beesack (M. A. Facas Vicente, Fernando Martins, Cecília Costa, José Vitória), Cornell University Library, Vol. 1, No. 1108.0858, pp. 1 - 20, August, 2011,
| Abstract | BibTex

D. Basin, C. Caleiro, FAST - An eﬃcient decision procedure for deduction and static equivalence, International Conf. on Rewriting Techniques and Applications - RTA, Novi Sad, Serbia & Montenegro, Vol. 10, pp. 11 - 20, July, 2011 | BibTex

F. Martins, Analysis of the Performance in the First Tennis Serve Under the Effect of an Induced Aerodynamic Flow (Wind) (P. Mendes, R. Mendes, F. Martins, M. A. Facas Vicente, M. J. Coelhoe- Silva, J. P. Fuentes, G. Dias e R. Menayo), Annual Congress of the European College of Sport Science, Liverpool, United Kingdom, Vol. 1, pp. 305 - 305, July, 2011 | BibTex

F. Martins, Early Years’ Trainee Teachers Mathematical Knowledge for Teaching: The Case of Bar Graphs (F. Martins e C. Miguel Ribeiro), Conf. of the International Group for the Psychology of Mathematics Education, Ankara, Turkey, Vol. 1, pp. 491 - 491, July, 2011 | BibTex

C. Caleiro, M.P.G. Gouveia, J. Ramos, Hierarchical logical consequence, Logic Journal of the IGPL, Vol. 19, No. 4, pp. 544 - 565, July, 2011 | BibTex

D. Basin, C. Caleiro, J. Ramos, L. Viganò, Distributed temporal logic for the analysis of security protocol models, Theoretical Computer Science, Vol. 412, No. 31, pp. 4007 - 4043, July, 2011 | BibTex

C. Caleiro, J. Marcos, Many-valuedness meets bivalence: Using logical values in an eﬀective way, Journal of Multiple-Valued Logic and Soft Computing, Vol. 0, No. 0, pp. 0 - 0, July, 2011 | BibTex

S. Marcelino, Modal logic for changing systems, University of London, July, 2011

F. Martins, Conhecimento matemático para o ensino de futuros professores dos primeiros anos: os pictogramas (C. Miguel Ribeiro e F. Martins), Conf. Interamericana de Educação Matemática, Recife, Pernambuco, Brazil, Vol. 1, pp. CIAEM (Ed.) - CIAEM (Ed.), June, 2011 | BibTex

L. Gouveia, P. M. Moura, A. F. Sousa, Spanning Trees with Generalized Degree Constraints Arising in the Design of Wireless Networks, International Network Optimization Conf. - INOC, Hamburg, Germany, Vol. 6701, Lecture Notes on Computer Sciences, pp. 77 - 82, June, 2011,
| Abstract | BibTex

L. Gouveia, P. Patrício, A. F. Sousa, Lexicographical Minimization of Routing Hops in Telecommunication Networks, International Network Optimization Conf. - INOC, Hamburg, Germany, Vol. 6701, Lecture Notes on Computer Sciences, pp. 216 - 229, June, 2011,
| Abstract | BibTex

A.T. Teixeira, A. Matos, A. Souto, Distinguishing probability ensembles, Computability in Europe - CIE, Sofia, Bulgaria, Vol. 1, pp. 155 - 164, June, 2011 | BibTex

L. M. Fernandes, J. J. Júdice, H. Sherali, A. P. A. P. Antunes, Siting and Sizing of Facilities under Probabilistic Demands, Journal of Optimization Theory and Applications, Vol. 149, No. 3, pp. 420 - 440, June, 2011 | BibTex

C. Miguel, On the structure of quaternion rings over Z_p, INTERNATIONAL JOURNAL OF ALGEBRA, Vol. 5, No. 25-28, pp. 1313 - 1325, June, 2011 | BibTex

C. Miguel, A matricial perspective of Wedderburn's little theorem, INTERNATIONAL JOURNAL OF ALGEBRA, Vol. 5, No. 25-28, pp. 1305 - 1311, June, 2011 | BibTex

A. Matos, J.C. Cederquist, Non-disclosure for distributed mobile code, Mathematical Structures in Computer Science, Vol. 21, No. 6, pp. 1111 - 1181, June, 2011 | BibTex

L. Gouveia, P. Patrício, A. F. Sousa, Models for optimal survivable routing with a minimum number of hops: comparing disaggregated with aggregated models, Intrnl. Transactions in Operational Research, Vol. 18, No. 3, pp. 335 - 358, May, 2011,
| Abstract | BibTex

M.J.A. Alves, J. J. Júdice, On the use of a tabu pivoting technique for solving the linear complementarity problem, Journal of Advanced Modeling and Optimization, Vol. 13, No. 1, pp. 111 - 140, May, 2011 | BibTex

F. Martins, WHAT CAN WE ALL LEARN FROM THE ANALYSIS AND DISCUSSION OF TRAINEES TEACHER’S MKT ABOUT BAR GRAPHS AND PICTOGRAMS? (Fernando M. L. Martins, C. Miguel Ribeiro e Helena Gomes), International Week of ESEC, Coimbra, Portugal, Vol. 1, pp. CD-ROM - CD-ROM, April, 2011,
| Abstract | BibTex

D. Qiu Qiu, L. Li, X. Zou, P. Mateus, J. Gruska, Multi-letter quantum finite automata: Decidability of the equivalence and minimization of states., Acta Informatica, Vol. 48, No. 5-6, pp. 271 - 200, April, 2011 | BibTex

J.C. Cederquist, , Complexity of Fairness Constraints for the Dolev-Yao Attacker Model, ACM Symp. on Appl. Computing, Taichung, Taiwan, Vol. 26, pp. 1507 - 1514, March, 2011,
| Abstract | Full text (PDF 234 KBs) | BibTex

E. Pereira, J.A A.L. Silva, Cecília Rosa, A two scale age dependent metapopulation model, International Conf. on Economics Business and Marketing Management - EBMM 2011, Shanghai, China, Vol. 1, pp. 549 - 553, March, 2011,
| Abstract | BibTex

L. Antunes, A. Matos, A. Souto, A.T. Teixeira, Entropy Measures vs. Kolmogorov Complexity, Entropy, Vol. 13, No. 3, pp. 595 - 611, March, 2011 | BibTex

F. Martins, Análise às variáveis de produto na execução do serviço de ténis sob o efeito de um escoamento aerodinâmico induzido (vento artificial) (P. Mendes, F. Martins, A. M. Facas Vicente, F. Corbi, M. Couceiro, R. Mendes e J. Trovão), Congresso Nacional de Biomecânica, Coimbra, Portugal, Vol. 1, pp. 49 - 52, February, 2011 | BibTex

D. Basin, C. Caleiro, Eﬃcient decision procedures for message deducibility and static equivalence, Chapter in, Formal Aspects of Security and Trust - Lecture Notes in Computer Science, volume 6561, P. Degano, S. Etalle, J. Guttman, Springer, 2011

F. Martins, Discussing Early Years’Trainee Teachers’s MKT in Geometry: A First Approach Concerning Quadrilaterums (H. Gomes, F. Martins and C. Miguel Ribeiro), Chapter in, The mathematical knowledge needed for teaching in elementary schools, Jarmila Novotná e Hana Moraová, Prague, 2011

F. Martins, Efeito dos constrangimentos no desempenho motor de crianças no remate de futebol (Martins F, Clemente F, Couceiro M, Dias G e Mendes R), Chapter in, Estudos em Desenvolvimento Motor da Criança IV, P Mouroço, O Vasconcelos, J Barreiros e R Matos, Escola Superior de Educação e Ciências Sociais e e Centro de Investigação de Motricidade Humana/IPL, Leiria, 2011

F. Martins, Efeito da idade na performance de uma tarefa de antecipação-coincidência (Dias G, Mendes R, Clemente F, Rocha R e Martins F), Chapter in, Estudos em Desenvolvimento Motor da Criança IV, P Mouroço, O Vasconcelos, J Barreiros e R Matos, Escola Superior de Educação e Ciências Sociais e e Centro de Investigação de Motricidade Humana/IPL, Leiria, 2011

A. Sernadas, C. Sernadas, J. Rasga, P. Mateus, Non-deterministic combination of connectives, Chapter in, Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the Occasion of his 60th Birthday, Jean-Yves Béziau and Marcelo Coniglio, College Publications, 2011

J. Buescu, D. Graça, N. Zhong, Computability and Dynamical Systems, Chapter in, Dynamics and Games in Science I, M. Peixoto, A. Pinto, and D. Rand, Springer, 2011

J. Nascimento, P. Mateus, Statistical Model for a Quantum Noiseless Subsystem, Optics Communications, Vol. 45, No. 3, pp. 11 - 23, January, 2011 | BibTex

L. Gouveia, P. M. Moura, A. F. Sousa, Prize collecting Steiner trees with node degree dependent costs, Computers and Operations Research, Vol. 38, No. 1, pp. 234 - 245, January, 2011,
| Abstract | BibTex

F. Martins, A method for segmented-trend estimate and geometric error analysis in motor learning (M. A. Facas Vicente, F. Martins, R. Mendes, G. Dias and J. Fonseca), ISEC Conf. in Mathematical Methods in Engineering - MME 2010, Coimbra, Portugal, Vol. 1, pp. 433 - 442, October, 2010 | BibTex

F. Martins, E. Pereira, Stability of Matrix Differential Equations with Commuting Matrix Constant Coefficients (F. Martins, E. Pereira, M. A. Facas Vicente and J. Vitória), ISEC Conf. in Mathematical Methods in Engineering - MME 2010, Coimbra, Portugal, Vol. 1, pp. 176 - 185, October, 2010 | BibTex

F. Alvelos, A. F. Sousa, D. Santos, SearchCol: Metaheuristic Search by Column Generation, International Workshop on Hybrid Metaheuristics - HM, Vienna, Austria, Vol. 6373, Lecture Notes on Computer Sciences, pp. 190 - 205, October, 2010,
| Abstract | BibTex

D. Santos, A. F. Sousa, F. Alvelos, M. Pióro, Link Load Balancing Optimization of Telecommunication Networks: a Column Generation based Heuristic Approach, International Telecommunication Network Strategy and Planning Symp. - Networks, Warsaw, Poland, Vol. IEEE Xplore, pp. 1 - 6, September, 2010 | BibTex

F. Martins, Que conhecimento matemático será suficiente para ensinar recolha, organização e tratamento de dados? (C. Miguel Ribeiro and F. Martins), APM Encontro Nacional de Professores de Matemática - PROFMAT, Aveiro, Portugal, Vol. 1, pp. APM (Ed.) - APM (Ed.), September, 2010 | BibTex

F. Martins, (Des)conhecimento matemático para ensinar Otd que possuem futuros professores dos primeiros anos (C. Miguel Ribeiro e F. Martins), APM Encontro Nacional de Professores de Matemática - PROFMAT, Aveiro, Portugal, Vol. 1, pp. APM (Ed.) - APM (Ed.), September, 2010 | BibTex

C. Miguel, R. Serõdio Serôdio, On quaternion rings over the field Z_p, DMUC Encontro de Algebristas Portugueses, covilhã, Portugal, Vol. VIII, pp. 117 - 125, September, 2010 | BibTex

C. Caleiro, A. Sernadas, C. Sernadas, J. Ramos, P. Adão, J.C. Cederquist, KLog - Kleistic Logic, FCT PTDC/MAT/68723/2006, September, 2010

A. F. Sousa, D. Santos, P. Matos, J. M. Madeira, Load Balancing Optimization of Capacitated Networks with Path Protection, International Symp. on Combinatorial Optimization, Hammamet, Tunisia, Vol. 36, Electronic Notes in Discrete Mathematics, pp. 1249 - 1256, August, 2010,
| Abstract | BibTex

A. Souto, Kolmogorov Complexity cores, Computability in Europe - CIE, Ponta Delgada, Portugal, Vol. 6158, pp. 376 - 385, July, 2010 | BibTex

A. Souto, A.T. Teixeira, A. Pinto, One way functions using Kolmogorov Complexity, Computability in Europe - CIE, Ponta Delgada, Portugal, Vol. 0, pp. 0 - 0, July, 2010 | BibTex

A.T. Teixeira, A. Matos, A. Souto, On the largest monochromatic combinatorial rectangles with an application to communication complexity, Computability in Europe - CIE, Açores, Portugal, Vol. 1, pp. 1 - 10, July, 2010 | BibTex

C. C-S Costa-Santos, L. Antunes, A. Souto, J. B. Bernardes, Assessment of disagreement: a new information based approach., Annals of Epidemiology, Vol. 20, No. 7, pp. 555 - 561, July, 2010 | BibTex

F. Martins, Aprendizagem Motora e Ténis: Medida da Precisão no Serviço de Ténis (P. Mendes, R. Mendes, F. Martins, M. Facas Vicente e J. P. Fuentes), Brazilian Journal of Motor Behavior, Vol. 5, No. 1, pp. 17 - 17, July, 2010 | BibTex

F. Martins, E. Pereira, Block Matrices and Stability Theory II (F. Martins, E. Pereira e J. Vitória), International Conf. on Computational and Mathematical Methods in Science and Engineering - CMMSE 2010, Almeria, Spain, Vol. 1, pp. 629 - 632, June, 2010 | BibTex

A.T. Teixeira, A. Matos, A. Souto, L. Antunes, Entropy measures vs. Algorithmic information, IEEE International Symp. on Information Theory - ISIT, Austin, United States, Vol. 1, pp. 1413 - 1417, June, 2010 | BibTex

A. Souto, L. Antunes, Information measures for infinite sequences, Theoretical Computer Science, Vol. 41, No. 26, pp. 2602 - 2611, June, 2010 | BibTex

C. Caleiro, R. Gonçalves, Towards a behavioral algebraic theory of logical valuations, Fundamenta Informaticae, Vol. 106, No. 0, pp. 2 - 4, May, 2010 | BibTex

F. Martins, Produto vectorial de IR7: Projecção de um ponto sobre uma recta (C. Costa, M. A. Facas Vicente, P. Beites, F. Martins, R. Serôdio and P. Tadeu), Boletim da Sociedade Portuguesa de Matemática, Vol. 62, No. 1, pp. 19 - 35, May, 2010 | BibTex

A. Souto, L. Antunes, A. T. Teixeira, A characterization of one-way functions based on time-bounded Komogorov complexity., Logical Approaches to Barriers in Computing and Complexity, Greifswald, Germany, Vol. 6/2010, pp. 3 - 5, February, 2010 | BibTex

F. Martins, Conjugacy and Geometry II - Moore-Penrose Inverse and Feet of the Perpendiculars (C. Costa, F. Martins, R. Serôdio, P. Tadeu, M. A. Facas Vicente and J. Vitória), Far East Journal of Mathematical Education, Vol. 4, No. 1, pp. 25 - 48, February, 2010 | BibTex

F. Martins, Sondagens versus Censos. Uma primeira discussão do conhecimento matemático para ensinar Organização e tratamento de dados (C. Miguel Ribeiro and F. Martins), Exedra, Vol. 3, No. 1, pp. 33 - 50, February, 2010 | BibTex

P. Mateus, J. Ramos, A. Sernadas, C. Sernadas, Temporal logics for reasoning about quantum systems, Chapter in, Semantic Techniques in Quantum Computation, pages 389-413, I. Mackie and S. Gay, Cambridge University Press, 2010

C. Caleiro, A. Sernadas, Fibring Logics, Chapter in, Universal Logic: An Anthology (from Paul Hertz to Dov Gabbay), J-Y Béziau, Birkhäuser, 2010

O. Bournez, D. Graça, E. Hainry, Robust computations with dynamical systems, Chapter in, Proceedings of the 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010), volume 6281 of Lecture Notes in Computer Science ARCoSS, pages 198-208, P. Hlinený and A. Kucera, Springer, 2010

J. J. Júdice, Texto de Apoio às Aulas de Análise Matemática I, Imprensa da Universidade de Coimbra, Coimbra, 2010,
| BibTex

C. Caleiro, J. Marcos, Two Many Values: An algorithmic outlook on Suszko’s Thesis, International Symp. on Many-Valued Logic - ISMVL, Barcelona, Spain, Vol. -, pp. - - -, January, 2010 | BibTex

J. J. Júdice, Complementary approaches for the computation of the independent number of a graph, WSEAS Multiconf. in Appl Mathematics, Puerto de la Cruz, Spain, Vol., pp. 178 - 183, December, 2009 | BibTex

P. Adão, G. Bana, J. Herzog, A. Scedrov, Soundness and completeness of formal encryption: the cases of key-cycles and partial information leakage, Computers and Security, Vol. 17, No. 5, pp. 737 - 797, December, 2009 | BibTex

F. Martins, Geometric Illustrations of the Conjugacy Principle (F. Martins and M. A. Facas Vicente), Exedra, Vol. 2, No. 1, pp. 61 - 78, December, 2009 | BibTex

S. Marcelino, D. Gabbay, Modal Logics of Reactive Frames, Studia Logica, Vol. 93, No. 2-3, pp. 405 - 446, November, 2009 | BibTex

S. Rosa, Problema Complementar de Valores Próprios, November, 2009

P. Matos, A. F. Sousa, J. M. Madeira, D. Santos, Redes Metropolitanas Ethernet com Protecção de Trafego, Conf. sobre Redes de Computadores - CRC, Oeiras, Portugal, Vol. -, pp. 1 - 6, October, 2009 | BibTex

E. Pereira, F. Martins, Block Eigenvectors Obtained by Block Hotteling Deflation, East Asian Journal on Applied Mathematics, Vol. 36, No. 3, pp. 379 - 387, October, 2009 | BibTex

F. Martins, Conjugacy and Geometry I - Foot of the Perpendicular, Distance and Gram Determinant (C. Costa, F. Martins, R. Serôdio, P. Tadeu, M. A. Facas Vicente and J. Vitória), Far East Journal of Mathematical Education, Vol. 3, No. 3, pp. 235 - 262, October, 2009 | BibTex

C. Lourenço, Brain Dynamics Promotes Function, Unconvencional Computation - UC, Ponta Delgada, Portugal, Vol. N.A., pp. 7 - 9, September, 2009,
| Abstract | BibTex

H. Sherali, I. Ribeiro, S. Rosa, On the asymmetric eigenvalue complementarity problem, Optimization Methods and Software, Vol. 24, No. 4-5, pp. 549 - 568, August, 2009,
| Abstract | BibTex

D. Santos, A. F. Sousa, F. Alvelos, M. Dzida, M. Pióro, M. Zagozdzon, Traffic Engineering of Multiple Spanning Tree Routing Networks: the Load Balancing Case, International Conf. on Next Generation Internet Networks - NGI, Aveiro, Portugal, Vol. --, pp. 1 - 8, July, 2009 | BibTex

C. Caleiro, Modeling and reasoning about an attacker with cryptanalytical capabilities, Theoretical Computer Science, Vol. 253, No. 3, pp. 143 - 165, July, 2009 | BibTex

A. Pinto, A. Souto, A. Matos, L. Antunes, Commitment and Authentication Systems, Designs, Codes, and Cryptography, Vol. 53, No. 3, pp. 175 - 193, June, 2009 | BibTex

Y. Omar, P. Mateus, Quantum Tags for the Authentication of Classical Public Messages, Conf. on Telecommunications - ConfTele, St Maria da Feira, Portugal, Vol. 09, pp. 000 - 003, May, 2009,
| Abstract | BibTex

J. J. Júdice, A. Almeida, L. M. Fernandes, J. Patrício, On the computation of a nonnegative matrix factorization and its application in telecommunications, Conf. on Telecommunications - ConfTele, Santa M. da Feira, Portugal, Vol., pp. 485 - 488, May, 2009 | BibTex

D. Santos, A. F. Sousa, F. Alvelos, Load Balancing of Telecommunication Networks based on Multiple Spanning Trees, International Network Optimization Conf. - INOC, Pisa, Italy, Vol. --, pp. 1 - 8, April, 2009 | BibTex

C. Caleiro, Modeling and reasoning about an attacker with cryptanalytical capabilities, Workshop on Quantitative Aspects of Programming Languages - QAPL, York, United Kingdom, Vol. -, pp. - - -, March, 2009 | BibTex

R. Chadha, P. Mateus, A. Sernadas, C. Sernadas, Extending classical logic for reasoning about quantum systems, Chapter in, Handbook of Quantum Logic and Quantum Structures: Quantum Logic, pages 325-372, K. Engesser, D. Gabbay and D. Lehmann, Elsevier Science, 2009

P. Baltazar, P. Mateus, Temporalization of probabilistic propositional logic, Chapter in, Logic Foundations of Computer Science 2009, volume 5407, Lecture Notes in Computer Science, pages 46-60, S. Artemov and A. Nerode, Springer, 2009

C. Caleiro, J. Marcos, Classic-like analytic tableaux for finite-valued logics, Chapter in, WoLLIC 2009, Selected Papers, volume 5514 of Lecture Notes in Artificial Intelligence, pages 268-280, H. Ono, R. de Queiroz, M. Kanazawa, Springer, 2009

D. Graça, Computing domains of attraction for planar dynamics, Chapter in, Proceedings of the 8th International Conference on Unconventional Computation (UC 2009), volume 5715 of Lecture Notes in Computer Science, C. S. Calude, J. F. Costa, N. Dershowitz, E. Freire, and G. Rozenberg, Springer, Ponta Delgada, Açores, 2009

C. Caleiro, R. Gonçalves, Algebraic valuations as behavioral logical matrices, Chapter in, WoLLIC 2009, Selected Papers, volume 5514 of Lectures Notes in Artificial Intelligence, pages 13-25, M. Kanazawa, H. Ono e R. de Queiroz, Springer, 2009

C. Lourenço, Brain Dynamics Promotes Function, Chapter in, Unconventional Computation, 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009, Proceedings. Lecture Notes in Computer Science, Vol. 5715, Calude, C.S.; Costa, J.F.G.d.; Dershowitz, N.; Freire, E.; Rozenberg, G., Springer, 2009

D. Santos, A. F. Sousa, F. Alvelos, Traffic Engineering of Telecommunication Networks based on Multiple Spanning Tree Routing, Chapter in, Traffic Management and Traffic Engineering for the Future Internet, LNCS 5464, R. Valadas and P. Salvador, Springer, 2009

A. Matos, Flow Policy Awareness for Distributed Mobile Code, Chapter in, CONCUR 2009 - Concurrency Theory, Springer Berlin Heidelberg, Berlin Heidelberg, 2009

C. Caleiro, R. Gonçalves, M.M. Martins, Behavioral algebraization of logics, Studia Logica, Vol. 91, No. 1, pp. 63 - 111, January, 2009 | BibTex

D. Graça, N. Zhong, J. Buescu, Computability, noncomputability and undecidability of maximal intervals of IVPs, Transactions of the American Mathematical Society, Vol. 361, No. 6, pp. 2913 - 2927, January, 2009 | BibTex

J. J. Júdice, P. Amaral, L. M. Fernandes, H. Sherali, On optimal zero-preserving corrections for inconsistent linear systems, Journal of Global Optimization, Vol. 45, No. 1, pp. 645 - 666, January, 2009,
| Abstract | BibTex

D. Basin, C. Caleiro, J. Ramos, L. Viganò, Labelled tableaux for distributed temporal logic, Journal of Logic and Computation, Vol. 19, No. 6, pp. 1245 - 1279, January, 2009 | BibTex

C. Caleiro, R. Gonçalves, Behavioral algebraization of da Costa's C-systems, Journal of Appl. Non-Classical Logics, Vol. 19, No. 2, pp. 127 - 148, January, 2009 | BibTex

P. Collin, D. Graça, Effective Computability of Solutions of Differential Inclusions - The Ten Thousand Monkeys Approach, Journal of Universal Computer Science, Vol. 15, No. 6, pp. 1162 - 1185, January, 2009 | BibTex

D. Graça, J. Buescu, M.L. Campagnolo, Computational bounds on polynomial differential equations, Applied Mathematics and Computation, Vol. 215, No. 4, pp. 1375 - 1385, January, 2009 | BibTex

L. Antunes, A. Matos, A. Souto, P. Vitányi, Depth as Randomness deficiency, Theory of Computing Systems, Vol. 45, No. 4, pp. 724 - 739, January, 2009 | BibTex

A. Matos, G. Boudol, On declassification and the non-disclosure policy, Computers and Security, Vol. 17, No. 5, pp. 549 - 597, January, 2009 | BibTex

Cecília Rosa, E. Pereira, Classes of Commuting Matrices, Southeast Asian Bulletin of Mathematics, Vol. 2008, No. 32, pp. 969 - 984, November, 2008 | BibTex

C. Lourenço, EEG switching: three views from dynamical systems, International Conf. on Artificial Neural Networks - ICANN, Prague, Czech Republic, Vol. 5164 LNCS, pp. 665 - 674, September, 2008,
| Abstract | Full text (PDF 195 KBs) | BibTex

R. Gonçalves, Behavioral algebraization of logics, September, 2008

P.B Bastos, Exploração Temporal de Ambientes Virtuais Culturais, Faculdade de Engenharia da Universidade do Porto, September, 2008

D. Graça, J. Buescu, M.L. Campagnolo, Computational bounds on polynomial differential equations, Workshop on Physics and Computation, Vienna, Austria, Vol. 1, pp. 1 - 20, August, 2008,
| Abstract | BibTex

P. Colins, D. Graça, Effective computability of solutions of ordinary differential equations — the thousand monkeys approach, Computability and Complexity in Analysis - CCA, Hagen, Germany, Vol. 221, pp. 104 - 113, August, 2008,
| Abstract | BibTex

S. Marcelino, P. Resende, An algebraic generalization of Kripke structures, Mathematical Proceedings of the Cambridge Philosophical Society, Vol. 145, No. 03, pp. 549 - 549, July, 2008 | BibTex

D. Basin, C. Caleiro, J. Ramos, L. Viganò, Labeled tableaux for distributed temporal logic, Symp. on Temporal Representation and Reasoning, Québec, Canada, Vol. -, pp. 101 - 109, June, 2008 | BibTex

D. Graça, Computability and dynamical systems: A perspective, Weak Arithmetics Days, Sevilla, Spain, Vol. -, pp. 95 - 107, June, 2008 | BibTex

C. Caleiro, J. Ramos, Accepted for publication - Combining classical and intuitionistic implications, Frontiers of Combining Systems - FroCos, Santa Margherita, Italy, Vol. -, pp. - - -, April, 2008 | BibTex

M. Raydan, S. Rosa, S. Santos, On the solution of the symmetric eigenvalue complementarity problem by the spectral projected gradient algorithm, Numerical Algorithms, Vol. 47, No. 4, pp. 391 - 407, April, 2008 | BibTex

L. Gouveia, P. Patrício, A. F. Sousa, Hop-Constrained Node Survivable Network Design: An Application to MPLS over WDM, Networks and Spatial Economics, Vol. 8, No. 1, pp. 3 - 21, March, 2008,
| Abstract | BibTex

J. Bouda, P. Mateus, N. Paunkovic, J. Rasga, On the power of quantum tamper-proof hardware, International Journal of Quantum Information, Vol. 6, No. 2, pp. 219 - 236, February, 2008 | BibTex

L. Gouveia, P. Patrício, A. F. Sousa, Optimal Survivable Routing with a Small Number of Hops, Chapter in, Telecommunications Modeling, Policy, and Technology, Raghavan S., Golden B., Wasil E., Springer, US, 2008

C. Lourenço, EEG switching: three views from dynamical systems, Chapter in, Proceedings of the 18th International Conference in Artificial Neural Networks - ICANN 2008, volume 5164 of Lecture Notes in Computer Science, pages 665--674, V. Kurková, R. Neruda, and J. Koutník, Springer, Lisboa, 2008

W. Carnielli, M. Coniglio, D. Gabbay, M.P.G. Gouveia, C. Sernadas, Analysis and Synthesis of Logics - How To Cut And Paste Reasoning Systems, Springer, Berlin, 2008,
| BibTex

J. J. Júdice, P. Amaral, H. Sherali, A Reformulation-Linearization-Convexification Algorithm for Optimal Correction of an Inconsistent System of Linear Constraints, Computers and Operations Research, Vol. 35, No. 1, pp. 1494 - 1509, January, 2008 | BibTex

N. Paunkovic, V. Vieira, Macroscopic distinguishability between quantum states defining different phases of matter: Fidelity and the Uhlmann geometric phase, Physical review. E, Vol. 77, No. -, pp. - - -, January, 2008 | BibTex

P. Baltazar, R. Chadha, P. Mateus, Quantum computation tree logic - model checking and complete calculus, International Journal of Quantum Information, Vol. 6, No. 2, pp. 281 - 302, January, 2008 | BibTex

J. J. Júdice, A. Anunciada, C. P. Baptista, Cost minimization of a multiple section power cable supplying several remote telecom equipment, Optimization and Engineering, Vol. 9, No. 1, pp. 273 - 290, January, 2008 | BibTex

J. J. Júdice, A. Afonso, C. P. Baptista, L. M. Fernandes, Economic design of water distribution systems in buildings, Engineering Optimization, Vol. 40, No. 1, pp. 749 - 768, January, 2008 | BibTex

J. J. Júdice, M. Raydan, On the solution of the symmetric eigenvalue complementarity problem by the spectral projected gradient algorithm, Numerical Algorithms, Vol. 45, No. 1, pp. 391 - 407, January, 2008 | BibTex

J. J. Júdice, L. Portugal, J. Patrício, M. Resende, G. Veiga, FORTRAN subroutines for network flow optimization using an interior point algorithm, Pesquisa Operacional, Vol. 28, No. 1, pp. 241 - 259, January, 2008 | BibTex

D. Graça, M.L. Campagnolo, J. Buescu, Computability with Polynomial Differential Equations, Advances in Applied Mathematics, Vol. 40, No. 3, pp. 330 - 349, January, 2008 | BibTex

F. Moura, One loop superstring effective actions and n=8 supergravity, Physical Review D, Vol. 77, No. 77, pp. - - 125011, January, 2008 | BibTex

N. Paunkovic, P.D. Sacramento, P. Nogueira, V. Vieira, V. K. Dugaev, Fidelity between partial states as signature of quantum phase transitions, Physical Review A - Atomic, Molecular, and Optical Physics, Vol. 77, No. -, pp. 052302 - 052302, January, 2008 | BibTex

A. F. Sousa, G. Soares, Improving Load Balance and Minimizing Service Disruption on Ethernet Networks using IEEE 802.1S MSTP, Workshop on IP QoS and Traffic Control, Lisbon, Portugal, Vol. 1, pp. 25 - 35, December, 2007,
| Abstract | BibTex

F. Moura, R. Schiappa, Higher-derivative corrected black holes: Perturbative stability and absorption cross-section in heterotic string theory, Classical and Quantum Gravity, Vol. 24, No. 2, pp. 361 - 386, December, 2007 | BibTex

F. Martins, E. Pereira, Block Matrices and Stability Theory, Tatra Mountains Mathematical Publications, Vol. 38, No. 4, pp. 147 - 162, November, 2007 | BibTex

D. Graça, Computability with Polynomial Differential Equations, Instituto Superior Técnico, September, 2007

E. Pereira, C. Miguel, Fundamentals for a Block Linear Algebra, Journal of Appl. Algebra and Discrete Structures, Vol. 5(2007), No. 2, pp. 71 - 91, July, 2007 | BibTex

A. Matos, G. Boudol, I. Castellani, Typing Noninterference for Reactive Programs, Journal of Logic and Algebraic Programming, Vol. 72, No. 2, pp. 124 - 156, July, 2007 | BibTex

D. Graça, J. Buescu, M.L. Campagnolo, Boundedness of the domain of definition is undecidable for polynomial odes, Computability and Complexity in Analysis - CCA, Siena, Italy, Vol. 202, pp. 49 - 57, June, 2007 | BibTex

C. Lourenço, How can natural brains help us compute?, Computability in Europe - CIE, Siena, Italy, Vol. N.A., pp. 257 - 262, June, 2007,
| Abstract | Full text (PDF 68 KBs) | BibTex

A.T. Teixeira, A. Matos, A. Souto, Non-deterministic communication complexity and instance complexity, Computability in Europe - CIE, Siena, Italy, Vol. 1, pp. 1 - 10, June, 2007 | BibTex

C. Lourenço, Dynamical computation reservoir emerging within a biological network, Neurocomputing, Vol. 70, No., pp. 1177 - 1185, June, 2007 | BibTex

F. Moura, Type II and heterotic one loop string effective actions in four dimensions, Journal of High Energy Physics, Vol. 06, No. -, pp. 052 - 052, June, 2007 | BibTex

O. Bournez, M.L. Campagnolo, D. Graça, E. Hainry, Polynomial differential equations compute all real computable functions on computable compact intervals, Journal of Complexity, Vol. 23, No. 3, pp. 317 - 335, June, 2007,
| Abstract | BibTex

J. J. Júdice, H. Sherali, I. Ribeiro, The eigenvalue complementarity problem, Computational Optimization and Applications, Vol. 37, No. 2, pp. 139 - 156, June, 2007 | BibTex

J.C. Cederquist, , , A Certified Email Protocol using Key Chains, International Conf. on Advanced Information Networking and Applications - AINA, Niagara Falls, Canada, Vol. 1, pp. 525 - 530, May, 2007 | BibTex

F. Martins, Matrizes de Blocos e Equações Diferenciais Matriciais, May, 2007

C. Miguel, Fundamentos de uma Algebra Linear de Blocos, Universidade da Beira Interior, May, 2007

J. Patrício, Algoritmos de Pontos Interiores para Problemas Complementares Monótonos e suas Aplicações, Universidade de Coimbra, April, 2007

, J.C. Cederquist, , , Extended Privilege Inheritance in RBAC, ACM Symp. on Information, Computer and Communications Security - ASIACCS, New York, United States, Vol. 00, pp. 383 - 385, March, 2007 | BibTex

C. Miguel, Algebra Linear e Forma Canónica de Blocos, March, 2007

P. Adão, P. Mateus, A process algebra for reasoning about quantum security, Theoretical Computer Science, Vol. 170, No., pp. 3 - 21, February, 2007 | BibTex

R. Chadha, L. Cruz-Filipe, P. Mateus, A. Sernadas, Reasoning about probabilistic sequential programs, Theoretical Computer Science, Vol. 379, No. 1-2, pp. 142 - 165, February, 2007 | BibTex

C. Caleiro, R. Gonçalves, On the algebraization of many-sorted logics, Chapter in, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 4409 of Lecture Notes in Computer Science, pages 21-36, J. Fiadeiro and P.-Y. Schobbens, Springer, 2007

C. Caleiro, J. Ramos, Combining Classical and Intuitionistic implications, Chapter in, Frontiers of Combining Systems ( FroCoS2007), volume 4720 of Lecture Notes in Artificial Intelligence, B. Konev and F. Wolter, Springer, Liverpool, 2007

A. Sernadas, P. Mateus, Y. Omar, Quantum computation and information, Chapter in, A portrait of state-of-the-Art Research at the Technical University of Lisbon, pages 46-65, M.S. Pereira, Springer, 2007

C. Lourenço, How can natural brains help us compute?, Chapter in, Computation and Logic in the Real World, Quaderni del Dipartimento di Scienze Matematiche e Informatiche "Roberto Magari", pages 257-262, S.B. Cooper, B. LÃ¶we, and A. Sorbi, Universita di Siena, 2007

N. Paunkovic, V. Vieira, Macroscopic thermal entanglement, Chapter in, Strongly Correlated Systems, Coherence and Entanglement, World Scientific Publishing, Singapore, 2007

C. Lourenço, Structure reservoir computing with spatiotemporal chaotic attractors, European Symp. on Artificial Neural Networks - ESANN, Bruges, Belgium, Vol. -, pp. 501 - 506, January, 2007 | BibTex

P. Baltazar, R. Chadha, P. Mateus, A. Sernadas, Towards model-checking quantum security protocols, Workshop on Quantum Security - QSEC, Guadeloupe, French Polynesia, Vol. -, pp. 0014 - -, January, 2007 | BibTex

P. Mateus, F. Moura, J. Rasga, Transferring proofs of zero-knowledge systems with quantum, Workshop on Quantum Security - QSEC, Guadeloupe, France, Vol. -, pp. 0009 - 0014, January, 2007 | BibTex

J. J. Júdice, H. Sherali, I. Ribeiro, A. Faustino, Complementarity active-set algorithm for mathematical programming problems with equilibrium constraints, Journal of Optimization Theory and Applications, Vol. 134, No. 1, pp. 467 - 481, January, 2007 | BibTex

C. Caleiro, J. Ramos, From fibring to cryptofibring: a solution to the collapsing problem, Logica Universalis, Vol. 1, No. 1, pp. 71 - 92, January, 2007 | BibTex

P. Baltazar, P. Mateus, R. Nagarajan, N. Papanikolaou, Exogenous probabilistic computation tree logic, Theoretical Computer Science, Vol. 190, No. 3, pp. 95 - 110, January, 2007 | BibTex

J.C. Cederquist, R. C. Corin, M.A.C. Dekker, , J.I. den Hartog, , Audit-based compliance control, Intrnl. Journal of Information Security, Vol. 6, No. 2, pp. 1 - 30, January, 2007 | BibTex

M. Rocheta, F. Dionísio, L. Fonseca, A. Pires Parente, Paternity analysis in Excel, Computer Methods and Programs in Biomedicine, Vol. 88, No. 3, pp. 234 - 238, January, 2007 | BibTex

R. Gonçalves, Algebraizability of Quantum Logics, Instituto Superior Técnico, January, 2007

P. Adão, Formal Methods for the Analysis of Security Protocols, Instituto Superior Técnico, December, 2006

J.C. Cederquist, , An Intruder Model for Verifying Liveness in Security Protocols, ACM Workshop on Formal Methods in Security Engineering - FMSE, Fairfax, Virginia, United States, Vol. ., pp. 23 - 31, November, 2006 | BibTex

C. Lourenço, A very small chaotic neural net, IEEE International Joint Conf. on Neural Networks, Vancouver, Canada, Vol., pp. 8341 - 8344, October, 2006 | BibTex

Y. Omar, N. Paunkovic, L. Sheridan, S. Bose, Quantum walk on a line with two entangled particles, Physical Review A - Atomic, Molecular, and Optical Physics, Vol. 74, No. 1, pp. 042304 - 042304, October, 2006 | BibTex

M.P.G. Gouveia, F. Dionísio, J. Marcos, Teaching and experimenting with deductive systems using a generic proof assistant, Simpósio Latinoamericano de Lógica Matemática - SLALM, Oaxaca, Mexico, Vol. 1, pp. 49 - 50, August, 2006 | BibTex

D. Graça, N. Zhong, J. Buescu, The ordinary differential equation defined by a computable function whose maximal interval of existence is non-computable, Conf. on Real Numbers and Computers - RNC, Nancy, France, Vol. none, pp. 33 - 40, July, 2006 | BibTex

E. Pereira, F. Martins, Matrix Deflation, International Conf. in Mathematics, Sciences and Science Education - ICMSE, Aveiro, Portugal, Vol. 1, pp. 141 - 147, June, 2006 | BibTex

F. Martins, Points on a Plane Closest to a Point, when Measuring with 1-Norm and inf-Norm (J. Vitória, P. Tadeu, C. Costa, F. Martins and R. Serôdio), International Conf. in Mathematics, Sciences and Science Education - ICMSE, Aveiro, Portugal, Vol. 1, pp. 29 - 31, June, 2006 | BibTex

F. Martins, Matrix Deflation (F. Martins, E. Pereira and J. Vitória), International Conf. in Mathematics, Sciences and Science Education - ICMSE, Aveiro, Portugal, Vol. 1, pp. 147 - 151, June, 2006 | BibTex

Cecília Rosa, E. Pereira, Commuting Matrices, International Conf. in Mathematics, Sciences and Science Education - ICMSE, Aveiro, Portugal, Vol. 1, pp. 126 - 131, June, 2006 | BibTex

P. Adão, P. Mateus, T. Reis, L. Viganò, Towards a quantitative analysis of security protocols, Theoretical Computer Science, Vol. 164, No. 3, pp. 3 - 25, June, 2006 | BibTex

A. F. Sousa, G. Soares, Improving Load Balance of Ethernet Carrier Networks using IEEE 802.1S MSTP with Multiple Regions, IFIP TC6 Networking Conf., Coimbra, Portugal, Vol. 3976, Lecture Notes on Computer Science, pp. 1250 - 1260, May, 2006,
| Abstract | BibTex

R. Chadha, P. Mateus, A. Sernadas, Reasoning about quantum imperative programs, Theoretical Computer Science, Vol. 158, No. -, pp. 19 - 40, May, 2006 | BibTex

C. Caleiro, L. Viganò, D. Basin, On the semantics of Alice&Bob specifications of security protocols, Theoretical Computer Science, Vol. 367, No. 1-2, pp. 88 - 122, May, 2006 | BibTex

C. Lourenço, Dynamical reservoir properties as network effects, European Symp. on Artificial Neural Networks - ESANN, Bruges, Belgium, Vol., pp. 503 - 508, April, 2006 | BibTex

A. F. Sousa, Improving Load Balance and Resilience of Ethernet Carrier Networks with IEEE 802.1S Multiple Spanning Tree Protocol, International Conf. on Networking - ICN, Morne, Mauritius, Vol. 1, pp. 95 - 102, April, 2006,
| Abstract | Full text (PDF 216 KBs) | BibTex

P. Mateus, A. Sernadas, Weakly complete axiomatization of exogenous quantum propositional logic, Information and Computation, Vol. 204, No. 5, pp. 771 - 794, April, 2006 | BibTex

J. J. Júdice, A. Neves, A. Faustino, I. Ribeiro, On the use of bilevel programming for solving a structural optimization problem with discrete variables, Chapter in, Optimization with Multivalued Mappings: Theory, Applications and Algorithms, S. Dempe and S. Kalashnikov, Kluwer Academic, 2006

P. Patrício, A. F. Sousa, Compact Models for Hop-Constrained Node Survivable Network Design: an Application to MPLS, Chapter in, Telecommunications Planning: Innovations in Pricing, Network Design and Management, Raghavan S., Anandalingam G., Springer, New York, USA, 2006

P. Adão, C. Fournet, Cryptographically sound implementations for communicating processes, Chapter in, Proceedings of the 33rd International Colloquium on Automata, Languages and Programming (ICALP'06), volume 4052 of Lecture Notes in Computer Science, pages 83-94, M. Bugliese, B. Preneel, V. Sassone, and I. Wegener, Springer, Lisboa, 2006

O. Bournez, M.L. Campagnolo, D. Graça, E. Hainry, The General Purpose Analog Computer and Computable Analysis are two equivalent paradigms of analog computation, Chapter in, Theory and Applications of Models of Computation TAMC'06, volume 3959 of Lecture Notes in Computer Science, pages 631-643, J.-Y. Cai, S. B. Cooper, and A. Li, Springer, 2006

R. Chadha, P. Mateus, A. Sernadas, Reasoning about states of probabilistic sequential programs, Chapter in, Computer Science Logic 2006 (CSL06), volume 4207 of Lecture Notes in Computer Science, pages 240-255, Z. Ésik, Springer, 2006

F. Moura, Perturbation theory and stability analysis for string- corrected black holes in arbitrary dimensions, Chapter in, Spanish Relativity Meeting (ERE05): A Century of Relativity Physics, volume 841 of AIP conference proceedings, pages 542-545, L. Mornas and J. D. Alonso, Springer, Oviedo, 2006

C. Caleiro, P. Mateus, A. Sernadas, C. Sernadas, Quantum institutions, Chapter in, Algebra, Meaning and Computation - Essays Dedicated to Joseph A. Goguen on the Ocassion of his 65th Birthday, volume 4060 of Lecture Notes in Computer Science, pages 50-64, K. Futatsugi, J.-P. Jouannaud, and J. Meseguer, Springer, San Diego, 2006

P. Mateus, Y. Omar, A quantum algorithm for closest pattern matching, Chapter in, Quantum Information Processing - From Theory to Experiment, volume 199 of NATO Sciense Series, IIIComputer and Systems Sciences, pages 180-183, D. Angelakis, M. Christandl, A. Ekert, A. Kay and S. Kulik, IOS Press, 2006

J. J. Júdice, P. Martins, J. Santos, Programação Linear, Departamento de Matemática, Universidade de Coimbra, Imprensa da Universidade de Coimbra, Coimbra, 2006,
| BibTex

J. J. Júdice, J. Santos, P. Martins, Optimização em Redes, Dep. Matemática, Univ. Coimbra, Imprensa da Universidade de Coimbra, Coimbra, 2006,
| BibTex

J. J. Júdice, H. Sherali, I. Ribeiro, A. Faustino, A complementarity-based partitioning and disjunctive cut algorithm for mathematical programming problems with equilibrium constraints, Journal of Global Optimization, Vol. 136, No. 1, pp. 89 - 114, January, 2006 | BibTex

L. Sheridan, N. Paunkovic, Y. Omar, S. Bose, Discrete time quantum walk on a line with two particles, International Journal of Quantum Information, Vol. 4, No. 3, pp. 573 - 583, January, 2006 | BibTex

A. Faustino, J. J. Júdice, I. Ribeiro, A. Neves, An integer programming model for truss topology optimization, Investigação Operacional, Vol. 26, No. 1, pp. 111 - 127, January, 2006 | BibTex

P. Zanardi, N. Paunkovic, Ground state overlap and quantum phase transitions, Physical review. E, Vol. 74, No. -, pp. 031123 - 031123, January, 2006 | BibTex

C. Brukner, N. Paunkovic, T. Rudolph, V. Vedral, Entanglement-assisted orientation in space, International Journal of Quantum Information, Vol. 4, No. 2, pp. 219 - 236, January, 2006 | BibTex

A. Matos, Typing Secure Information Flow: Declassification and Mobility, École Nationale Supérieure des Mines de Paris, January, 2006

S. Costa, C. Cardeira, J. Pargana, F. Dionísio, P.A. Santos, Systems and signals online question and grading, IEEE International Conf. on Emerging Technologies and Factory Automation - ETFA, Catania, Italy, Vol. -, pp. 41 - 47, September, 2005 | BibTex

C. B. Lopes, A. F. Sousa, Heuristics for the MPLS Network Design with Single Path Minimum Weight Routing, International Working Conf. on Performance Modeling and Evaluation of Heterogeneuous Networks - HET-NETs, Ilkley, United Kingdom, Vol. 1, pp. 48.1 - 48.10, July, 2005 | BibTex

J.C. Cederquist, R. C. Corin, , , , An Audit Logic for Accountability, International Workshop on Policies for Distributed Systems and Networks - POLICY, Stockholm, Sweden, Vol. 00, pp. 34 - 43, June, 2005 | BibTex

P. Adão, G. Bana, A. Scedrov, Computational and information-theoretic soundness and completeness of formal encryption, IEEE Computer Security Foundations Workshop - CSFW, Aix-en-Provence, France, Vol. -, pp. 170 - 184, June, 2005 | BibTex

A. Matos, G. Boudol, On declassification and the non-disclosure policy, IEEE Computer Security Foundations Workshop - CSFW, Aix-en-Provence, France, Vol. 00, pp. 226 - 240, June, 2005 | BibTex

I. Figueiredo, J. J. Júdice, S. Rosa, A class of mathematical programs with equilibrium constraints: a smooth algorithm and applications to contact problems, Optimization and Engineering, Vol. 6, No. 2, pp. 203 - 239, June, 2005 | BibTex

C. B. Lopes, A. F. Sousa, L. Gouveia, Combined Link Dimensioning and Weight Assignment of Minimum Weight Routing Networks, International Conf. on Next Generation Internet Networks - NGI, Rome, Italy, Vol. 1, pp. 1 - 1, April, 2005 | BibTex

L. Gouveia, P. Patrício, A. F. Sousa, Hop-Constrained Node Survivable Network Design: an Application to MPLS over WDM, International Network Optimization Conf. - INOC, Lisbon, Portugal, Vol. 3, pp. 710 - 717, March, 2005 | BibTex

M. Alves, C. Lourenço, Selenoprotein discovery using neural networks, International Conf. on Appl. Computing - IADIS, Faro, Portugal, Vol. -, pp. 519 - 526, February, 2005 | BibTex

D. Graça, M.L. Campagnolo, J. Buescu, Robust simulations of Turing machines with analytic maps and flows, Chapter in, Proceedings of CiE'05, New Computational Paradigms, volume 3526 of Lecture Notes in Computer Science, pages 169-179, B. Cooper, B. Löwe, and L. Torenvliet, Springer, 2005

P. Adão, G. Bana, J. Herzog, A. Scedrov, Soundness of formal encryption in the presence of key-cycles, Chapter in, Proceeding of the 10th European Symposium on Research in Computer Security (ESORICS), volume 3679 of Lecture Notes in Computer Science, pages 374-396, S. De Capitani di Vimercati, P. Syverson and D. Gollmann, Springer, 2005

C. Caleiro, J. Ramos, Cryptomorphisms at work, Chapter in, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 3423 of Lecture Notes in Computer Science, pages 45-60, J. Fiadeiro, P. Mosses and F. Orejas, Springer, 2005

C. Caleiro, W. Carnielli, J. Rasga, C. Sernadas, Fibring of logics as a universal construction, Chapter in, Handbook of Philosophical Logic, 2nd Edition, volume 13, pages 123-187, D. Gabbay and F. Guenthner, Springer, 2005

J.C. Cederquist, R. C. Corin, , On the quest for impartiality: Design and analysis of a fair non-repudiation protocol, Chapter in, 7th International Conference on Information and Communications Security, volume 3783 of Lecture Notes in Computer Science, pages 27-39, S. Qing, W. Mao, J. Lopez and G. Wang, Springer, 2005

C. Caleiro, R. Gonçalves, Equipollent logical systems, Chapter in, Logica Universalis, pages 99-112, J.-Y. BÃ©ziau, Birkhäuser, 2005

C. Caleiro, W. Carnielli, M. Coniglio, J. Marcos, Two's company: ''The hunbug of many logical values'', Chapter in, Logica Universalis, pages 169-189, J.-Y. BÃ©ziau, Birkhäuser, 2005

C. Caleiro, A. Sernadas, C. Sernadas, Fibring logics: Past, present and future, Chapter in, We Will Show Them: Essays in Honour of Dog Gabbay, Volume 1, pages 363-388, S. Artemov, H. Barringer, A.S. d'Avila Garcez, L.C. Lamb and J. Woods, King's College Publications, 2005

F. Dionísio, M.P.G. Gouveia, J. Marcos, Defining and using deductives systems with Isabelle, Chapter in, Computing, Philosophy and Cognition, pages 271-293, L. Magnani and R. Dossena, King's College Publications, 2005

P. Mateus, A. Sernadas, C. Sernadas, Exogenous semantics approach to enriching logics, Chapter in, Essays on the Foundations of Mathematics and Logic, volume 1, pages 165-194, G. Sica, Polimetrica, 2005

A. Matos, Non-disclosure for distributed mobile code, Chapter in, FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, volume 3821 of Lecture Notes in Computer Science, pages 177-188, R. Ramanujam and Sandeep Sen, Springer, -, 2005

J. J. Júdice, L. M. Fernandes, Equações Não Lineares e Optimização Unidimensional, Departamento de Matemática, Universidade de Coimbra, Imprensa da Universidade de Coimbra, Coimbra, 2005,
| BibTex

J. J. Júdice, P. Martins, J. Nunes, Workforce planning in a lotsize mail processing problem, Computers and Operations Research, Vol. 32, No. 1, pp. 3031 - 3058, January, 2005 | BibTex

C. Caleiro, L. Viganò, D. Basin, Deconstructing Alice and Bob, Theoretical Computer Science, Vol. 135, No. 1, pp. 3 - 22, January, 2005 | BibTex

C. Caleiro, L. Viganò, D. Basin, Metareasoning about security protocols using distributed temporal logic, Theoretical Computer Science, Vol. 125, No. 1, pp. 67 - 89, January, 2005 | BibTex

C. Caleiro, L. Viganò, D. Basin, Relating strand spaces and distributed temporal logic for security protocol analysis, Logic Journal of the IGPL, Vol. 13, No. 6, pp. 637 - 664, January, 2005 | BibTex

W. Carnielli, P. Mateus, Selected papers from CombLog'04, Logic Journal of the IGPL, Vol. 13, No. 6, pp. - - -, January, 2005 | BibTex

P. Mateus, J. Rasga, C. Sernadas, Modal sequent calculi labelle with truth values: Cut elimination, Logic Journal of the IGPL, Vol. 13, No. 2, pp. 173 - 199, January, 2005 | BibTex

C. Hermida, P. Mateus, Paracategories II: Adjunctions, fibrations and examples from probabilistic automata theory, Theoretical Computer Science, Vol. 311, No. -, pp. 71 - 103, January, 2005 | BibTex

A. Amaral, Multicast Routing on IP Networks, September, 2004

J.C. Cederquist, , Formal Analysis of a Fair Payment Protocol, International Workshop on Formal Aspects of Security and Trust - FAST, Toulouse, France, Vol. IFIP, volume 173, pp. 41 - 54, August, 2004 | BibTex

, J.C. Cederquist, , A Machine-Checked Formalization of the Generic Model and the Random Oracle Model, International Joint Conf. on Automated Reasoning - IJCAR, Cork, Ireland, Vol. LNCS 3097, pp. 385 - 399, July, 2004 | BibTex

A. Matos, G. Boudol, I. Castellani, Typing Noninterference for Reactive Programs, Workshop on Foundations of Computer Security, Turku, Finland, Vol. 31, pp. 205 - 222, June, 2004 | BibTex

M.P.G. Gouveia, J. Ramos, Multi-agent systems specification and certification: A situation and state calculus approach, Annals of Mathematics and Artificial Intelligence, Vol. 41, No. 2-4, pp. 301 - 338, June, 2004 | BibTex

, J.C. Cederquist, , A machine-checked formalization of the generic model and the random oracle model, Chapter in, 2nd International Joint Conference on Automated Reasoning ( IJCAR'04) volume 3097 of Lecture Notes in Computer Science, pages 385-399, D.A. Basin and M. Rusinowitch, Springer, 2004

J.C. Cederquist, , Formal analysis of a fair payment protocol, Chapter in, 2nd International Workshop on Formal Aspect of Security and Trust, volume 173 of IFIP, pages 41-54, T. Dimitrakos and F. Martinelli, Kluwer Academic, Boston, 2004

P. Mateus, A. Sernadas, Reasoning about quantum systems, Chapter in, Logics in Artificial Intelligence, Ninth European Conference, JELIA'04, volume 3229 of Lecture Notes in Artificial Intelligence, pages 239--251, J. Alferes and J. Leite, Springer, 2004

F. Moura, Superspace supergravity and supersymmetrization of R4, Chapter in, In Proceedings of the XII Fall Workshop on Geometry and Physics, volume 7 of Publicaciones de la Real Sociedad Matemática Espa nola, pages 173-180, Filipe Moura, Real Sociedad Matemática Espanola, 2004

J. Carmo, A. Sernadas, C. Sernadas, F. Dionísio, C. Caleiro, Introdução à programação em Mathematica -- Segunda Edição (Introduction to Programming in Mathematica -- Second Edition), IST Press, Lisboa, 2004,
| BibTex

C. Caleiro, J. Ramos, Cryptofibring, Comblog Workshop on Combination of Logics: Theory and Applications - CombLog, Lisboa, Portugal, Vol. -, pp. 87 - 92, January, 2004 | BibTex

C. Caleiro, L. Viganò, D. Basin, Towards a metalogics for security protocol analysis, Comblog Workshop on Combination of Logics: Theory and Applications - CombLog, Lisboa, Portugal, Vol. -, pp. 187 - 196, January, 2004 | BibTex

P. Mateus, A. Sernadas, Exogenous quantum logic, Comblog Workshop on Combination of Logics: Theory and Applications - CombLog, Lisboa, Portugal, Vol. -, pp. 141 - 149, January, 2004 | BibTex

J. J. Júdice, L. Costa, L. M. Fernandes, I. Figueiredo, R. Leal, P. Oliveira, Multiple and single objective approaches to laminate optimization with genetic algorithms, Structural and Multidisciplinary Optimization, Vol. 27, No. 1, pp. 55 - 65, January, 2004 | BibTex

J. J. Júdice, A. Pinto da Costa, J. Martins, I. Figueiredo, The directional instability problem in systems with frictional contacts, Computer Methods in Applied Mechanics and Engineering, Vol. 193, No. 1, pp. 357 - 384, January, 2004 | BibTex

J. J. Júdice, C. Humes, M. Queiroz, On finding global optima for the hinge fitting problem, Computers and Operations Research, Vol. 31, No. 1, pp. 101 - 122, January, 2004 | BibTex

D. Graça, Some recent developments on Shannon's General Purpose Analog Computer, Mathematical Logic Quarterly, Vol. 50, No. 4-5, pp. 473 - 485, January, 2004 | BibTex

C. Lourenço, Attention-locked computation with chaotic neural nets, International Journal of Bifurcation and Chaos in Applied Sciences and Engineering, Vol. 14, No. 2, pp. 737 - 760, January, 2004 | BibTex

P. Mateus, A. Sernadas, C. Sernadas, L. Viganò, Modal sequent calculi labelled with truth values: Completeness, duality and analyticity, Logic Journal of the IGPL, Vol. 12, No. 3, pp. 227 - 274, January, 2004 | BibTex

R. Gonçalves, Algebraization of logics and beyond, January, 2004

N. Paunkovic, The Role of Indistinguishability of Identical Particles in Quantum Information Processing, January, 2004

J. Patrão, Dimensioning of MPLS Networks: Node and Link Optimization, December, 2003

A. Matos, Lexically scoped distribution: what you see is what you get, Theoretical Computer Science, Vol. 85, No. 1, pp. 61 - 79, September, 2003 | BibTex

J. J. Júdice, J. Patrício, L. M. Fernandes, I. Figueiredo, An investigation of a nonlinear obstacle plate optimization problem, International Symp. on Mathematical Programming, Copenhague, Denmark, Vol. 1, pp. 1 - 1, August, 2003 | BibTex

D. Graça, Computability via analog circuits, Computability and Complexity in Analysis - CCA, Cincinnati, United States, Vol. none, pp. 229 - 240, August, 2003 | BibTex

I. Ribeiro, J. J. Júdice, H. Sherali, An active set algorithm for mathematical programs with equilibrium constraints and for bilevel problems, EURO/Informs Joint International Meeting, Istambul, Turkey, Vol. 1, pp. 1 - 1, July, 2003 | BibTex

Y. Omar, N. Paunkovic, S. Bose, V. Vedral, Quantum entanglement and particle statistics, International Conf. on Quantum Communication, Measurement and Computing - QCMC, Massachusetts, United States, Vol. -, pp. 33 - 33, July, 2003 | BibTex

R. C. Rodrigues Rodrigues, F. Leite Leite, S. Rosa, On the generation of a trigonometric interpolating curve in R3, International Conf. on Advanced Robotics, Coimbra, Portugal, Vol. 1, pp. 1629 - 1634, July, 2003 | BibTex

L.oliveira Oliveira, A. Amaral, A. F. Sousa, Mobility in IPv4-IPv6 Transition Scenarios, Conf. on Telecommunications - ConfTele, Aveiro, Portugal, Vol. 1, pp. 31 - 34, June, 2003 | BibTex

J. P. Borrego, D. C. Martins, A. F. Sousa, A. M. O. D. Duarte, UMTS Multi-Service Networks: Dimensioning and Techno-Economic Analysis, IST Mobile and Wireless Communications Summit, Aveiro, Portugal, Vol. 2, pp. 858 - 862, June, 2003 | BibTex

J. J. Júdice, I. Ribeiro, H. Sherali, Global optimization techniques for the eigencomplementarity problem, International Conf. on Frontiers in Global Optimization, Santorini, Greece, Vol. 1, pp. 1 - 1, June, 2003 | BibTex

J. J. Júdice, M. Queiroz, C. Humes, The hinge fitting problem, International Conf. on Frontiers in Global Optimization, Santorini, Greece, Vol. 1, pp. 1 - 1, June, 2003 | BibTex

C. Hermida, P. Mateus, Paracategories I: Internal paracategories and saturated partial algebras, Theoretical Computer Science, Vol. 309, No., pp. 125 - 156, June, 2003 | BibTex

L. Gouveia, P. Patrício, A. F. Sousa, R. Valadas, MPLS over WDM Network Design with Packet Level QoS Constraints based on ILP Models, IEEE INFOCOM, San Francisco, United States, Vol. 1, pp. 576 - 586, April, 2003 | BibTex

F. Moura, Four dimensional supersymmetrization of R4, International Conf. on 20 Years of SUGRA and Search for SUSY and Unification - SUGRA 20, Boston, United States, Vol. -, pp. 279 - 283, March, 2003 | BibTex

P. Mateus, J. Mitchell, A. Scedrov, Composition of cryptographic protocols in a probabilistic polynomial-time process calculus, Chapter in, CONCUR 2003 - Concurrency Theory, volume 2761 of Lecture Notes in Computer Science, pages 327-349, R. Amadio and D. Lugiez, Springer, 2003

C. Caleiro, M.P.G. Gouveia, J. Ramos, Completeness results for fibred parchments: Beyond the propositional base, Chapter in, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 2755 of Lecture Notes in Computer Science, pages 185-200, M. Wirsing, D. Pattinson, and R. Hennicker, Springer, 2003

J. J. Júdice, Mathematical Techniques and Problems in Telecommunications, C. Fernandes, J. Júdice and C. Salema, CIM Centro Internacional de Matemática, Coimbra, 2003,
| BibTex

J. J. Júdice, Texto de Apoio às Aulas de Álgebra Linear Numérica, Imprensa da Universidade de Coimbra, Coimbra, 2003,
| BibTex

I. Figueiredo, J. J. Júdice, P. Oliveira, Complementarity and genetic algorithms for an optimization shell problem, Central European Journal of Operations Research, Vol. 11, No. 1, pp. 143 - 161, January, 2003 | BibTex

J. J. Júdice, J. Santos, Análise comparativa dos modelos de selecção de carteiras de acções de Markowitz e Konno, Investigação Operacional, Vol. 23, No. 1, pp. 211 - 244, January, 2003 | BibTex

J. J. Júdice, J. Patrício, L. Portugal, M. Resende, G. Veiga, A study of preconditioners for network interior point methods, Computational Optimization and Applications, Vol. 24, No. 1, pp. 5 - 35, January, 2003 | BibTex

D. Graça, J. F. Costa, Analog computers and recursive functions over the reals, Journal of Complexity, Vol. 19, No. 5, pp. 644 - 664, January, 2003 | BibTex

C. Caleiro, W. Carnielli, M. Coniglio, A. Sernadas, C. Sernadas, Fibring non-truth-functional logics: Completeness Preservation, Journal of Logic, Language, and Information, Vol. 12, No. 2, pp. 183 - 211, January, 2003 | BibTex

P. Mateus, M. Cabral Morais, C. Nunes, A. Pacheco, A. Sernadas, C. Sernadas, Categorical Foundations for Randomly Timed Automata, Theoretical Computer Science, Vol. 308, No. -, pp. 393 - 427, January, 2003 | BibTex

F. Dionísio, P. Lopes, Quandles at finite temperatures II, Journal of Knot Theory and its Ramifications, Vol. 12, No. 8, pp. 1041 - 1092, January, 2003 | BibTex

S. Bose, A. Ekert, Y. Omar, N. Paunkovic, V. Vedral, Optimal state discrimination using particle statistics, Physical Review A - Atomic, Molecular, and Optical Physics, Vol. 68, No. -, pp. 052309 - 052309, January, 2003 | BibTex

F. Moura, Four dimensional 'old minimal N2 supersymmetrization of R4, Journal of High Energy Physics, Vol. 7, No. -, pp. 57 - 80, January, 2003 | BibTex

F. Moura, String corrections to supergravity theories, State University of New York at Stony Brook, January, 2003

D. Graça, The general purpose analog computer and recursive functions over the reals, Instituto Superior Técnico, September, 2002

P.B. Menezes, A. Costa, L. Machado, J. Ramos, Nautilus: A concurrent anticipatory programming language, CASYS International Conf. on Computing Anticipatoty Systems, Liege, Belgium, Vol. 627, pp. 553 - 564, August, 2002 | BibTex

A.M. Santos, P.A. Santos, F. Dionísio, P. Duarte, Online assessment in undergraduate mathematics, International Conf. on the Teaching of Mathematics - ICTM2, Crete, Greece, Vol. -, pp. - - -, July, 2002 | BibTex

L. M. Fernandes, Análise de Algoritmos de Complementaridade e Aplicação em Modelos de Equilíbrio, Universidade de Coimbra, July, 2002

J. J. Júdice, I. Figueiredo, Solution methods for structural optimization in contact rod problems, International Symp. on Contact Mechanics, Lisbon, Portugal, Vol. 1, pp. 325 - 332, June, 2002 | BibTex

L. Cardoso, J. Patrão, A. F. Sousa, R. Valadas, Combining Node and Link Dimensioning for MPLS Networks, International Telecommunication Network Strategy and Planning Symp. - Networks, Munich, Germany, Vol. 1, pp. 1 - 1, June, 2002 | BibTex

P. Mateus, A. Pacheco, J. Pinto, Observations and the probabilistic situation calculus, International Conf. on Principles of Knowledge Representation and Reasoning - KR, Toulouse, France, Vol. -, pp. 327 - 338, April, 2002 | BibTex

L. Schroeder, P. Mateus, Universal aspects of probabilistic automata, Mathematical Structures in Computer Science, Vol. 12, No. 4, pp. 481 - 512, March, 2002 | BibTex

S. Rosa, Análise e Resolução Numérica de Alguns Problemas de Optimização de Estruturas, February, 2002

I. Figueiredo, J. J. Júdice, S. Rosa, Solution for structural optimization in contact rod problems, Chapter in, Contact Mechanics, J.A.C. Martins, Manuel D.P. Monteiro Marques, Kluwer Academic, 2002

J. J. Júdice, A. Afonso, F. Jegundo, Economic design of water distribution systems in buildings, IAHS World Congress in Housing, Lisbon, Portugal, Vol. 1, pp. 0 - 1, January, 2002 | BibTex

J. J. Júdice, A. Faustino, I. Ribeiro, On the solution of NP-hard linear complementarity problems, TOP, Vol. 10, No. 1, pp. 125 - 145, January, 2002 | BibTex

L. M. Fernandes, I. Figueiredo, J. J. Júdice, On the solution of a finite element approximation of a linear obstacle plate problem, Intrnl. Journal of Appl. Mathematics and Computer Science, Vol. 12, No. 1, pp. 27 - 40, January, 2002 | BibTex

Y. Omar, N. Paunkovic, S. Bose, V. Vedral, Spin-space entanglement transfer and quantum statistics, Physical Review A - Atomic, Molecular, and Optical Physics, Vol. 65, No. -, pp. 062305 - 062305, January, 2002 | BibTex

N. Paunkovic, Y. Omar, S. Bose, V. Vedral, Entanglement concentration using quantum statistic, Physical Review Letters, Vol. 88, No. -, pp. 187903 - 187903, January, 2002 | BibTex

F. Moura, Four dimensional R4 superinvariants through gauge completion, Journal of High Energy Physics, Vol. 8, No. -, pp. 38 - 55, January, 2002 | BibTex

C. B. Lopes, A. F. Sousa, R. Valadas, Heuristics for dimensioning large-scale MPLS networks, SPIE – Internet Performance and Control of Network Systems, Denver, Colorado, United States, Vol. 4523, pp. 27 - 34, August, 2001 | BibTex

L. Cardoso, J. Patrão, C. B. Lopes, A. F. Sousa, R. Valadas, PTPlan MPLS: A Tool for MPLS Network Dimensioning, IEEE - International Symp. on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, Cincinati, Ohio, United States, Vol. 1, pp. 1 - 1, August, 2001 | BibTex

C. Caleiro, J. Marcos, Non-truth-functional fibred semantics, International Conf. on Artificial Intelligence - IC-AI, Nevada, United States, Vol. -, pp. 48 - 70, June, 2001 | BibTex

A. F. Sousa, Dimensioning of Multi-Service ATM Networks: Integer Linear Programming Models (original in Portuguese), June, 2001

V. Marques, R. Cadime, A. F. Sousa, A. M. O. D. Duarte, DMIF based QoS Management for MPEG-4 Multimedia Streaming: ATM and RSVP/IP Case Studies, Conf. on Telecommunications - ConfTele, Figueira da Foz, Portugal, Vol. 1, pp. 116 - 120, April, 2001 | BibTex

L. Cardoso, J. Patrão, C. B. Lopes, A. F. Sousa, R. Valadas, A Tool for MPLS Traffic Engineering, Conf. on Telecommunications - ConfTele, Figueira da Foz, Portugal, Vol. 1, pp. 10 - 14, April, 2001 | BibTex

A. F. Sousa, R. Valadas, L. Gouveia, Dimensioning ATM Networks using 2-Layer Hierarchical Virtual Path Layouts, International Conf. on Telecommunication Systems, Modeling and Analysis - ICTSM, Dallas, Texas, United States, Vol. 1, pp. 496 - 505, March, 2001 | BibTex

M.P.G. Gouveia, C. Sernadas, Abductive reasoning over temporal specifications of objects, Chapter in, Advances in Modal Logic 2, volume 119 of CSLI Lecture Notes, pages 275-300, M. Zakharyaschev, K. Segerberg, M. de Rijke, and H. Wansing, CSLI Publications, 2001

C. Caleiro, P. Mateus, J. Ramos, A. Sernadas, Combining logics: Parchments revisited, Chapter in, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 2267 of Lecture Notes in Computer Science, pages 48-70, M. Cerioli and G. Reggio, Springer, 2001

L. M. Fernandes, J. J. Júdice, Solution of a general linear complementarity problem using smooth optimization and its application to bilinear programming and LCP, Applied Mathematics and Optimization, Vol. 43, No. 1, pp. 1 - 19, January, 2001 | BibTex

P. Mateus, A. Pacheco, J. Pinto, A. Sernadas, C. Sernadas, Probabilistic situation calculus, Annals of Mathematics and Artificial Intelligence, Vol. 32, No. 1/4, pp. 393 - 431, January, 2001 | BibTex

F. Moura, Four dimensional N1 supersymmetrization of R4 in superspace, Journal of High Energy Physics, Vol. 9, No. -, pp. 26 - 55, January, 2001 | BibTex

R. Cadime, A. F. Sousa, A. M. O. D. Duarte, A DMIF over RSVP/IP Protocol Stack: Experimental Results for MPEG-4 Multimedia Streaming, SPIE - International Symp. on Information Technologies, Boston, United States, Vol. Proceeding of SPIE Vol. 4209, pp. 103 - 113, November, 2000 | BibTex

L. Cardoso, C. B. Lopes, A. F. Sousa, R. Valadas, A Tool for Multi-Hour ATM Network Design considering Mixed Peer-to-Peer and Client-Server based Services, International Telecommunication Network Strategy and Planning Symp. - Networks, Toronto, Canada, Vol. 1, pp. 1 - 1, September, 2000 | BibTex

P.P. Monteiro, L. V. Sá, J. J. Júdice, Direct Time-Domain Filter Synthesis: a procedure for finding global optima in first order systems, Portuguese Conf. on Pattern Recognition - RecPad, Porto, Portugal, Vol. none, pp. 381 - 385, May, 2000 | BibTex

A. Sernadas, C. Sernadas, C. Caleiro, T. Mossakowski, Categorial fibring of logics with terms and binding operators, Chapter in, Frontiers of Combining Systems 2, pages 295--316, D. Gabbay and M. de Rijke, Research Studies Press, 2000

P. Mateus, A. Sernadas, C. Sernadas, Realization of probabilistic automata: Categorical approach, Chapter in, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 1827 of Lecture Notes in Computer Science, pages 237-251, Didier Bert and Christine Choppy, Springer, 2000

JAP Pinto, A. Sernadas, C. Sernadas, P. Mateus, Non-determinism and uncertainty in the Situation Calculus, International Journal of Uncertainty, Fuzziness and Knowlege-Based Systems, Vol. 8, No. 2, pp. 127 - 149, January, 2000 | BibTex

H.-D. Ehrich, C. Caleiro, Specifying communication in distributed information systems, Acta Informatica, Vol. 36, No. -, pp. 591 - 616, January, 2000 | BibTex

C. Lourenço, A. Babloyantz, M. Hougardy, Pattern segmentation in a binary/analog world: Unsupervised learning versus memory storing, Neural Networks, Vol. 13, No. -, pp. 71 - 89, January, 2000 | BibTex

P. Mateus, Interconnection of Probabilistic Systems, January, 2000

C. Caleiro, Combining Logics, January, 2000

J. Ramos, The Situation and State Calculus: Specification and Verification, January, 2000

S. Sargento, R. Valadas, A. F. Sousa, Dimensioning Methodologies for the BBL (BroadbandLoop) and FSAN (Full Services Access Networks) Access Networks, Broadband Access Conf., Krakow, Poland, Vol. 1, pp. 1 - 1, October, 1999 | BibTex

J.C. Cederquist, , Entailment relations and distributive lattices, Logic Colloquium, Prague, Czech Republic, Vol. Lecture Notes in Logic, volume 13, pp. 127 - 139, July, 1999 | BibTex

S. Sargento, R. Valadas, A. F. Sousa, Dimensioning Methodologies for the BroadbandLoop Access Network, European Conf. on Networks and Optical Communications - NOC, Delft, Netherlands, Vol. 1, pp. 1 - 1, June, 1999 | BibTex

A. F. Sousa, R. Valadas, L. Cardoso, A. M. O. D. Duarte, ATM Network Dimensioning for Mixed Symmetrical and Asymmetrical Services with Dynamic Reconfiguration in a Multi-Network Provider Environment, IFIP - Workshop on Traffic Management and Design of ATM Networks, London, United Kingdom, Vol. 1, pp. 5/1 - 5/15, April, 1999 | BibTex

C. Caleiro, C. Sernadas, A. Sernadas, Parameterisation of logics, Chapter in, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 1589 of Lecture Notes in Computer Science, pages 48-62, J. Fiadeiro, Springer, 1999

J. Ramos, A. Sernadas, The situation and state calculus versus branching temporal logic, Chapter in, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 1589 of Lecture Notes in Computer Science, pages 293-309, J. Fiadeiro, Springer, 1999

J. Carmo, A. Sernadas, C. Sernadas, F. Dionísio, C. Caleiro, Introdução à Programação em Mathematica (Introduction to Programming in Mathematica), IST Press, Lisboa, 1999,
| BibTex

J. Pinto, A. Sernadas, C. Sernadas, P. Mateus, Non-determinism and uncertainty in the Situation Calculus, International Florida AI Research Symp. - FLAIRS, Florida, United States, Vol. -, pp. 454 - 460, January, 1999 | BibTex

A. Sernadas, C. Sernadas, C. Caleiro, Fibring of logics as a categorial construction, Journal of Logic and Computation, Vol. 9, No. 2, pp. 149 - 179, January, 1999 | BibTex

P. Mateus, A. Sernadas, C. Sernadas, Precategories for combining probabilistic automata - Early version presented at FIREworks Meeting, Magdeburg, May 15-16, 1998. Presented at CTCS'99, Edinburgh, September 10-12, Theoretical Computer Science, Vol. 29, No. -, pp. - - -, January, 1999 | BibTex

J.C. Cederquist, An implementation of the Heine-Bore covering theorem in type theory, TYPES for Proofs and Programs, Turin, Italy, Vol. LICS, volume 1512, pp. 46 - 65, October, 1998 | BibTex

J.C. Cederquist, , , The Hahn-Banach Theorem in Type Theory, Twenty-five years of Constructive Type Theory, Venice, Italy, Vol. 00, pp. 57 - 72, July, 1998 | BibTex

N. Delgado, G. Franceschini, A. F. Sousa, A. M. O. D. Duarte, A MPEG-4 DMIF Implementation over IP Networks, IFIP/ICCC International Conf. On Information Networks and Data Communications, Aveiro, Portugal, Vol. 1, pp. 281 - 290, June, 1998 | BibTex

M.P.G. Gouveia, Raciocínio Abdutivo sobre Especificações Temporais de Objectos (Abductive Reasoning over Temporal Specifications of Objects), June, 1998

F. Dionísio, S. Brass, M. Ryan, U. Lipeck, Hypothetical reasoning with defaults, Workshop on Computational Aspects of Nonmonotonic Reasoning, trento, Italy, Vol. -, pp. 9 - 15, May, 1998 | BibTex

H.-D. Ehrich, C. Caleiro, A. Sernadas, G. Denker, Logics for specifying concurrent information systems, Chapter in, Logic for Databases and Information Systems, pages 167--198, J. Chomicki and G. Saake, Kluwer Academic, 1998

S. Conrad, J. Ramos, G. Saake, C. Sernadas, Evolving logical specification in information systems, Chapter in, Logic for Databases and Information Systems, pages 199-228, J. Chomicki and G. Saake, Kluwer Academic, 1998

F. Dionísio, U. Lipeck, Specifying with defaults: Compositional semantics, Chapter in, Recent Trends in Data Type Specification, volume 1376 of Lecture Notes in Computer Science, pages 206-222, Francesco Parisi Presicce, Springer, 1998

A. Sernadas, C. Sernadas, C. Caleiro, Denotational Semantics of Object Specification, Acta Informatica, Vol. 35, No. -, pp. 729 - 773, January, 1998 | BibTex

V. Bozin, M. Hruska, N. Paunkovic, F. Herbut, On statistical and deterministic quantum teleportation, International Journal of Modern Physics A, Vol. 31, No. -, pp. 4403 - 4403, January, 1998 | BibTex

C. Bertin, A. F. Sousa, G. Figuera, M. Friedrich, M. Guglielmo, RACE MARS Project for the Experimentation of Multimedia Interactive Services: Architecture Solutions and Results, European Trans. on Telecommunications, Vol. 8, No. 4, pp. 321 - 335, July, 1997 | BibTex

J.C. Cederquist, A Point free Approach to Constructive Analysis in Type Theory, May, 1997

R. Aguiar, R. Valadas, A. Moreira, C. Lomba, A. Tavares, A. F. Sousa, A. M. O. D. Duarte, Contribuições da Universidade de Aveiro para a Especificação da Rede de Área Local Não-Cablada IEEE 802.11, Conf. on Telecommunications - ConfTele, Aveiro, Portugal, Vol. 1, pp. 65 - 70, April, 1997 | BibTex

A. Sernadas, C. Sernadas, C. Caleiro, Synchronization of Logics with Mixed Rules: Completeness preservation, Chapter in, Algebraic Methodology and Software Technology, volume 1349 of Lecture Notes in Computer Science, pages 465--478, M. Johnson, Springer, 1997

G. Denker, J. Ramos, C. Caleiro, A. Sernadas, A linear temporal logic approach to objects with transactions, Chapter in, Algebraic Methodology and Software Technology, volume 1349 of Lecture Notes in Computer Science, pages 170-184, M. Johnson, Springer, 1997

J. Ramos, The situation and state calculus, ESSLII - Student Session, Aix-en-Provence, France, Vol. -, pp. - - -, January, 1997 | BibTex

R. Aguiar, A. F. Sousa, A. M. O. D. Duarte, Integração duma plataforma ATM no Campus da Universidade de Aveiro, Revista do Departamento de Electrónica e de Telecomunicações, Universidade de Aveiro, Vol. 1, No. 7, pp. 747 - 753, January, 1997 | BibTex

R. Aguiar, R. Valadas, A. Moreira, C. Lomba, A. Tavares, A. F. Sousa, A. M. O. D. Duarte, Contribuições da Universidade de Aveiro para a Especificação da Rede de Área Local Não-cablada do IEEE 802.12, Revista do Departamento de Electrónica e de Telecomunicações, Universidade de Aveiro, Vol. 1, No. 7, pp. 695 - 704, January, 1997 | BibTex

A. Sernadas, C. Sernadas, C. Caleiro, Synchronization of Logics, Studia Logica, Vol. 59, No. 2, pp. 217 - 247, January, 1997 | BibTex

F. Dionísio, Composition of Hierarchic Default Specifications, January, 1997

J.C. Cederquist, A constructive proof of the Heine-Bore covering theorem for formal reals, TYPES for Proofs and Programs, Turin, Italy, Vol. LICS, volume 1158, pp. 62 - 75, September, 1996 | BibTex

C. Lourenço, Control of Chaos and Information Processing in Neuronal Networks, June, 1996

J. J. Júdice, J. Patrício, Sistemas de Equações Lineares, Imprensa da Universidade de Coimbra, Coimbra, 1996,
| BibTex

A. Sernadas, C. Sernadas, J. Ramos, A Temporal Logic Approach to Object Certification, Data and Knowledge Engineering, Vol. 19, No. -, pp. 267 - 294, January, 1996 | BibTex

C. Caleiro, G. Saake, A. Sernadas, Deriving liveness goals from temporal logic specifications, Journal of Symbolic Computation, Vol. 22, No. -, pp. 521 - 553, January, 1996 | BibTex

A. Babloyantz, C. Lourenço, Brain chaos and computation, International Journal of Neural Systems, Vol. 7, No. -, pp. 461 - 471, January, 1996 | BibTex

C. Lourenço, A. Babloyantz, Control of spatiotemporal chaos in neuronal networks, International Journal of Neural Systems, Vol. 7, No. -, pp. 507 - 517, January, 1996 | BibTex

C. Caleiro, Comunidades distribuÃdas de objectos (Distributed object communities), January, 1996

M.P.G. Gouveia, C. Sernadas, Abduction in temporal object specification using tableaux, Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Koblenz, Germany, Vol. 1, pp. 43 - 48, May, 1995 | BibTex

M.P.G. Gouveia, C. Sernadas, Introducing explanations in temporal object specification, Chapter in, IS-CORE'94 - Selected Papers, pages 53-68, R. Wieringa and R. Feenstra, World Scientific Publishing, 1995

C. Caleiro, On the relationship between operational and denotational semantics of temporal logic specification of object behaviour, Chapter in, IS-CORE'94 - Selected papers, pages 69-83, R. Wieringa and R. Feenstra, World Scientific Publishing, 1995

F. Dionísio, U. Lipeck, S. Brass, Composition of default specifications, Chapter in, IS-CORE'94 - Selected papers, pages 207-221, R. Wieringa and R. Feenstra, World Scientific Publishing, 1995

A. Babloyantz, C. Lourenço, J.A. Sepulchre, Control of chaos in delay differential equations, in a network of oscillators and in model cortex, Physica D: Nonlinear Phenomena, Vol. 86, No. -, pp. 274 - 283, January, 1995 | BibTex

C. Lourenço, M. Hougardy, A. Babloyantz, Control of low-dimensional spatiotemporal chaos in Fourier space, Physical review. E, Vol. 52, No. -, pp. 1528 - 1532, January, 1995 | BibTex

J.C. Cederquist, A machine assisted formalization of pointfree topology in type theory, November, 1994

C. Caleiro, Operational semantics of temporal object specification, INESC Journal on Junior Activities in Science and Technology, Vol. 1, No. 1, pp. 7 - 35, January, 1994 | BibTex

A. Babloyantz, C. Lourenço, Computation with chaos: A paradigm for cortical activity, Proceedings of the National Academy of Sciences U.S.A., Vol. 91, No. -, pp. 9027 - 9031, January, 1994 | BibTex

C. Lourenço, A. Babloyantz, Control of chaos in networks with delay: A model for synchronization of cortical tissue, Neural Computation, Vol. 6, No. -, pp. 1141 - 1154, January, 1994 | BibTex

J. Ramos, LÃ³gica de certificaÃ§Ã£o Gnome (Gnome certification logic), January, 1994

M.P.G. Gouveia, C. Sernadas, Reasoning aspects in information systems and databases, International Workshop on the Deductive Approach to Information Systems and Databases, Lloret de Mar, Spain, Vol. 1, pp. 201 - 224, September, 1993 | BibTex

M.P.G. Gouveia, C. Sernadas, J. Gomes, J. Apolinário, Tableaux for reasoning about objects, Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Marseille, France, Vol. 1, pp. 113 - 125, April, 1993 | BibTex

F. Dionísio, S. Brass, M. Ryan, Reasoning about extensions, IS-CORE Cognitive Research Exchange Workshop, Hannover, Germany, Vol. -, pp. 178 - 196, January, 1993,
| Abstract | BibTex

A. F. Sousa, A. M. O. D. Duarte, Error Pattern Addition for Cell Synchronisation in ATM Systems, Measurement: Journal of the International Measurement Confederation, Vol. 28, No. 10, pp. 929 - 930, October, 1992 | BibTex

M.P.G. Gouveia, Tableaux para raciocï¿½nio local sobre objectos (Tableaux for local reasoning about objects), October, 1992

L. M. Fernandes, Solução de Problemas Lineares Complementares Monótonos de Grandes Dimensões, Universidade de Lisboa, September, 1992

C. Sernadas, M.P.G. Gouveia, J. Gouveia, A. Sernadas, P. Resende, The reification dimension in object-oriented data base design, Chapter in, Specification of Database Systems, pages 275-299, D. Harper and M. Norrie, Springer, 1992

C. Sernadas, M.P.G. Gouveia, A. Sernadas, Refinement: Layered definition of conceptual schemata, Chapter in, Information System Concepts, pages 19-51, E. Falkenberg, C. Rolland, and E. N. El-Sayed, North-Holland, 1992

C. Sernadas, M.P.G. Gouveia, M. A. Lopes, Gentzen-type system for verification in conceptual modeling, Foundations of Models and Languages for Data and Objects, Aigen, Austria, Vol. -, pp. 215 - 228, September, 1991 | BibTex

C. Sernadas, P. Resende, M.P.G. Gouveia, A. Sernadas, In-the-large object-oriented design of information systems, Chapter in, The Object-Oriented Approach in Information Systems, pages 209-232, F. Van Assche, B. Moulin, and C. Rolland, North-Holland, 1991

F. Dionísio, Um modelo e submodelos categoriais de processos concorrentes (A categorial model and submodels of concurrent processes), January, 1991

C. Sernadas, M.P.G. Gouveia, L. Silva, M. A. Lopes, Objects as structuring units for incorporating dynamics in deductive conceptual modeling, The Deductive Approach to Information Systems and Databases, Catalunya, Spain, Vol. -, pp. 93 - 110, January, 1990 | BibTex