Browsing by advisors 88

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:  

Showing results 1 to 20 of 20.
Issue DateTitleAuthor(s)TypeAccess
14-Jun-2012Analysing call graphs for software architecture quality profilingCouto, Luís Diogo Monteiro DuarteMaster thesis Open access
7-May-2012Benchmark-based software product quality evaluationAlves, Tiago Miguel LaureanoDoctoral thesisOpen access
17-Sep-2012Bidirectional data transformation by calculationPacheco, Hugo José PereiraDoctoral thesisOpen access
9-Jan-2020Exploring rust for embedded and critical systemsPinho, André Brandão deMaster thesis Open access
12-Feb-2004Formalizing markup languages for user interfaceFerreira, Luís Gonzaga MartinsMaster thesis Open access
11-May-2009Foundations of program refinement by calculationRodrigues, César J.Doctoral thesisOpen access
5-Apr-2012From natural language requirements to formal descriptions in Alloy through boilerplatesCadete, Daniel NascimentoMaster thesis Open access
2022Greedy and dynamic programming by calculationPinho, Alexandre MendonçaMaster thesis Open access
13-Dec-2011Invariant detection meets Random test case generationVeloso, Tiago AlvesMaster thesis Open access
16-Oct-2012Matrices as arrows: why categories of matrices matterMacedo, Hugo DanielDoctoral thesisRestricted access (UMinho)
29-Jul-2022On conditional quantum controlCarvalho, Daniel AlmeidaMaster thesis Open access
16-Nov-2009On the design of a GalculatorSilva, Paulo Filipe Araújo daDoctoral thesisOpen access
2004pGML - estudo de um subconjunto "preciso" do GML 2.12Henriques, Mário Ricardo de NovaisMaster thesis Restricted access (UMinho)
2021Selective applicative functors & probabilistic programmingSantos, Armando João Isaías Ferreira dosMaster thesis Open access
26-Jul-2021Towards a quantitative alloySilva, Pedro Faria Durães daMaster thesis Open access
14-Jun-2023Towards a typed linear algebra formal semantics for spreadsheetsAzevedo, Rui Filipe BritoMaster thesis Open access
2018Towards an efficient OLAP engine based on linear algebraAfonso, João MiguelMaster thesis Open access
2018Towards quantum program calculationNeri, Ana Isabel CarvalhoMaster thesis Open access
5-Aug-2022Using Machine Learning to automatically infer an approximation of a physical systemSilva, Afonso João Borges Cabral Cerejeira daMaster thesis Open access
26-Jun-2006VooDooM : support for understanding and re-engineering of VDM-SL specificationsAlves, Tiago Miguel LaureanoMaster thesis Open access