HASLab - Indexed Articles in Conferences : [311] Collection home page

Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Title in Ascending order): 1 to 20 of 311
Issue DateTitleAuthor(s)
2015Adaptive Broadcast Cancellation Query Mechanism for Unstructured NetworksLima,R; Carlos Baquero; Miranda,H
2019An Adequate While-Language for Hybrid ComputationRenato Jorge Neves; Goncharov,S; 6181
2015ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated DataBackes,M; Manuel Barbosa; Fiore,D; Reischuk,RM
2017Aggregation protocols in light of reliable communicationKassam,Z; Ali Shoker; Paulo Sérgio Almeida; Carlos Baquero
2013AJITTS: Adaptive just-in-time transaction schedulingAlonso,A; Rui Carlos Oliveira; José Orlando Pereira
2012Analysis of FLOSS communities as learning contextsLuís Soares Barbosa; António Cerone; Sara Santos Fernandes
2016The ANTAREX approach to autotuning and adaptivity for energy efficient HPC systemsSilvano,C; Agosta,G; Cherubin,S; Gadioli,D; Palermo,G; Bartolini,A; Benini,L; Martinovic,J; Palkovic,M; Slaninová,K; João Bispo; João Paiva Cardoso; Rui Maranhão; Pinto,P; Cavazzoni,C; Sanna,N; Beccari,AR; Cmar,R; Rohou,E
2014Application of ontologies in identifying requirements patterns in use casesRui Miguel Couto; António Nestor Ribeiro; José Creissac Campos
2016Applying the 3C Model to FLOSS CommunitiesFernandes,S; Luís Soares Barbosa
2014An Approach for Graphical User Interface External Bad Smells DetectionSilva,JC; José Creissac Campos; João Alexandre Saraiva; José Luís Silva
2019d'Artagnan: A Trusted NoSQL Database on Untrusted CloudsMachado,N; Rogério António Pontes; Ricardo Pereira Vilaça; Maia,F; 5635; 6246
2017As secure as possible eventual consistency: Work in progressAli Shoker; Yactine,H; Carlos Baquero
2016Asymmetric Combination of Logics is Functorial: A SurveyRenato Jorge Neves; Alexandre Castro Madeira; Luís Soares Barbosa; Martins,MA
2016An automated model based approach to mobile UI specification and developmentAntónio Nestor Ribeiro; Araújo,CR
2015Automatic Distinction of Fernando Pessoas' HeteronymsJoão Pedro Teixeira; Marco Linhares Couto
2014Autonomous multi-dimensional slicing for large-scale distributed systemsPasquet,M; Francisco Almeida Maia; Riviere,E; Schiavoni,V
2016Benchmarking Polystores: the CloudMdsQL ExperienceKolev,B; Pau,R; Levchenko,O; Valduriez,P; Jimenez Peri,R; José Orlando Pereira
2014BenchmarXAnjorin,Anthony; Cunha,Alcino; Alcino Cunha; Hermann,Frank; Rensink,Arend; Schürr,Andy
2014Bidirectional spreadsheet formulasNuno Moreira Macedo; Hugo Pereira Pacheco; Sousa,NR; Alcino Cunha
2013Bisimilarity and refinement for hybrid(ised) logicsAlexandre Castro Madeira; Martins,MA; Luís Soares Barbosa
Collection's Items (Sorted by Title in Ascending order): 1 to 20 of 311