Applied mathematics Thesis

Theses

Running PhD Theses: 9

Student	Supervisor	Co-Supervisor	Title	End date
Pedro de Melo Branco	Paulo Alexandre Carreira Mateus		Post-quantum cryptography based on code theory	10 / 2022
Riccardo Gozzi	Daniel da Silva Graça	João Filipe Quintas dos Santos Rasga	Computing with Continuous Systems	8 / 2021
Manuel João Duarte Serejo Goulão	Paulo Alexandre Carreira Mateus		Post-quantum multiparty computation	5 / 2021
Ricardo André Faleiro Miguel	Paulo Alexandre Carreira Mateus	Nikola Paunkovic	Entanglement and applications to quantum games	2 / 2021
Fábio Daniel Moreira Barbosa	Amaro Fernandes de Sousa	Agostinho Miguel Mendes Agra	Disaster-resilient Network Design and Resource Management of Elastic Optical Networks	9 / 2020
Serena Di Giorgio	Paulo Alexandre Carreira Mateus	Nikola Paunkovic	Learning of quantum density operators	2 / 2020
Mariano Hernandez Lemus	Paulo Alexandre Carreira Mateus	Nikola Paunkovic	Quantum correlations and applications to cryptography	2 / 2020
Syed Tahir Amin	Nikola Paunkovic	Vitor Rocha Vieira	Topological phases of matter and quantum information	2 / 2020
Preeti Yadav	Paulo Alexandre Carreira Mateus	André Nuno Carvalho Souto	Quantum privacy	10 / 2019

Running MSc Theses: 2

Student	Supervisor	Co-Supervisor	Title	End date
Daniel José Nazaré Madruga	Jan Gunnar Cederquist	Ana Gualdina Almeida Matos	Extension and deployment of an i-voting system	12 / 2019
João Ricardo Sares Teles de Matos	Ana Gualdina Almeida Matos	Jan Gunnar Cederquist	Information Flow Analysis for Logic Programs	11 / 2019

Completed PhD Theses: 26

Student	Supervisor	Co-Supervisor	Title	End date
Cláudia Sofia Marques Fernandes	Fernando Manuel Lourenço Martins	Virgilio Rato	Conhecimento Estatístico para Ensinar de uma Professora Estagiária a partir da análise das suas práticas relacionadas com a promoção da literacia estatística	5 / 2019
Guilherme Henrique Caçador Ramos	Carlos Manuel Costa Lourenço Caleiro		Improving information security in ranking, recommender and control systems	11 / 2018
Chrysoula Vlachou	Paulo Alexandre Carreira Mateus	Nikola Paunkovic	Quantum walks in cryptography and finite-temperature topological phase transitions	9 / 2018
Luís Miguel Lopes de Oliveira	Joel José Puga Coelho Rodrigues	Amaro Fernandes de Sousa	Routing and Mobility on 6LoWPAN Wireless Sensor Networks	6 / 2018
Ricardo Loura	Paulo Alexandre Carreira Mateus	Vítor Rocha Vieira	Quantum Adiabatic Computation	4 / 2017
Andreia Filipa Torcato Mordido	Carlos Manuel Costa Lourenço Caleiro		A probabilistic logic over equations and domain restrictions	3 / 2017
João Paulo do Amaral de Jesus Rodrigues	Paulo Alexandre Carreira Mateus	Nikola Paunkovic	Quantum oblivious transfer	3 / 2017
David João Barros Henriques	Paulo Alexandre Carreira Mateus		Formal Reasoning About Temporal Properties in Dynamic Stochastic Systems.	9 / 2016
João Ribeiro	Carlos Eduardo Ramos dos Santos Lourenço		Sistemas dinâmicos não lineares em instabilidade afectiva	7 / 2016
Manuel Biscaia	Paulo Alexandre Carreira Mateus		Interplay between Probabilistic and Temporal Reasoning	6 / 2016
Amaury Pouly	Daniel da Silva Graça	Olivier Bournez	Continuous-time computation models: from computability to computational complexity	7 / 2015
José Faustino Santos	Ana Gualdina Almeida Matos	Tamara Rezk	Enforcing Secure Information Flow in Client-Side Web Applications	12 / 2014
Bruno José Conchinha Montalto	Carlos Manuel Costa Lourenço Caleiro	David Basin	Equivalence properties and probabilistic reasoning in symbolic security protocol analysis	6 / 2014
Maxime Emile Gamboni	Carlos Manuel Costa Lourenço Caleiro	António Maria Alarcão Ravara	Models and Proof Methods for Information Protection	12 / 2010
Pedro Alexandre Cardoso Baltazar	Paulo Alexandre Carreira Mateus		Model Checking of Quantum Security Protocols	7 / 2010
S. Rosa	Joaquim João de Alarcão Judice		The Eigenvalue Complementarity Problem	10 / 2009
Ricardo João Rodrigues Gonçalves	Carlos Manuel Costa Lourenço Caleiro		Algebraizability of Quantum Logics	7 / 2008
Luís Filipe Silva Camacho	Francisco Miguel Alves Campos de Sousa Dionísio	Pedro Lopes	Colorings of Knots versus Polynomial Invariants	7 / 2008
P. Tavares	Joaquim João de Alarcão Judice		Optimização de Gestão de Lamas de ETAR numa Perspectiva Regional	2 / 2008
Carlos Borges Lopes	Amaro Fernandes de Sousa		Dimensioning and Resource Management of Multi-Service Networks	11 / 2007
J. M. Patrício	Joaquim João de Alarcão Judice		Algoritmos de Pontos Interiores para Problemas Complementares Monótonos e suas Aplicações	4 / 2007
M. C. Brás	Joaquim João de Alarcão Judice		Problemas de Programação Matemática com Restrições Lineares de Equilíbrio e Aplicações	4 / 2007
Pedro Miguel dos Santos Alves Madeira Adão	Paulo Alexandre Carreira Mateus	Andre Scedrov	Formal Methods for the Analysis of Security Protocols	12 / 2006
P. Monteiro	Joaquim João de Alarcão Judice		Optimization models for filtering in telecommunications	10 / 2006
I. Ribeiro	Joaquim João de Alarcão Judice		Global optimization and applications to structural engineering models	2 / 2005
L. M. Fernandes	Joaquim João de Alarcão Judice		Analysis of Complementarity Algorithms and Equilibrium Models	7 / 2002

