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

Browse
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
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
2020ARx: Reactive Programming for Synchronous ConnectorsGuillermina Cledou; Proença,J; 6193
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
2019Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent TransitionsHennicker,R; Mindt,F; Alexandre Castro Madeira; Knapp,A; 5620
2019Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent TransitionsKnapp,A; Hennicker,R; Alexandre Castro Madeira; Mindt,F; 5620
Collection's Items (Sorted by Title in Ascending order): 1 to 20 of 311