Subscribe to this collection to receive daily e-mail notification of new additions

Issue Date	Title	Author(s)
2015	Adaptive Broadcast Cancellation Query Mechanism for Unstructured Networks	Lima,R; Carlos Baquero; Miranda,H
2019	An Adequate While-Language for Hybrid Computation	Renato Jorge Neves; Goncharov,S; 6181
2019	An Adequate While-Language for Hybrid Computation	Renato Jorge Neves; Goncharov,S; 6181
2015	ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data	Backes,M; Manuel Barbosa; Fiore,D; Reischuk,RM
2017	Aggregation protocols in light of reliable communication	Kassam,Z; Ali Shoker; Paulo Sérgio Almeida; Carlos Baquero
2013	AJITTS: Adaptive just-in-time transaction scheduling	Alonso,A; Rui Carlos Oliveira; José Orlando Pereira
2012	Analysis of FLOSS communities as learning contexts	Luís Soares Barbosa; António Cerone; Sara Santos Fernandes
2016	The ANTAREX approach to autotuning and adaptivity for energy efficient HPC systems	Silvano,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
2014	Application of ontologies in identifying requirements patterns in use cases	Rui Miguel Couto; António Nestor Ribeiro; José Creissac Campos
2016	Applying the 3C Model to FLOSS Communities	Fernandes,S; Luís Soares Barbosa
2014	An Approach for Graphical User Interface External Bad Smells Detection	Silva,JC; José Creissac Campos; João Alexandre Saraiva; José Luís Silva
2019	d'Artagnan: A Trusted NoSQL Database on Untrusted Clouds	Machado,N; Rogério António Pontes; Ricardo Pereira Vilaça; Maia,F; 5635; 6246
2020	ARx: Reactive Programming for Synchronous Connectors	Guillermina Cledou; Proença,J; 6193
2017	As secure as possible eventual consistency: Work in progress	Ali Shoker; Yactine,H; Carlos Baquero
2016	Asymmetric Combination of Logics is Functorial: A Survey	Renato Jorge Neves; Alexandre Castro Madeira; Luís Soares Barbosa; Martins,MA
2016	An automated model based approach to mobile UI specification and development	António Nestor Ribeiro; Araújo,CR
2015	Automatic Distinction of Fernando Pessoas' Heteronyms	João Pedro Teixeira; Marco Linhares Couto
2014	Autonomous multi-dimensional slicing for large-scale distributed systems	Pasquet,M; Francisco Almeida Maia; Riviere,E; Schiavoni,V
2019	Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions	Hennicker,R; Mindt,F; Alexandre Castro Madeira; Knapp,A; 5620
2019	Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions	Knapp,A; Hennicker,R; Alexandre Castro Madeira; Mindt,F; 5620