Completed MSc Theses: 47

Student	Supervisor	Co-Supervisor	Title	End date
João de Araujo Correia Neto Lopes	Ana Gualdina Almeida Matos	Jan Gunnar Cederquist	Verification of the back-end of an i-voting system	7 / 2019
Sofia Laura Nogueira da Costa	Fernando Manuel Lourenço Martins		Promoção da Literacia Estatística em contextos Interdisciplinares: uma experiência de ensino no 3.º ano de escolaridade	7 / 2019
André Baptista Neves Ribeiro	Ana Gualdina Almeida Matos	Jan Gunnar Cederquist	Static analysis tool for JavaScript	6 / 2019
Raquel Sofia Delgado dos Santos	Fernando Manuel Lourenço Martins		O uso do Material Multibásico e das Representações na compreensão do Algoritmo Usual da Subtração	5 / 2019
Ana Maria Peixoto Alegre Marques	Fernando Manuel Lourenço Martins		A Modelação Matemática como Ambiente de Aprendizagem e o uso do Material Multibásico na Divisão Inteira: uma experiência de ensino no 3.º ano do 1.º CE	10 / 2018
Beatriz Abecasis Gomes Ferreira	Jan Gunnar Cederquist	Ana Gualdina Almeida Matos	Resource-Centered Concurrency Control - Proving Type Safety	7 / 2018
Ricardo Jorge Pratas da Silva	Fernando Manuel Lourenço Martins		Modelação Matemática Como Ambiente de Aprendizagem: O Uso De Manipulativos Virtuais No Desenvolvimento Dos Sentidos Da Adição E Da Subtração	6 / 2018
João Pedro Carriço Beirão	Alexandra Sofia Martins de Carvalho	Paulo Alexandre Carreira Mateus	Multivariate Correlations for Early Classification	5 / 2018
Margarida Nunes de Almeida Rodrigues de Sousa	Alexandra Sofia Martins de Carvalho	Mário Alexandre Teles de Figueiredo	Advances in Probabilistic Graphical Models	12 / 2017
David António Sacadura de Melo	Amaro Fernandes de Sousa	Paulo Miguel Nepomuceno Pereira Monteiro	Radio over Ethernet (RoE) based Fronthaul	12 / 2017
Rui Pedro Pimentel de Almeida Guerra	Alexandra Sofia Martins de Carvalho	Paulo Alexandre Carreira Mateus	Model Selection for Clustering of Pharmacokinetic Responses with the Minimum Description Length	11 / 2017
Fernando Mário Machado Marques	Ana Gualdina Almeida Matos	Jan Gunnar Cederquist	E-voting, on Fenix	9 / 2017
Soraia Filipa Moreira da Silva	Fernando Manuel Lourenço Martins	Filipe Manuel Batista Clemente	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	7 / 2017
Oriana Salomé Marques Ferreira	Fernando Manuel Lourenço Martins	Filipe Manuel Batista Clemente	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	7 / 2017
Andreia Sofia Pereira dos Santos	Fernando Manuel Lourenço Martins	Filipe Manuel Batista Clemente	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	7 / 2017
Helga Cristina Oliveira Coelho	Maria Cecília dos Santos Rosa		Sistema de Gestão de Qualidade: Proposta para a Fundação Aurora Borges	10 / 2016
Bruno Filipe Guia de Sousa	Pedro Miguel dos Santos Alves Madeira Adão	João Carlos Serrenho Dias Pereira	Keyword Based Framework for DLNA Acceptance Testing	11 / 2015
Rafael Vassalo Cortês	Pedro Miguel dos Santos Alves Madeira Adão	Luís Manuel Antunes Veiga	CloudBox: Private, Reliable and Distributed Storage	11 / 2015
Rafael Farias Baltazar	Pedro Miguel dos Santos Alves Madeira Adão	João Carlos Serrenho Dias Pereira	JMLCUTE: Automated JML-Based Unit Test Case Generation	11 / 2015
Miguel Abreu Malafaia Mendes Belo	Pedro Miguel dos Santos Alves Madeira Adão		Automation of Secrecy Proofs for Security of Protocols	11 / 2015
Tiago Ferreira Grade Dinis Trota	Paulo Miguel Nepomuceno Pereira Monteiro	Amaro Fernandes de Sousa	Design and Optimization of Elastic Optical Networks	12 / 2013
Marco Ribeiro	Paulo Miguel Nepomuceno Pereira Monteiro	Amaro Fernandes de Sousa	Optimization algorithms applied to Optical Transport Networks	12 / 2013
Pedro faria	Carlos Eduardo Ramos dos Santos Lourenço	Carlos Eduardo Ramos dos Santos Lourenço	An Artificial Bidimensional Model for Bursting Behaviour in Neurons	9 / 2013
Manuel Nunes Farinha Correia Rego	Pedro Miguel dos Santos Alves Madeira Adão	Ricardo Jorge Fernandes Chaves	Security and Privacy in Identification and Micro-Payment Systems	11 / 2012
Maria Ana Casal Cunha	Pedro Miguel dos Santos Alves Madeira Adão	João Carlos Serrenho Dias Pereira	Integration and Support for Automatic Generation of Test Cases using AnyTestes Framework	11 / 2012
Anabela Sequeira Damas	Amaro Fernandes de Sousa	Aníbal Manuel de Oliveira Duarte	Fiber based Access Networks: Planning and Cost Optimization	12 / 2011
Cristina Sofia Ramos dos Santos	Luis Alberto da Silva Cruz	Luis Miguel Merca Fernandes	Coverage Optimization for 3D RFID-based Location	9 / 2011
João Miguel Barros Silva Mendes	Pedro Miguel dos Santos Alves Madeira Adão		Electronic Voting	6 / 2011
Elton Pedro Sixpence	Pedro Miguel dos Santos Alves Madeira Adão		Projecto de implementação de Testes Automatizados para a Aplicacão Web ISUPAC3 no ISUTC	12 / 2010
Jorge Miguel Saavedra dos Santos Oliveira	Amaro Fernandes de Sousa		Maximum Protection of Telecommunication Networks	12 / 2010
Nuno Gonçalo da Silva Lourenço	Amaro Fernandes de Sousa		Linux Solution for Backhaul of Mobile Networks using IP/MPLS	12 / 2010
Ana Francisca Carvalho de Almeida Sampaio e Melo	Amaro Fernandes de Sousa		Traffic Engineering of Ethernet Networks based on Spanning Trees	12 / 2009
João Carlos Cruz Borges	Amaro Fernandes de Sousa		Experimental Analysis of WiMAX and Meshed Wi-Fi Quality of Service	12 / 2009
Igor Alexandre Almeida Pais	Amaro Fernandes de Sousa		End User Behaviour and Performance Analysis in 3G Networks	12 / 2009
João Carlos Pereira Santos	Amaro Fernandes de Sousa		Resource Management of Telecommunication Networks based on Minimum Interference Routing	11 / 2009
Nuno Filipe Oliveira Novo	Amaro Fernandes de Sousa		Management of IP Multimedia Sessions using IM-SSF	6 / 2009
Pedro Miguel Rocha Matos	Amaro Fernandes de Sousa	Joaquim João Estrela Ribeiro Silvestre Madeira	Traffic Engineering of Ethernet Networks based on PBB-TE	6 / 2009
Gonçalo Pereira	Amaro Fernandes de Sousa		Optimization Tool for Video on Demand Server Placement	12 / 2008
Lidia Elena da Costa dos Reis	Paulo Jorge Salvador Serra Ferreira	Amaro Fernandes de Sousa	Medição e caracterização de tráfego tempo-real em redes IP	7 / 2008
Emanuel António Raimundo Moreira	Amaro Fernandes de Sousa		Survivable Routing on GMPLS over SDH Networks	11 / 2007
José Nuno Ferreira Maia Pereira	Maria Paula Antunes Abrantes Gouveia	Jaime Arsénio de Brito Ramos	Abductive reasoning of agent specifications	10 / 2007
Daniel Correia Martins	Amaro Fernandes de Sousa	Aníbal Manuel de Oliveira Duarte	QoS Network Design: a Decision Supporting System	7 / 2007
António Manuel Nunes Carvalho Amaral	Amaro Fernandes de Sousa		Multicast Routing on IP Networks	3 / 2006
C. Baptista	Joaquim João de Alarcão Judice		Solution of three global optimization problems arising in finance, hydraulics and telecommunications	2 / 2005
Luís Miguel Lopes de Oliveira	Amaro Fernandes de Sousa		Mobile IP on IPv4-IPv6 Transition Scenarios	7 / 2004
Jorge Patrão	Amaro Fernandes de Sousa		Dimensioning of MPLS Networks: Node and Link Optimization	12 / 2003
S. Rosa	Joaquim João de Alarcão Judice		Analysis and Numerical Solution of some Structural Optimization Problems	2 / 2002